diff options
Diffstat (limited to 'language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens')
-rw-r--r-- | language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens b/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens index c0cdd3c6..49838545 100644 --- a/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens +++ b/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens | |||
@@ -2,23 +2,24 @@ | |||
2 | '('=33 | 2 | '('=33 |
3 | ')'=34 | 3 | ')'=34 |
4 | '*'=18 | 4 | '*'=18 |
5 | '+'=42 | 5 | '+'=43 |
6 | '+='=43 | 6 | '+='=44 |
7 | ','=13 | 7 | ','=13 |
8 | '.'=12 | 8 | '.'=12 |
9 | '..'=38 | 9 | '..'=38 |
10 | ':'=36 | 10 | ':'=36 |
11 | ':-'=35 | 11 | ':-'=35 |
12 | '::'=39 | ||
12 | ';'=14 | 13 | ';'=14 |
13 | '='=17 | 14 | '='=17 |
14 | '?'=23 | 15 | '?'=23 |
15 | '['=30 | 16 | '['=30 |
16 | ']'=31 | 17 | ']'=31 |
17 | 'abstract'=39 | 18 | 'abstract'=40 |
18 | 'class'=25 | 19 | 'class'=25 |
19 | 'contains'=40 | 20 | 'contains'=41 |
20 | 'enum'=29 | 21 | 'enum'=29 |
21 | 'error'=41 | 22 | 'error'=42 |
22 | 'extends'=26 | 23 | 'extends'=26 |
23 | 'false'=20 | 24 | 'false'=20 |
24 | 'opposite'=32 | 25 | 'opposite'=32 |
@@ -33,9 +34,9 @@ | |||
33 | RULE_ANY_OTHER=11 | 34 | RULE_ANY_OTHER=11 |
34 | RULE_ID=6 | 35 | RULE_ID=6 |
35 | RULE_INT=4 | 36 | RULE_INT=4 |
36 | RULE_ML_COMMENT=8 | 37 | RULE_ML_COMMENT=9 |
37 | RULE_QUOTED_ID=5 | 38 | RULE_QUOTED_ID=5 |
38 | RULE_SL_COMMENT=9 | 39 | RULE_SL_COMMENT=8 |
39 | RULE_STRING=7 | 40 | RULE_STRING=7 |
40 | RULE_WS=10 | 41 | RULE_WS=10 |
41 | T__12=12 | 42 | T__12=12 |
@@ -70,3 +71,4 @@ T__40=40 | |||
70 | T__41=41 | 71 | T__41=41 |
71 | T__42=42 | 72 | T__42=42 |
72 | T__43=43 | 73 | T__43=43 |
74 | T__44=44 | ||