Chalice: Introduced '[[ S ]]' as a shorthand syntax for 'lock (this) { S }'. Think of the new brackets as atomicity brackets (see PetersonsAlgorithm.chalice)

Chalice:  Added Peterson's algorithm to test suite (safety properties only)
VS 2010 integration: Updated Chalice and Dafny modes, added keyword highlighting for a new Boogie mode

1 files changed, 13 insertions, 0 deletions

diff --git a/Util/VS2010/Boogie/BoogieLanguageService/Integration/IASTResolver.cs b/Util/VS2010/Boogie/BoogieLanguageService/Integration/IASTResolver.cs
new file mode 100644
index 00000000..8de1a454
--- /dev/null
+++ b/Util/VS2010/Boogie/BoogieLanguageService/Integration/IASTResolver.cs
@@ -0,0 +1,13 @@
+using System;

+using System.Collections.Generic;

+

+namespace Demo

+{

+    interface IASTResolver

+    {

+        IList<Declaration> FindCompletions(object result, int line, int col);

+        IList<Declaration> FindMembers(object result, int line, int col);

+        string FindQuickInfo(object result, int line, int col);

+        IList<Method> FindMethods(object result, int line, int col, string name);

+    }

+}
\ No newline at end of file