diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-11-28 00:20:44 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-12-09 00:07:39 +0100 |
| commit | 0173a4e5deb5dbe71c91a68c02ef88e3de778068 (patch) | |
| tree | 8498ac382150f59ba626b85827c11dca3c33f880 /subprojects/language/src/main/java | |
| parent | feat(frontend): scroll beyond last line in editor (diff) | |
| download | refinery-0173a4e5deb5dbe71c91a68c02ef88e3de778068.tar.gz refinery-0173a4e5deb5dbe71c91a68c02ef88e3de778068.tar.zst refinery-0173a4e5deb5dbe71c91a68c02ef88e3de778068.zip | |
fix(frontend): content assist error recovery
Diffstat (limited to 'subprojects/language/src/main/java')
| -rw-r--r-- | subprojects/language/src/main/java/tools/refinery/language/Problem.xtext | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext index 95a64737..187ebf1f 100644 --- a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext +++ b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext | |||
| @@ -8,9 +8,9 @@ Problem: | |||
| 8 | statements+=Statement*; | 8 | statements+=Statement*; |
| 9 | 9 | ||
| 10 | Statement: | 10 | Statement: |
| 11 | ClassDeclaration | EnumDeclaration | | 11 | Assertion | ClassDeclaration | EnumDeclaration | |
| 12 | PredicateDefinition | FunctionDefinition | /* RuleDefinition | */ | 12 | PredicateDefinition | FunctionDefinition | /* RuleDefinition | */ |
| 13 | Assertion | ScopeDeclaration | IndividualDeclaration; | 13 | ScopeDeclaration | IndividualDeclaration; |
| 14 | 14 | ||
| 15 | ClassDeclaration: | 15 | ClassDeclaration: |
| 16 | abstract?="abstract"? "class" | 16 | abstract?="abstract"? "class" |