diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens | 139 |
1 files changed, 72 insertions, 67 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens index 736b2f0a..591c0e60 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens | |||
@@ -1,70 +1,75 @@ | |||
1 | '!'=43 | 1 | '!'=46 |
2 | '!='=32 | 2 | '!='=34 |
3 | '('=44 | 3 | '('=47 |
4 | ')'=45 | 4 | ')'=48 |
5 | '*'=46 | 5 | '*'=49 |
6 | '+'=47 | 6 | '+'=50 |
7 | ','=48 | 7 | ','=51 |
8 | '-'=49 | 8 | '-'=52 |
9 | '->'=33 | 9 | '->'=35 |
10 | '.'=50 | 10 | '.'=53 |
11 | '..'=34 | 11 | '...'=31 |
12 | '...'=28 | 12 | '/'=54 |
13 | '/'=51 | 13 | ':'=55 |
14 | ':'=52 | 14 | ':-'=36 |
15 | ':-'=35 | 15 | '::'=37 |
16 | ';'=53 | 16 | ':='=38 |
17 | '<'=54 | 17 | ';'=56 |
18 | '<='=36 | 18 | '<'=57 |
19 | '='=55 | 19 | '<='=39 |
20 | '=='=37 | 20 | '='=58 |
21 | '=>'=38 | 21 | '=='=40 |
22 | '>'=56 | 22 | '=>'=41 |
23 | '>='=39 | 23 | '>'=59 |
24 | '['=57 | 24 | '>='=42 |
25 | ']'=58 | 25 | '?'=60 |
26 | '^'=59 | 26 | '['=61 |
27 | 'abstract'=5 | 27 | ']'=62 |
28 | 'as'=40 | 28 | '^'=63 |
29 | 'class'=18 | 29 | 'abstract'=6 |
30 | 'contains'=6 | 30 | 'as'=43 |
31 | 'count'=19 | 31 | 'class'=20 |
32 | 'current'=11 | 32 | 'containment'=4 |
33 | 'datatype'=7 | 33 | 'contains'=7 |
34 | 'count'=21 | ||
35 | 'datatype'=8 | ||
34 | 'default'=12 | 36 | 'default'=12 |
35 | 'else'=24 | 37 | 'else'=26 |
36 | 'empty'=20 | 38 | 'empty'=22 |
37 | 'error'=21 | 39 | 'enum'=27 |
38 | 'exists'=15 | 40 | 'error'=23 |
39 | 'extends'=13 | 41 | 'extends'=13 |
40 | 'extern'=16 | 42 | 'extern'=16 |
41 | 'false'=22 | 43 | 'false'=24 |
42 | 'forall'=17 | 44 | 'functional'=5 |
43 | 'functional'=4 | 45 | 'if'=44 |
44 | 'if'=41 | 46 | 'import'=17 |
45 | 'in'=42 | 47 | 'in'=45 |
46 | 'inf'=29 | 48 | 'inf'=32 |
47 | 'let'=30 | 49 | 'let'=33 |
48 | 'maximize'=8 | 50 | 'maximize'=9 |
49 | 'may'=31 | 51 | 'minimize'=10 |
50 | 'minimize'=9 | 52 | 'object'=18 |
51 | 'must'=25 | 53 | 'opposite'=11 |
52 | 'opposite'=10 | 54 | 'problem'=14 |
53 | 'scope'=23 | 55 | 'refers'=19 |
54 | 'then'=26 | 56 | 'root'=28 |
55 | 'true'=27 | 57 | 'scope'=25 |
56 | 'unknown'=14 | 58 | 'then'=29 |
57 | '{'=60 | 59 | 'true'=30 |
58 | '|'=61 | 60 | 'unknown'=15 |
59 | '}'=62 | 61 | '{'=64 |
60 | RULE_ANY_OTHER=73 | 62 | '|'=65 |
61 | RULE_FULL_STOP=68 | 63 | '}'=66 |
62 | RULE_ID=69 | 64 | '~'=67 |
63 | RULE_INT=70 | 65 | RULE_ANY_OTHER=78 |
64 | RULE_ML_COMMENT=71 | 66 | RULE_FULL_STOP=73 |
65 | RULE_QUOTED_ID=64 | 67 | RULE_ID=74 |
66 | RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67 | 68 | RULE_INT=75 |
67 | RULE_SL_COMMENT=65 | 69 | RULE_ML_COMMENT=76 |
68 | RULE_STRING=63 | 70 | RULE_QUOTED_ID=69 |
69 | RULE_TRANSITIVE_CLOSURE=66 | 71 | RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72 |
70 | RULE_WS=72 | 72 | RULE_SL_COMMENT=70 |
73 | RULE_STRING=68 | ||
74 | RULE_TRANSITIVE_CLOSURE=71 | ||
75 | RULE_WS=77 | ||