diff options
author | 2011-05-28 18:08:55 -0700 | |
---|---|---|
committer | 2011-05-28 18:08:55 -0700 | |
commit | c86a3199caf050ef4af4ce5873ee7d6a27b501ab (patch) | |
tree | 47c42020587bffe014d52542bf8434b4a3a26683 /Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | |
parent | c7c9cd675bf6024a8f725c84fe22e17d3deb7a98 (diff) |
Dafny: added constructors
Diffstat (limited to 'Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs')
-rw-r--r-- | Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs index a9353821..c620cc67 100644 --- a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs +++ b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs @@ -16,7 +16,7 @@ namespace Demo StringLiteral stringLiteral = TerminalFactory.CreateCSharpString("String");
this.MarkReservedWords( // NOTE: these keywords must also appear once more below
- "class", "ghost", "static", "var", "method", "datatype",
+ "class", "ghost", "static", "var", "method", "constructor", "datatype",
"assert", "assume", "new", "this", "object", "refines", "replaces", "by",
"unlimited", "module", "imports",
"call", "if", "then", "else", "while", "invariant",
@@ -287,6 +287,7 @@ namespace Demo | "static"
| "var"
| "method"
+ | "constructor"
| "datatype"
| "assert"
| "assume"
|