diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g | 46 |
1 files changed, 10 insertions, 36 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g index 1a29e53b..3c496e8a 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g | |||
@@ -11,24 +11,20 @@ package org.eclipse.viatra.solver.language.parser.antlr.lexer; | |||
11 | import org.eclipse.xtext.parser.antlr.Lexer; | 11 | import org.eclipse.xtext.parser.antlr.Lexer; |
12 | } | 12 | } |
13 | 13 | ||
14 | GREATER_EQ : 'GREATER_EQ'; | ||
15 | |||
16 | Functional : 'functional'; | 14 | Functional : 'functional'; |
17 | 15 | ||
18 | Abstract : 'abstract'; | 16 | Abstract : 'abstract'; |
19 | 17 | ||
20 | Contains : 'contains'; | 18 | Contains : 'contains'; |
21 | 19 | ||
20 | Datatype : 'datatype'; | ||
21 | |||
22 | Maximize : 'maximize'; | 22 | Maximize : 'maximize'; |
23 | 23 | ||
24 | Minimize : 'minimize'; | 24 | Minimize : 'minimize'; |
25 | 25 | ||
26 | Opposite : 'opposite'; | 26 | Opposite : 'opposite'; |
27 | 27 | ||
28 | GREATER : 'GREATER'; | ||
29 | |||
30 | LESS_EQ : 'LESS_EQ'; | ||
31 | |||
32 | Current : 'current'; | 28 | Current : 'current'; |
33 | 29 | ||
34 | Default : 'default'; | 30 | Default : 'default'; |
@@ -37,10 +33,12 @@ Extends : 'extends'; | |||
37 | 33 | ||
38 | Unknown : 'unknown'; | 34 | Unknown : 'unknown'; |
39 | 35 | ||
40 | NOT_EQ : 'NOT_EQ'; | 36 | Exists : 'exists'; |
41 | 37 | ||
42 | Extern : 'extern'; | 38 | Extern : 'extern'; |
43 | 39 | ||
40 | Forall : 'forall'; | ||
41 | |||
44 | Class : 'class'; | 42 | Class : 'class'; |
45 | 43 | ||
46 | Count : 'count'; | 44 | Count : 'count'; |
@@ -53,46 +51,22 @@ False : 'false'; | |||
53 | 51 | ||
54 | Scope : 'scope'; | 52 | Scope : 'scope'; |
55 | 53 | ||
56 | LESS : 'LESS'; | ||
57 | |||
58 | Else : 'else'; | 54 | Else : 'else'; |
59 | 55 | ||
60 | Must : 'must'; | 56 | Must : 'must'; |
61 | 57 | ||
62 | Only : 'only'; | ||
63 | |||
64 | Prod : 'prod'; | ||
65 | |||
66 | Real : 'real'; | ||
67 | |||
68 | Then : 'then'; | 58 | Then : 'then'; |
69 | 59 | ||
70 | True : 'true'; | 60 | True : 'true'; |
71 | 61 | ||
72 | ADD : 'ADD'; | 62 | FullStopFullStopFullStop : '...'; |
73 | |||
74 | DIV : 'DIV'; | ||
75 | |||
76 | MUL : 'MUL'; | ||
77 | |||
78 | POW : 'POW'; | ||
79 | |||
80 | SUB : 'SUB'; | ||
81 | |||
82 | Avg : 'avg'; | ||
83 | 63 | ||
84 | Inf : 'inf'; | 64 | Inf : 'inf'; |
85 | 65 | ||
86 | Int : 'int'; | 66 | Let : 'let'; |
87 | |||
88 | Max : 'max'; | ||
89 | 67 | ||
90 | May : 'may'; | 68 | May : 'may'; |
91 | 69 | ||
92 | Min : 'min'; | ||
93 | |||
94 | Sum : 'sum'; | ||
95 | |||
96 | ExclamationMarkEqualsSign : '!='; | 70 | ExclamationMarkEqualsSign : '!='; |
97 | 71 | ||
98 | HyphenMinusGreaterThanSign : '->'; | 72 | HyphenMinusGreaterThanSign : '->'; |
@@ -105,11 +79,11 @@ LessThanSignEqualsSign : '<='; | |||
105 | 79 | ||
106 | EqualsSignEqualsSign : '=='; | 80 | EqualsSignEqualsSign : '=='; |
107 | 81 | ||
108 | GreaterThanSignEqualsSign : '>='; | 82 | EqualsSignGreaterThanSign : '=>'; |
109 | 83 | ||
110 | EQ : 'EQ'; | 84 | GreaterThanSignEqualsSign : '>='; |
111 | 85 | ||
112 | IN : 'IN'; | 86 | As : 'as'; |
113 | 87 | ||
114 | If : 'if'; | 88 | If : 'if'; |
115 | 89 | ||