diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-28 18:08:55 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-28 18:08:55 -0700 |
| commit | 7cf0e87a3c9cbc769a9248604e8943a7faddd914 (patch) | |
| tree | 0388dfee63128bb4d6b90e6fddf1688c68fa0f63 /Util/VS2010/Dafny | |
| parent | 18056f88247d943d95e606e005a0fa18b3662f8c (diff) | |
Dafny: added constructors
Diffstat (limited to 'Util/VS2010/Dafny')
| -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"
|