diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens | 48 |
1 files changed, 25 insertions, 23 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens index 1abe7de4..5054ccc5 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens | |||
@@ -1,33 +1,34 @@ | |||
1 | '('=17 | 1 | '('=17 |
2 | ')'=18 | 2 | ')'=19 |
3 | '*'=30 | 3 | '*'=31 |
4 | '+'=29 | 4 | '+'=30 |
5 | ','=18 | ||
5 | '-'=11 | 6 | '-'=11 |
6 | '.'=12 | 7 | '.'=12 |
7 | '..'=40 | 8 | '..'=41 |
8 | ':'=19 | 9 | ':'=20 |
9 | '\''=26 | 10 | ':-'=28 |
10 | 'abstract'=32 | 11 | '\''=27 |
11 | 'bool'=22 | 12 | 'abstract'=33 |
12 | 'class'=33 | 13 | 'bool'=23 |
13 | 'containment'=38 | 14 | 'class'=34 |
14 | 'default'=31 | 15 | 'containment'=39 |
15 | 'enum'=37 | 16 | 'default'=32 |
16 | 'equals'=21 | 17 | 'enum'=38 |
18 | 'equals'=22 | ||
17 | 'error'=16 | 19 | 'error'=16 |
18 | 'exists'=20 | 20 | 'exists'=21 |
19 | 'extends'=34 | 21 | 'extends'=35 |
20 | 'false'=14 | 22 | 'false'=14 |
21 | 'int'=23 | 23 | 'int'=24 |
22 | 'predicate'=27 | 24 | 'real'=25 |
23 | 'real'=24 | 25 | 'relation'=40 |
24 | 'relation'=39 | 26 | 'string'=26 |
25 | 'string'=25 | ||
26 | 'true'=13 | 27 | 'true'=13 |
27 | 'unknown'=15 | 28 | 'unknown'=15 |
28 | '{'=35 | 29 | '{'=36 |
29 | '|'=28 | 30 | '|'=29 |
30 | '}'=36 | 31 | '}'=37 |
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 | ||