diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens | 139 |
1 files changed, 72 insertions, 67 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens index 178103e2..f6269b97 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens | |||
@@ -1,70 +1,75 @@ | |||
1 | Abstract=5 | 1 | Abstract=6 |
2 | As=40 | 2 | As=43 |
3 | Asterisk=46 | 3 | Asterisk=49 |
4 | CircumflexAccent=59 | 4 | CircumflexAccent=63 |
5 | Class=18 | 5 | Class=20 |
6 | Colon=52 | 6 | Colon=55 |
7 | ColonHyphenMinus=35 | 7 | ColonColon=37 |
8 | Comma=48 | 8 | ColonEqualsSign=38 |
9 | Contains=6 | 9 | ColonHyphenMinus=36 |
10 | Count=19 | 10 | Comma=51 |
11 | Current=11 | 11 | Containment=4 |
12 | Datatype=7 | 12 | Contains=7 |
13 | Count=21 | ||
14 | Datatype=8 | ||
13 | Default=12 | 15 | Default=12 |
14 | Else=24 | 16 | Else=26 |
15 | Empty=20 | 17 | Empty=22 |
16 | EqualsSign=55 | 18 | Enum=27 |
17 | EqualsSignEqualsSign=37 | 19 | EqualsSign=58 |
18 | EqualsSignGreaterThanSign=38 | 20 | EqualsSignEqualsSign=40 |
19 | Error=21 | 21 | EqualsSignGreaterThanSign=41 |
20 | ExclamationMark=43 | 22 | Error=23 |
21 | ExclamationMarkEqualsSign=32 | 23 | ExclamationMark=46 |
22 | Exists=15 | 24 | ExclamationMarkEqualsSign=34 |
23 | Extends=13 | 25 | Extends=13 |
24 | Extern=16 | 26 | Extern=16 |
25 | False=22 | 27 | False=24 |
26 | Forall=17 | 28 | FullStop=53 |
27 | FullStop=50 | 29 | FullStopFullStopFullStop=31 |
28 | FullStopFullStop=34 | 30 | Functional=5 |
29 | FullStopFullStopFullStop=28 | 31 | GreaterThanSign=59 |
30 | Functional=4 | 32 | GreaterThanSignEqualsSign=42 |
31 | GreaterThanSign=56 | 33 | HyphenMinus=52 |
32 | GreaterThanSignEqualsSign=39 | 34 | HyphenMinusGreaterThanSign=35 |
33 | HyphenMinus=49 | 35 | If=44 |
34 | HyphenMinusGreaterThanSign=33 | 36 | Import=17 |
35 | If=41 | 37 | In=45 |
36 | In=42 | 38 | Inf=32 |
37 | Inf=29 | 39 | LeftCurlyBracket=64 |
38 | LeftCurlyBracket=60 | 40 | LeftParenthesis=47 |
39 | LeftParenthesis=44 | 41 | LeftSquareBracket=61 |
40 | LeftSquareBracket=57 | 42 | LessThanSign=57 |
41 | LessThanSign=54 | 43 | LessThanSignEqualsSign=39 |
42 | LessThanSignEqualsSign=36 | 44 | Let=33 |
43 | Let=30 | 45 | Maximize=9 |
44 | Maximize=8 | 46 | Minimize=10 |
45 | May=31 | 47 | Object=18 |
46 | Minimize=9 | 48 | Opposite=11 |
47 | Must=25 | 49 | PlusSign=50 |
48 | Opposite=10 | 50 | Problem=14 |
49 | PlusSign=47 | 51 | QuestionMark=60 |
50 | RULE_ANY_OTHER=73 | 52 | RULE_ANY_OTHER=78 |
51 | RULE_FULL_STOP=68 | 53 | RULE_FULL_STOP=73 |
52 | RULE_ID=69 | 54 | RULE_ID=74 |
53 | RULE_INT=70 | 55 | RULE_INT=75 |
54 | RULE_ML_COMMENT=71 | 56 | RULE_ML_COMMENT=76 |
55 | RULE_QUOTED_ID=64 | 57 | RULE_QUOTED_ID=69 |
56 | RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67 | 58 | RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72 |
57 | RULE_SL_COMMENT=65 | 59 | RULE_SL_COMMENT=70 |
58 | RULE_STRING=63 | 60 | RULE_STRING=68 |
59 | RULE_TRANSITIVE_CLOSURE=66 | 61 | RULE_TRANSITIVE_CLOSURE=71 |
60 | RULE_WS=72 | 62 | RULE_WS=77 |
61 | RightCurlyBracket=62 | 63 | Refers=19 |
62 | RightParenthesis=45 | 64 | RightCurlyBracket=66 |
63 | RightSquareBracket=58 | 65 | RightParenthesis=48 |
64 | Scope=23 | 66 | RightSquareBracket=62 |
65 | Semicolon=53 | 67 | Root=28 |
66 | Solidus=51 | 68 | Scope=25 |
67 | Then=26 | 69 | Semicolon=56 |
68 | True=27 | 70 | Solidus=54 |
69 | Unknown=14 | 71 | Then=29 |
70 | VerticalLine=61 | 72 | Tilde=67 |
73 | True=30 | ||
74 | Unknown=15 | ||
75 | VerticalLine=65 | ||