From 07157901b3973f303b959818165f585a60ddaa74 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Wed, 1 Sep 2010 02:18:00 +0000
Subject: VS2010 mode for Dafny and Boogie:  updated, for example to properly
 deal with string literals

---
 Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Util/VS2010/Dafny')

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
-- 
cgit v1.2.3