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 | 1fbd28ebc465f94cc783e5d9dcc7c5f206c81e69 (patch) | |
| tree | ef703551d73c683958b4503e03abb471928dad26 /Util/VS2010/Dafny/DafnyLanguageService | |
| parent | 4f2f785d121651c62cf0a7da7c7bcaef13ee14b4 (diff) | |
Dafny: Implemented abstract modules
Diffstat (limited to 'Util/VS2010/Dafny/DafnyLanguageService')
| -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"
|