diff options
| author |  Jason Koenig <unknown> | 2012-06-26 17:06:33 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-26 17:06:33 -0700 |
| commit | 474402019659b954371e46891f0e6ac8679dd574 (patch) | |
| tree | 90e2f8165348e855c12ab5c259d99ed1cdd827ba /Util | |
| parent | e30d629ebd9c8249cafc55e63aa35bafdea6ee9f (diff) | |
Dafny: Implemented abstract modules
Diffstat (limited to 'Util')
| -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 4244e817..627353bf 100644 --- a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs +++ b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs @@ -19,7 +19,7 @@ namespace Demo this.MarkReservedWords( // NOTE: these keywords must also appear once more below
"class", "ghost", "static", "var", "method", "constructor", "datatype", "codatatype", "type",
"assert", "assume", "new", "this", "object", "refines",
- "module", "imports",
+ "module", "imports", "as",
"if", "then", "else", "while", "invariant",
"break", "label", "return", "parallel", "havoc", "print",
"returns", "requires", "ensures", "modifies", "reads", "decreases",
@@ -277,6 +277,7 @@ namespace Demo | "refines"
| "module"
| "imports"
+ | "as"
| "if"
| "then"
| "else"
|