diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer')
3 files changed, 689 insertions, 1177 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g index 309435e3..77e9557a 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g | |||
@@ -11,24 +11,20 @@ package org.eclipse.viatra.solver.language.ide.contentassist.antlr.lexer; | |||
11 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; | 11 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.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 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java index 86514bf5..541338df 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java | |||
@@ -12,90 +12,77 @@ import java.util.ArrayList; | |||
12 | 12 | ||
13 | @SuppressWarnings("all") | 13 | @SuppressWarnings("all") |
14 | public class InternalSolverLanguageLexer extends Lexer { | 14 | public class InternalSolverLanguageLexer extends Lexer { |
15 | public static final int ADD=33; | 15 | public static final int EqualsSignGreaterThanSign=38; |
16 | public static final int True=32; | 16 | public static final int True=27; |
17 | public static final int GREATER_EQ=4; | 17 | public static final int Count=19; |
18 | public static final int Count=20; | 18 | public static final int False=22; |
19 | public static final int False=23; | 19 | public static final int Must=25; |
20 | public static final int Must=27; | 20 | public static final int FullStopFullStopFullStop=28; |
21 | public static final int LessThanSign=67; | 21 | public static final int LessThanSign=54; |
22 | public static final int LeftParenthesis=57; | 22 | public static final int Datatype=7; |
23 | public static final int Unknown=16; | 23 | public static final int LeftParenthesis=44; |
24 | public static final int RULE_REFLEXIVE_TRANSITIVE_CLOSURE=80; | 24 | public static final int Unknown=14; |
25 | public static final int FullStopFullStop=47; | 25 | public static final int RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67; |
26 | public static final int Real=30; | 26 | public static final int FullStopFullStop=34; |
27 | public static final int Then=31; | 27 | public static final int Then=26; |
28 | public static final int Extends=15; | 28 | public static final int Extends=13; |
29 | public static final int RightSquareBracket=71; | 29 | public static final int Forall=17; |
30 | public static final int ExclamationMark=56; | 30 | public static final int RightSquareBracket=58; |
31 | public static final int ExclamationMark=43; | ||
31 | public static final int Opposite=10; | 32 | public static final int Opposite=10; |
32 | public static final int SUB=37; | 33 | public static final int GreaterThanSign=56; |
33 | public static final int GreaterThanSign=69; | 34 | public static final int RULE_ID=69; |
34 | public static final int NOT_EQ=17; | 35 | public static final int RULE_QUOTED_ID=64; |
35 | public static final int RULE_ID=82; | 36 | public static final int RightParenthesis=45; |
36 | public static final int MUL=35; | 37 | public static final int GreaterThanSignEqualsSign=39; |
37 | public static final int IN=53; | 38 | public static final int Functional=4; |
38 | public static final int RULE_QUOTED_ID=77; | 39 | public static final int EqualsSignEqualsSign=37; |
39 | public static final int RightParenthesis=58; | 40 | public static final int VerticalLine=61; |
40 | public static final int Sum=44; | 41 | public static final int PlusSign=47; |
41 | public static final int EQ=52; | 42 | public static final int RULE_INT=70; |
42 | public static final int GreaterThanSignEqualsSign=51; | 43 | public static final int Contains=6; |
43 | public static final int Functional=5; | 44 | public static final int RULE_ML_COMMENT=71; |
44 | public static final int EqualsSignEqualsSign=50; | 45 | public static final int RULE_TRANSITIVE_CLOSURE=66; |
45 | public static final int Avg=38; | 46 | public static final int Class=18; |
46 | public static final int Min=43; | 47 | public static final int LeftSquareBracket=57; |
47 | public static final int VerticalLine=74; | 48 | public static final int RULE_FULL_STOP=68; |
48 | public static final int PlusSign=60; | 49 | public static final int Current=11; |
49 | public static final int RULE_INT=83; | 50 | public static final int If=41; |
50 | public static final int Contains=7; | 51 | public static final int Inf=29; |
51 | public static final int RULE_ML_COMMENT=84; | 52 | public static final int May=31; |
52 | public static final int POW=36; | 53 | public static final int In=42; |
53 | public static final int RULE_TRANSITIVE_CLOSURE=79; | 54 | public static final int RULE_STRING=63; |
54 | public static final int Class=19; | 55 | public static final int Extern=16; |
55 | public static final int LESS=25; | 56 | public static final int RULE_SL_COMMENT=65; |
56 | public static final int LeftSquareBracket=70; | 57 | public static final int Comma=48; |
57 | public static final int RULE_FULL_STOP=81; | 58 | public static final int EqualsSign=55; |
58 | public static final int Current=13; | 59 | public static final int Empty=20; |
59 | public static final int If=54; | 60 | public static final int As=40; |
60 | public static final int Inf=39; | 61 | public static final int HyphenMinus=49; |
61 | public static final int LESS_EQ=12; | ||
62 | public static final int May=42; | ||
63 | public static final int Max=41; | ||
64 | public static final int In=55; | ||
65 | public static final int RULE_STRING=76; | ||
66 | public static final int Int=40; | ||
67 | public static final int Extern=18; | ||
68 | public static final int RULE_SL_COMMENT=78; | ||
69 | public static final int Prod=29; | ||
70 | public static final int Comma=61; | ||
71 | public static final int EqualsSign=68; | ||
72 | public static final int Empty=21; | ||
73 | public static final int HyphenMinus=62; | ||
74 | public static final int Maximize=8; | 62 | public static final int Maximize=8; |
75 | public static final int LessThanSignEqualsSign=49; | 63 | public static final int LessThanSignEqualsSign=36; |
76 | public static final int Solidus=64; | 64 | public static final int Solidus=51; |
77 | public static final int Colon=65; | 65 | public static final int Colon=52; |
78 | public static final int RightCurlyBracket=75; | 66 | public static final int RightCurlyBracket=62; |
79 | public static final int EOF=-1; | 67 | public static final int EOF=-1; |
80 | public static final int Asterisk=59; | 68 | public static final int Asterisk=46; |
81 | public static final int FullStop=63; | 69 | public static final int FullStop=50; |
82 | public static final int RULE_WS=85; | 70 | public static final int RULE_WS=72; |
83 | public static final int Abstract=6; | 71 | public static final int Abstract=5; |
84 | public static final int Minimize=9; | 72 | public static final int Minimize=9; |
85 | public static final int GREATER=11; | 73 | public static final int LeftCurlyBracket=60; |
86 | public static final int LeftCurlyBracket=73; | 74 | public static final int Error=21; |
87 | public static final int Error=22; | 75 | public static final int RULE_ANY_OTHER=73; |
88 | public static final int Only=28; | 76 | public static final int Default=12; |
89 | public static final int RULE_ANY_OTHER=86; | 77 | public static final int ColonHyphenMinus=35; |
90 | public static final int Default=14; | 78 | public static final int CircumflexAccent=59; |
91 | public static final int ColonHyphenMinus=48; | 79 | public static final int Semicolon=53; |
92 | public static final int CircumflexAccent=72; | 80 | public static final int Scope=23; |
93 | public static final int DIV=34; | 81 | public static final int Exists=15; |
94 | public static final int Semicolon=66; | 82 | public static final int Else=24; |
95 | public static final int Scope=24; | 83 | public static final int Let=30; |
96 | public static final int Else=26; | 84 | public static final int ExclamationMarkEqualsSign=32; |
97 | public static final int ExclamationMarkEqualsSign=45; | 85 | public static final int HyphenMinusGreaterThanSign=33; |
98 | public static final int HyphenMinusGreaterThanSign=46; | ||
99 | 86 | ||
100 | // delegates | 87 | // delegates |
101 | // delegators | 88 | // delegators |
@@ -110,34 +97,13 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
110 | } | 97 | } |
111 | public String getGrammarFileName() { return "InternalSolverLanguageLexer.g"; } | 98 | public String getGrammarFileName() { return "InternalSolverLanguageLexer.g"; } |
112 | 99 | ||
113 | // $ANTLR start "GREATER_EQ" | ||
114 | public final void mGREATER_EQ() throws RecognitionException { | ||
115 | try { | ||
116 | int _type = GREATER_EQ; | ||
117 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
118 | // InternalSolverLanguageLexer.g:14:12: ( 'GREATER_EQ' ) | ||
119 | // InternalSolverLanguageLexer.g:14:14: 'GREATER_EQ' | ||
120 | { | ||
121 | match("GREATER_EQ"); | ||
122 | |||
123 | |||
124 | } | ||
125 | |||
126 | state.type = _type; | ||
127 | state.channel = _channel; | ||
128 | } | ||
129 | finally { | ||
130 | } | ||
131 | } | ||
132 | // $ANTLR end "GREATER_EQ" | ||
133 | |||
134 | // $ANTLR start "Functional" | 100 | // $ANTLR start "Functional" |
135 | public final void mFunctional() throws RecognitionException { | 101 | public final void mFunctional() throws RecognitionException { |
136 | try { | 102 | try { |
137 | int _type = Functional; | 103 | int _type = Functional; |
138 | int _channel = DEFAULT_TOKEN_CHANNEL; | 104 | int _channel = DEFAULT_TOKEN_CHANNEL; |
139 | // InternalSolverLanguageLexer.g:16:12: ( 'functional' ) | 105 | // InternalSolverLanguageLexer.g:14:12: ( 'functional' ) |
140 | // InternalSolverLanguageLexer.g:16:14: 'functional' | 106 | // InternalSolverLanguageLexer.g:14:14: 'functional' |
141 | { | 107 | { |
142 | match("functional"); | 108 | match("functional"); |
143 | 109 | ||
@@ -157,8 +123,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
157 | try { | 123 | try { |
158 | int _type = Abstract; | 124 | int _type = Abstract; |
159 | int _channel = DEFAULT_TOKEN_CHANNEL; | 125 | int _channel = DEFAULT_TOKEN_CHANNEL; |
160 | // InternalSolverLanguageLexer.g:18:10: ( 'abstract' ) | 126 | // InternalSolverLanguageLexer.g:16:10: ( 'abstract' ) |
161 | // InternalSolverLanguageLexer.g:18:12: 'abstract' | 127 | // InternalSolverLanguageLexer.g:16:12: 'abstract' |
162 | { | 128 | { |
163 | match("abstract"); | 129 | match("abstract"); |
164 | 130 | ||
@@ -178,8 +144,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
178 | try { | 144 | try { |
179 | int _type = Contains; | 145 | int _type = Contains; |
180 | int _channel = DEFAULT_TOKEN_CHANNEL; | 146 | int _channel = DEFAULT_TOKEN_CHANNEL; |
181 | // InternalSolverLanguageLexer.g:20:10: ( 'contains' ) | 147 | // InternalSolverLanguageLexer.g:18:10: ( 'contains' ) |
182 | // InternalSolverLanguageLexer.g:20:12: 'contains' | 148 | // InternalSolverLanguageLexer.g:18:12: 'contains' |
183 | { | 149 | { |
184 | match("contains"); | 150 | match("contains"); |
185 | 151 | ||
@@ -194,6 +160,27 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
194 | } | 160 | } |
195 | // $ANTLR end "Contains" | 161 | // $ANTLR end "Contains" |
196 | 162 | ||
163 | // $ANTLR start "Datatype" | ||
164 | public final void mDatatype() throws RecognitionException { | ||
165 | try { | ||
166 | int _type = Datatype; | ||
167 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
168 | // InternalSolverLanguageLexer.g:20:10: ( 'datatype' ) | ||
169 | // InternalSolverLanguageLexer.g:20:12: 'datatype' | ||
170 | { | ||
171 | match("datatype"); | ||
172 | |||
173 | |||
174 | } | ||
175 | |||
176 | state.type = _type; | ||
177 | state.channel = _channel; | ||
178 | } | ||
179 | finally { | ||
180 | } | ||
181 | } | ||
182 | // $ANTLR end "Datatype" | ||
183 | |||
197 | // $ANTLR start "Maximize" | 184 | // $ANTLR start "Maximize" |
198 | public final void mMaximize() throws RecognitionException { | 185 | public final void mMaximize() throws RecognitionException { |
199 | try { | 186 | try { |
@@ -257,55 +244,13 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
257 | } | 244 | } |
258 | // $ANTLR end "Opposite" | 245 | // $ANTLR end "Opposite" |
259 | 246 | ||
260 | // $ANTLR start "GREATER" | ||
261 | public final void mGREATER() throws RecognitionException { | ||
262 | try { | ||
263 | int _type = GREATER; | ||
264 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
265 | // InternalSolverLanguageLexer.g:28:9: ( 'GREATER' ) | ||
266 | // InternalSolverLanguageLexer.g:28:11: 'GREATER' | ||
267 | { | ||
268 | match("GREATER"); | ||
269 | |||
270 | |||
271 | } | ||
272 | |||
273 | state.type = _type; | ||
274 | state.channel = _channel; | ||
275 | } | ||
276 | finally { | ||
277 | } | ||
278 | } | ||
279 | // $ANTLR end "GREATER" | ||
280 | |||
281 | // $ANTLR start "LESS_EQ" | ||
282 | public final void mLESS_EQ() throws RecognitionException { | ||
283 | try { | ||
284 | int _type = LESS_EQ; | ||
285 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
286 | // InternalSolverLanguageLexer.g:30:9: ( 'LESS_EQ' ) | ||
287 | // InternalSolverLanguageLexer.g:30:11: 'LESS_EQ' | ||
288 | { | ||
289 | match("LESS_EQ"); | ||
290 | |||
291 | |||
292 | } | ||
293 | |||
294 | state.type = _type; | ||
295 | state.channel = _channel; | ||
296 | } | ||
297 | finally { | ||
298 | } | ||
299 | } | ||
300 | // $ANTLR end "LESS_EQ" | ||
301 | |||
302 | // $ANTLR start "Current" | 247 | // $ANTLR start "Current" |
303 | public final void mCurrent() throws RecognitionException { | 248 | public final void mCurrent() throws RecognitionException { |
304 | try { | 249 | try { |
305 | int _type = Current; | 250 | int _type = Current; |
306 | int _channel = DEFAULT_TOKEN_CHANNEL; | 251 | int _channel = DEFAULT_TOKEN_CHANNEL; |
307 | // InternalSolverLanguageLexer.g:32:9: ( 'current' ) | 252 | // InternalSolverLanguageLexer.g:28:9: ( 'current' ) |
308 | // InternalSolverLanguageLexer.g:32:11: 'current' | 253 | // InternalSolverLanguageLexer.g:28:11: 'current' |
309 | { | 254 | { |
310 | match("current"); | 255 | match("current"); |
311 | 256 | ||
@@ -325,8 +270,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
325 | try { | 270 | try { |
326 | int _type = Default; | 271 | int _type = Default; |
327 | int _channel = DEFAULT_TOKEN_CHANNEL; | 272 | int _channel = DEFAULT_TOKEN_CHANNEL; |
328 | // InternalSolverLanguageLexer.g:34:9: ( 'default' ) | 273 | // InternalSolverLanguageLexer.g:30:9: ( 'default' ) |
329 | // InternalSolverLanguageLexer.g:34:11: 'default' | 274 | // InternalSolverLanguageLexer.g:30:11: 'default' |
330 | { | 275 | { |
331 | match("default"); | 276 | match("default"); |
332 | 277 | ||
@@ -346,8 +291,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
346 | try { | 291 | try { |
347 | int _type = Extends; | 292 | int _type = Extends; |
348 | int _channel = DEFAULT_TOKEN_CHANNEL; | 293 | int _channel = DEFAULT_TOKEN_CHANNEL; |
349 | // InternalSolverLanguageLexer.g:36:9: ( 'extends' ) | 294 | // InternalSolverLanguageLexer.g:32:9: ( 'extends' ) |
350 | // InternalSolverLanguageLexer.g:36:11: 'extends' | 295 | // InternalSolverLanguageLexer.g:32:11: 'extends' |
351 | { | 296 | { |
352 | match("extends"); | 297 | match("extends"); |
353 | 298 | ||
@@ -367,8 +312,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
367 | try { | 312 | try { |
368 | int _type = Unknown; | 313 | int _type = Unknown; |
369 | int _channel = DEFAULT_TOKEN_CHANNEL; | 314 | int _channel = DEFAULT_TOKEN_CHANNEL; |
370 | // InternalSolverLanguageLexer.g:38:9: ( 'unknown' ) | 315 | // InternalSolverLanguageLexer.g:34:9: ( 'unknown' ) |
371 | // InternalSolverLanguageLexer.g:38:11: 'unknown' | 316 | // InternalSolverLanguageLexer.g:34:11: 'unknown' |
372 | { | 317 | { |
373 | match("unknown"); | 318 | match("unknown"); |
374 | 319 | ||
@@ -383,15 +328,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
383 | } | 328 | } |
384 | // $ANTLR end "Unknown" | 329 | // $ANTLR end "Unknown" |
385 | 330 | ||
386 | // $ANTLR start "NOT_EQ" | 331 | // $ANTLR start "Exists" |
387 | public final void mNOT_EQ() throws RecognitionException { | 332 | public final void mExists() throws RecognitionException { |
388 | try { | 333 | try { |
389 | int _type = NOT_EQ; | 334 | int _type = Exists; |
390 | int _channel = DEFAULT_TOKEN_CHANNEL; | 335 | int _channel = DEFAULT_TOKEN_CHANNEL; |
391 | // InternalSolverLanguageLexer.g:40:8: ( 'NOT_EQ' ) | 336 | // InternalSolverLanguageLexer.g:36:8: ( 'exists' ) |
392 | // InternalSolverLanguageLexer.g:40:10: 'NOT_EQ' | 337 | // InternalSolverLanguageLexer.g:36:10: 'exists' |
393 | { | 338 | { |
394 | match("NOT_EQ"); | 339 | match("exists"); |
395 | 340 | ||
396 | 341 | ||
397 | } | 342 | } |
@@ -402,15 +347,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
402 | finally { | 347 | finally { |
403 | } | 348 | } |
404 | } | 349 | } |
405 | // $ANTLR end "NOT_EQ" | 350 | // $ANTLR end "Exists" |
406 | 351 | ||
407 | // $ANTLR start "Extern" | 352 | // $ANTLR start "Extern" |
408 | public final void mExtern() throws RecognitionException { | 353 | public final void mExtern() throws RecognitionException { |
409 | try { | 354 | try { |
410 | int _type = Extern; | 355 | int _type = Extern; |
411 | int _channel = DEFAULT_TOKEN_CHANNEL; | 356 | int _channel = DEFAULT_TOKEN_CHANNEL; |
412 | // InternalSolverLanguageLexer.g:42:8: ( 'extern' ) | 357 | // InternalSolverLanguageLexer.g:38:8: ( 'extern' ) |
413 | // InternalSolverLanguageLexer.g:42:10: 'extern' | 358 | // InternalSolverLanguageLexer.g:38:10: 'extern' |
414 | { | 359 | { |
415 | match("extern"); | 360 | match("extern"); |
416 | 361 | ||
@@ -425,13 +370,34 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
425 | } | 370 | } |
426 | // $ANTLR end "Extern" | 371 | // $ANTLR end "Extern" |
427 | 372 | ||
373 | // $ANTLR start "Forall" | ||
374 | public final void mForall() throws RecognitionException { | ||
375 | try { | ||
376 | int _type = Forall; | ||
377 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
378 | // InternalSolverLanguageLexer.g:40:8: ( 'forall' ) | ||
379 | // InternalSolverLanguageLexer.g:40:10: 'forall' | ||
380 | { | ||
381 | match("forall"); | ||
382 | |||
383 | |||
384 | } | ||
385 | |||
386 | state.type = _type; | ||
387 | state.channel = _channel; | ||
388 | } | ||
389 | finally { | ||
390 | } | ||
391 | } | ||
392 | // $ANTLR end "Forall" | ||
393 | |||
428 | // $ANTLR start "Class" | 394 | // $ANTLR start "Class" |
429 | public final void mClass() throws RecognitionException { | 395 | public final void mClass() throws RecognitionException { |
430 | try { | 396 | try { |
431 | int _type = Class; | 397 | int _type = Class; |
432 | int _channel = DEFAULT_TOKEN_CHANNEL; | 398 | int _channel = DEFAULT_TOKEN_CHANNEL; |
433 | // InternalSolverLanguageLexer.g:44:7: ( 'class' ) | 399 | // InternalSolverLanguageLexer.g:42:7: ( 'class' ) |
434 | // InternalSolverLanguageLexer.g:44:9: 'class' | 400 | // InternalSolverLanguageLexer.g:42:9: 'class' |
435 | { | 401 | { |
436 | match("class"); | 402 | match("class"); |
437 | 403 | ||
@@ -451,8 +417,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
451 | try { | 417 | try { |
452 | int _type = Count; | 418 | int _type = Count; |
453 | int _channel = DEFAULT_TOKEN_CHANNEL; | 419 | int _channel = DEFAULT_TOKEN_CHANNEL; |
454 | // InternalSolverLanguageLexer.g:46:7: ( 'count' ) | 420 | // InternalSolverLanguageLexer.g:44:7: ( 'count' ) |
455 | // InternalSolverLanguageLexer.g:46:9: 'count' | 421 | // InternalSolverLanguageLexer.g:44:9: 'count' |
456 | { | 422 | { |
457 | match("count"); | 423 | match("count"); |
458 | 424 | ||
@@ -472,8 +438,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
472 | try { | 438 | try { |
473 | int _type = Empty; | 439 | int _type = Empty; |
474 | int _channel = DEFAULT_TOKEN_CHANNEL; | 440 | int _channel = DEFAULT_TOKEN_CHANNEL; |
475 | // InternalSolverLanguageLexer.g:48:7: ( 'empty' ) | 441 | // InternalSolverLanguageLexer.g:46:7: ( 'empty' ) |
476 | // InternalSolverLanguageLexer.g:48:9: 'empty' | 442 | // InternalSolverLanguageLexer.g:46:9: 'empty' |
477 | { | 443 | { |
478 | match("empty"); | 444 | match("empty"); |
479 | 445 | ||
@@ -493,8 +459,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
493 | try { | 459 | try { |
494 | int _type = Error; | 460 | int _type = Error; |
495 | int _channel = DEFAULT_TOKEN_CHANNEL; | 461 | int _channel = DEFAULT_TOKEN_CHANNEL; |
496 | // InternalSolverLanguageLexer.g:50:7: ( 'error' ) | 462 | // InternalSolverLanguageLexer.g:48:7: ( 'error' ) |
497 | // InternalSolverLanguageLexer.g:50:9: 'error' | 463 | // InternalSolverLanguageLexer.g:48:9: 'error' |
498 | { | 464 | { |
499 | match("error"); | 465 | match("error"); |
500 | 466 | ||
@@ -514,8 +480,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
514 | try { | 480 | try { |
515 | int _type = False; | 481 | int _type = False; |
516 | int _channel = DEFAULT_TOKEN_CHANNEL; | 482 | int _channel = DEFAULT_TOKEN_CHANNEL; |
517 | // InternalSolverLanguageLexer.g:52:7: ( 'false' ) | 483 | // InternalSolverLanguageLexer.g:50:7: ( 'false' ) |
518 | // InternalSolverLanguageLexer.g:52:9: 'false' | 484 | // InternalSolverLanguageLexer.g:50:9: 'false' |
519 | { | 485 | { |
520 | match("false"); | 486 | match("false"); |
521 | 487 | ||
@@ -535,8 +501,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
535 | try { | 501 | try { |
536 | int _type = Scope; | 502 | int _type = Scope; |
537 | int _channel = DEFAULT_TOKEN_CHANNEL; | 503 | int _channel = DEFAULT_TOKEN_CHANNEL; |
538 | // InternalSolverLanguageLexer.g:54:7: ( 'scope' ) | 504 | // InternalSolverLanguageLexer.g:52:7: ( 'scope' ) |
539 | // InternalSolverLanguageLexer.g:54:9: 'scope' | 505 | // InternalSolverLanguageLexer.g:52:9: 'scope' |
540 | { | 506 | { |
541 | match("scope"); | 507 | match("scope"); |
542 | 508 | ||
@@ -551,34 +517,13 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
551 | } | 517 | } |
552 | // $ANTLR end "Scope" | 518 | // $ANTLR end "Scope" |
553 | 519 | ||
554 | // $ANTLR start "LESS" | ||
555 | public final void mLESS() throws RecognitionException { | ||
556 | try { | ||
557 | int _type = LESS; | ||
558 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
559 | // InternalSolverLanguageLexer.g:56:6: ( 'LESS' ) | ||
560 | // InternalSolverLanguageLexer.g:56:8: 'LESS' | ||
561 | { | ||
562 | match("LESS"); | ||
563 | |||
564 | |||
565 | } | ||
566 | |||
567 | state.type = _type; | ||
568 | state.channel = _channel; | ||
569 | } | ||
570 | finally { | ||
571 | } | ||
572 | } | ||
573 | // $ANTLR end "LESS" | ||
574 | |||
575 | // $ANTLR start "Else" | 520 | // $ANTLR start "Else" |
576 | public final void mElse() throws RecognitionException { | 521 | public final void mElse() throws RecognitionException { |
577 | try { | 522 | try { |
578 | int _type = Else; | 523 | int _type = Else; |
579 | int _channel = DEFAULT_TOKEN_CHANNEL; | 524 | int _channel = DEFAULT_TOKEN_CHANNEL; |
580 | // InternalSolverLanguageLexer.g:58:6: ( 'else' ) | 525 | // InternalSolverLanguageLexer.g:54:6: ( 'else' ) |
581 | // InternalSolverLanguageLexer.g:58:8: 'else' | 526 | // InternalSolverLanguageLexer.g:54:8: 'else' |
582 | { | 527 | { |
583 | match("else"); | 528 | match("else"); |
584 | 529 | ||
@@ -598,8 +543,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
598 | try { | 543 | try { |
599 | int _type = Must; | 544 | int _type = Must; |
600 | int _channel = DEFAULT_TOKEN_CHANNEL; | 545 | int _channel = DEFAULT_TOKEN_CHANNEL; |
601 | // InternalSolverLanguageLexer.g:60:6: ( 'must' ) | 546 | // InternalSolverLanguageLexer.g:56:6: ( 'must' ) |
602 | // InternalSolverLanguageLexer.g:60:8: 'must' | 547 | // InternalSolverLanguageLexer.g:56:8: 'must' |
603 | { | 548 | { |
604 | match("must"); | 549 | match("must"); |
605 | 550 | ||
@@ -614,76 +559,13 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
614 | } | 559 | } |
615 | // $ANTLR end "Must" | 560 | // $ANTLR end "Must" |
616 | 561 | ||
617 | // $ANTLR start "Only" | ||
618 | public final void mOnly() throws RecognitionException { | ||
619 | try { | ||
620 | int _type = Only; | ||
621 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
622 | // InternalSolverLanguageLexer.g:62:6: ( 'only' ) | ||
623 | // InternalSolverLanguageLexer.g:62:8: 'only' | ||
624 | { | ||
625 | match("only"); | ||
626 | |||
627 | |||
628 | } | ||
629 | |||
630 | state.type = _type; | ||
631 | state.channel = _channel; | ||
632 | } | ||
633 | finally { | ||
634 | } | ||
635 | } | ||
636 | // $ANTLR end "Only" | ||
637 | |||
638 | // $ANTLR start "Prod" | ||
639 | public final void mProd() throws RecognitionException { | ||
640 | try { | ||
641 | int _type = Prod; | ||
642 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
643 | // InternalSolverLanguageLexer.g:64:6: ( 'prod' ) | ||
644 | // InternalSolverLanguageLexer.g:64:8: 'prod' | ||
645 | { | ||
646 | match("prod"); | ||
647 | |||
648 | |||
649 | } | ||
650 | |||
651 | state.type = _type; | ||
652 | state.channel = _channel; | ||
653 | } | ||
654 | finally { | ||
655 | } | ||
656 | } | ||
657 | // $ANTLR end "Prod" | ||
658 | |||
659 | // $ANTLR start "Real" | ||
660 | public final void mReal() throws RecognitionException { | ||
661 | try { | ||
662 | int _type = Real; | ||
663 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
664 | // InternalSolverLanguageLexer.g:66:6: ( 'real' ) | ||
665 | // InternalSolverLanguageLexer.g:66:8: 'real' | ||
666 | { | ||
667 | match("real"); | ||
668 | |||
669 | |||
670 | } | ||
671 | |||
672 | state.type = _type; | ||
673 | state.channel = _channel; | ||
674 | } | ||
675 | finally { | ||
676 | } | ||
677 | } | ||
678 | // $ANTLR end "Real" | ||
679 | |||
680 | // $ANTLR start "Then" | 562 | // $ANTLR start "Then" |
681 | public final void mThen() throws RecognitionException { | 563 | public final void mThen() throws RecognitionException { |
682 | try { | 564 | try { |
683 | int _type = Then; | 565 | int _type = Then; |
684 | int _channel = DEFAULT_TOKEN_CHANNEL; | 566 | int _channel = DEFAULT_TOKEN_CHANNEL; |
685 | // InternalSolverLanguageLexer.g:68:6: ( 'then' ) | 567 | // InternalSolverLanguageLexer.g:58:6: ( 'then' ) |
686 | // InternalSolverLanguageLexer.g:68:8: 'then' | 568 | // InternalSolverLanguageLexer.g:58:8: 'then' |
687 | { | 569 | { |
688 | match("then"); | 570 | match("then"); |
689 | 571 | ||
@@ -703,8 +585,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
703 | try { | 585 | try { |
704 | int _type = True; | 586 | int _type = True; |
705 | int _channel = DEFAULT_TOKEN_CHANNEL; | 587 | int _channel = DEFAULT_TOKEN_CHANNEL; |
706 | // InternalSolverLanguageLexer.g:70:6: ( 'true' ) | 588 | // InternalSolverLanguageLexer.g:60:6: ( 'true' ) |
707 | // InternalSolverLanguageLexer.g:70:8: 'true' | 589 | // InternalSolverLanguageLexer.g:60:8: 'true' |
708 | { | 590 | { |
709 | match("true"); | 591 | match("true"); |
710 | 592 | ||
@@ -719,15 +601,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
719 | } | 601 | } |
720 | // $ANTLR end "True" | 602 | // $ANTLR end "True" |
721 | 603 | ||
722 | // $ANTLR start "ADD" | 604 | // $ANTLR start "FullStopFullStopFullStop" |
723 | public final void mADD() throws RecognitionException { | 605 | public final void mFullStopFullStopFullStop() throws RecognitionException { |
724 | try { | 606 | try { |
725 | int _type = ADD; | 607 | int _type = FullStopFullStopFullStop; |
726 | int _channel = DEFAULT_TOKEN_CHANNEL; | 608 | int _channel = DEFAULT_TOKEN_CHANNEL; |
727 | // InternalSolverLanguageLexer.g:72:5: ( 'ADD' ) | 609 | // InternalSolverLanguageLexer.g:62:26: ( '...' ) |
728 | // InternalSolverLanguageLexer.g:72:7: 'ADD' | 610 | // InternalSolverLanguageLexer.g:62:28: '...' |
729 | { | 611 | { |
730 | match("ADD"); | 612 | match("..."); |
731 | 613 | ||
732 | 614 | ||
733 | } | 615 | } |
@@ -738,120 +620,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
738 | finally { | 620 | finally { |
739 | } | 621 | } |
740 | } | 622 | } |
741 | // $ANTLR end "ADD" | 623 | // $ANTLR end "FullStopFullStopFullStop" |
742 | |||
743 | // $ANTLR start "DIV" | ||
744 | public final void mDIV() throws RecognitionException { | ||
745 | try { | ||
746 | int _type = DIV; | ||
747 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
748 | // InternalSolverLanguageLexer.g:74:5: ( 'DIV' ) | ||
749 | // InternalSolverLanguageLexer.g:74:7: 'DIV' | ||
750 | { | ||
751 | match("DIV"); | ||
752 | |||
753 | |||
754 | } | ||
755 | |||
756 | state.type = _type; | ||
757 | state.channel = _channel; | ||
758 | } | ||
759 | finally { | ||
760 | } | ||
761 | } | ||
762 | // $ANTLR end "DIV" | ||
763 | |||
764 | // $ANTLR start "MUL" | ||
765 | public final void mMUL() throws RecognitionException { | ||
766 | try { | ||
767 | int _type = MUL; | ||
768 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
769 | // InternalSolverLanguageLexer.g:76:5: ( 'MUL' ) | ||
770 | // InternalSolverLanguageLexer.g:76:7: 'MUL' | ||
771 | { | ||
772 | match("MUL"); | ||
773 | |||
774 | |||
775 | } | ||
776 | |||
777 | state.type = _type; | ||
778 | state.channel = _channel; | ||
779 | } | ||
780 | finally { | ||
781 | } | ||
782 | } | ||
783 | // $ANTLR end "MUL" | ||
784 | |||
785 | // $ANTLR start "POW" | ||
786 | public final void mPOW() throws RecognitionException { | ||
787 | try { | ||
788 | int _type = POW; | ||
789 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
790 | // InternalSolverLanguageLexer.g:78:5: ( 'POW' ) | ||
791 | // InternalSolverLanguageLexer.g:78:7: 'POW' | ||
792 | { | ||
793 | match("POW"); | ||
794 | |||
795 | |||
796 | } | ||
797 | |||
798 | state.type = _type; | ||
799 | state.channel = _channel; | ||
800 | } | ||
801 | finally { | ||
802 | } | ||
803 | } | ||
804 | // $ANTLR end "POW" | ||
805 | |||
806 | // $ANTLR start "SUB" | ||
807 | public final void mSUB() throws RecognitionException { | ||
808 | try { | ||
809 | int _type = SUB; | ||
810 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
811 | // InternalSolverLanguageLexer.g:80:5: ( 'SUB' ) | ||
812 | // InternalSolverLanguageLexer.g:80:7: 'SUB' | ||
813 | { | ||
814 | match("SUB"); | ||
815 | |||
816 | |||
817 | } | ||
818 | |||
819 | state.type = _type; | ||
820 | state.channel = _channel; | ||
821 | } | ||
822 | finally { | ||
823 | } | ||
824 | } | ||
825 | // $ANTLR end "SUB" | ||
826 | |||
827 | // $ANTLR start "Avg" | ||
828 | public final void mAvg() throws RecognitionException { | ||
829 | try { | ||
830 | int _type = Avg; | ||
831 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
832 | // InternalSolverLanguageLexer.g:82:5: ( 'avg' ) | ||
833 | // InternalSolverLanguageLexer.g:82:7: 'avg' | ||
834 | { | ||
835 | match("avg"); | ||
836 | |||
837 | |||
838 | } | ||
839 | |||
840 | state.type = _type; | ||
841 | state.channel = _channel; | ||
842 | } | ||
843 | finally { | ||
844 | } | ||
845 | } | ||
846 | // $ANTLR end "Avg" | ||
847 | 624 | ||
848 | // $ANTLR start "Inf" | 625 | // $ANTLR start "Inf" |
849 | public final void mInf() throws RecognitionException { | 626 | public final void mInf() throws RecognitionException { |
850 | try { | 627 | try { |
851 | int _type = Inf; | 628 | int _type = Inf; |
852 | int _channel = DEFAULT_TOKEN_CHANNEL; | 629 | int _channel = DEFAULT_TOKEN_CHANNEL; |
853 | // InternalSolverLanguageLexer.g:84:5: ( 'inf' ) | 630 | // InternalSolverLanguageLexer.g:64:5: ( 'inf' ) |
854 | // InternalSolverLanguageLexer.g:84:7: 'inf' | 631 | // InternalSolverLanguageLexer.g:64:7: 'inf' |
855 | { | 632 | { |
856 | match("inf"); | 633 | match("inf"); |
857 | 634 | ||
@@ -866,36 +643,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
866 | } | 643 | } |
867 | // $ANTLR end "Inf" | 644 | // $ANTLR end "Inf" |
868 | 645 | ||
869 | // $ANTLR start "Int" | 646 | // $ANTLR start "Let" |
870 | public final void mInt() throws RecognitionException { | 647 | public final void mLet() throws RecognitionException { |
871 | try { | ||
872 | int _type = Int; | ||
873 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
874 | // InternalSolverLanguageLexer.g:86:5: ( 'int' ) | ||
875 | // InternalSolverLanguageLexer.g:86:7: 'int' | ||
876 | { | ||
877 | match("int"); | ||
878 | |||
879 | |||
880 | } | ||
881 | |||
882 | state.type = _type; | ||
883 | state.channel = _channel; | ||
884 | } | ||
885 | finally { | ||
886 | } | ||
887 | } | ||
888 | // $ANTLR end "Int" | ||
889 | |||
890 | // $ANTLR start "Max" | ||
891 | public final void mMax() throws RecognitionException { | ||
892 | try { | 648 | try { |
893 | int _type = Max; | 649 | int _type = Let; |
894 | int _channel = DEFAULT_TOKEN_CHANNEL; | 650 | int _channel = DEFAULT_TOKEN_CHANNEL; |
895 | // InternalSolverLanguageLexer.g:88:5: ( 'max' ) | 651 | // InternalSolverLanguageLexer.g:66:5: ( 'let' ) |
896 | // InternalSolverLanguageLexer.g:88:7: 'max' | 652 | // InternalSolverLanguageLexer.g:66:7: 'let' |
897 | { | 653 | { |
898 | match("max"); | 654 | match("let"); |
899 | 655 | ||
900 | 656 | ||
901 | } | 657 | } |
@@ -906,15 +662,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
906 | finally { | 662 | finally { |
907 | } | 663 | } |
908 | } | 664 | } |
909 | // $ANTLR end "Max" | 665 | // $ANTLR end "Let" |
910 | 666 | ||
911 | // $ANTLR start "May" | 667 | // $ANTLR start "May" |
912 | public final void mMay() throws RecognitionException { | 668 | public final void mMay() throws RecognitionException { |
913 | try { | 669 | try { |
914 | int _type = May; | 670 | int _type = May; |
915 | int _channel = DEFAULT_TOKEN_CHANNEL; | 671 | int _channel = DEFAULT_TOKEN_CHANNEL; |
916 | // InternalSolverLanguageLexer.g:90:5: ( 'may' ) | 672 | // InternalSolverLanguageLexer.g:68:5: ( 'may' ) |
917 | // InternalSolverLanguageLexer.g:90:7: 'may' | 673 | // InternalSolverLanguageLexer.g:68:7: 'may' |
918 | { | 674 | { |
919 | match("may"); | 675 | match("may"); |
920 | 676 | ||
@@ -929,55 +685,13 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
929 | } | 685 | } |
930 | // $ANTLR end "May" | 686 | // $ANTLR end "May" |
931 | 687 | ||
932 | // $ANTLR start "Min" | ||
933 | public final void mMin() throws RecognitionException { | ||
934 | try { | ||
935 | int _type = Min; | ||
936 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
937 | // InternalSolverLanguageLexer.g:92:5: ( 'min' ) | ||
938 | // InternalSolverLanguageLexer.g:92:7: 'min' | ||
939 | { | ||
940 | match("min"); | ||
941 | |||
942 | |||
943 | } | ||
944 | |||
945 | state.type = _type; | ||
946 | state.channel = _channel; | ||
947 | } | ||
948 | finally { | ||
949 | } | ||
950 | } | ||
951 | // $ANTLR end "Min" | ||
952 | |||
953 | // $ANTLR start "Sum" | ||
954 | public final void mSum() throws RecognitionException { | ||
955 | try { | ||
956 | int _type = Sum; | ||
957 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
958 | // InternalSolverLanguageLexer.g:94:5: ( 'sum' ) | ||
959 | // InternalSolverLanguageLexer.g:94:7: 'sum' | ||
960 | { | ||
961 | match("sum"); | ||
962 | |||
963 | |||
964 | } | ||
965 | |||
966 | state.type = _type; | ||
967 | state.channel = _channel; | ||
968 | } | ||
969 | finally { | ||
970 | } | ||
971 | } | ||
972 | // $ANTLR end "Sum" | ||
973 | |||
974 | // $ANTLR start "ExclamationMarkEqualsSign" | 688 | // $ANTLR start "ExclamationMarkEqualsSign" |
975 | public final void mExclamationMarkEqualsSign() throws RecognitionException { | 689 | public final void mExclamationMarkEqualsSign() throws RecognitionException { |
976 | try { | 690 | try { |
977 | int _type = ExclamationMarkEqualsSign; | 691 | int _type = ExclamationMarkEqualsSign; |
978 | int _channel = DEFAULT_TOKEN_CHANNEL; | 692 | int _channel = DEFAULT_TOKEN_CHANNEL; |
979 | // InternalSolverLanguageLexer.g:96:27: ( '!=' ) | 693 | // InternalSolverLanguageLexer.g:70:27: ( '!=' ) |
980 | // InternalSolverLanguageLexer.g:96:29: '!=' | 694 | // InternalSolverLanguageLexer.g:70:29: '!=' |
981 | { | 695 | { |
982 | match("!="); | 696 | match("!="); |
983 | 697 | ||
@@ -997,8 +711,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
997 | try { | 711 | try { |
998 | int _type = HyphenMinusGreaterThanSign; | 712 | int _type = HyphenMinusGreaterThanSign; |
999 | int _channel = DEFAULT_TOKEN_CHANNEL; | 713 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1000 | // InternalSolverLanguageLexer.g:98:28: ( '->' ) | 714 | // InternalSolverLanguageLexer.g:72:28: ( '->' ) |
1001 | // InternalSolverLanguageLexer.g:98:30: '->' | 715 | // InternalSolverLanguageLexer.g:72:30: '->' |
1002 | { | 716 | { |
1003 | match("->"); | 717 | match("->"); |
1004 | 718 | ||
@@ -1018,8 +732,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1018 | try { | 732 | try { |
1019 | int _type = FullStopFullStop; | 733 | int _type = FullStopFullStop; |
1020 | int _channel = DEFAULT_TOKEN_CHANNEL; | 734 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1021 | // InternalSolverLanguageLexer.g:100:18: ( '..' ) | 735 | // InternalSolverLanguageLexer.g:74:18: ( '..' ) |
1022 | // InternalSolverLanguageLexer.g:100:20: '..' | 736 | // InternalSolverLanguageLexer.g:74:20: '..' |
1023 | { | 737 | { |
1024 | match(".."); | 738 | match(".."); |
1025 | 739 | ||
@@ -1039,8 +753,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1039 | try { | 753 | try { |
1040 | int _type = ColonHyphenMinus; | 754 | int _type = ColonHyphenMinus; |
1041 | int _channel = DEFAULT_TOKEN_CHANNEL; | 755 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1042 | // InternalSolverLanguageLexer.g:102:18: ( ':-' ) | 756 | // InternalSolverLanguageLexer.g:76:18: ( ':-' ) |
1043 | // InternalSolverLanguageLexer.g:102:20: ':-' | 757 | // InternalSolverLanguageLexer.g:76:20: ':-' |
1044 | { | 758 | { |
1045 | match(":-"); | 759 | match(":-"); |
1046 | 760 | ||
@@ -1060,8 +774,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1060 | try { | 774 | try { |
1061 | int _type = LessThanSignEqualsSign; | 775 | int _type = LessThanSignEqualsSign; |
1062 | int _channel = DEFAULT_TOKEN_CHANNEL; | 776 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1063 | // InternalSolverLanguageLexer.g:104:24: ( '<=' ) | 777 | // InternalSolverLanguageLexer.g:78:24: ( '<=' ) |
1064 | // InternalSolverLanguageLexer.g:104:26: '<=' | 778 | // InternalSolverLanguageLexer.g:78:26: '<=' |
1065 | { | 779 | { |
1066 | match("<="); | 780 | match("<="); |
1067 | 781 | ||
@@ -1081,8 +795,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1081 | try { | 795 | try { |
1082 | int _type = EqualsSignEqualsSign; | 796 | int _type = EqualsSignEqualsSign; |
1083 | int _channel = DEFAULT_TOKEN_CHANNEL; | 797 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1084 | // InternalSolverLanguageLexer.g:106:22: ( '==' ) | 798 | // InternalSolverLanguageLexer.g:80:22: ( '==' ) |
1085 | // InternalSolverLanguageLexer.g:106:24: '==' | 799 | // InternalSolverLanguageLexer.g:80:24: '==' |
1086 | { | 800 | { |
1087 | match("=="); | 801 | match("=="); |
1088 | 802 | ||
@@ -1097,15 +811,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1097 | } | 811 | } |
1098 | // $ANTLR end "EqualsSignEqualsSign" | 812 | // $ANTLR end "EqualsSignEqualsSign" |
1099 | 813 | ||
1100 | // $ANTLR start "GreaterThanSignEqualsSign" | 814 | // $ANTLR start "EqualsSignGreaterThanSign" |
1101 | public final void mGreaterThanSignEqualsSign() throws RecognitionException { | 815 | public final void mEqualsSignGreaterThanSign() throws RecognitionException { |
1102 | try { | 816 | try { |
1103 | int _type = GreaterThanSignEqualsSign; | 817 | int _type = EqualsSignGreaterThanSign; |
1104 | int _channel = DEFAULT_TOKEN_CHANNEL; | 818 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1105 | // InternalSolverLanguageLexer.g:108:27: ( '>=' ) | 819 | // InternalSolverLanguageLexer.g:82:27: ( '=>' ) |
1106 | // InternalSolverLanguageLexer.g:108:29: '>=' | 820 | // InternalSolverLanguageLexer.g:82:29: '=>' |
1107 | { | 821 | { |
1108 | match(">="); | 822 | match("=>"); |
1109 | 823 | ||
1110 | 824 | ||
1111 | } | 825 | } |
@@ -1116,17 +830,17 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1116 | finally { | 830 | finally { |
1117 | } | 831 | } |
1118 | } | 832 | } |
1119 | // $ANTLR end "GreaterThanSignEqualsSign" | 833 | // $ANTLR end "EqualsSignGreaterThanSign" |
1120 | 834 | ||
1121 | // $ANTLR start "EQ" | 835 | // $ANTLR start "GreaterThanSignEqualsSign" |
1122 | public final void mEQ() throws RecognitionException { | 836 | public final void mGreaterThanSignEqualsSign() throws RecognitionException { |
1123 | try { | 837 | try { |
1124 | int _type = EQ; | 838 | int _type = GreaterThanSignEqualsSign; |
1125 | int _channel = DEFAULT_TOKEN_CHANNEL; | 839 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1126 | // InternalSolverLanguageLexer.g:110:4: ( 'EQ' ) | 840 | // InternalSolverLanguageLexer.g:84:27: ( '>=' ) |
1127 | // InternalSolverLanguageLexer.g:110:6: 'EQ' | 841 | // InternalSolverLanguageLexer.g:84:29: '>=' |
1128 | { | 842 | { |
1129 | match("EQ"); | 843 | match(">="); |
1130 | 844 | ||
1131 | 845 | ||
1132 | } | 846 | } |
@@ -1137,17 +851,17 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1137 | finally { | 851 | finally { |
1138 | } | 852 | } |
1139 | } | 853 | } |
1140 | // $ANTLR end "EQ" | 854 | // $ANTLR end "GreaterThanSignEqualsSign" |
1141 | 855 | ||
1142 | // $ANTLR start "IN" | 856 | // $ANTLR start "As" |
1143 | public final void mIN() throws RecognitionException { | 857 | public final void mAs() throws RecognitionException { |
1144 | try { | 858 | try { |
1145 | int _type = IN; | 859 | int _type = As; |
1146 | int _channel = DEFAULT_TOKEN_CHANNEL; | 860 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1147 | // InternalSolverLanguageLexer.g:112:4: ( 'IN' ) | 861 | // InternalSolverLanguageLexer.g:86:4: ( 'as' ) |
1148 | // InternalSolverLanguageLexer.g:112:6: 'IN' | 862 | // InternalSolverLanguageLexer.g:86:6: 'as' |
1149 | { | 863 | { |
1150 | match("IN"); | 864 | match("as"); |
1151 | 865 | ||
1152 | 866 | ||
1153 | } | 867 | } |
@@ -1158,15 +872,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1158 | finally { | 872 | finally { |
1159 | } | 873 | } |
1160 | } | 874 | } |
1161 | // $ANTLR end "IN" | 875 | // $ANTLR end "As" |
1162 | 876 | ||
1163 | // $ANTLR start "If" | 877 | // $ANTLR start "If" |
1164 | public final void mIf() throws RecognitionException { | 878 | public final void mIf() throws RecognitionException { |
1165 | try { | 879 | try { |
1166 | int _type = If; | 880 | int _type = If; |
1167 | int _channel = DEFAULT_TOKEN_CHANNEL; | 881 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1168 | // InternalSolverLanguageLexer.g:114:4: ( 'if' ) | 882 | // InternalSolverLanguageLexer.g:88:4: ( 'if' ) |
1169 | // InternalSolverLanguageLexer.g:114:6: 'if' | 883 | // InternalSolverLanguageLexer.g:88:6: 'if' |
1170 | { | 884 | { |
1171 | match("if"); | 885 | match("if"); |
1172 | 886 | ||
@@ -1186,8 +900,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1186 | try { | 900 | try { |
1187 | int _type = In; | 901 | int _type = In; |
1188 | int _channel = DEFAULT_TOKEN_CHANNEL; | 902 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1189 | // InternalSolverLanguageLexer.g:116:4: ( 'in' ) | 903 | // InternalSolverLanguageLexer.g:90:4: ( 'in' ) |
1190 | // InternalSolverLanguageLexer.g:116:6: 'in' | 904 | // InternalSolverLanguageLexer.g:90:6: 'in' |
1191 | { | 905 | { |
1192 | match("in"); | 906 | match("in"); |
1193 | 907 | ||
@@ -1207,8 +921,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1207 | try { | 921 | try { |
1208 | int _type = ExclamationMark; | 922 | int _type = ExclamationMark; |
1209 | int _channel = DEFAULT_TOKEN_CHANNEL; | 923 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1210 | // InternalSolverLanguageLexer.g:118:17: ( '!' ) | 924 | // InternalSolverLanguageLexer.g:92:17: ( '!' ) |
1211 | // InternalSolverLanguageLexer.g:118:19: '!' | 925 | // InternalSolverLanguageLexer.g:92:19: '!' |
1212 | { | 926 | { |
1213 | match('!'); | 927 | match('!'); |
1214 | 928 | ||
@@ -1227,8 +941,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1227 | try { | 941 | try { |
1228 | int _type = LeftParenthesis; | 942 | int _type = LeftParenthesis; |
1229 | int _channel = DEFAULT_TOKEN_CHANNEL; | 943 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1230 | // InternalSolverLanguageLexer.g:120:17: ( '(' ) | 944 | // InternalSolverLanguageLexer.g:94:17: ( '(' ) |
1231 | // InternalSolverLanguageLexer.g:120:19: '(' | 945 | // InternalSolverLanguageLexer.g:94:19: '(' |
1232 | { | 946 | { |
1233 | match('('); | 947 | match('('); |
1234 | 948 | ||
@@ -1247,8 +961,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1247 | try { | 961 | try { |
1248 | int _type = RightParenthesis; | 962 | int _type = RightParenthesis; |
1249 | int _channel = DEFAULT_TOKEN_CHANNEL; | 963 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1250 | // InternalSolverLanguageLexer.g:122:18: ( ')' ) | 964 | // InternalSolverLanguageLexer.g:96:18: ( ')' ) |
1251 | // InternalSolverLanguageLexer.g:122:20: ')' | 965 | // InternalSolverLanguageLexer.g:96:20: ')' |
1252 | { | 966 | { |
1253 | match(')'); | 967 | match(')'); |
1254 | 968 | ||
@@ -1267,8 +981,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1267 | try { | 981 | try { |
1268 | int _type = Asterisk; | 982 | int _type = Asterisk; |
1269 | int _channel = DEFAULT_TOKEN_CHANNEL; | 983 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1270 | // InternalSolverLanguageLexer.g:124:10: ( '*' ) | 984 | // InternalSolverLanguageLexer.g:98:10: ( '*' ) |
1271 | // InternalSolverLanguageLexer.g:124:12: '*' | 985 | // InternalSolverLanguageLexer.g:98:12: '*' |
1272 | { | 986 | { |
1273 | match('*'); | 987 | match('*'); |
1274 | 988 | ||
@@ -1287,8 +1001,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1287 | try { | 1001 | try { |
1288 | int _type = PlusSign; | 1002 | int _type = PlusSign; |
1289 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1003 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1290 | // InternalSolverLanguageLexer.g:126:10: ( '+' ) | 1004 | // InternalSolverLanguageLexer.g:100:10: ( '+' ) |
1291 | // InternalSolverLanguageLexer.g:126:12: '+' | 1005 | // InternalSolverLanguageLexer.g:100:12: '+' |
1292 | { | 1006 | { |
1293 | match('+'); | 1007 | match('+'); |
1294 | 1008 | ||
@@ -1307,8 +1021,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1307 | try { | 1021 | try { |
1308 | int _type = Comma; | 1022 | int _type = Comma; |
1309 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1023 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1310 | // InternalSolverLanguageLexer.g:128:7: ( ',' ) | 1024 | // InternalSolverLanguageLexer.g:102:7: ( ',' ) |
1311 | // InternalSolverLanguageLexer.g:128:9: ',' | 1025 | // InternalSolverLanguageLexer.g:102:9: ',' |
1312 | { | 1026 | { |
1313 | match(','); | 1027 | match(','); |
1314 | 1028 | ||
@@ -1327,8 +1041,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1327 | try { | 1041 | try { |
1328 | int _type = HyphenMinus; | 1042 | int _type = HyphenMinus; |
1329 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1043 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1330 | // InternalSolverLanguageLexer.g:130:13: ( '-' ) | 1044 | // InternalSolverLanguageLexer.g:104:13: ( '-' ) |
1331 | // InternalSolverLanguageLexer.g:130:15: '-' | 1045 | // InternalSolverLanguageLexer.g:104:15: '-' |
1332 | { | 1046 | { |
1333 | match('-'); | 1047 | match('-'); |
1334 | 1048 | ||
@@ -1347,8 +1061,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1347 | try { | 1061 | try { |
1348 | int _type = FullStop; | 1062 | int _type = FullStop; |
1349 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1063 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1350 | // InternalSolverLanguageLexer.g:132:10: ( '.' ) | 1064 | // InternalSolverLanguageLexer.g:106:10: ( '.' ) |
1351 | // InternalSolverLanguageLexer.g:132:12: '.' | 1065 | // InternalSolverLanguageLexer.g:106:12: '.' |
1352 | { | 1066 | { |
1353 | match('.'); | 1067 | match('.'); |
1354 | 1068 | ||
@@ -1367,8 +1081,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1367 | try { | 1081 | try { |
1368 | int _type = Solidus; | 1082 | int _type = Solidus; |
1369 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1083 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1370 | // InternalSolverLanguageLexer.g:134:9: ( '/' ) | 1084 | // InternalSolverLanguageLexer.g:108:9: ( '/' ) |
1371 | // InternalSolverLanguageLexer.g:134:11: '/' | 1085 | // InternalSolverLanguageLexer.g:108:11: '/' |
1372 | { | 1086 | { |
1373 | match('/'); | 1087 | match('/'); |
1374 | 1088 | ||
@@ -1387,8 +1101,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1387 | try { | 1101 | try { |
1388 | int _type = Colon; | 1102 | int _type = Colon; |
1389 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1103 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1390 | // InternalSolverLanguageLexer.g:136:7: ( ':' ) | 1104 | // InternalSolverLanguageLexer.g:110:7: ( ':' ) |
1391 | // InternalSolverLanguageLexer.g:136:9: ':' | 1105 | // InternalSolverLanguageLexer.g:110:9: ':' |
1392 | { | 1106 | { |
1393 | match(':'); | 1107 | match(':'); |
1394 | 1108 | ||
@@ -1407,8 +1121,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1407 | try { | 1121 | try { |
1408 | int _type = Semicolon; | 1122 | int _type = Semicolon; |
1409 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1123 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1410 | // InternalSolverLanguageLexer.g:138:11: ( ';' ) | 1124 | // InternalSolverLanguageLexer.g:112:11: ( ';' ) |
1411 | // InternalSolverLanguageLexer.g:138:13: ';' | 1125 | // InternalSolverLanguageLexer.g:112:13: ';' |
1412 | { | 1126 | { |
1413 | match(';'); | 1127 | match(';'); |
1414 | 1128 | ||
@@ -1427,8 +1141,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1427 | try { | 1141 | try { |
1428 | int _type = LessThanSign; | 1142 | int _type = LessThanSign; |
1429 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1143 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1430 | // InternalSolverLanguageLexer.g:140:14: ( '<' ) | 1144 | // InternalSolverLanguageLexer.g:114:14: ( '<' ) |
1431 | // InternalSolverLanguageLexer.g:140:16: '<' | 1145 | // InternalSolverLanguageLexer.g:114:16: '<' |
1432 | { | 1146 | { |
1433 | match('<'); | 1147 | match('<'); |
1434 | 1148 | ||
@@ -1447,8 +1161,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1447 | try { | 1161 | try { |
1448 | int _type = EqualsSign; | 1162 | int _type = EqualsSign; |
1449 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1163 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1450 | // InternalSolverLanguageLexer.g:142:12: ( '=' ) | 1164 | // InternalSolverLanguageLexer.g:116:12: ( '=' ) |
1451 | // InternalSolverLanguageLexer.g:142:14: '=' | 1165 | // InternalSolverLanguageLexer.g:116:14: '=' |
1452 | { | 1166 | { |
1453 | match('='); | 1167 | match('='); |
1454 | 1168 | ||
@@ -1467,8 +1181,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1467 | try { | 1181 | try { |
1468 | int _type = GreaterThanSign; | 1182 | int _type = GreaterThanSign; |
1469 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1183 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1470 | // InternalSolverLanguageLexer.g:144:17: ( '>' ) | 1184 | // InternalSolverLanguageLexer.g:118:17: ( '>' ) |
1471 | // InternalSolverLanguageLexer.g:144:19: '>' | 1185 | // InternalSolverLanguageLexer.g:118:19: '>' |
1472 | { | 1186 | { |
1473 | match('>'); | 1187 | match('>'); |
1474 | 1188 | ||
@@ -1487,8 +1201,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1487 | try { | 1201 | try { |
1488 | int _type = LeftSquareBracket; | 1202 | int _type = LeftSquareBracket; |
1489 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1203 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1490 | // InternalSolverLanguageLexer.g:146:19: ( '[' ) | 1204 | // InternalSolverLanguageLexer.g:120:19: ( '[' ) |
1491 | // InternalSolverLanguageLexer.g:146:21: '[' | 1205 | // InternalSolverLanguageLexer.g:120:21: '[' |
1492 | { | 1206 | { |
1493 | match('['); | 1207 | match('['); |
1494 | 1208 | ||
@@ -1507,8 +1221,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1507 | try { | 1221 | try { |
1508 | int _type = RightSquareBracket; | 1222 | int _type = RightSquareBracket; |
1509 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1223 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1510 | // InternalSolverLanguageLexer.g:148:20: ( ']' ) | 1224 | // InternalSolverLanguageLexer.g:122:20: ( ']' ) |
1511 | // InternalSolverLanguageLexer.g:148:22: ']' | 1225 | // InternalSolverLanguageLexer.g:122:22: ']' |
1512 | { | 1226 | { |
1513 | match(']'); | 1227 | match(']'); |
1514 | 1228 | ||
@@ -1527,8 +1241,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1527 | try { | 1241 | try { |
1528 | int _type = CircumflexAccent; | 1242 | int _type = CircumflexAccent; |
1529 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1243 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1530 | // InternalSolverLanguageLexer.g:150:18: ( '^' ) | 1244 | // InternalSolverLanguageLexer.g:124:18: ( '^' ) |
1531 | // InternalSolverLanguageLexer.g:150:20: '^' | 1245 | // InternalSolverLanguageLexer.g:124:20: '^' |
1532 | { | 1246 | { |
1533 | match('^'); | 1247 | match('^'); |
1534 | 1248 | ||
@@ -1547,8 +1261,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1547 | try { | 1261 | try { |
1548 | int _type = LeftCurlyBracket; | 1262 | int _type = LeftCurlyBracket; |
1549 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1263 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1550 | // InternalSolverLanguageLexer.g:152:18: ( '{' ) | 1264 | // InternalSolverLanguageLexer.g:126:18: ( '{' ) |
1551 | // InternalSolverLanguageLexer.g:152:20: '{' | 1265 | // InternalSolverLanguageLexer.g:126:20: '{' |
1552 | { | 1266 | { |
1553 | match('{'); | 1267 | match('{'); |
1554 | 1268 | ||
@@ -1567,8 +1281,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1567 | try { | 1281 | try { |
1568 | int _type = VerticalLine; | 1282 | int _type = VerticalLine; |
1569 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1283 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1570 | // InternalSolverLanguageLexer.g:154:14: ( '|' ) | 1284 | // InternalSolverLanguageLexer.g:128:14: ( '|' ) |
1571 | // InternalSolverLanguageLexer.g:154:16: '|' | 1285 | // InternalSolverLanguageLexer.g:128:16: '|' |
1572 | { | 1286 | { |
1573 | match('|'); | 1287 | match('|'); |
1574 | 1288 | ||
@@ -1587,8 +1301,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1587 | try { | 1301 | try { |
1588 | int _type = RightCurlyBracket; | 1302 | int _type = RightCurlyBracket; |
1589 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1303 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1590 | // InternalSolverLanguageLexer.g:156:19: ( '}' ) | 1304 | // InternalSolverLanguageLexer.g:130:19: ( '}' ) |
1591 | // InternalSolverLanguageLexer.g:156:21: '}' | 1305 | // InternalSolverLanguageLexer.g:130:21: '}' |
1592 | { | 1306 | { |
1593 | match('}'); | 1307 | match('}'); |
1594 | 1308 | ||
@@ -1607,11 +1321,11 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1607 | try { | 1321 | try { |
1608 | int _type = RULE_STRING; | 1322 | int _type = RULE_STRING; |
1609 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1323 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1610 | // InternalSolverLanguageLexer.g:158:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) | 1324 | // InternalSolverLanguageLexer.g:132:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) |
1611 | // InternalSolverLanguageLexer.g:158:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | 1325 | // InternalSolverLanguageLexer.g:132:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' |
1612 | { | 1326 | { |
1613 | match('\"'); | 1327 | match('\"'); |
1614 | // InternalSolverLanguageLexer.g:158:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* | 1328 | // InternalSolverLanguageLexer.g:132:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* |
1615 | loop1: | 1329 | loop1: |
1616 | do { | 1330 | do { |
1617 | int alt1=3; | 1331 | int alt1=3; |
@@ -1627,7 +1341,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1627 | 1341 | ||
1628 | switch (alt1) { | 1342 | switch (alt1) { |
1629 | case 1 : | 1343 | case 1 : |
1630 | // InternalSolverLanguageLexer.g:158:20: '\\\\' . | 1344 | // InternalSolverLanguageLexer.g:132:20: '\\\\' . |
1631 | { | 1345 | { |
1632 | match('\\'); | 1346 | match('\\'); |
1633 | matchAny(); | 1347 | matchAny(); |
@@ -1635,7 +1349,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1635 | } | 1349 | } |
1636 | break; | 1350 | break; |
1637 | case 2 : | 1351 | case 2 : |
1638 | // InternalSolverLanguageLexer.g:158:27: ~ ( ( '\\\\' | '\"' ) ) | 1352 | // InternalSolverLanguageLexer.g:132:27: ~ ( ( '\\\\' | '\"' ) ) |
1639 | { | 1353 | { |
1640 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { | 1354 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { |
1641 | input.consume(); | 1355 | input.consume(); |
@@ -1672,11 +1386,11 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1672 | try { | 1386 | try { |
1673 | int _type = RULE_QUOTED_ID; | 1387 | int _type = RULE_QUOTED_ID; |
1674 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1388 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1675 | // InternalSolverLanguageLexer.g:160:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) | 1389 | // InternalSolverLanguageLexer.g:134:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) |
1676 | // InternalSolverLanguageLexer.g:160:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' | 1390 | // InternalSolverLanguageLexer.g:134:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' |
1677 | { | 1391 | { |
1678 | match('\''); | 1392 | match('\''); |
1679 | // InternalSolverLanguageLexer.g:160:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* | 1393 | // InternalSolverLanguageLexer.g:134:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* |
1680 | loop2: | 1394 | loop2: |
1681 | do { | 1395 | do { |
1682 | int alt2=3; | 1396 | int alt2=3; |
@@ -1692,7 +1406,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1692 | 1406 | ||
1693 | switch (alt2) { | 1407 | switch (alt2) { |
1694 | case 1 : | 1408 | case 1 : |
1695 | // InternalSolverLanguageLexer.g:160:24: '\\\\' . | 1409 | // InternalSolverLanguageLexer.g:134:24: '\\\\' . |
1696 | { | 1410 | { |
1697 | match('\\'); | 1411 | match('\\'); |
1698 | matchAny(); | 1412 | matchAny(); |
@@ -1700,7 +1414,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1700 | } | 1414 | } |
1701 | break; | 1415 | break; |
1702 | case 2 : | 1416 | case 2 : |
1703 | // InternalSolverLanguageLexer.g:160:31: ~ ( ( '\\\\' | '\\'' ) ) | 1417 | // InternalSolverLanguageLexer.g:134:31: ~ ( ( '\\\\' | '\\'' ) ) |
1704 | { | 1418 | { |
1705 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { | 1419 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { |
1706 | input.consume(); | 1420 | input.consume(); |
@@ -1737,10 +1451,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1737 | try { | 1451 | try { |
1738 | int _type = RULE_SL_COMMENT; | 1452 | int _type = RULE_SL_COMMENT; |
1739 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1453 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1740 | // InternalSolverLanguageLexer.g:162:17: ( ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) | 1454 | // InternalSolverLanguageLexer.g:136:17: ( ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) |
1741 | // InternalSolverLanguageLexer.g:162:19: ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? | 1455 | // InternalSolverLanguageLexer.g:136:19: ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? |
1742 | { | 1456 | { |
1743 | // InternalSolverLanguageLexer.g:162:19: ( '%' | '//' ) | 1457 | // InternalSolverLanguageLexer.g:136:19: ( '%' | '//' ) |
1744 | int alt3=2; | 1458 | int alt3=2; |
1745 | int LA3_0 = input.LA(1); | 1459 | int LA3_0 = input.LA(1); |
1746 | 1460 | ||
@@ -1758,14 +1472,14 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1758 | } | 1472 | } |
1759 | switch (alt3) { | 1473 | switch (alt3) { |
1760 | case 1 : | 1474 | case 1 : |
1761 | // InternalSolverLanguageLexer.g:162:20: '%' | 1475 | // InternalSolverLanguageLexer.g:136:20: '%' |
1762 | { | 1476 | { |
1763 | match('%'); | 1477 | match('%'); |
1764 | 1478 | ||
1765 | } | 1479 | } |
1766 | break; | 1480 | break; |
1767 | case 2 : | 1481 | case 2 : |
1768 | // InternalSolverLanguageLexer.g:162:24: '//' | 1482 | // InternalSolverLanguageLexer.g:136:24: '//' |
1769 | { | 1483 | { |
1770 | match("//"); | 1484 | match("//"); |
1771 | 1485 | ||
@@ -1775,7 +1489,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1775 | 1489 | ||
1776 | } | 1490 | } |
1777 | 1491 | ||
1778 | // InternalSolverLanguageLexer.g:162:30: (~ ( ( '\\n' | '\\r' ) ) )* | 1492 | // InternalSolverLanguageLexer.g:136:30: (~ ( ( '\\n' | '\\r' ) ) )* |
1779 | loop4: | 1493 | loop4: |
1780 | do { | 1494 | do { |
1781 | int alt4=2; | 1495 | int alt4=2; |
@@ -1788,7 +1502,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1788 | 1502 | ||
1789 | switch (alt4) { | 1503 | switch (alt4) { |
1790 | case 1 : | 1504 | case 1 : |
1791 | // InternalSolverLanguageLexer.g:162:30: ~ ( ( '\\n' | '\\r' ) ) | 1505 | // InternalSolverLanguageLexer.g:136:30: ~ ( ( '\\n' | '\\r' ) ) |
1792 | { | 1506 | { |
1793 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) { | 1507 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) { |
1794 | input.consume(); | 1508 | input.consume(); |
@@ -1808,7 +1522,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1808 | } | 1522 | } |
1809 | } while (true); | 1523 | } while (true); |
1810 | 1524 | ||
1811 | // InternalSolverLanguageLexer.g:162:46: ( ( '\\r' )? '\\n' )? | 1525 | // InternalSolverLanguageLexer.g:136:46: ( ( '\\r' )? '\\n' )? |
1812 | int alt6=2; | 1526 | int alt6=2; |
1813 | int LA6_0 = input.LA(1); | 1527 | int LA6_0 = input.LA(1); |
1814 | 1528 | ||
@@ -1817,9 +1531,9 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1817 | } | 1531 | } |
1818 | switch (alt6) { | 1532 | switch (alt6) { |
1819 | case 1 : | 1533 | case 1 : |
1820 | // InternalSolverLanguageLexer.g:162:47: ( '\\r' )? '\\n' | 1534 | // InternalSolverLanguageLexer.g:136:47: ( '\\r' )? '\\n' |
1821 | { | 1535 | { |
1822 | // InternalSolverLanguageLexer.g:162:47: ( '\\r' )? | 1536 | // InternalSolverLanguageLexer.g:136:47: ( '\\r' )? |
1823 | int alt5=2; | 1537 | int alt5=2; |
1824 | int LA5_0 = input.LA(1); | 1538 | int LA5_0 = input.LA(1); |
1825 | 1539 | ||
@@ -1828,7 +1542,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1828 | } | 1542 | } |
1829 | switch (alt5) { | 1543 | switch (alt5) { |
1830 | case 1 : | 1544 | case 1 : |
1831 | // InternalSolverLanguageLexer.g:162:47: '\\r' | 1545 | // InternalSolverLanguageLexer.g:136:47: '\\r' |
1832 | { | 1546 | { |
1833 | match('\r'); | 1547 | match('\r'); |
1834 | 1548 | ||
@@ -1858,8 +1572,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1858 | // $ANTLR start "RULE_TRANSITIVE_CLOSURE" | 1572 | // $ANTLR start "RULE_TRANSITIVE_CLOSURE" |
1859 | public final void mRULE_TRANSITIVE_CLOSURE() throws RecognitionException { | 1573 | public final void mRULE_TRANSITIVE_CLOSURE() throws RecognitionException { |
1860 | try { | 1574 | try { |
1861 | // InternalSolverLanguageLexer.g:164:34: () | 1575 | // InternalSolverLanguageLexer.g:138:34: () |
1862 | // InternalSolverLanguageLexer.g:164:36: | 1576 | // InternalSolverLanguageLexer.g:138:36: |
1863 | { | 1577 | { |
1864 | } | 1578 | } |
1865 | 1579 | ||
@@ -1872,8 +1586,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1872 | // $ANTLR start "RULE_REFLEXIVE_TRANSITIVE_CLOSURE" | 1586 | // $ANTLR start "RULE_REFLEXIVE_TRANSITIVE_CLOSURE" |
1873 | public final void mRULE_REFLEXIVE_TRANSITIVE_CLOSURE() throws RecognitionException { | 1587 | public final void mRULE_REFLEXIVE_TRANSITIVE_CLOSURE() throws RecognitionException { |
1874 | try { | 1588 | try { |
1875 | // InternalSolverLanguageLexer.g:166:44: () | 1589 | // InternalSolverLanguageLexer.g:140:44: () |
1876 | // InternalSolverLanguageLexer.g:166:46: | 1590 | // InternalSolverLanguageLexer.g:140:46: |
1877 | { | 1591 | { |
1878 | } | 1592 | } |
1879 | 1593 | ||
@@ -1886,8 +1600,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1886 | // $ANTLR start "RULE_FULL_STOP" | 1600 | // $ANTLR start "RULE_FULL_STOP" |
1887 | public final void mRULE_FULL_STOP() throws RecognitionException { | 1601 | public final void mRULE_FULL_STOP() throws RecognitionException { |
1888 | try { | 1602 | try { |
1889 | // InternalSolverLanguageLexer.g:168:25: () | 1603 | // InternalSolverLanguageLexer.g:142:25: () |
1890 | // InternalSolverLanguageLexer.g:168:27: | 1604 | // InternalSolverLanguageLexer.g:142:27: |
1891 | { | 1605 | { |
1892 | } | 1606 | } |
1893 | 1607 | ||
@@ -1902,10 +1616,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1902 | try { | 1616 | try { |
1903 | int _type = RULE_ID; | 1617 | int _type = RULE_ID; |
1904 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1618 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1905 | // InternalSolverLanguageLexer.g:170:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) | 1619 | // InternalSolverLanguageLexer.g:144:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) |
1906 | // InternalSolverLanguageLexer.g:170:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* | 1620 | // InternalSolverLanguageLexer.g:144:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* |
1907 | { | 1621 | { |
1908 | // InternalSolverLanguageLexer.g:170:11: ( '^' )? | 1622 | // InternalSolverLanguageLexer.g:144:11: ( '^' )? |
1909 | int alt7=2; | 1623 | int alt7=2; |
1910 | int LA7_0 = input.LA(1); | 1624 | int LA7_0 = input.LA(1); |
1911 | 1625 | ||
@@ -1914,7 +1628,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1914 | } | 1628 | } |
1915 | switch (alt7) { | 1629 | switch (alt7) { |
1916 | case 1 : | 1630 | case 1 : |
1917 | // InternalSolverLanguageLexer.g:170:11: '^' | 1631 | // InternalSolverLanguageLexer.g:144:11: '^' |
1918 | { | 1632 | { |
1919 | match('^'); | 1633 | match('^'); |
1920 | 1634 | ||
@@ -1932,7 +1646,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1932 | recover(mse); | 1646 | recover(mse); |
1933 | throw mse;} | 1647 | throw mse;} |
1934 | 1648 | ||
1935 | // InternalSolverLanguageLexer.g:170:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* | 1649 | // InternalSolverLanguageLexer.g:144:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* |
1936 | loop8: | 1650 | loop8: |
1937 | do { | 1651 | do { |
1938 | int alt8=2; | 1652 | int alt8=2; |
@@ -1981,10 +1695,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1981 | try { | 1695 | try { |
1982 | int _type = RULE_INT; | 1696 | int _type = RULE_INT; |
1983 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1697 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1984 | // InternalSolverLanguageLexer.g:172:10: ( ( '0' .. '9' )+ ) | 1698 | // InternalSolverLanguageLexer.g:146:10: ( ( '0' .. '9' )+ ) |
1985 | // InternalSolverLanguageLexer.g:172:12: ( '0' .. '9' )+ | 1699 | // InternalSolverLanguageLexer.g:146:12: ( '0' .. '9' )+ |
1986 | { | 1700 | { |
1987 | // InternalSolverLanguageLexer.g:172:12: ( '0' .. '9' )+ | 1701 | // InternalSolverLanguageLexer.g:146:12: ( '0' .. '9' )+ |
1988 | int cnt9=0; | 1702 | int cnt9=0; |
1989 | loop9: | 1703 | loop9: |
1990 | do { | 1704 | do { |
@@ -1998,7 +1712,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1998 | 1712 | ||
1999 | switch (alt9) { | 1713 | switch (alt9) { |
2000 | case 1 : | 1714 | case 1 : |
2001 | // InternalSolverLanguageLexer.g:172:13: '0' .. '9' | 1715 | // InternalSolverLanguageLexer.g:146:13: '0' .. '9' |
2002 | { | 1716 | { |
2003 | matchRange('0','9'); | 1717 | matchRange('0','9'); |
2004 | 1718 | ||
@@ -2030,12 +1744,12 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2030 | try { | 1744 | try { |
2031 | int _type = RULE_ML_COMMENT; | 1745 | int _type = RULE_ML_COMMENT; |
2032 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1746 | int _channel = DEFAULT_TOKEN_CHANNEL; |
2033 | // InternalSolverLanguageLexer.g:174:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) | 1747 | // InternalSolverLanguageLexer.g:148:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) |
2034 | // InternalSolverLanguageLexer.g:174:19: '/*' ( options {greedy=false; } : . )* '*/' | 1748 | // InternalSolverLanguageLexer.g:148:19: '/*' ( options {greedy=false; } : . )* '*/' |
2035 | { | 1749 | { |
2036 | match("/*"); | 1750 | match("/*"); |
2037 | 1751 | ||
2038 | // InternalSolverLanguageLexer.g:174:24: ( options {greedy=false; } : . )* | 1752 | // InternalSolverLanguageLexer.g:148:24: ( options {greedy=false; } : . )* |
2039 | loop10: | 1753 | loop10: |
2040 | do { | 1754 | do { |
2041 | int alt10=2; | 1755 | int alt10=2; |
@@ -2060,7 +1774,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2060 | 1774 | ||
2061 | switch (alt10) { | 1775 | switch (alt10) { |
2062 | case 1 : | 1776 | case 1 : |
2063 | // InternalSolverLanguageLexer.g:174:52: . | 1777 | // InternalSolverLanguageLexer.g:148:52: . |
2064 | { | 1778 | { |
2065 | matchAny(); | 1779 | matchAny(); |
2066 | 1780 | ||
@@ -2090,10 +1804,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2090 | try { | 1804 | try { |
2091 | int _type = RULE_WS; | 1805 | int _type = RULE_WS; |
2092 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1806 | int _channel = DEFAULT_TOKEN_CHANNEL; |
2093 | // InternalSolverLanguageLexer.g:176:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) | 1807 | // InternalSolverLanguageLexer.g:150:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) |
2094 | // InternalSolverLanguageLexer.g:176:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1808 | // InternalSolverLanguageLexer.g:150:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
2095 | { | 1809 | { |
2096 | // InternalSolverLanguageLexer.g:176:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1810 | // InternalSolverLanguageLexer.g:150:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
2097 | int cnt11=0; | 1811 | int cnt11=0; |
2098 | loop11: | 1812 | loop11: |
2099 | do { | 1813 | do { |
@@ -2147,8 +1861,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2147 | try { | 1861 | try { |
2148 | int _type = RULE_ANY_OTHER; | 1862 | int _type = RULE_ANY_OTHER; |
2149 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1863 | int _channel = DEFAULT_TOKEN_CHANNEL; |
2150 | // InternalSolverLanguageLexer.g:178:16: ( . ) | 1864 | // InternalSolverLanguageLexer.g:152:16: ( . ) |
2151 | // InternalSolverLanguageLexer.g:178:18: . | 1865 | // InternalSolverLanguageLexer.g:152:18: . |
2152 | { | 1866 | { |
2153 | matchAny(); | 1867 | matchAny(); |
2154 | 1868 | ||
@@ -2163,565 +1877,474 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2163 | // $ANTLR end "RULE_ANY_OTHER" | 1877 | // $ANTLR end "RULE_ANY_OTHER" |
2164 | 1878 | ||
2165 | public void mTokens() throws RecognitionException { | 1879 | public void mTokens() throws RecognitionException { |
2166 | // InternalSolverLanguageLexer.g:1:8: ( GREATER_EQ | Functional | Abstract | Contains | Maximize | Minimize | Opposite | GREATER | LESS_EQ | Current | Default | Extends | Unknown | NOT_EQ | Extern | Class | Count | Empty | Error | False | Scope | LESS | Else | Must | Only | Prod | Real | Then | True | ADD | DIV | MUL | POW | SUB | Avg | Inf | Int | Max | May | Min | Sum | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | FullStopFullStop | ColonHyphenMinus | LessThanSignEqualsSign | EqualsSignEqualsSign | GreaterThanSignEqualsSign | EQ | IN | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER ) | 1880 | // InternalSolverLanguageLexer.g:1:8: ( Functional | Abstract | Contains | Datatype | Maximize | Minimize | Opposite | Current | Default | Extends | Unknown | Exists | Extern | Forall | Class | Count | Empty | Error | False | Scope | Else | Must | Then | True | FullStopFullStopFullStop | Inf | Let | May | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | FullStopFullStop | ColonHyphenMinus | LessThanSignEqualsSign | EqualsSignEqualsSign | EqualsSignGreaterThanSign | GreaterThanSignEqualsSign | As | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER ) |
2167 | int alt12=80; | 1881 | int alt12=67; |
2168 | alt12 = dfa12.predict(input); | 1882 | alt12 = dfa12.predict(input); |
2169 | switch (alt12) { | 1883 | switch (alt12) { |
2170 | case 1 : | 1884 | case 1 : |
2171 | // InternalSolverLanguageLexer.g:1:10: GREATER_EQ | 1885 | // InternalSolverLanguageLexer.g:1:10: Functional |
2172 | { | 1886 | { |
2173 | mGREATER_EQ(); | 1887 | mFunctional(); |
2174 | 1888 | ||
2175 | } | 1889 | } |
2176 | break; | 1890 | break; |
2177 | case 2 : | 1891 | case 2 : |
2178 | // InternalSolverLanguageLexer.g:1:21: Functional | 1892 | // InternalSolverLanguageLexer.g:1:21: Abstract |
2179 | { | 1893 | { |
2180 | mFunctional(); | 1894 | mAbstract(); |
2181 | 1895 | ||
2182 | } | 1896 | } |
2183 | break; | 1897 | break; |
2184 | case 3 : | 1898 | case 3 : |
2185 | // InternalSolverLanguageLexer.g:1:32: Abstract | 1899 | // InternalSolverLanguageLexer.g:1:30: Contains |
2186 | { | 1900 | { |
2187 | mAbstract(); | 1901 | mContains(); |
2188 | 1902 | ||
2189 | } | 1903 | } |
2190 | break; | 1904 | break; |
2191 | case 4 : | 1905 | case 4 : |
2192 | // InternalSolverLanguageLexer.g:1:41: Contains | 1906 | // InternalSolverLanguageLexer.g:1:39: Datatype |
2193 | { | 1907 | { |
2194 | mContains(); | 1908 | mDatatype(); |
2195 | 1909 | ||
2196 | } | 1910 | } |
2197 | break; | 1911 | break; |
2198 | case 5 : | 1912 | case 5 : |
2199 | // InternalSolverLanguageLexer.g:1:50: Maximize | 1913 | // InternalSolverLanguageLexer.g:1:48: Maximize |
2200 | { | 1914 | { |
2201 | mMaximize(); | 1915 | mMaximize(); |
2202 | 1916 | ||
2203 | } | 1917 | } |
2204 | break; | 1918 | break; |
2205 | case 6 : | 1919 | case 6 : |
2206 | // InternalSolverLanguageLexer.g:1:59: Minimize | 1920 | // InternalSolverLanguageLexer.g:1:57: Minimize |
2207 | { | 1921 | { |
2208 | mMinimize(); | 1922 | mMinimize(); |
2209 | 1923 | ||
2210 | } | 1924 | } |
2211 | break; | 1925 | break; |
2212 | case 7 : | 1926 | case 7 : |
2213 | // InternalSolverLanguageLexer.g:1:68: Opposite | 1927 | // InternalSolverLanguageLexer.g:1:66: Opposite |
2214 | { | 1928 | { |
2215 | mOpposite(); | 1929 | mOpposite(); |
2216 | 1930 | ||
2217 | } | 1931 | } |
2218 | break; | 1932 | break; |
2219 | case 8 : | 1933 | case 8 : |
2220 | // InternalSolverLanguageLexer.g:1:77: GREATER | 1934 | // InternalSolverLanguageLexer.g:1:75: Current |
2221 | { | 1935 | { |
2222 | mGREATER(); | 1936 | mCurrent(); |
2223 | 1937 | ||
2224 | } | 1938 | } |
2225 | break; | 1939 | break; |
2226 | case 9 : | 1940 | case 9 : |
2227 | // InternalSolverLanguageLexer.g:1:85: LESS_EQ | 1941 | // InternalSolverLanguageLexer.g:1:83: Default |
2228 | { | 1942 | { |
2229 | mLESS_EQ(); | 1943 | mDefault(); |
2230 | 1944 | ||
2231 | } | 1945 | } |
2232 | break; | 1946 | break; |
2233 | case 10 : | 1947 | case 10 : |
2234 | // InternalSolverLanguageLexer.g:1:93: Current | 1948 | // InternalSolverLanguageLexer.g:1:91: Extends |
2235 | { | 1949 | { |
2236 | mCurrent(); | 1950 | mExtends(); |
2237 | 1951 | ||
2238 | } | 1952 | } |
2239 | break; | 1953 | break; |
2240 | case 11 : | 1954 | case 11 : |
2241 | // InternalSolverLanguageLexer.g:1:101: Default | 1955 | // InternalSolverLanguageLexer.g:1:99: Unknown |
2242 | { | 1956 | { |
2243 | mDefault(); | 1957 | mUnknown(); |
2244 | 1958 | ||
2245 | } | 1959 | } |
2246 | break; | 1960 | break; |
2247 | case 12 : | 1961 | case 12 : |
2248 | // InternalSolverLanguageLexer.g:1:109: Extends | 1962 | // InternalSolverLanguageLexer.g:1:107: Exists |
2249 | { | 1963 | { |
2250 | mExtends(); | 1964 | mExists(); |
2251 | 1965 | ||
2252 | } | 1966 | } |
2253 | break; | 1967 | break; |
2254 | case 13 : | 1968 | case 13 : |
2255 | // InternalSolverLanguageLexer.g:1:117: Unknown | 1969 | // InternalSolverLanguageLexer.g:1:114: Extern |
2256 | { | 1970 | { |
2257 | mUnknown(); | 1971 | mExtern(); |
2258 | 1972 | ||
2259 | } | 1973 | } |
2260 | break; | 1974 | break; |
2261 | case 14 : | 1975 | case 14 : |
2262 | // InternalSolverLanguageLexer.g:1:125: NOT_EQ | 1976 | // InternalSolverLanguageLexer.g:1:121: Forall |
2263 | { | 1977 | { |
2264 | mNOT_EQ(); | 1978 | mForall(); |
2265 | 1979 | ||
2266 | } | 1980 | } |
2267 | break; | 1981 | break; |
2268 | case 15 : | 1982 | case 15 : |
2269 | // InternalSolverLanguageLexer.g:1:132: Extern | 1983 | // InternalSolverLanguageLexer.g:1:128: Class |
2270 | { | 1984 | { |
2271 | mExtern(); | 1985 | mClass(); |
2272 | 1986 | ||
2273 | } | 1987 | } |
2274 | break; | 1988 | break; |
2275 | case 16 : | 1989 | case 16 : |
2276 | // InternalSolverLanguageLexer.g:1:139: Class | 1990 | // InternalSolverLanguageLexer.g:1:134: Count |
2277 | { | 1991 | { |
2278 | mClass(); | 1992 | mCount(); |
2279 | 1993 | ||
2280 | } | 1994 | } |
2281 | break; | 1995 | break; |
2282 | case 17 : | 1996 | case 17 : |
2283 | // InternalSolverLanguageLexer.g:1:145: Count | 1997 | // InternalSolverLanguageLexer.g:1:140: Empty |
2284 | { | 1998 | { |
2285 | mCount(); | 1999 | mEmpty(); |
2286 | 2000 | ||
2287 | } | 2001 | } |
2288 | break; | 2002 | break; |
2289 | case 18 : | 2003 | case 18 : |
2290 | // InternalSolverLanguageLexer.g:1:151: Empty | 2004 | // InternalSolverLanguageLexer.g:1:146: Error |
2291 | { | 2005 | { |
2292 | mEmpty(); | 2006 | mError(); |
2293 | 2007 | ||
2294 | } | 2008 | } |
2295 | break; | 2009 | break; |
2296 | case 19 : | 2010 | case 19 : |
2297 | // InternalSolverLanguageLexer.g:1:157: Error | 2011 | // InternalSolverLanguageLexer.g:1:152: False |
2298 | { | 2012 | { |
2299 | mError(); | 2013 | mFalse(); |
2300 | 2014 | ||
2301 | } | 2015 | } |
2302 | break; | 2016 | break; |
2303 | case 20 : | 2017 | case 20 : |
2304 | // InternalSolverLanguageLexer.g:1:163: False | 2018 | // InternalSolverLanguageLexer.g:1:158: Scope |
2305 | { | 2019 | { |
2306 | mFalse(); | 2020 | mScope(); |
2307 | 2021 | ||
2308 | } | 2022 | } |
2309 | break; | 2023 | break; |
2310 | case 21 : | 2024 | case 21 : |
2311 | // InternalSolverLanguageLexer.g:1:169: Scope | 2025 | // InternalSolverLanguageLexer.g:1:164: Else |
2312 | { | 2026 | { |
2313 | mScope(); | 2027 | mElse(); |
2314 | 2028 | ||
2315 | } | 2029 | } |
2316 | break; | 2030 | break; |
2317 | case 22 : | 2031 | case 22 : |
2318 | // InternalSolverLanguageLexer.g:1:175: LESS | 2032 | // InternalSolverLanguageLexer.g:1:169: Must |
2319 | { | 2033 | { |
2320 | mLESS(); | 2034 | mMust(); |
2321 | 2035 | ||
2322 | } | 2036 | } |
2323 | break; | 2037 | break; |
2324 | case 23 : | 2038 | case 23 : |
2325 | // InternalSolverLanguageLexer.g:1:180: Else | 2039 | // InternalSolverLanguageLexer.g:1:174: Then |
2326 | { | 2040 | { |
2327 | mElse(); | 2041 | mThen(); |
2328 | 2042 | ||
2329 | } | 2043 | } |
2330 | break; | 2044 | break; |
2331 | case 24 : | 2045 | case 24 : |
2332 | // InternalSolverLanguageLexer.g:1:185: Must | 2046 | // InternalSolverLanguageLexer.g:1:179: True |
2333 | { | 2047 | { |
2334 | mMust(); | 2048 | mTrue(); |
2335 | 2049 | ||
2336 | } | 2050 | } |
2337 | break; | 2051 | break; |
2338 | case 25 : | 2052 | case 25 : |
2339 | // InternalSolverLanguageLexer.g:1:190: Only | 2053 | // InternalSolverLanguageLexer.g:1:184: FullStopFullStopFullStop |
2340 | { | 2054 | { |
2341 | mOnly(); | 2055 | mFullStopFullStopFullStop(); |
2342 | 2056 | ||
2343 | } | 2057 | } |
2344 | break; | 2058 | break; |
2345 | case 26 : | 2059 | case 26 : |
2346 | // InternalSolverLanguageLexer.g:1:195: Prod | 2060 | // InternalSolverLanguageLexer.g:1:209: Inf |
2347 | { | 2061 | { |
2348 | mProd(); | 2062 | mInf(); |
2349 | 2063 | ||
2350 | } | 2064 | } |
2351 | break; | 2065 | break; |
2352 | case 27 : | 2066 | case 27 : |
2353 | // InternalSolverLanguageLexer.g:1:200: Real | 2067 | // InternalSolverLanguageLexer.g:1:213: Let |
2354 | { | 2068 | { |
2355 | mReal(); | 2069 | mLet(); |
2356 | 2070 | ||
2357 | } | 2071 | } |
2358 | break; | 2072 | break; |
2359 | case 28 : | 2073 | case 28 : |
2360 | // InternalSolverLanguageLexer.g:1:205: Then | 2074 | // InternalSolverLanguageLexer.g:1:217: May |
2361 | { | 2075 | { |
2362 | mThen(); | 2076 | mMay(); |
2363 | 2077 | ||
2364 | } | 2078 | } |
2365 | break; | 2079 | break; |
2366 | case 29 : | 2080 | case 29 : |
2367 | // InternalSolverLanguageLexer.g:1:210: True | 2081 | // InternalSolverLanguageLexer.g:1:221: ExclamationMarkEqualsSign |
2368 | { | 2082 | { |
2369 | mTrue(); | 2083 | mExclamationMarkEqualsSign(); |
2370 | 2084 | ||
2371 | } | 2085 | } |
2372 | break; | 2086 | break; |
2373 | case 30 : | 2087 | case 30 : |
2374 | // InternalSolverLanguageLexer.g:1:215: ADD | 2088 | // InternalSolverLanguageLexer.g:1:247: HyphenMinusGreaterThanSign |
2375 | { | 2089 | { |
2376 | mADD(); | 2090 | mHyphenMinusGreaterThanSign(); |
2377 | 2091 | ||
2378 | } | 2092 | } |
2379 | break; | 2093 | break; |
2380 | case 31 : | 2094 | case 31 : |
2381 | // InternalSolverLanguageLexer.g:1:219: DIV | 2095 | // InternalSolverLanguageLexer.g:1:274: FullStopFullStop |
2382 | { | 2096 | { |
2383 | mDIV(); | 2097 | mFullStopFullStop(); |
2384 | 2098 | ||
2385 | } | 2099 | } |
2386 | break; | 2100 | break; |
2387 | case 32 : | 2101 | case 32 : |
2388 | // InternalSolverLanguageLexer.g:1:223: MUL | 2102 | // InternalSolverLanguageLexer.g:1:291: ColonHyphenMinus |
2389 | { | 2103 | { |
2390 | mMUL(); | 2104 | mColonHyphenMinus(); |
2391 | 2105 | ||
2392 | } | 2106 | } |
2393 | break; | 2107 | break; |
2394 | case 33 : | 2108 | case 33 : |
2395 | // InternalSolverLanguageLexer.g:1:227: POW | 2109 | // InternalSolverLanguageLexer.g:1:308: LessThanSignEqualsSign |
2396 | { | 2110 | { |
2397 | mPOW(); | 2111 | mLessThanSignEqualsSign(); |
2398 | 2112 | ||
2399 | } | 2113 | } |
2400 | break; | 2114 | break; |
2401 | case 34 : | 2115 | case 34 : |
2402 | // InternalSolverLanguageLexer.g:1:231: SUB | 2116 | // InternalSolverLanguageLexer.g:1:331: EqualsSignEqualsSign |
2403 | { | 2117 | { |
2404 | mSUB(); | 2118 | mEqualsSignEqualsSign(); |
2405 | 2119 | ||
2406 | } | 2120 | } |
2407 | break; | 2121 | break; |
2408 | case 35 : | 2122 | case 35 : |
2409 | // InternalSolverLanguageLexer.g:1:235: Avg | 2123 | // InternalSolverLanguageLexer.g:1:352: EqualsSignGreaterThanSign |
2410 | { | 2124 | { |
2411 | mAvg(); | 2125 | mEqualsSignGreaterThanSign(); |
2412 | 2126 | ||
2413 | } | 2127 | } |
2414 | break; | 2128 | break; |
2415 | case 36 : | 2129 | case 36 : |
2416 | // InternalSolverLanguageLexer.g:1:239: Inf | 2130 | // InternalSolverLanguageLexer.g:1:378: GreaterThanSignEqualsSign |
2417 | { | 2131 | { |
2418 | mInf(); | 2132 | mGreaterThanSignEqualsSign(); |
2419 | 2133 | ||
2420 | } | 2134 | } |
2421 | break; | 2135 | break; |
2422 | case 37 : | 2136 | case 37 : |
2423 | // InternalSolverLanguageLexer.g:1:243: Int | 2137 | // InternalSolverLanguageLexer.g:1:404: As |
2424 | { | 2138 | { |
2425 | mInt(); | 2139 | mAs(); |
2426 | 2140 | ||
2427 | } | 2141 | } |
2428 | break; | 2142 | break; |
2429 | case 38 : | 2143 | case 38 : |
2430 | // InternalSolverLanguageLexer.g:1:247: Max | 2144 | // InternalSolverLanguageLexer.g:1:407: If |
2431 | { | ||
2432 | mMax(); | ||
2433 | |||
2434 | } | ||
2435 | break; | ||
2436 | case 39 : | ||
2437 | // InternalSolverLanguageLexer.g:1:251: May | ||
2438 | { | ||
2439 | mMay(); | ||
2440 | |||
2441 | } | ||
2442 | break; | ||
2443 | case 40 : | ||
2444 | // InternalSolverLanguageLexer.g:1:255: Min | ||
2445 | { | ||
2446 | mMin(); | ||
2447 | |||
2448 | } | ||
2449 | break; | ||
2450 | case 41 : | ||
2451 | // InternalSolverLanguageLexer.g:1:259: Sum | ||
2452 | { | ||
2453 | mSum(); | ||
2454 | |||
2455 | } | ||
2456 | break; | ||
2457 | case 42 : | ||
2458 | // InternalSolverLanguageLexer.g:1:263: ExclamationMarkEqualsSign | ||
2459 | { | ||
2460 | mExclamationMarkEqualsSign(); | ||
2461 | |||
2462 | } | ||
2463 | break; | ||
2464 | case 43 : | ||
2465 | // InternalSolverLanguageLexer.g:1:289: HyphenMinusGreaterThanSign | ||
2466 | { | ||
2467 | mHyphenMinusGreaterThanSign(); | ||
2468 | |||
2469 | } | ||
2470 | break; | ||
2471 | case 44 : | ||
2472 | // InternalSolverLanguageLexer.g:1:316: FullStopFullStop | ||
2473 | { | ||
2474 | mFullStopFullStop(); | ||
2475 | |||
2476 | } | ||
2477 | break; | ||
2478 | case 45 : | ||
2479 | // InternalSolverLanguageLexer.g:1:333: ColonHyphenMinus | ||
2480 | { | ||
2481 | mColonHyphenMinus(); | ||
2482 | |||
2483 | } | ||
2484 | break; | ||
2485 | case 46 : | ||
2486 | // InternalSolverLanguageLexer.g:1:350: LessThanSignEqualsSign | ||
2487 | { | ||
2488 | mLessThanSignEqualsSign(); | ||
2489 | |||
2490 | } | ||
2491 | break; | ||
2492 | case 47 : | ||
2493 | // InternalSolverLanguageLexer.g:1:373: EqualsSignEqualsSign | ||
2494 | { | ||
2495 | mEqualsSignEqualsSign(); | ||
2496 | |||
2497 | } | ||
2498 | break; | ||
2499 | case 48 : | ||
2500 | // InternalSolverLanguageLexer.g:1:394: GreaterThanSignEqualsSign | ||
2501 | { | ||
2502 | mGreaterThanSignEqualsSign(); | ||
2503 | |||
2504 | } | ||
2505 | break; | ||
2506 | case 49 : | ||
2507 | // InternalSolverLanguageLexer.g:1:420: EQ | ||
2508 | { | ||
2509 | mEQ(); | ||
2510 | |||
2511 | } | ||
2512 | break; | ||
2513 | case 50 : | ||
2514 | // InternalSolverLanguageLexer.g:1:423: IN | ||
2515 | { | ||
2516 | mIN(); | ||
2517 | |||
2518 | } | ||
2519 | break; | ||
2520 | case 51 : | ||
2521 | // InternalSolverLanguageLexer.g:1:426: If | ||
2522 | { | 2145 | { |
2523 | mIf(); | 2146 | mIf(); |
2524 | 2147 | ||
2525 | } | 2148 | } |
2526 | break; | 2149 | break; |
2527 | case 52 : | 2150 | case 39 : |
2528 | // InternalSolverLanguageLexer.g:1:429: In | 2151 | // InternalSolverLanguageLexer.g:1:410: In |
2529 | { | 2152 | { |
2530 | mIn(); | 2153 | mIn(); |
2531 | 2154 | ||
2532 | } | 2155 | } |
2533 | break; | 2156 | break; |
2534 | case 53 : | 2157 | case 40 : |
2535 | // InternalSolverLanguageLexer.g:1:432: ExclamationMark | 2158 | // InternalSolverLanguageLexer.g:1:413: ExclamationMark |
2536 | { | 2159 | { |
2537 | mExclamationMark(); | 2160 | mExclamationMark(); |
2538 | 2161 | ||
2539 | } | 2162 | } |
2540 | break; | 2163 | break; |
2541 | case 54 : | 2164 | case 41 : |
2542 | // InternalSolverLanguageLexer.g:1:448: LeftParenthesis | 2165 | // InternalSolverLanguageLexer.g:1:429: LeftParenthesis |
2543 | { | 2166 | { |
2544 | mLeftParenthesis(); | 2167 | mLeftParenthesis(); |
2545 | 2168 | ||
2546 | } | 2169 | } |
2547 | break; | 2170 | break; |
2548 | case 55 : | 2171 | case 42 : |
2549 | // InternalSolverLanguageLexer.g:1:464: RightParenthesis | 2172 | // InternalSolverLanguageLexer.g:1:445: RightParenthesis |
2550 | { | 2173 | { |
2551 | mRightParenthesis(); | 2174 | mRightParenthesis(); |
2552 | 2175 | ||
2553 | } | 2176 | } |
2554 | break; | 2177 | break; |
2555 | case 56 : | 2178 | case 43 : |
2556 | // InternalSolverLanguageLexer.g:1:481: Asterisk | 2179 | // InternalSolverLanguageLexer.g:1:462: Asterisk |
2557 | { | 2180 | { |
2558 | mAsterisk(); | 2181 | mAsterisk(); |
2559 | 2182 | ||
2560 | } | 2183 | } |
2561 | break; | 2184 | break; |
2562 | case 57 : | 2185 | case 44 : |
2563 | // InternalSolverLanguageLexer.g:1:490: PlusSign | 2186 | // InternalSolverLanguageLexer.g:1:471: PlusSign |
2564 | { | 2187 | { |
2565 | mPlusSign(); | 2188 | mPlusSign(); |
2566 | 2189 | ||
2567 | } | 2190 | } |
2568 | break; | 2191 | break; |
2569 | case 58 : | 2192 | case 45 : |
2570 | // InternalSolverLanguageLexer.g:1:499: Comma | 2193 | // InternalSolverLanguageLexer.g:1:480: Comma |
2571 | { | 2194 | { |
2572 | mComma(); | 2195 | mComma(); |
2573 | 2196 | ||
2574 | } | 2197 | } |
2575 | break; | 2198 | break; |
2576 | case 59 : | 2199 | case 46 : |
2577 | // InternalSolverLanguageLexer.g:1:505: HyphenMinus | 2200 | // InternalSolverLanguageLexer.g:1:486: HyphenMinus |
2578 | { | 2201 | { |
2579 | mHyphenMinus(); | 2202 | mHyphenMinus(); |
2580 | 2203 | ||
2581 | } | 2204 | } |
2582 | break; | 2205 | break; |
2583 | case 60 : | 2206 | case 47 : |
2584 | // InternalSolverLanguageLexer.g:1:517: FullStop | 2207 | // InternalSolverLanguageLexer.g:1:498: FullStop |
2585 | { | 2208 | { |
2586 | mFullStop(); | 2209 | mFullStop(); |
2587 | 2210 | ||
2588 | } | 2211 | } |
2589 | break; | 2212 | break; |
2590 | case 61 : | 2213 | case 48 : |
2591 | // InternalSolverLanguageLexer.g:1:526: Solidus | 2214 | // InternalSolverLanguageLexer.g:1:507: Solidus |
2592 | { | 2215 | { |
2593 | mSolidus(); | 2216 | mSolidus(); |
2594 | 2217 | ||
2595 | } | 2218 | } |
2596 | break; | 2219 | break; |
2597 | case 62 : | 2220 | case 49 : |
2598 | // InternalSolverLanguageLexer.g:1:534: Colon | 2221 | // InternalSolverLanguageLexer.g:1:515: Colon |
2599 | { | 2222 | { |
2600 | mColon(); | 2223 | mColon(); |
2601 | 2224 | ||
2602 | } | 2225 | } |
2603 | break; | 2226 | break; |
2604 | case 63 : | 2227 | case 50 : |
2605 | // InternalSolverLanguageLexer.g:1:540: Semicolon | 2228 | // InternalSolverLanguageLexer.g:1:521: Semicolon |
2606 | { | 2229 | { |
2607 | mSemicolon(); | 2230 | mSemicolon(); |
2608 | 2231 | ||
2609 | } | 2232 | } |
2610 | break; | 2233 | break; |
2611 | case 64 : | 2234 | case 51 : |
2612 | // InternalSolverLanguageLexer.g:1:550: LessThanSign | 2235 | // InternalSolverLanguageLexer.g:1:531: LessThanSign |
2613 | { | 2236 | { |
2614 | mLessThanSign(); | 2237 | mLessThanSign(); |
2615 | 2238 | ||
2616 | } | 2239 | } |
2617 | break; | 2240 | break; |
2618 | case 65 : | 2241 | case 52 : |
2619 | // InternalSolverLanguageLexer.g:1:563: EqualsSign | 2242 | // InternalSolverLanguageLexer.g:1:544: EqualsSign |
2620 | { | 2243 | { |
2621 | mEqualsSign(); | 2244 | mEqualsSign(); |
2622 | 2245 | ||
2623 | } | 2246 | } |
2624 | break; | 2247 | break; |
2625 | case 66 : | 2248 | case 53 : |
2626 | // InternalSolverLanguageLexer.g:1:574: GreaterThanSign | 2249 | // InternalSolverLanguageLexer.g:1:555: GreaterThanSign |
2627 | { | 2250 | { |
2628 | mGreaterThanSign(); | 2251 | mGreaterThanSign(); |
2629 | 2252 | ||
2630 | } | 2253 | } |
2631 | break; | 2254 | break; |
2632 | case 67 : | 2255 | case 54 : |
2633 | // InternalSolverLanguageLexer.g:1:590: LeftSquareBracket | 2256 | // InternalSolverLanguageLexer.g:1:571: LeftSquareBracket |
2634 | { | 2257 | { |
2635 | mLeftSquareBracket(); | 2258 | mLeftSquareBracket(); |
2636 | 2259 | ||
2637 | } | 2260 | } |
2638 | break; | 2261 | break; |
2639 | case 68 : | 2262 | case 55 : |
2640 | // InternalSolverLanguageLexer.g:1:608: RightSquareBracket | 2263 | // InternalSolverLanguageLexer.g:1:589: RightSquareBracket |
2641 | { | 2264 | { |
2642 | mRightSquareBracket(); | 2265 | mRightSquareBracket(); |
2643 | 2266 | ||
2644 | } | 2267 | } |
2645 | break; | 2268 | break; |
2646 | case 69 : | 2269 | case 56 : |
2647 | // InternalSolverLanguageLexer.g:1:627: CircumflexAccent | 2270 | // InternalSolverLanguageLexer.g:1:608: CircumflexAccent |
2648 | { | 2271 | { |
2649 | mCircumflexAccent(); | 2272 | mCircumflexAccent(); |
2650 | 2273 | ||
2651 | } | 2274 | } |
2652 | break; | 2275 | break; |
2653 | case 70 : | 2276 | case 57 : |
2654 | // InternalSolverLanguageLexer.g:1:644: LeftCurlyBracket | 2277 | // InternalSolverLanguageLexer.g:1:625: LeftCurlyBracket |
2655 | { | 2278 | { |
2656 | mLeftCurlyBracket(); | 2279 | mLeftCurlyBracket(); |
2657 | 2280 | ||
2658 | } | 2281 | } |
2659 | break; | 2282 | break; |
2660 | case 71 : | 2283 | case 58 : |
2661 | // InternalSolverLanguageLexer.g:1:661: VerticalLine | 2284 | // InternalSolverLanguageLexer.g:1:642: VerticalLine |
2662 | { | 2285 | { |
2663 | mVerticalLine(); | 2286 | mVerticalLine(); |
2664 | 2287 | ||
2665 | } | 2288 | } |
2666 | break; | 2289 | break; |
2667 | case 72 : | 2290 | case 59 : |
2668 | // InternalSolverLanguageLexer.g:1:674: RightCurlyBracket | 2291 | // InternalSolverLanguageLexer.g:1:655: RightCurlyBracket |
2669 | { | 2292 | { |
2670 | mRightCurlyBracket(); | 2293 | mRightCurlyBracket(); |
2671 | 2294 | ||
2672 | } | 2295 | } |
2673 | break; | 2296 | break; |
2674 | case 73 : | 2297 | case 60 : |
2675 | // InternalSolverLanguageLexer.g:1:692: RULE_STRING | 2298 | // InternalSolverLanguageLexer.g:1:673: RULE_STRING |
2676 | { | 2299 | { |
2677 | mRULE_STRING(); | 2300 | mRULE_STRING(); |
2678 | 2301 | ||
2679 | } | 2302 | } |
2680 | break; | 2303 | break; |
2681 | case 74 : | 2304 | case 61 : |
2682 | // InternalSolverLanguageLexer.g:1:704: RULE_QUOTED_ID | 2305 | // InternalSolverLanguageLexer.g:1:685: RULE_QUOTED_ID |
2683 | { | 2306 | { |
2684 | mRULE_QUOTED_ID(); | 2307 | mRULE_QUOTED_ID(); |
2685 | 2308 | ||
2686 | } | 2309 | } |
2687 | break; | 2310 | break; |
2688 | case 75 : | 2311 | case 62 : |
2689 | // InternalSolverLanguageLexer.g:1:719: RULE_SL_COMMENT | 2312 | // InternalSolverLanguageLexer.g:1:700: RULE_SL_COMMENT |
2690 | { | 2313 | { |
2691 | mRULE_SL_COMMENT(); | 2314 | mRULE_SL_COMMENT(); |
2692 | 2315 | ||
2693 | } | 2316 | } |
2694 | break; | 2317 | break; |
2695 | case 76 : | 2318 | case 63 : |
2696 | // InternalSolverLanguageLexer.g:1:735: RULE_ID | 2319 | // InternalSolverLanguageLexer.g:1:716: RULE_ID |
2697 | { | 2320 | { |
2698 | mRULE_ID(); | 2321 | mRULE_ID(); |
2699 | 2322 | ||
2700 | } | 2323 | } |
2701 | break; | 2324 | break; |
2702 | case 77 : | 2325 | case 64 : |
2703 | // InternalSolverLanguageLexer.g:1:743: RULE_INT | 2326 | // InternalSolverLanguageLexer.g:1:724: RULE_INT |
2704 | { | 2327 | { |
2705 | mRULE_INT(); | 2328 | mRULE_INT(); |
2706 | 2329 | ||
2707 | } | 2330 | } |
2708 | break; | 2331 | break; |
2709 | case 78 : | 2332 | case 65 : |
2710 | // InternalSolverLanguageLexer.g:1:752: RULE_ML_COMMENT | 2333 | // InternalSolverLanguageLexer.g:1:733: RULE_ML_COMMENT |
2711 | { | 2334 | { |
2712 | mRULE_ML_COMMENT(); | 2335 | mRULE_ML_COMMENT(); |
2713 | 2336 | ||
2714 | } | 2337 | } |
2715 | break; | 2338 | break; |
2716 | case 79 : | 2339 | case 66 : |
2717 | // InternalSolverLanguageLexer.g:1:768: RULE_WS | 2340 | // InternalSolverLanguageLexer.g:1:749: RULE_WS |
2718 | { | 2341 | { |
2719 | mRULE_WS(); | 2342 | mRULE_WS(); |
2720 | 2343 | ||
2721 | } | 2344 | } |
2722 | break; | 2345 | break; |
2723 | case 80 : | 2346 | case 67 : |
2724 | // InternalSolverLanguageLexer.g:1:776: RULE_ANY_OTHER | 2347 | // InternalSolverLanguageLexer.g:1:757: RULE_ANY_OTHER |
2725 | { | 2348 | { |
2726 | mRULE_ANY_OTHER(); | 2349 | mRULE_ANY_OTHER(); |
2727 | 2350 | ||
@@ -2735,105 +2358,86 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2735 | 2358 | ||
2736 | protected DFA12 dfa12 = new DFA12(this); | 2359 | protected DFA12 dfa12 = new DFA12(this); |
2737 | static final String DFA12_eotS = | 2360 | static final String DFA12_eotS = |
2738 | "\1\uffff\25\64\1\127\1\131\1\133\1\135\1\137\1\141\1\143\2\64\5\uffff\1\155\3\uffff\1\161\3\uffff\2\62\5\uffff\1\64\1\uffff\37\64\1\u009d\1\u009e\16\uffff\1\u009f\1\u00a0\23\uffff\4\64\1\u00a5\4\64\1\u00ab\1\u00ac\1\u00ae\14\64\1\u00bb\4\64\1\u00c0\1\u00c1\1\u00c2\1\u00c3\1\u00c4\1\u00c5\1\u00c6\4\uffff\4\64\1\uffff\5\64\2\uffff\1\64\1\uffff\1\u00d1\1\64\1\u00d3\1\u00d5\4\64\1\u00db\3\64\1\uffff\1\u00df\1\u00e0\1\u00e1\1\u00e2\7\uffff\2\64\1\u00e5\2\64\1\u00e8\1\64\1\u00ea\2\64\1\uffff\1\64\1\uffff\1\64\1\uffff\3\64\1\u00f2\1\u00f3\1\uffff\2\64\1\u00f6\4\uffff\2\64\1\uffff\2\64\1\uffff\1\64\1\uffff\6\64\1\u0102\2\uffff\1\64\1\u0104\1\uffff\1\u0106\3\64\1\u010a\3\64\1\u010e\1\u010f\1\u0110\1\uffff\1\u0111\1\uffff\1\64\1\uffff\1\64\1\u0114\1\u0115\1\uffff\1\u0116\1\u0117\1\u0118\4\uffff\2\64\5\uffff\1\u011b\1\u011c\2\uffff"; | 2361 | "\1\uffff\12\53\1\100\2\53\1\105\1\107\1\111\1\113\1\116\1\120\5\uffff\1\130\3\uffff\1\134\3\uffff\2\47\5\uffff\3\53\1\uffff\1\53\1\150\21\53\1\176\1\uffff\1\u0080\1\u0081\1\53\40\uffff\4\53\1\uffff\7\53\1\u008e\14\53\2\uffff\1\u009b\2\uffff\1\u009c\13\53\1\uffff\1\53\1\u00a9\5\53\1\u00b0\2\53\1\u00b3\1\u00b4\2\uffff\2\53\1\u00b7\2\53\1\u00ba\1\53\1\u00bc\4\53\1\uffff\4\53\1\u00c5\1\u00c6\1\uffff\1\53\1\u00c8\2\uffff\1\53\1\u00ca\1\uffff\2\53\1\uffff\1\53\1\uffff\6\53\1\u00d4\1\u00d5\2\uffff\1\53\1\uffff\1\53\1\uffff\2\53\1\u00da\1\53\1\u00dc\3\53\1\u00e0\2\uffff\1\u00e1\1\53\1\u00e3\1\u00e4\1\uffff\1\u00e5\1\uffff\1\u00e6\1\u00e7\1\u00e8\2\uffff\1\53\6\uffff\1\u00ea\1\uffff"; |
2739 | static final String DFA12_eofS = | 2362 | static final String DFA12_eofS = |
2740 | "\u011d\uffff"; | 2363 | "\u00eb\uffff"; |
2741 | static final String DFA12_minS = | 2364 | static final String DFA12_minS = |
2742 | "\1\0\1\122\1\141\1\142\1\154\1\141\1\156\1\105\1\145\1\154\1\156\1\117\1\143\1\162\1\145\1\150\1\104\1\111\1\125\1\117\1\125\1\146\1\75\1\76\1\56\1\55\3\75\1\121\1\116\5\uffff\1\52\3\uffff\1\101\3\uffff\2\0\5\uffff\1\105\1\uffff\1\156\1\154\1\163\1\147\1\156\1\162\1\141\1\170\1\156\1\163\1\160\1\154\1\123\1\146\1\164\1\160\1\162\1\163\1\153\1\124\1\157\1\155\1\157\1\141\1\145\1\165\1\104\1\126\1\114\1\127\1\102\2\60\16\uffff\2\60\23\uffff\1\101\1\143\1\163\1\164\1\60\1\164\1\156\1\162\1\163\3\60\1\164\1\157\1\171\1\123\1\141\1\145\1\164\1\157\1\145\1\156\1\137\1\160\1\60\1\144\1\154\1\156\1\145\7\60\4\uffff\1\124\1\164\1\145\1\162\1\uffff\1\141\1\164\1\145\1\163\1\155\2\uffff\1\155\1\uffff\1\60\1\163\2\60\1\165\1\156\1\171\1\162\1\60\1\157\1\105\1\145\1\uffff\4\60\7\uffff\1\105\1\151\1\60\1\141\1\151\1\60\1\156\1\60\2\151\1\uffff\1\151\1\uffff\1\105\1\uffff\1\154\1\144\1\156\2\60\1\uffff\1\167\1\121\1\60\4\uffff\1\122\1\157\1\uffff\1\143\1\156\1\uffff\1\164\1\uffff\2\172\1\164\1\121\1\164\1\163\1\60\2\uffff\1\156\1\60\1\uffff\1\60\1\156\1\164\1\163\1\60\3\145\3\60\1\uffff\1\60\1\uffff\1\105\1\uffff\1\141\2\60\1\uffff\3\60\4\uffff\1\121\1\154\5\uffff\2\60\2\uffff"; | 2365 | "\1\0\1\141\1\142\1\154\2\141\1\160\1\154\1\156\1\143\1\150\1\56\1\146\1\145\1\75\1\76\1\55\3\75\5\uffff\1\52\3\uffff\1\101\3\uffff\2\0\5\uffff\1\156\1\162\1\154\1\uffff\1\163\1\60\1\156\1\162\1\141\1\164\1\146\1\170\1\156\1\163\1\160\1\151\1\160\1\162\1\163\1\153\1\157\1\145\1\165\1\56\1\uffff\2\60\1\164\40\uffff\1\143\1\141\1\163\1\164\1\uffff\1\164\1\156\1\162\1\163\2\141\1\151\1\60\1\151\1\164\1\157\1\145\1\163\1\164\1\157\1\145\1\156\1\160\1\156\1\145\2\uffff\1\60\2\uffff\1\60\1\164\1\154\1\145\1\162\1\141\1\164\1\145\1\163\1\164\1\165\1\155\1\uffff\1\155\1\60\1\163\1\156\1\164\1\171\1\162\1\60\1\157\1\145\2\60\2\uffff\1\151\1\154\1\60\1\141\1\151\1\60\1\156\1\60\1\171\1\154\2\151\1\uffff\1\151\1\144\1\156\1\163\2\60\1\uffff\1\167\1\60\2\uffff\1\157\1\60\1\uffff\1\143\1\156\1\uffff\1\164\1\uffff\1\160\1\164\2\172\1\164\1\163\2\60\2\uffff\1\156\1\uffff\1\156\1\uffff\1\164\1\163\1\60\1\145\1\60\3\145\1\60\2\uffff\1\60\1\141\2\60\1\uffff\1\60\1\uffff\3\60\2\uffff\1\154\6\uffff\1\60\1\uffff"; |
2743 | static final String DFA12_maxS = | 2366 | static final String DFA12_maxS = |
2744 | "\1\uffff\1\122\1\165\1\166\2\165\1\160\1\105\1\145\1\170\1\156\1\117\1\165\1\162\1\145\1\162\1\104\1\111\1\125\1\117\1\125\1\156\1\75\1\76\1\56\1\55\3\75\1\121\1\116\5\uffff\1\57\3\uffff\1\172\3\uffff\2\uffff\5\uffff\1\105\1\uffff\1\156\1\154\1\163\1\147\1\165\1\162\1\141\1\171\1\156\1\163\1\160\1\154\1\123\1\146\1\164\1\160\1\162\1\163\1\153\1\124\1\157\1\155\1\157\1\141\1\145\1\165\1\104\1\126\1\114\1\127\1\102\2\172\16\uffff\2\172\23\uffff\1\101\1\143\1\163\1\164\1\172\1\164\1\156\1\162\1\163\3\172\1\164\1\157\1\171\1\123\1\141\1\145\1\164\1\157\1\145\1\156\1\137\1\160\1\172\1\144\1\154\1\156\1\145\7\172\4\uffff\1\124\1\164\1\145\1\162\1\uffff\1\141\1\164\1\145\1\163\1\155\2\uffff\1\155\1\uffff\1\172\1\163\2\172\1\165\1\162\1\171\1\162\1\172\1\157\1\105\1\145\1\uffff\4\172\7\uffff\1\105\1\151\1\172\1\141\1\151\1\172\1\156\1\172\2\151\1\uffff\1\151\1\uffff\1\105\1\uffff\1\154\1\144\1\156\2\172\1\uffff\1\167\1\121\1\172\4\uffff\1\122\1\157\1\uffff\1\143\1\156\1\uffff\1\164\1\uffff\2\172\1\164\1\121\1\164\1\163\1\172\2\uffff\1\156\1\172\1\uffff\1\172\1\156\1\164\1\163\1\172\3\145\3\172\1\uffff\1\172\1\uffff\1\105\1\uffff\1\141\2\172\1\uffff\3\172\4\uffff\1\121\1\154\5\uffff\2\172\2\uffff"; | 2367 | "\1\uffff\1\165\1\163\1\165\1\145\1\165\1\160\1\170\1\156\1\143\1\162\1\56\1\156\1\145\1\75\1\76\1\55\1\75\1\76\1\75\5\uffff\1\57\3\uffff\1\172\3\uffff\2\uffff\5\uffff\1\156\1\162\1\154\1\uffff\1\163\1\172\1\165\1\162\1\141\1\164\1\146\1\171\1\156\1\163\1\160\1\164\1\160\1\162\1\163\1\153\1\157\1\145\1\165\1\56\1\uffff\2\172\1\164\40\uffff\1\143\1\141\1\163\1\164\1\uffff\1\164\1\156\1\162\1\163\2\141\1\151\1\172\1\151\1\164\1\157\1\145\1\163\1\164\1\157\1\145\1\156\1\160\1\156\1\145\2\uffff\1\172\2\uffff\1\172\1\164\1\154\1\145\1\162\1\141\1\164\1\145\1\163\1\164\1\165\1\155\1\uffff\1\155\1\172\1\163\1\162\1\164\1\171\1\162\1\172\1\157\1\145\2\172\2\uffff\1\151\1\154\1\172\1\141\1\151\1\172\1\156\1\172\1\171\1\154\2\151\1\uffff\1\151\1\144\1\156\1\163\2\172\1\uffff\1\167\1\172\2\uffff\1\157\1\172\1\uffff\1\143\1\156\1\uffff\1\164\1\uffff\1\160\1\164\2\172\1\164\1\163\2\172\2\uffff\1\156\1\uffff\1\156\1\uffff\1\164\1\163\1\172\1\145\1\172\3\145\1\172\2\uffff\1\172\1\141\2\172\1\uffff\1\172\1\uffff\3\172\2\uffff\1\154\6\uffff\1\172\1\uffff"; |
2745 | static final String DFA12_acceptS = | 2368 | static final String DFA12_acceptS = |
2746 | "\37\uffff\1\66\1\67\1\70\1\71\1\72\1\uffff\1\77\1\103\1\104\1\uffff\1\106\1\107\1\110\2\uffff\1\113\1\114\1\115\1\117\1\120\1\uffff\1\114\41\uffff\1\52\1\65\1\53\1\73\1\54\1\74\1\55\1\76\1\56\1\100\1\57\1\101\1\60\1\102\2\uffff\1\66\1\67\1\70\1\71\1\72\1\113\1\116\1\75\1\77\1\103\1\104\1\105\1\106\1\107\1\110\1\111\1\112\1\115\1\117\44\uffff\1\64\1\63\1\61\1\62\4\uffff\1\43\5\uffff\1\46\1\47\1\uffff\1\50\14\uffff\1\51\4\uffff\1\36\1\37\1\40\1\41\1\42\1\44\1\45\12\uffff\1\30\1\uffff\1\31\1\uffff\1\26\5\uffff\1\27\3\uffff\1\32\1\33\1\34\1\35\2\uffff\1\24\2\uffff\1\21\1\uffff\1\20\7\uffff\1\22\1\23\2\uffff\1\25\13\uffff\1\17\1\uffff\1\16\1\uffff\1\10\3\uffff\1\12\3\uffff\1\11\1\13\1\14\1\15\2\uffff\1\3\1\4\1\5\1\6\1\7\2\uffff\1\1\1\2"; | 2369 | "\24\uffff\1\51\1\52\1\53\1\54\1\55\1\uffff\1\62\1\66\1\67\1\uffff\1\71\1\72\1\73\2\uffff\1\76\1\77\1\100\1\102\1\103\3\uffff\1\77\24\uffff\1\57\3\uffff\1\35\1\50\1\36\1\56\1\40\1\61\1\41\1\63\1\42\1\43\1\64\1\44\1\65\1\51\1\52\1\53\1\54\1\55\1\76\1\101\1\60\1\62\1\66\1\67\1\70\1\71\1\72\1\73\1\74\1\75\1\100\1\102\4\uffff\1\45\24\uffff\1\31\1\37\1\uffff\1\47\1\46\14\uffff\1\34\14\uffff\1\32\1\33\14\uffff\1\26\6\uffff\1\25\2\uffff\1\27\1\30\2\uffff\1\23\2\uffff\1\20\1\uffff\1\17\10\uffff\1\21\1\22\1\uffff\1\24\1\uffff\1\16\11\uffff\1\15\1\14\4\uffff\1\10\1\uffff\1\11\3\uffff\1\12\1\13\1\uffff\1\2\1\3\1\4\1\5\1\6\1\7\1\uffff\1\1"; |
2747 | static final String DFA12_specialS = | 2370 | static final String DFA12_specialS = |
2748 | "\1\1\53\uffff\1\0\1\2\u00ef\uffff}>"; | 2371 | "\1\2\40\uffff\1\0\1\1\u00c8\uffff}>"; |
2749 | static final String[] DFA12_transitionS = { | 2372 | static final String[] DFA12_transitionS = { |
2750 | "\11\62\2\61\2\62\1\61\22\62\1\61\1\26\1\54\2\62\1\56\1\62\1\55\1\37\1\40\1\41\1\42\1\43\1\27\1\30\1\44\12\60\1\31\1\45\1\32\1\33\1\34\2\62\1\20\2\57\1\21\1\35\1\57\1\1\1\57\1\36\2\57\1\7\1\22\1\13\1\57\1\23\2\57\1\24\7\57\1\46\1\62\1\47\1\50\1\57\1\62\1\3\1\57\1\4\1\10\1\11\1\2\2\57\1\25\3\57\1\5\1\57\1\6\1\15\1\57\1\16\1\14\1\17\1\12\5\57\1\51\1\52\1\53\uff82\62", | 2373 | "\11\47\2\46\2\47\1\46\22\47\1\46\1\16\1\41\2\47\1\43\1\47\1\42\1\24\1\25\1\26\1\27\1\30\1\17\1\13\1\31\12\45\1\20\1\32\1\21\1\22\1\23\2\47\32\44\1\33\1\47\1\34\1\35\1\44\1\47\1\2\1\44\1\3\1\4\1\7\1\1\2\44\1\14\2\44\1\15\1\5\1\44\1\6\3\44\1\11\1\12\1\10\5\44\1\36\1\37\1\40\uff82\47", |
2751 | "\1\63", | 2374 | "\1\52\15\uffff\1\51\5\uffff\1\50", |
2752 | "\1\66\23\uffff\1\65", | 2375 | "\1\54\20\uffff\1\55", |
2753 | "\1\67\23\uffff\1\70", | 2376 | "\1\60\2\uffff\1\56\5\uffff\1\57", |
2754 | "\1\73\2\uffff\1\71\5\uffff\1\72", | 2377 | "\1\61\3\uffff\1\62", |
2755 | "\1\74\7\uffff\1\75\13\uffff\1\76", | 2378 | "\1\63\7\uffff\1\64\13\uffff\1\65", |
2756 | "\1\100\1\uffff\1\77", | 2379 | "\1\66", |
2757 | "\1\101", | 2380 | "\1\72\1\70\4\uffff\1\71\5\uffff\1\67", |
2758 | "\1\102", | 2381 | "\1\73", |
2759 | "\1\106\1\104\4\uffff\1\105\5\uffff\1\103", | 2382 | "\1\74", |
2760 | "\1\107", | 2383 | "\1\75\11\uffff\1\76", |
2384 | "\1\77", | ||
2385 | "\1\102\7\uffff\1\101", | ||
2386 | "\1\103", | ||
2387 | "\1\104", | ||
2388 | "\1\106", | ||
2761 | "\1\110", | 2389 | "\1\110", |
2762 | "\1\111\21\uffff\1\112", | 2390 | "\1\112", |
2763 | "\1\113", | 2391 | "\1\114\1\115", |
2764 | "\1\114", | ||
2765 | "\1\115\11\uffff\1\116", | ||
2766 | "\1\117", | 2392 | "\1\117", |
2767 | "\1\120", | ||
2768 | "\1\121", | ||
2769 | "\1\122", | ||
2770 | "\1\123", | ||
2771 | "\1\125\7\uffff\1\124", | ||
2772 | "\1\126", | ||
2773 | "\1\130", | ||
2774 | "\1\132", | ||
2775 | "\1\134", | ||
2776 | "\1\136", | ||
2777 | "\1\140", | ||
2778 | "\1\142", | ||
2779 | "\1\144", | ||
2780 | "\1\145", | ||
2781 | "", | 2393 | "", |
2782 | "", | 2394 | "", |
2783 | "", | 2395 | "", |
2784 | "", | 2396 | "", |
2785 | "", | 2397 | "", |
2786 | "\1\154\4\uffff\1\153", | 2398 | "\1\127\4\uffff\1\126", |
2787 | "", | 2399 | "", |
2788 | "", | 2400 | "", |
2789 | "", | 2401 | "", |
2790 | "\32\64\4\uffff\1\64\1\uffff\32\64", | 2402 | "\32\53\4\uffff\1\53\1\uffff\32\53", |
2791 | "", | 2403 | "", |
2792 | "", | 2404 | "", |
2793 | "", | 2405 | "", |
2794 | "\0\165", | 2406 | "\0\140", |
2795 | "\0\166", | 2407 | "\0\141", |
2796 | "", | 2408 | "", |
2797 | "", | 2409 | "", |
2798 | "", | 2410 | "", |
2799 | "", | 2411 | "", |
2800 | "", | 2412 | "", |
2413 | "\1\144", | ||
2414 | "\1\145", | ||
2415 | "\1\146", | ||
2416 | "", | ||
2417 | "\1\147", | ||
2418 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2419 | "\1\151\6\uffff\1\152", | ||
2420 | "\1\153", | ||
2421 | "\1\154", | ||
2422 | "\1\155", | ||
2423 | "\1\156", | ||
2424 | "\1\157\1\160", | ||
2425 | "\1\161", | ||
2426 | "\1\162", | ||
2427 | "\1\163", | ||
2428 | "\1\165\12\uffff\1\164", | ||
2429 | "\1\166", | ||
2430 | "\1\167", | ||
2431 | "\1\170", | ||
2801 | "\1\171", | 2432 | "\1\171", |
2802 | "", | ||
2803 | "\1\172", | 2433 | "\1\172", |
2804 | "\1\173", | 2434 | "\1\173", |
2805 | "\1\174", | 2435 | "\1\174", |
2806 | "\1\175", | 2436 | "\1\175", |
2807 | "\1\176\6\uffff\1\177", | ||
2808 | "\1\u0080", | ||
2809 | "\1\u0081", | ||
2810 | "\1\u0082\1\u0083", | ||
2811 | "\1\u0084", | ||
2812 | "\1\u0085", | ||
2813 | "\1\u0086", | ||
2814 | "\1\u0087", | ||
2815 | "\1\u0088", | ||
2816 | "\1\u0089", | ||
2817 | "\1\u008a", | ||
2818 | "\1\u008b", | ||
2819 | "\1\u008c", | ||
2820 | "\1\u008d", | ||
2821 | "\1\u008e", | ||
2822 | "\1\u008f", | ||
2823 | "\1\u0090", | ||
2824 | "\1\u0091", | ||
2825 | "\1\u0092", | ||
2826 | "\1\u0093", | ||
2827 | "\1\u0094", | ||
2828 | "\1\u0095", | ||
2829 | "\1\u0096", | ||
2830 | "\1\u0097", | ||
2831 | "\1\u0098", | ||
2832 | "\1\u0099", | ||
2833 | "\1\u009a", | ||
2834 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\5\64\1\u009b\15\64\1\u009c\6\64", | ||
2835 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2836 | "", | 2437 | "", |
2438 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\5\53\1\177\24\53", | ||
2439 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2440 | "\1\u0082", | ||
2837 | "", | 2441 | "", |
2838 | "", | 2442 | "", |
2839 | "", | 2443 | "", |
@@ -2847,8 +2451,6 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2847 | "", | 2451 | "", |
2848 | "", | 2452 | "", |
2849 | "", | 2453 | "", |
2850 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2851 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2852 | "", | 2454 | "", |
2853 | "", | 2455 | "", |
2854 | "", | 2456 | "", |
@@ -2868,169 +2470,140 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2868 | "", | 2470 | "", |
2869 | "", | 2471 | "", |
2870 | "", | 2472 | "", |
2473 | "\1\u0083", | ||
2474 | "\1\u0084", | ||
2475 | "\1\u0085", | ||
2476 | "\1\u0086", | ||
2477 | "", | ||
2478 | "\1\u0087", | ||
2479 | "\1\u0088", | ||
2480 | "\1\u0089", | ||
2481 | "\1\u008a", | ||
2482 | "\1\u008b", | ||
2483 | "\1\u008c", | ||
2484 | "\1\u008d", | ||
2485 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2486 | "\1\u008f", | ||
2487 | "\1\u0090", | ||
2488 | "\1\u0091", | ||
2489 | "\1\u0092", | ||
2490 | "\1\u0093", | ||
2491 | "\1\u0094", | ||
2492 | "\1\u0095", | ||
2493 | "\1\u0096", | ||
2494 | "\1\u0097", | ||
2495 | "\1\u0098", | ||
2496 | "\1\u0099", | ||
2497 | "\1\u009a", | ||
2498 | "", | ||
2499 | "", | ||
2500 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2501 | "", | ||
2502 | "", | ||
2503 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2504 | "\1\u009d", | ||
2505 | "\1\u009e", | ||
2506 | "\1\u009f", | ||
2507 | "\1\u00a0", | ||
2871 | "\1\u00a1", | 2508 | "\1\u00a1", |
2872 | "\1\u00a2", | 2509 | "\1\u00a2", |
2873 | "\1\u00a3", | 2510 | "\1\u00a3", |
2874 | "\1\u00a4", | 2511 | "\1\u00a4", |
2875 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | 2512 | "\1\u00a5", |
2876 | "\1\u00a6", | 2513 | "\1\u00a6", |
2877 | "\1\u00a7", | 2514 | "\1\u00a7", |
2515 | "", | ||
2878 | "\1\u00a8", | 2516 | "\1\u00a8", |
2879 | "\1\u00a9", | 2517 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2880 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\10\64\1\u00aa\21\64", | 2518 | "\1\u00aa", |
2881 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | 2519 | "\1\u00ab\3\uffff\1\u00ac", |
2882 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\10\64\1\u00ad\21\64", | 2520 | "\1\u00ad", |
2521 | "\1\u00ae", | ||
2883 | "\1\u00af", | 2522 | "\1\u00af", |
2884 | "\1\u00b0", | 2523 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2885 | "\1\u00b1", | 2524 | "\1\u00b1", |
2886 | "\1\u00b2", | 2525 | "\1\u00b2", |
2887 | "\1\u00b3", | 2526 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2888 | "\1\u00b4", | 2527 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2528 | "", | ||
2529 | "", | ||
2889 | "\1\u00b5", | 2530 | "\1\u00b5", |
2890 | "\1\u00b6", | 2531 | "\1\u00b6", |
2891 | "\1\u00b7", | 2532 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2892 | "\1\u00b8", | 2533 | "\1\u00b8", |
2893 | "\1\u00b9", | 2534 | "\1\u00b9", |
2894 | "\1\u00ba", | 2535 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2895 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | 2536 | "\1\u00bb", |
2896 | "\1\u00bc", | 2537 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2897 | "\1\u00bd", | 2538 | "\1\u00bd", |
2898 | "\1\u00be", | 2539 | "\1\u00be", |
2899 | "\1\u00bf", | 2540 | "\1\u00bf", |
2900 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | 2541 | "\1\u00c0", |
2901 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2902 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2903 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2904 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2905 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2906 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2907 | "", | 2542 | "", |
2543 | "\1\u00c1", | ||
2544 | "\1\u00c2", | ||
2545 | "\1\u00c3", | ||
2546 | "\1\u00c4", | ||
2547 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2548 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2908 | "", | 2549 | "", |
2550 | "\1\u00c7", | ||
2551 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2909 | "", | 2552 | "", |
2910 | "", | 2553 | "", |
2911 | "\1\u00c7", | ||
2912 | "\1\u00c8", | ||
2913 | "\1\u00c9", | 2554 | "\1\u00c9", |
2914 | "\1\u00ca", | 2555 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2915 | "", | 2556 | "", |
2916 | "\1\u00cb", | 2557 | "\1\u00cb", |
2917 | "\1\u00cc", | 2558 | "\1\u00cc", |
2559 | "", | ||
2918 | "\1\u00cd", | 2560 | "\1\u00cd", |
2561 | "", | ||
2919 | "\1\u00ce", | 2562 | "\1\u00ce", |
2920 | "\1\u00cf", | 2563 | "\1\u00cf", |
2921 | "", | ||
2922 | "", | ||
2923 | "\1\u00d0", | 2564 | "\1\u00d0", |
2924 | "", | 2565 | "\1\u00d1", |
2925 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2926 | "\1\u00d2", | 2566 | "\1\u00d2", |
2927 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | 2567 | "\1\u00d3", |
2928 | "\12\64\7\uffff\32\64\4\uffff\1\u00d4\1\uffff\32\64", | 2568 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2569 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2570 | "", | ||
2571 | "", | ||
2929 | "\1\u00d6", | 2572 | "\1\u00d6", |
2930 | "\1\u00d7\3\uffff\1\u00d8", | 2573 | "", |
2574 | "\1\u00d7", | ||
2575 | "", | ||
2576 | "\1\u00d8", | ||
2931 | "\1\u00d9", | 2577 | "\1\u00d9", |
2932 | "\1\u00da", | 2578 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2933 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | 2579 | "\1\u00db", |
2934 | "\1\u00dc", | 2580 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
2935 | "\1\u00dd", | 2581 | "\1\u00dd", |
2936 | "\1\u00de", | 2582 | "\1\u00de", |
2583 | "\1\u00df", | ||
2584 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2937 | "", | 2585 | "", |
2938 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2939 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2940 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2941 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2942 | "", | 2586 | "", |
2587 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2588 | "\1\u00e2", | ||
2589 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2590 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2943 | "", | 2591 | "", |
2592 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2944 | "", | 2593 | "", |
2594 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2595 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2596 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2945 | "", | 2597 | "", |
2946 | "", | 2598 | "", |
2947 | "", | ||
2948 | "", | ||
2949 | "\1\u00e3", | ||
2950 | "\1\u00e4", | ||
2951 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2952 | "\1\u00e6", | ||
2953 | "\1\u00e7", | ||
2954 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2955 | "\1\u00e9", | 2599 | "\1\u00e9", |
2956 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2957 | "\1\u00eb", | ||
2958 | "\1\u00ec", | ||
2959 | "", | ||
2960 | "\1\u00ed", | ||
2961 | "", | ||
2962 | "\1\u00ee", | ||
2963 | "", | ||
2964 | "\1\u00ef", | ||
2965 | "\1\u00f0", | ||
2966 | "\1\u00f1", | ||
2967 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2968 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2969 | "", | ||
2970 | "\1\u00f4", | ||
2971 | "\1\u00f5", | ||
2972 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2973 | "", | ||
2974 | "", | ||
2975 | "", | ||
2976 | "", | ||
2977 | "\1\u00f7", | ||
2978 | "\1\u00f8", | ||
2979 | "", | ||
2980 | "\1\u00f9", | ||
2981 | "\1\u00fa", | ||
2982 | "", | ||
2983 | "\1\u00fb", | ||
2984 | "", | ||
2985 | "\1\u00fc", | ||
2986 | "\1\u00fd", | ||
2987 | "\1\u00fe", | ||
2988 | "\1\u00ff", | ||
2989 | "\1\u0100", | ||
2990 | "\1\u0101", | ||
2991 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2992 | "", | ||
2993 | "", | ||
2994 | "\1\u0103", | ||
2995 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
2996 | "", | ||
2997 | "\12\64\7\uffff\32\64\4\uffff\1\u0105\1\uffff\32\64", | ||
2998 | "\1\u0107", | ||
2999 | "\1\u0108", | ||
3000 | "\1\u0109", | ||
3001 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3002 | "\1\u010b", | ||
3003 | "\1\u010c", | ||
3004 | "\1\u010d", | ||
3005 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3006 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3007 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3008 | "", | 2600 | "", |
3009 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3010 | "", | 2601 | "", |
3011 | "\1\u0112", | ||
3012 | "", | 2602 | "", |
3013 | "\1\u0113", | ||
3014 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3015 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3016 | "", | 2603 | "", |
3017 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3018 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3019 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3020 | "", | 2604 | "", |
3021 | "", | 2605 | "", |
3022 | "", | 2606 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", |
3023 | "", | ||
3024 | "\1\u0119", | ||
3025 | "\1\u011a", | ||
3026 | "", | ||
3027 | "", | ||
3028 | "", | ||
3029 | "", | ||
3030 | "", | ||
3031 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3032 | "\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64", | ||
3033 | "", | ||
3034 | "" | 2607 | "" |
3035 | }; | 2608 | }; |
3036 | 2609 | ||
@@ -3064,135 +2637,113 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
3064 | this.transition = DFA12_transition; | 2637 | this.transition = DFA12_transition; |
3065 | } | 2638 | } |
3066 | public String getDescription() { | 2639 | public String getDescription() { |
3067 | return "1:1: Tokens : ( GREATER_EQ | Functional | Abstract | Contains | Maximize | Minimize | Opposite | GREATER | LESS_EQ | Current | Default | Extends | Unknown | NOT_EQ | Extern | Class | Count | Empty | Error | False | Scope | LESS | Else | Must | Only | Prod | Real | Then | True | ADD | DIV | MUL | POW | SUB | Avg | Inf | Int | Max | May | Min | Sum | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | FullStopFullStop | ColonHyphenMinus | LessThanSignEqualsSign | EqualsSignEqualsSign | GreaterThanSignEqualsSign | EQ | IN | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER );"; | 2640 | return "1:1: Tokens : ( Functional | Abstract | Contains | Datatype | Maximize | Minimize | Opposite | Current | Default | Extends | Unknown | Exists | Extern | Forall | Class | Count | Empty | Error | False | Scope | Else | Must | Then | True | FullStopFullStopFullStop | Inf | Let | May | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | FullStopFullStop | ColonHyphenMinus | LessThanSignEqualsSign | EqualsSignEqualsSign | EqualsSignGreaterThanSign | GreaterThanSignEqualsSign | As | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER );"; |
3068 | } | 2641 | } |
3069 | public int specialStateTransition(int s, IntStream _input) throws NoViableAltException { | 2642 | public int specialStateTransition(int s, IntStream _input) throws NoViableAltException { |
3070 | IntStream input = _input; | 2643 | IntStream input = _input; |
3071 | int _s = s; | 2644 | int _s = s; |
3072 | switch ( s ) { | 2645 | switch ( s ) { |
3073 | case 0 : | 2646 | case 0 : |
3074 | int LA12_44 = input.LA(1); | 2647 | int LA12_33 = input.LA(1); |
3075 | 2648 | ||
3076 | s = -1; | 2649 | s = -1; |
3077 | if ( ((LA12_44>='\u0000' && LA12_44<='\uFFFF')) ) {s = 117;} | 2650 | if ( ((LA12_33>='\u0000' && LA12_33<='\uFFFF')) ) {s = 96;} |
3078 | 2651 | ||
3079 | else s = 50; | 2652 | else s = 39; |
3080 | 2653 | ||
3081 | if ( s>=0 ) return s; | 2654 | if ( s>=0 ) return s; |
3082 | break; | 2655 | break; |
3083 | case 1 : | 2656 | case 1 : |
3084 | int LA12_0 = input.LA(1); | 2657 | int LA12_34 = input.LA(1); |
3085 | 2658 | ||
3086 | s = -1; | 2659 | s = -1; |
3087 | if ( (LA12_0=='G') ) {s = 1;} | 2660 | if ( ((LA12_34>='\u0000' && LA12_34<='\uFFFF')) ) {s = 97;} |
3088 | |||
3089 | else if ( (LA12_0=='f') ) {s = 2;} | ||
3090 | |||
3091 | else if ( (LA12_0=='a') ) {s = 3;} | ||
3092 | |||
3093 | else if ( (LA12_0=='c') ) {s = 4;} | ||
3094 | |||
3095 | else if ( (LA12_0=='m') ) {s = 5;} | ||
3096 | |||
3097 | else if ( (LA12_0=='o') ) {s = 6;} | ||
3098 | |||
3099 | else if ( (LA12_0=='L') ) {s = 7;} | ||
3100 | 2661 | ||
3101 | else if ( (LA12_0=='d') ) {s = 8;} | 2662 | else s = 39; |
3102 | 2663 | ||
3103 | else if ( (LA12_0=='e') ) {s = 9;} | 2664 | if ( s>=0 ) return s; |
3104 | 2665 | break; | |
3105 | else if ( (LA12_0=='u') ) {s = 10;} | 2666 | case 2 : |
3106 | 2667 | int LA12_0 = input.LA(1); | |
3107 | else if ( (LA12_0=='N') ) {s = 11;} | ||
3108 | |||
3109 | else if ( (LA12_0=='s') ) {s = 12;} | ||
3110 | |||
3111 | else if ( (LA12_0=='p') ) {s = 13;} | ||
3112 | |||
3113 | else if ( (LA12_0=='r') ) {s = 14;} | ||
3114 | 2668 | ||
3115 | else if ( (LA12_0=='t') ) {s = 15;} | 2669 | s = -1; |
2670 | if ( (LA12_0=='f') ) {s = 1;} | ||
3116 | 2671 | ||
3117 | else if ( (LA12_0=='A') ) {s = 16;} | 2672 | else if ( (LA12_0=='a') ) {s = 2;} |
3118 | 2673 | ||
3119 | else if ( (LA12_0=='D') ) {s = 17;} | 2674 | else if ( (LA12_0=='c') ) {s = 3;} |
3120 | 2675 | ||
3121 | else if ( (LA12_0=='M') ) {s = 18;} | 2676 | else if ( (LA12_0=='d') ) {s = 4;} |
3122 | 2677 | ||
3123 | else if ( (LA12_0=='P') ) {s = 19;} | 2678 | else if ( (LA12_0=='m') ) {s = 5;} |
3124 | 2679 | ||
3125 | else if ( (LA12_0=='S') ) {s = 20;} | 2680 | else if ( (LA12_0=='o') ) {s = 6;} |
3126 | 2681 | ||
3127 | else if ( (LA12_0=='i') ) {s = 21;} | 2682 | else if ( (LA12_0=='e') ) {s = 7;} |
3128 | 2683 | ||
3129 | else if ( (LA12_0=='!') ) {s = 22;} | 2684 | else if ( (LA12_0=='u') ) {s = 8;} |
3130 | 2685 | ||
3131 | else if ( (LA12_0=='-') ) {s = 23;} | 2686 | else if ( (LA12_0=='s') ) {s = 9;} |
3132 | 2687 | ||
3133 | else if ( (LA12_0=='.') ) {s = 24;} | 2688 | else if ( (LA12_0=='t') ) {s = 10;} |
3134 | 2689 | ||
3135 | else if ( (LA12_0==':') ) {s = 25;} | 2690 | else if ( (LA12_0=='.') ) {s = 11;} |
3136 | 2691 | ||
3137 | else if ( (LA12_0=='<') ) {s = 26;} | 2692 | else if ( (LA12_0=='i') ) {s = 12;} |
3138 | 2693 | ||
3139 | else if ( (LA12_0=='=') ) {s = 27;} | 2694 | else if ( (LA12_0=='l') ) {s = 13;} |
3140 | 2695 | ||
3141 | else if ( (LA12_0=='>') ) {s = 28;} | 2696 | else if ( (LA12_0=='!') ) {s = 14;} |
3142 | 2697 | ||
3143 | else if ( (LA12_0=='E') ) {s = 29;} | 2698 | else if ( (LA12_0=='-') ) {s = 15;} |
3144 | 2699 | ||
3145 | else if ( (LA12_0=='I') ) {s = 30;} | 2700 | else if ( (LA12_0==':') ) {s = 16;} |
3146 | 2701 | ||
3147 | else if ( (LA12_0=='(') ) {s = 31;} | 2702 | else if ( (LA12_0=='<') ) {s = 17;} |
3148 | 2703 | ||
3149 | else if ( (LA12_0==')') ) {s = 32;} | 2704 | else if ( (LA12_0=='=') ) {s = 18;} |
3150 | 2705 | ||
3151 | else if ( (LA12_0=='*') ) {s = 33;} | 2706 | else if ( (LA12_0=='>') ) {s = 19;} |
3152 | 2707 | ||
3153 | else if ( (LA12_0=='+') ) {s = 34;} | 2708 | else if ( (LA12_0=='(') ) {s = 20;} |
3154 | 2709 | ||
3155 | else if ( (LA12_0==',') ) {s = 35;} | 2710 | else if ( (LA12_0==')') ) {s = 21;} |
3156 | 2711 | ||
3157 | else if ( (LA12_0=='/') ) {s = 36;} | 2712 | else if ( (LA12_0=='*') ) {s = 22;} |
3158 | 2713 | ||
3159 | else if ( (LA12_0==';') ) {s = 37;} | 2714 | else if ( (LA12_0=='+') ) {s = 23;} |
3160 | 2715 | ||
3161 | else if ( (LA12_0=='[') ) {s = 38;} | 2716 | else if ( (LA12_0==',') ) {s = 24;} |
3162 | 2717 | ||
3163 | else if ( (LA12_0==']') ) {s = 39;} | 2718 | else if ( (LA12_0=='/') ) {s = 25;} |
3164 | 2719 | ||
3165 | else if ( (LA12_0=='^') ) {s = 40;} | 2720 | else if ( (LA12_0==';') ) {s = 26;} |
3166 | 2721 | ||
3167 | else if ( (LA12_0=='{') ) {s = 41;} | 2722 | else if ( (LA12_0=='[') ) {s = 27;} |
3168 | 2723 | ||
3169 | else if ( (LA12_0=='|') ) {s = 42;} | 2724 | else if ( (LA12_0==']') ) {s = 28;} |
3170 | 2725 | ||
3171 | else if ( (LA12_0=='}') ) {s = 43;} | 2726 | else if ( (LA12_0=='^') ) {s = 29;} |
3172 | 2727 | ||
3173 | else if ( (LA12_0=='\"') ) {s = 44;} | 2728 | else if ( (LA12_0=='{') ) {s = 30;} |
3174 | 2729 | ||
3175 | else if ( (LA12_0=='\'') ) {s = 45;} | 2730 | else if ( (LA12_0=='|') ) {s = 31;} |
3176 | 2731 | ||
3177 | else if ( (LA12_0=='%') ) {s = 46;} | 2732 | else if ( (LA12_0=='}') ) {s = 32;} |
3178 | 2733 | ||
3179 | else if ( ((LA12_0>='B' && LA12_0<='C')||LA12_0=='F'||LA12_0=='H'||(LA12_0>='J' && LA12_0<='K')||LA12_0=='O'||(LA12_0>='Q' && LA12_0<='R')||(LA12_0>='T' && LA12_0<='Z')||LA12_0=='_'||LA12_0=='b'||(LA12_0>='g' && LA12_0<='h')||(LA12_0>='j' && LA12_0<='l')||LA12_0=='n'||LA12_0=='q'||(LA12_0>='v' && LA12_0<='z')) ) {s = 47;} | 2734 | else if ( (LA12_0=='\"') ) {s = 33;} |
3180 | 2735 | ||
3181 | else if ( ((LA12_0>='0' && LA12_0<='9')) ) {s = 48;} | 2736 | else if ( (LA12_0=='\'') ) {s = 34;} |
3182 | 2737 | ||
3183 | else if ( ((LA12_0>='\t' && LA12_0<='\n')||LA12_0=='\r'||LA12_0==' ') ) {s = 49;} | 2738 | else if ( (LA12_0=='%') ) {s = 35;} |
3184 | 2739 | ||
3185 | else if ( ((LA12_0>='\u0000' && LA12_0<='\b')||(LA12_0>='\u000B' && LA12_0<='\f')||(LA12_0>='\u000E' && LA12_0<='\u001F')||(LA12_0>='#' && LA12_0<='$')||LA12_0=='&'||(LA12_0>='?' && LA12_0<='@')||LA12_0=='\\'||LA12_0=='`'||(LA12_0>='~' && LA12_0<='\uFFFF')) ) {s = 50;} | 2740 | else if ( ((LA12_0>='A' && LA12_0<='Z')||LA12_0=='_'||LA12_0=='b'||(LA12_0>='g' && LA12_0<='h')||(LA12_0>='j' && LA12_0<='k')||LA12_0=='n'||(LA12_0>='p' && LA12_0<='r')||(LA12_0>='v' && LA12_0<='z')) ) {s = 36;} |
3186 | 2741 | ||
3187 | if ( s>=0 ) return s; | 2742 | else if ( ((LA12_0>='0' && LA12_0<='9')) ) {s = 37;} |
3188 | break; | ||
3189 | case 2 : | ||
3190 | int LA12_45 = input.LA(1); | ||
3191 | 2743 | ||
3192 | s = -1; | 2744 | else if ( ((LA12_0>='\t' && LA12_0<='\n')||LA12_0=='\r'||LA12_0==' ') ) {s = 38;} |
3193 | if ( ((LA12_45>='\u0000' && LA12_45<='\uFFFF')) ) {s = 118;} | ||
3194 | 2745 | ||
3195 | else s = 50; | 2746 | else if ( ((LA12_0>='\u0000' && LA12_0<='\b')||(LA12_0>='\u000B' && LA12_0<='\f')||(LA12_0>='\u000E' && LA12_0<='\u001F')||(LA12_0>='#' && LA12_0<='$')||LA12_0=='&'||(LA12_0>='?' && LA12_0<='@')||LA12_0=='\\'||LA12_0=='`'||(LA12_0>='~' && LA12_0<='\uFFFF')) ) {s = 39;} |
3196 | 2747 | ||
3197 | if ( s>=0 ) return s; | 2748 | if ( s>=0 ) return s; |
3198 | break; | 2749 | break; |
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.tokens index 133cc9d6..178103e2 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.tokens +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.tokens | |||
@@ -1,83 +1,70 @@ | |||
1 | ADD=33 | 1 | Abstract=5 |
2 | Abstract=6 | 2 | As=40 |
3 | Asterisk=59 | 3 | Asterisk=46 |
4 | Avg=38 | 4 | CircumflexAccent=59 |
5 | CircumflexAccent=72 | 5 | Class=18 |
6 | Class=19 | 6 | Colon=52 |
7 | Colon=65 | 7 | ColonHyphenMinus=35 |
8 | ColonHyphenMinus=48 | 8 | Comma=48 |
9 | Comma=61 | 9 | Contains=6 |
10 | Contains=7 | 10 | Count=19 |
11 | Count=20 | 11 | Current=11 |
12 | Current=13 | 12 | Datatype=7 |
13 | DIV=34 | 13 | Default=12 |
14 | Default=14 | 14 | Else=24 |
15 | EQ=52 | 15 | Empty=20 |
16 | Else=26 | 16 | EqualsSign=55 |
17 | Empty=21 | 17 | EqualsSignEqualsSign=37 |
18 | EqualsSign=68 | 18 | EqualsSignGreaterThanSign=38 |
19 | EqualsSignEqualsSign=50 | 19 | Error=21 |
20 | Error=22 | 20 | ExclamationMark=43 |
21 | ExclamationMark=56 | 21 | ExclamationMarkEqualsSign=32 |
22 | ExclamationMarkEqualsSign=45 | 22 | Exists=15 |
23 | Extends=15 | 23 | Extends=13 |
24 | Extern=18 | 24 | Extern=16 |
25 | False=23 | 25 | False=22 |
26 | FullStop=63 | 26 | Forall=17 |
27 | FullStopFullStop=47 | 27 | FullStop=50 |
28 | Functional=5 | 28 | FullStopFullStop=34 |
29 | GREATER=11 | 29 | FullStopFullStopFullStop=28 |
30 | GREATER_EQ=4 | 30 | Functional=4 |
31 | GreaterThanSign=69 | 31 | GreaterThanSign=56 |
32 | GreaterThanSignEqualsSign=51 | 32 | GreaterThanSignEqualsSign=39 |
33 | HyphenMinus=62 | 33 | HyphenMinus=49 |
34 | HyphenMinusGreaterThanSign=46 | 34 | HyphenMinusGreaterThanSign=33 |
35 | IN=53 | 35 | If=41 |
36 | If=54 | 36 | In=42 |
37 | In=55 | 37 | Inf=29 |
38 | Inf=39 | 38 | LeftCurlyBracket=60 |
39 | Int=40 | 39 | LeftParenthesis=44 |
40 | LESS=25 | 40 | LeftSquareBracket=57 |
41 | LESS_EQ=12 | 41 | LessThanSign=54 |
42 | LeftCurlyBracket=73 | 42 | LessThanSignEqualsSign=36 |
43 | LeftParenthesis=57 | 43 | Let=30 |
44 | LeftSquareBracket=70 | ||
45 | LessThanSign=67 | ||
46 | LessThanSignEqualsSign=49 | ||
47 | MUL=35 | ||
48 | Max=41 | ||
49 | Maximize=8 | 44 | Maximize=8 |
50 | May=42 | 45 | May=31 |
51 | Min=43 | ||
52 | Minimize=9 | 46 | Minimize=9 |
53 | Must=27 | 47 | Must=25 |
54 | NOT_EQ=17 | ||
55 | Only=28 | ||
56 | Opposite=10 | 48 | Opposite=10 |
57 | POW=36 | 49 | PlusSign=47 |
58 | PlusSign=60 | 50 | RULE_ANY_OTHER=73 |
59 | Prod=29 | 51 | RULE_FULL_STOP=68 |
60 | RULE_ANY_OTHER=86 | 52 | RULE_ID=69 |
61 | RULE_FULL_STOP=81 | 53 | RULE_INT=70 |
62 | RULE_ID=82 | 54 | RULE_ML_COMMENT=71 |
63 | RULE_INT=83 | 55 | RULE_QUOTED_ID=64 |
64 | RULE_ML_COMMENT=84 | 56 | RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67 |
65 | RULE_QUOTED_ID=77 | 57 | RULE_SL_COMMENT=65 |
66 | RULE_REFLEXIVE_TRANSITIVE_CLOSURE=80 | 58 | RULE_STRING=63 |
67 | RULE_SL_COMMENT=78 | 59 | RULE_TRANSITIVE_CLOSURE=66 |
68 | RULE_STRING=76 | 60 | RULE_WS=72 |
69 | RULE_TRANSITIVE_CLOSURE=79 | 61 | RightCurlyBracket=62 |
70 | RULE_WS=85 | 62 | RightParenthesis=45 |
71 | Real=30 | 63 | RightSquareBracket=58 |
72 | RightCurlyBracket=75 | 64 | Scope=23 |
73 | RightParenthesis=58 | 65 | Semicolon=53 |
74 | RightSquareBracket=71 | 66 | Solidus=51 |
75 | SUB=37 | 67 | Then=26 |
76 | Scope=24 | 68 | True=27 |
77 | Semicolon=66 | 69 | Unknown=14 |
78 | Solidus=64 | 70 | VerticalLine=61 |
79 | Sum=44 | ||
80 | Then=31 | ||
81 | True=32 | ||
82 | Unknown=16 | ||
83 | VerticalLine=74 | ||