VS2010 mode for Dafny and Boogie: updated, for example to properly deal with string literals

1 files changed, 3 insertions, 0 deletions

diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs
index ba4fdcc0..12d433b1 100644
--- a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs
+++ b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs
@@ -13,6 +13,8 @@ namespace Demo
         NumberLiteral n = TerminalFactory.CreateCSharpNumber("number");

 

         IdentifierTerminal ident = new IdentifierTerminal("Identifier");

+        StringLiteral stringLiteral = TerminalFactory.CreateCSharpString("String");

+

         this.MarkReservedWords(  // NOTE: these keywords must also appear once more below

           "class", "ghost", "static", "var", "method", "datatype",

           "assert", "assume", "new", "this", "object", "refines", "replaces", "by",

@@ -366,6 +368,7 @@ namespace Demo
           | "<==>"

           | "#"

           | n

+          | stringLiteral

           ;

 

         idType.Rule