aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.java1673
1 files changed, 612 insertions, 1061 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.java
index b46f86fc..b113baaf 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.java
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.java
@@ -12,90 +12,77 @@ import java.util.ArrayList;
12 12
13@SuppressWarnings("all") 13@SuppressWarnings("all")
14public class InternalSolverLanguageLexer extends Lexer { 14public 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;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 11:45:38 +0000