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, 24 insertions, 0 deletions

diff --git a/Util/VS2010/Boogie/BoogieLanguageService/Configuration.cs b/Util/VS2010/Boogie/BoogieLanguageService/Configuration.cs
new file mode 100644
index 00000000..97775fdf
--- /dev/null
+++ b/Util/VS2010/Boogie/BoogieLanguageService/Configuration.cs
@@ -0,0 +1,24 @@
+using System;

+using System.Collections.Generic;

+using Microsoft.VisualStudio.Package;

+using Microsoft.VisualStudio.TextManager.Interop;

+

+namespace Demo

+{

+    public static partial class Configuration

+    {

+        public const string Name = "Boogie";

+        public const string FormatList = "Boogie File (*.bpl)\n*.bpl";

+

+        static Configuration()

+        {

+            // default colors - currently, these need to be declared

+            CreateColor("Keyword", COLORINDEX.CI_BLUE, COLORINDEX.CI_USERTEXT_BK);

+            CreateColor("Comment", COLORINDEX.CI_DARKGREEN, COLORINDEX.CI_USERTEXT_BK);

+            CreateColor("Identifier", COLORINDEX.CI_SYSPLAINTEXT_FG, COLORINDEX.CI_USERTEXT_BK);

+            CreateColor("String", COLORINDEX.CI_MAROON, COLORINDEX.CI_USERTEXT_BK);

+            CreateColor("Number", COLORINDEX.CI_RED, COLORINDEX.CI_USERTEXT_BK);

+            CreateColor("Text", COLORINDEX.CI_SYSPLAINTEXT_FG, COLORINDEX.CI_USERTEXT_BK);

+        }

+    }

+}