diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens | 50 |
1 files changed, 26 insertions, 24 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens index e2d30366..938a5322 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens | |||
@@ -1,33 +1,34 @@ | |||
1 | '('=17 | 1 | '('=18 |
2 | ')'=18 | 2 | ')'=19 |
3 | '*'=30 | 3 | '*'=31 |
4 | '+'=29 | 4 | '+'=30 |
5 | ','=20 | ||
5 | '-'=13 | 6 | '-'=13 |
6 | '.'=14 | 7 | '.'=14 |
7 | '..'=38 | 8 | '..'=39 |
8 | ':'=19 | 9 | ':'=17 |
9 | '\''=26 | 10 | ':-'=28 |
10 | 'abstract'=39 | 11 | '\''=27 |
11 | 'bool'=22 | 12 | 'abstract'=40 |
12 | 'class'=32 | 13 | 'bool'=23 |
13 | 'containment'=40 | 14 | 'class'=33 |
14 | 'default'=31 | 15 | 'containment'=41 |
15 | 'enum'=36 | 16 | 'default'=32 |
16 | 'equals'=21 | 17 | 'enum'=37 |
18 | 'equals'=22 | ||
17 | 'error'=16 | 19 | 'error'=16 |
18 | 'exists'=20 | 20 | 'exists'=21 |
19 | 'extends'=35 | 21 | 'extends'=36 |
20 | 'false'=11 | 22 | 'false'=11 |
21 | 'int'=23 | 23 | 'int'=24 |
22 | 'predicate'=27 | 24 | 'real'=25 |
23 | 'real'=24 | 25 | 'relation'=38 |
24 | 'relation'=37 | 26 | 'string'=26 |
25 | 'string'=25 | ||
26 | 'true'=12 | 27 | 'true'=12 |
27 | 'unknown'=15 | 28 | 'unknown'=15 |
28 | '{'=33 | 29 | '{'=34 |
29 | '|'=28 | 30 | '|'=29 |
30 | '}'=34 | 31 | '}'=35 |
31 | RULE_ANY_OTHER=10 | 32 | RULE_ANY_OTHER=10 |
32 | RULE_ID=5 | 33 | RULE_ID=5 |
33 | RULE_INT=4 | 34 | RULE_INT=4 |
@@ -65,3 +66,4 @@ T__37=37 | |||
65 | T__38=38 | 66 | T__38=38 |
66 | T__39=39 | 67 | T__39=39 |
67 | T__40=40 | 68 | T__40=40 |
69 | T__41=41 | ||