aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java1325
1 files changed, 748 insertions, 577 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java
index 541338df..c77ac448 100644
--- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java
+++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java
@@ -12,77 +12,82 @@ 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 EqualsSignGreaterThanSign=38; 15 public static final int Enum=27;
16 public static final int True=27; 16 public static final int Import=17;
17 public static final int Count=19; 17 public static final int EqualsSignGreaterThanSign=41;
18 public static final int False=22; 18 public static final int True=30;
19 public static final int Must=25; 19 public static final int Count=21;
20 public static final int FullStopFullStopFullStop=28; 20 public static final int False=24;
21 public static final int LessThanSign=54; 21 public static final int FullStopFullStopFullStop=31;
22 public static final int Datatype=7; 22 public static final int LessThanSign=57;
23 public static final int LeftParenthesis=44; 23 public static final int Datatype=8;
24 public static final int Unknown=14; 24 public static final int LeftParenthesis=47;
25 public static final int RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67; 25 public static final int Unknown=15;
26 public static final int FullStopFullStop=34; 26 public static final int RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72;
27 public static final int Then=26; 27 public static final int Then=29;
28 public static final int Extends=13; 28 public static final int Extends=13;
29 public static final int Forall=17; 29 public static final int RightSquareBracket=62;
30 public static final int RightSquareBracket=58; 30 public static final int ExclamationMark=46;
31 public static final int ExclamationMark=43; 31 public static final int Opposite=11;
32 public static final int Opposite=10; 32 public static final int GreaterThanSign=59;
33 public static final int GreaterThanSign=56; 33 public static final int Root=28;
34 public static final int RULE_ID=69; 34 public static final int RULE_ID=74;
35 public static final int RULE_QUOTED_ID=64; 35 public static final int RULE_QUOTED_ID=69;
36 public static final int RightParenthesis=45; 36 public static final int RightParenthesis=48;
37 public static final int GreaterThanSignEqualsSign=39; 37 public static final int ColonEqualsSign=38;
38 public static final int Functional=4; 38 public static final int GreaterThanSignEqualsSign=42;
39 public static final int EqualsSignEqualsSign=37; 39 public static final int Functional=5;
40 public static final int VerticalLine=61; 40 public static final int ColonColon=37;
41 public static final int PlusSign=47; 41 public static final int EqualsSignEqualsSign=40;
42 public static final int RULE_INT=70; 42 public static final int VerticalLine=65;
43 public static final int Contains=6; 43 public static final int PlusSign=50;
44 public static final int RULE_ML_COMMENT=71; 44 public static final int RULE_INT=75;
45 public static final int RULE_TRANSITIVE_CLOSURE=66; 45 public static final int Contains=7;
46 public static final int Class=18; 46 public static final int RULE_ML_COMMENT=76;
47 public static final int LeftSquareBracket=57; 47 public static final int RULE_TRANSITIVE_CLOSURE=71;
48 public static final int RULE_FULL_STOP=68; 48 public static final int Problem=14;
49 public static final int Current=11; 49 public static final int Object=18;
50 public static final int If=41; 50 public static final int Class=20;
51 public static final int Inf=29; 51 public static final int LeftSquareBracket=61;
52 public static final int May=31; 52 public static final int RULE_FULL_STOP=73;
53 public static final int In=42; 53 public static final int If=44;
54 public static final int RULE_STRING=63; 54 public static final int Refers=19;
55 public static final int Inf=32;
56 public static final int In=45;
57 public static final int RULE_STRING=68;
55 public static final int Extern=16; 58 public static final int Extern=16;
56 public static final int RULE_SL_COMMENT=65; 59 public static final int RULE_SL_COMMENT=70;
57 public static final int Comma=48; 60 public static final int Comma=51;
58 public static final int EqualsSign=55; 61 public static final int EqualsSign=58;
59 public static final int Empty=20; 62 public static final int Empty=22;
60 public static final int As=40; 63 public static final int As=43;
61 public static final int HyphenMinus=49; 64 public static final int HyphenMinus=52;
62 public static final int Maximize=8; 65 public static final int Maximize=9;
63 public static final int LessThanSignEqualsSign=36; 66 public static final int LessThanSignEqualsSign=39;
64 public static final int Solidus=51; 67 public static final int Solidus=54;
65 public static final int Colon=52; 68 public static final int Colon=55;
66 public static final int RightCurlyBracket=62; 69 public static final int RightCurlyBracket=66;
67 public static final int EOF=-1; 70 public static final int EOF=-1;
68 public static final int Asterisk=46; 71 public static final int Asterisk=49;
69 public static final int FullStop=50; 72 public static final int Containment=4;
70 public static final int RULE_WS=72; 73 public static final int FullStop=53;
71 public static final int Abstract=5; 74 public static final int RULE_WS=77;
72 public static final int Minimize=9; 75 public static final int Abstract=6;
73 public static final int LeftCurlyBracket=60; 76 public static final int Minimize=10;
74 public static final int Error=21; 77 public static final int LeftCurlyBracket=64;
75 public static final int RULE_ANY_OTHER=73; 78 public static final int Error=23;
79 public static final int Tilde=67;
80 public static final int RULE_ANY_OTHER=78;
76 public static final int Default=12; 81 public static final int Default=12;
77 public static final int ColonHyphenMinus=35; 82 public static final int ColonHyphenMinus=36;
78 public static final int CircumflexAccent=59; 83 public static final int CircumflexAccent=63;
79 public static final int Semicolon=53; 84 public static final int Semicolon=56;
80 public static final int Scope=23; 85 public static final int Scope=25;
81 public static final int Exists=15; 86 public static final int QuestionMark=60;
82 public static final int Else=24; 87 public static final int Else=26;
83 public static final int Let=30; 88 public static final int Let=33;
84 public static final int ExclamationMarkEqualsSign=32; 89 public static final int ExclamationMarkEqualsSign=34;
85 public static final int HyphenMinusGreaterThanSign=33; 90 public static final int HyphenMinusGreaterThanSign=35;
86 91
87 // delegates 92 // delegates
88 // delegators 93 // delegators
@@ -97,13 +102,34 @@ public class InternalSolverLanguageLexer extends Lexer {
97 } 102 }
98 public String getGrammarFileName() { return "InternalSolverLanguageLexer.g"; } 103 public String getGrammarFileName() { return "InternalSolverLanguageLexer.g"; }
99 104
105 // $ANTLR start "Containment"
106 public final void mContainment() throws RecognitionException {
107 try {
108 int _type = Containment;
109 int _channel = DEFAULT_TOKEN_CHANNEL;
110 // InternalSolverLanguageLexer.g:14:13: ( 'containment' )
111 // InternalSolverLanguageLexer.g:14:15: 'containment'
112 {
113 match("containment");
114
115
116 }
117
118 state.type = _type;
119 state.channel = _channel;
120 }
121 finally {
122 }
123 }
124 // $ANTLR end "Containment"
125
100 // $ANTLR start "Functional" 126 // $ANTLR start "Functional"
101 public final void mFunctional() throws RecognitionException { 127 public final void mFunctional() throws RecognitionException {
102 try { 128 try {
103 int _type = Functional; 129 int _type = Functional;
104 int _channel = DEFAULT_TOKEN_CHANNEL; 130 int _channel = DEFAULT_TOKEN_CHANNEL;
105 // InternalSolverLanguageLexer.g:14:12: ( 'functional' ) 131 // InternalSolverLanguageLexer.g:16:12: ( 'functional' )
106 // InternalSolverLanguageLexer.g:14:14: 'functional' 132 // InternalSolverLanguageLexer.g:16:14: 'functional'
107 { 133 {
108 match("functional"); 134 match("functional");
109 135
@@ -123,8 +149,8 @@ public class InternalSolverLanguageLexer extends Lexer {
123 try { 149 try {
124 int _type = Abstract; 150 int _type = Abstract;
125 int _channel = DEFAULT_TOKEN_CHANNEL; 151 int _channel = DEFAULT_TOKEN_CHANNEL;
126 // InternalSolverLanguageLexer.g:16:10: ( 'abstract' ) 152 // InternalSolverLanguageLexer.g:18:10: ( 'abstract' )
127 // InternalSolverLanguageLexer.g:16:12: 'abstract' 153 // InternalSolverLanguageLexer.g:18:12: 'abstract'
128 { 154 {
129 match("abstract"); 155 match("abstract");
130 156
@@ -144,8 +170,8 @@ public class InternalSolverLanguageLexer extends Lexer {
144 try { 170 try {
145 int _type = Contains; 171 int _type = Contains;
146 int _channel = DEFAULT_TOKEN_CHANNEL; 172 int _channel = DEFAULT_TOKEN_CHANNEL;
147 // InternalSolverLanguageLexer.g:18:10: ( 'contains' ) 173 // InternalSolverLanguageLexer.g:20:10: ( 'contains' )
148 // InternalSolverLanguageLexer.g:18:12: 'contains' 174 // InternalSolverLanguageLexer.g:20:12: 'contains'
149 { 175 {
150 match("contains"); 176 match("contains");
151 177
@@ -165,8 +191,8 @@ public class InternalSolverLanguageLexer extends Lexer {
165 try { 191 try {
166 int _type = Datatype; 192 int _type = Datatype;
167 int _channel = DEFAULT_TOKEN_CHANNEL; 193 int _channel = DEFAULT_TOKEN_CHANNEL;
168 // InternalSolverLanguageLexer.g:20:10: ( 'datatype' ) 194 // InternalSolverLanguageLexer.g:22:10: ( 'datatype' )
169 // InternalSolverLanguageLexer.g:20:12: 'datatype' 195 // InternalSolverLanguageLexer.g:22:12: 'datatype'
170 { 196 {
171 match("datatype"); 197 match("datatype");
172 198
@@ -186,8 +212,8 @@ public class InternalSolverLanguageLexer extends Lexer {
186 try { 212 try {
187 int _type = Maximize; 213 int _type = Maximize;
188 int _channel = DEFAULT_TOKEN_CHANNEL; 214 int _channel = DEFAULT_TOKEN_CHANNEL;
189 // InternalSolverLanguageLexer.g:22:10: ( 'maximize' ) 215 // InternalSolverLanguageLexer.g:24:10: ( 'maximize' )
190 // InternalSolverLanguageLexer.g:22:12: 'maximize' 216 // InternalSolverLanguageLexer.g:24:12: 'maximize'
191 { 217 {
192 match("maximize"); 218 match("maximize");
193 219
@@ -207,8 +233,8 @@ public class InternalSolverLanguageLexer extends Lexer {
207 try { 233 try {
208 int _type = Minimize; 234 int _type = Minimize;
209 int _channel = DEFAULT_TOKEN_CHANNEL; 235 int _channel = DEFAULT_TOKEN_CHANNEL;
210 // InternalSolverLanguageLexer.g:24:10: ( 'minimize' ) 236 // InternalSolverLanguageLexer.g:26:10: ( 'minimize' )
211 // InternalSolverLanguageLexer.g:24:12: 'minimize' 237 // InternalSolverLanguageLexer.g:26:12: 'minimize'
212 { 238 {
213 match("minimize"); 239 match("minimize");
214 240
@@ -228,8 +254,8 @@ public class InternalSolverLanguageLexer extends Lexer {
228 try { 254 try {
229 int _type = Opposite; 255 int _type = Opposite;
230 int _channel = DEFAULT_TOKEN_CHANNEL; 256 int _channel = DEFAULT_TOKEN_CHANNEL;
231 // InternalSolverLanguageLexer.g:26:10: ( 'opposite' ) 257 // InternalSolverLanguageLexer.g:28:10: ( 'opposite' )
232 // InternalSolverLanguageLexer.g:26:12: 'opposite' 258 // InternalSolverLanguageLexer.g:28:12: 'opposite'
233 { 259 {
234 match("opposite"); 260 match("opposite");
235 261
@@ -244,27 +270,6 @@ public class InternalSolverLanguageLexer extends Lexer {
244 } 270 }
245 // $ANTLR end "Opposite" 271 // $ANTLR end "Opposite"
246 272
247 // $ANTLR start "Current"
248 public final void mCurrent() throws RecognitionException {
249 try {
250 int _type = Current;
251 int _channel = DEFAULT_TOKEN_CHANNEL;
252 // InternalSolverLanguageLexer.g:28:9: ( 'current' )
253 // InternalSolverLanguageLexer.g:28:11: 'current'
254 {
255 match("current");
256
257
258 }
259
260 state.type = _type;
261 state.channel = _channel;
262 }
263 finally {
264 }
265 }
266 // $ANTLR end "Current"
267
268 // $ANTLR start "Default" 273 // $ANTLR start "Default"
269 public final void mDefault() throws RecognitionException { 274 public final void mDefault() throws RecognitionException {
270 try { 275 try {
@@ -307,15 +312,15 @@ public class InternalSolverLanguageLexer extends Lexer {
307 } 312 }
308 // $ANTLR end "Extends" 313 // $ANTLR end "Extends"
309 314
310 // $ANTLR start "Unknown" 315 // $ANTLR start "Problem"
311 public final void mUnknown() throws RecognitionException { 316 public final void mProblem() throws RecognitionException {
312 try { 317 try {
313 int _type = Unknown; 318 int _type = Problem;
314 int _channel = DEFAULT_TOKEN_CHANNEL; 319 int _channel = DEFAULT_TOKEN_CHANNEL;
315 // InternalSolverLanguageLexer.g:34:9: ( 'unknown' ) 320 // InternalSolverLanguageLexer.g:34:9: ( 'problem' )
316 // InternalSolverLanguageLexer.g:34:11: 'unknown' 321 // InternalSolverLanguageLexer.g:34:11: 'problem'
317 { 322 {
318 match("unknown"); 323 match("problem");
319 324
320 325
321 } 326 }
@@ -326,17 +331,17 @@ public class InternalSolverLanguageLexer extends Lexer {
326 finally { 331 finally {
327 } 332 }
328 } 333 }
329 // $ANTLR end "Unknown" 334 // $ANTLR end "Problem"
330 335
331 // $ANTLR start "Exists" 336 // $ANTLR start "Unknown"
332 public final void mExists() throws RecognitionException { 337 public final void mUnknown() throws RecognitionException {
333 try { 338 try {
334 int _type = Exists; 339 int _type = Unknown;
335 int _channel = DEFAULT_TOKEN_CHANNEL; 340 int _channel = DEFAULT_TOKEN_CHANNEL;
336 // InternalSolverLanguageLexer.g:36:8: ( 'exists' ) 341 // InternalSolverLanguageLexer.g:36:9: ( 'unknown' )
337 // InternalSolverLanguageLexer.g:36:10: 'exists' 342 // InternalSolverLanguageLexer.g:36:11: 'unknown'
338 { 343 {
339 match("exists"); 344 match("unknown");
340 345
341 346
342 } 347 }
@@ -347,7 +352,7 @@ public class InternalSolverLanguageLexer extends Lexer {
347 finally { 352 finally {
348 } 353 }
349 } 354 }
350 // $ANTLR end "Exists" 355 // $ANTLR end "Unknown"
351 356
352 // $ANTLR start "Extern" 357 // $ANTLR start "Extern"
353 public final void mExtern() throws RecognitionException { 358 public final void mExtern() throws RecognitionException {
@@ -370,15 +375,15 @@ public class InternalSolverLanguageLexer extends Lexer {
370 } 375 }
371 // $ANTLR end "Extern" 376 // $ANTLR end "Extern"
372 377
373 // $ANTLR start "Forall" 378 // $ANTLR start "Import"
374 public final void mForall() throws RecognitionException { 379 public final void mImport() throws RecognitionException {
375 try { 380 try {
376 int _type = Forall; 381 int _type = Import;
377 int _channel = DEFAULT_TOKEN_CHANNEL; 382 int _channel = DEFAULT_TOKEN_CHANNEL;
378 // InternalSolverLanguageLexer.g:40:8: ( 'forall' ) 383 // InternalSolverLanguageLexer.g:40:8: ( 'import' )
379 // InternalSolverLanguageLexer.g:40:10: 'forall' 384 // InternalSolverLanguageLexer.g:40:10: 'import'
380 { 385 {
381 match("forall"); 386 match("import");
382 387
383 388
384 } 389 }
@@ -389,15 +394,57 @@ public class InternalSolverLanguageLexer extends Lexer {
389 finally { 394 finally {
390 } 395 }
391 } 396 }
392 // $ANTLR end "Forall" 397 // $ANTLR end "Import"
398
399 // $ANTLR start "Object"
400 public final void mObject() throws RecognitionException {
401 try {
402 int _type = Object;
403 int _channel = DEFAULT_TOKEN_CHANNEL;
404 // InternalSolverLanguageLexer.g:42:8: ( 'object' )
405 // InternalSolverLanguageLexer.g:42:10: 'object'
406 {
407 match("object");
408
409
410 }
411
412 state.type = _type;
413 state.channel = _channel;
414 }
415 finally {
416 }
417 }
418 // $ANTLR end "Object"
419
420 // $ANTLR start "Refers"
421 public final void mRefers() throws RecognitionException {
422 try {
423 int _type = Refers;
424 int _channel = DEFAULT_TOKEN_CHANNEL;
425 // InternalSolverLanguageLexer.g:44:8: ( 'refers' )
426 // InternalSolverLanguageLexer.g:44:10: 'refers'
427 {
428 match("refers");
429
430
431 }
432
433 state.type = _type;
434 state.channel = _channel;
435 }
436 finally {
437 }
438 }
439 // $ANTLR end "Refers"
393 440
394 // $ANTLR start "Class" 441 // $ANTLR start "Class"
395 public final void mClass() throws RecognitionException { 442 public final void mClass() throws RecognitionException {
396 try { 443 try {
397 int _type = Class; 444 int _type = Class;
398 int _channel = DEFAULT_TOKEN_CHANNEL; 445 int _channel = DEFAULT_TOKEN_CHANNEL;
399 // InternalSolverLanguageLexer.g:42:7: ( 'class' ) 446 // InternalSolverLanguageLexer.g:46:7: ( 'class' )
400 // InternalSolverLanguageLexer.g:42:9: 'class' 447 // InternalSolverLanguageLexer.g:46:9: 'class'
401 { 448 {
402 match("class"); 449 match("class");
403 450
@@ -417,8 +464,8 @@ public class InternalSolverLanguageLexer extends Lexer {
417 try { 464 try {
418 int _type = Count; 465 int _type = Count;
419 int _channel = DEFAULT_TOKEN_CHANNEL; 466 int _channel = DEFAULT_TOKEN_CHANNEL;
420 // InternalSolverLanguageLexer.g:44:7: ( 'count' ) 467 // InternalSolverLanguageLexer.g:48:7: ( 'count' )
421 // InternalSolverLanguageLexer.g:44:9: 'count' 468 // InternalSolverLanguageLexer.g:48:9: 'count'
422 { 469 {
423 match("count"); 470 match("count");
424 471
@@ -438,8 +485,8 @@ public class InternalSolverLanguageLexer extends Lexer {
438 try { 485 try {
439 int _type = Empty; 486 int _type = Empty;
440 int _channel = DEFAULT_TOKEN_CHANNEL; 487 int _channel = DEFAULT_TOKEN_CHANNEL;
441 // InternalSolverLanguageLexer.g:46:7: ( 'empty' ) 488 // InternalSolverLanguageLexer.g:50:7: ( 'empty' )
442 // InternalSolverLanguageLexer.g:46:9: 'empty' 489 // InternalSolverLanguageLexer.g:50:9: 'empty'
443 { 490 {
444 match("empty"); 491 match("empty");
445 492
@@ -459,8 +506,8 @@ public class InternalSolverLanguageLexer extends Lexer {
459 try { 506 try {
460 int _type = Error; 507 int _type = Error;
461 int _channel = DEFAULT_TOKEN_CHANNEL; 508 int _channel = DEFAULT_TOKEN_CHANNEL;
462 // InternalSolverLanguageLexer.g:48:7: ( 'error' ) 509 // InternalSolverLanguageLexer.g:52:7: ( 'error' )
463 // InternalSolverLanguageLexer.g:48:9: 'error' 510 // InternalSolverLanguageLexer.g:52:9: 'error'
464 { 511 {
465 match("error"); 512 match("error");
466 513
@@ -480,8 +527,8 @@ public class InternalSolverLanguageLexer extends Lexer {
480 try { 527 try {
481 int _type = False; 528 int _type = False;
482 int _channel = DEFAULT_TOKEN_CHANNEL; 529 int _channel = DEFAULT_TOKEN_CHANNEL;
483 // InternalSolverLanguageLexer.g:50:7: ( 'false' ) 530 // InternalSolverLanguageLexer.g:54:7: ( 'false' )
484 // InternalSolverLanguageLexer.g:50:9: 'false' 531 // InternalSolverLanguageLexer.g:54:9: 'false'
485 { 532 {
486 match("false"); 533 match("false");
487 534
@@ -501,8 +548,8 @@ public class InternalSolverLanguageLexer extends Lexer {
501 try { 548 try {
502 int _type = Scope; 549 int _type = Scope;
503 int _channel = DEFAULT_TOKEN_CHANNEL; 550 int _channel = DEFAULT_TOKEN_CHANNEL;
504 // InternalSolverLanguageLexer.g:52:7: ( 'scope' ) 551 // InternalSolverLanguageLexer.g:56:7: ( 'scope' )
505 // InternalSolverLanguageLexer.g:52:9: 'scope' 552 // InternalSolverLanguageLexer.g:56:9: 'scope'
506 { 553 {
507 match("scope"); 554 match("scope");
508 555
@@ -522,8 +569,8 @@ public class InternalSolverLanguageLexer extends Lexer {
522 try { 569 try {
523 int _type = Else; 570 int _type = Else;
524 int _channel = DEFAULT_TOKEN_CHANNEL; 571 int _channel = DEFAULT_TOKEN_CHANNEL;
525 // InternalSolverLanguageLexer.g:54:6: ( 'else' ) 572 // InternalSolverLanguageLexer.g:58:6: ( 'else' )
526 // InternalSolverLanguageLexer.g:54:8: 'else' 573 // InternalSolverLanguageLexer.g:58:8: 'else'
527 { 574 {
528 match("else"); 575 match("else");
529 576
@@ -538,15 +585,15 @@ public class InternalSolverLanguageLexer extends Lexer {
538 } 585 }
539 // $ANTLR end "Else" 586 // $ANTLR end "Else"
540 587
541 // $ANTLR start "Must" 588 // $ANTLR start "Enum"
542 public final void mMust() throws RecognitionException { 589 public final void mEnum() throws RecognitionException {
543 try { 590 try {
544 int _type = Must; 591 int _type = Enum;
545 int _channel = DEFAULT_TOKEN_CHANNEL; 592 int _channel = DEFAULT_TOKEN_CHANNEL;
546 // InternalSolverLanguageLexer.g:56:6: ( 'must' ) 593 // InternalSolverLanguageLexer.g:60:6: ( 'enum' )
547 // InternalSolverLanguageLexer.g:56:8: 'must' 594 // InternalSolverLanguageLexer.g:60:8: 'enum'
548 { 595 {
549 match("must"); 596 match("enum");
550 597
551 598
552 } 599 }
@@ -557,15 +604,36 @@ public class InternalSolverLanguageLexer extends Lexer {
557 finally { 604 finally {
558 } 605 }
559 } 606 }
560 // $ANTLR end "Must" 607 // $ANTLR end "Enum"
608
609 // $ANTLR start "Root"
610 public final void mRoot() throws RecognitionException {
611 try {
612 int _type = Root;
613 int _channel = DEFAULT_TOKEN_CHANNEL;
614 // InternalSolverLanguageLexer.g:62:6: ( 'root' )
615 // InternalSolverLanguageLexer.g:62:8: 'root'
616 {
617 match("root");
618
619
620 }
621
622 state.type = _type;
623 state.channel = _channel;
624 }
625 finally {
626 }
627 }
628 // $ANTLR end "Root"
561 629
562 // $ANTLR start "Then" 630 // $ANTLR start "Then"
563 public final void mThen() throws RecognitionException { 631 public final void mThen() throws RecognitionException {
564 try { 632 try {
565 int _type = Then; 633 int _type = Then;
566 int _channel = DEFAULT_TOKEN_CHANNEL; 634 int _channel = DEFAULT_TOKEN_CHANNEL;
567 // InternalSolverLanguageLexer.g:58:6: ( 'then' ) 635 // InternalSolverLanguageLexer.g:64:6: ( 'then' )
568 // InternalSolverLanguageLexer.g:58:8: 'then' 636 // InternalSolverLanguageLexer.g:64:8: 'then'
569 { 637 {
570 match("then"); 638 match("then");
571 639
@@ -585,8 +653,8 @@ public class InternalSolverLanguageLexer extends Lexer {
585 try { 653 try {
586 int _type = True; 654 int _type = True;
587 int _channel = DEFAULT_TOKEN_CHANNEL; 655 int _channel = DEFAULT_TOKEN_CHANNEL;
588 // InternalSolverLanguageLexer.g:60:6: ( 'true' ) 656 // InternalSolverLanguageLexer.g:66:6: ( 'true' )
589 // InternalSolverLanguageLexer.g:60:8: 'true' 657 // InternalSolverLanguageLexer.g:66:8: 'true'
590 { 658 {
591 match("true"); 659 match("true");
592 660
@@ -606,8 +674,8 @@ public class InternalSolverLanguageLexer extends Lexer {
606 try { 674 try {
607 int _type = FullStopFullStopFullStop; 675 int _type = FullStopFullStopFullStop;
608 int _channel = DEFAULT_TOKEN_CHANNEL; 676 int _channel = DEFAULT_TOKEN_CHANNEL;
609 // InternalSolverLanguageLexer.g:62:26: ( '...' ) 677 // InternalSolverLanguageLexer.g:68:26: ( '...' )
610 // InternalSolverLanguageLexer.g:62:28: '...' 678 // InternalSolverLanguageLexer.g:68:28: '...'
611 { 679 {
612 match("..."); 680 match("...");
613 681
@@ -627,8 +695,8 @@ public class InternalSolverLanguageLexer extends Lexer {
627 try { 695 try {
628 int _type = Inf; 696 int _type = Inf;
629 int _channel = DEFAULT_TOKEN_CHANNEL; 697 int _channel = DEFAULT_TOKEN_CHANNEL;
630 // InternalSolverLanguageLexer.g:64:5: ( 'inf' ) 698 // InternalSolverLanguageLexer.g:70:5: ( 'inf' )
631 // InternalSolverLanguageLexer.g:64:7: 'inf' 699 // InternalSolverLanguageLexer.g:70:7: 'inf'
632 { 700 {
633 match("inf"); 701 match("inf");
634 702
@@ -648,8 +716,8 @@ public class InternalSolverLanguageLexer extends Lexer {
648 try { 716 try {
649 int _type = Let; 717 int _type = Let;
650 int _channel = DEFAULT_TOKEN_CHANNEL; 718 int _channel = DEFAULT_TOKEN_CHANNEL;
651 // InternalSolverLanguageLexer.g:66:5: ( 'let' ) 719 // InternalSolverLanguageLexer.g:72:5: ( 'let' )
652 // InternalSolverLanguageLexer.g:66:7: 'let' 720 // InternalSolverLanguageLexer.g:72:7: 'let'
653 { 721 {
654 match("let"); 722 match("let");
655 723
@@ -664,15 +732,15 @@ public class InternalSolverLanguageLexer extends Lexer {
664 } 732 }
665 // $ANTLR end "Let" 733 // $ANTLR end "Let"
666 734
667 // $ANTLR start "May" 735 // $ANTLR start "ExclamationMarkEqualsSign"
668 public final void mMay() throws RecognitionException { 736 public final void mExclamationMarkEqualsSign() throws RecognitionException {
669 try { 737 try {
670 int _type = May; 738 int _type = ExclamationMarkEqualsSign;
671 int _channel = DEFAULT_TOKEN_CHANNEL; 739 int _channel = DEFAULT_TOKEN_CHANNEL;
672 // InternalSolverLanguageLexer.g:68:5: ( 'may' ) 740 // InternalSolverLanguageLexer.g:74:27: ( '!=' )
673 // InternalSolverLanguageLexer.g:68:7: 'may' 741 // InternalSolverLanguageLexer.g:74:29: '!='
674 { 742 {
675 match("may"); 743 match("!=");
676 744
677 745
678 } 746 }
@@ -683,17 +751,17 @@ public class InternalSolverLanguageLexer extends Lexer {
683 finally { 751 finally {
684 } 752 }
685 } 753 }
686 // $ANTLR end "May" 754 // $ANTLR end "ExclamationMarkEqualsSign"
687 755
688 // $ANTLR start "ExclamationMarkEqualsSign" 756 // $ANTLR start "HyphenMinusGreaterThanSign"
689 public final void mExclamationMarkEqualsSign() throws RecognitionException { 757 public final void mHyphenMinusGreaterThanSign() throws RecognitionException {
690 try { 758 try {
691 int _type = ExclamationMarkEqualsSign; 759 int _type = HyphenMinusGreaterThanSign;
692 int _channel = DEFAULT_TOKEN_CHANNEL; 760 int _channel = DEFAULT_TOKEN_CHANNEL;
693 // InternalSolverLanguageLexer.g:70:27: ( '!=' ) 761 // InternalSolverLanguageLexer.g:76:28: ( '->' )
694 // InternalSolverLanguageLexer.g:70:29: '!=' 762 // InternalSolverLanguageLexer.g:76:30: '->'
695 { 763 {
696 match("!="); 764 match("->");
697 765
698 766
699 } 767 }
@@ -704,17 +772,17 @@ public class InternalSolverLanguageLexer extends Lexer {
704 finally { 772 finally {
705 } 773 }
706 } 774 }
707 // $ANTLR end "ExclamationMarkEqualsSign" 775 // $ANTLR end "HyphenMinusGreaterThanSign"
708 776
709 // $ANTLR start "HyphenMinusGreaterThanSign" 777 // $ANTLR start "ColonHyphenMinus"
710 public final void mHyphenMinusGreaterThanSign() throws RecognitionException { 778 public final void mColonHyphenMinus() throws RecognitionException {
711 try { 779 try {
712 int _type = HyphenMinusGreaterThanSign; 780 int _type = ColonHyphenMinus;
713 int _channel = DEFAULT_TOKEN_CHANNEL; 781 int _channel = DEFAULT_TOKEN_CHANNEL;
714 // InternalSolverLanguageLexer.g:72:28: ( '->' ) 782 // InternalSolverLanguageLexer.g:78:18: ( ':-' )
715 // InternalSolverLanguageLexer.g:72:30: '->' 783 // InternalSolverLanguageLexer.g:78:20: ':-'
716 { 784 {
717 match("->"); 785 match(":-");
718 786
719 787
720 } 788 }
@@ -725,17 +793,17 @@ public class InternalSolverLanguageLexer extends Lexer {
725 finally { 793 finally {
726 } 794 }
727 } 795 }
728 // $ANTLR end "HyphenMinusGreaterThanSign" 796 // $ANTLR end "ColonHyphenMinus"
729 797
730 // $ANTLR start "FullStopFullStop" 798 // $ANTLR start "ColonColon"
731 public final void mFullStopFullStop() throws RecognitionException { 799 public final void mColonColon() throws RecognitionException {
732 try { 800 try {
733 int _type = FullStopFullStop; 801 int _type = ColonColon;
734 int _channel = DEFAULT_TOKEN_CHANNEL; 802 int _channel = DEFAULT_TOKEN_CHANNEL;
735 // InternalSolverLanguageLexer.g:74:18: ( '..' ) 803 // InternalSolverLanguageLexer.g:80:12: ( '::' )
736 // InternalSolverLanguageLexer.g:74:20: '..' 804 // InternalSolverLanguageLexer.g:80:14: '::'
737 { 805 {
738 match(".."); 806 match("::");
739 807
740 808
741 } 809 }
@@ -746,17 +814,17 @@ public class InternalSolverLanguageLexer extends Lexer {
746 finally { 814 finally {
747 } 815 }
748 } 816 }
749 // $ANTLR end "FullStopFullStop" 817 // $ANTLR end "ColonColon"
750 818
751 // $ANTLR start "ColonHyphenMinus" 819 // $ANTLR start "ColonEqualsSign"
752 public final void mColonHyphenMinus() throws RecognitionException { 820 public final void mColonEqualsSign() throws RecognitionException {
753 try { 821 try {
754 int _type = ColonHyphenMinus; 822 int _type = ColonEqualsSign;
755 int _channel = DEFAULT_TOKEN_CHANNEL; 823 int _channel = DEFAULT_TOKEN_CHANNEL;
756 // InternalSolverLanguageLexer.g:76:18: ( ':-' ) 824 // InternalSolverLanguageLexer.g:82:17: ( ':=' )
757 // InternalSolverLanguageLexer.g:76:20: ':-' 825 // InternalSolverLanguageLexer.g:82:19: ':='
758 { 826 {
759 match(":-"); 827 match(":=");
760 828
761 829
762 } 830 }
@@ -767,15 +835,15 @@ public class InternalSolverLanguageLexer extends Lexer {
767 finally { 835 finally {
768 } 836 }
769 } 837 }
770 // $ANTLR end "ColonHyphenMinus" 838 // $ANTLR end "ColonEqualsSign"
771 839
772 // $ANTLR start "LessThanSignEqualsSign" 840 // $ANTLR start "LessThanSignEqualsSign"
773 public final void mLessThanSignEqualsSign() throws RecognitionException { 841 public final void mLessThanSignEqualsSign() throws RecognitionException {
774 try { 842 try {
775 int _type = LessThanSignEqualsSign; 843 int _type = LessThanSignEqualsSign;
776 int _channel = DEFAULT_TOKEN_CHANNEL; 844 int _channel = DEFAULT_TOKEN_CHANNEL;
777 // InternalSolverLanguageLexer.g:78:24: ( '<=' ) 845 // InternalSolverLanguageLexer.g:84:24: ( '<=' )
778 // InternalSolverLanguageLexer.g:78:26: '<=' 846 // InternalSolverLanguageLexer.g:84:26: '<='
779 { 847 {
780 match("<="); 848 match("<=");
781 849
@@ -795,8 +863,8 @@ public class InternalSolverLanguageLexer extends Lexer {
795 try { 863 try {
796 int _type = EqualsSignEqualsSign; 864 int _type = EqualsSignEqualsSign;
797 int _channel = DEFAULT_TOKEN_CHANNEL; 865 int _channel = DEFAULT_TOKEN_CHANNEL;
798 // InternalSolverLanguageLexer.g:80:22: ( '==' ) 866 // InternalSolverLanguageLexer.g:86:22: ( '==' )
799 // InternalSolverLanguageLexer.g:80:24: '==' 867 // InternalSolverLanguageLexer.g:86:24: '=='
800 { 868 {
801 match("=="); 869 match("==");
802 870
@@ -816,8 +884,8 @@ public class InternalSolverLanguageLexer extends Lexer {
816 try { 884 try {
817 int _type = EqualsSignGreaterThanSign; 885 int _type = EqualsSignGreaterThanSign;
818 int _channel = DEFAULT_TOKEN_CHANNEL; 886 int _channel = DEFAULT_TOKEN_CHANNEL;
819 // InternalSolverLanguageLexer.g:82:27: ( '=>' ) 887 // InternalSolverLanguageLexer.g:88:27: ( '=>' )
820 // InternalSolverLanguageLexer.g:82:29: '=>' 888 // InternalSolverLanguageLexer.g:88:29: '=>'
821 { 889 {
822 match("=>"); 890 match("=>");
823 891
@@ -837,8 +905,8 @@ public class InternalSolverLanguageLexer extends Lexer {
837 try { 905 try {
838 int _type = GreaterThanSignEqualsSign; 906 int _type = GreaterThanSignEqualsSign;
839 int _channel = DEFAULT_TOKEN_CHANNEL; 907 int _channel = DEFAULT_TOKEN_CHANNEL;
840 // InternalSolverLanguageLexer.g:84:27: ( '>=' ) 908 // InternalSolverLanguageLexer.g:90:27: ( '>=' )
841 // InternalSolverLanguageLexer.g:84:29: '>=' 909 // InternalSolverLanguageLexer.g:90:29: '>='
842 { 910 {
843 match(">="); 911 match(">=");
844 912
@@ -858,8 +926,8 @@ public class InternalSolverLanguageLexer extends Lexer {
858 try { 926 try {
859 int _type = As; 927 int _type = As;
860 int _channel = DEFAULT_TOKEN_CHANNEL; 928 int _channel = DEFAULT_TOKEN_CHANNEL;
861 // InternalSolverLanguageLexer.g:86:4: ( 'as' ) 929 // InternalSolverLanguageLexer.g:92:4: ( 'as' )
862 // InternalSolverLanguageLexer.g:86:6: 'as' 930 // InternalSolverLanguageLexer.g:92:6: 'as'
863 { 931 {
864 match("as"); 932 match("as");
865 933
@@ -879,8 +947,8 @@ public class InternalSolverLanguageLexer extends Lexer {
879 try { 947 try {
880 int _type = If; 948 int _type = If;
881 int _channel = DEFAULT_TOKEN_CHANNEL; 949 int _channel = DEFAULT_TOKEN_CHANNEL;
882 // InternalSolverLanguageLexer.g:88:4: ( 'if' ) 950 // InternalSolverLanguageLexer.g:94:4: ( 'if' )
883 // InternalSolverLanguageLexer.g:88:6: 'if' 951 // InternalSolverLanguageLexer.g:94:6: 'if'
884 { 952 {
885 match("if"); 953 match("if");
886 954
@@ -900,8 +968,8 @@ public class InternalSolverLanguageLexer extends Lexer {
900 try { 968 try {
901 int _type = In; 969 int _type = In;
902 int _channel = DEFAULT_TOKEN_CHANNEL; 970 int _channel = DEFAULT_TOKEN_CHANNEL;
903 // InternalSolverLanguageLexer.g:90:4: ( 'in' ) 971 // InternalSolverLanguageLexer.g:96:4: ( 'in' )
904 // InternalSolverLanguageLexer.g:90:6: 'in' 972 // InternalSolverLanguageLexer.g:96:6: 'in'
905 { 973 {
906 match("in"); 974 match("in");
907 975
@@ -921,8 +989,8 @@ public class InternalSolverLanguageLexer extends Lexer {
921 try { 989 try {
922 int _type = ExclamationMark; 990 int _type = ExclamationMark;
923 int _channel = DEFAULT_TOKEN_CHANNEL; 991 int _channel = DEFAULT_TOKEN_CHANNEL;
924 // InternalSolverLanguageLexer.g:92:17: ( '!' ) 992 // InternalSolverLanguageLexer.g:98:17: ( '!' )
925 // InternalSolverLanguageLexer.g:92:19: '!' 993 // InternalSolverLanguageLexer.g:98:19: '!'
926 { 994 {
927 match('!'); 995 match('!');
928 996
@@ -941,8 +1009,8 @@ public class InternalSolverLanguageLexer extends Lexer {
941 try { 1009 try {
942 int _type = LeftParenthesis; 1010 int _type = LeftParenthesis;
943 int _channel = DEFAULT_TOKEN_CHANNEL; 1011 int _channel = DEFAULT_TOKEN_CHANNEL;
944 // InternalSolverLanguageLexer.g:94:17: ( '(' ) 1012 // InternalSolverLanguageLexer.g:100:17: ( '(' )
945 // InternalSolverLanguageLexer.g:94:19: '(' 1013 // InternalSolverLanguageLexer.g:100:19: '('
946 { 1014 {
947 match('('); 1015 match('(');
948 1016
@@ -961,8 +1029,8 @@ public class InternalSolverLanguageLexer extends Lexer {
961 try { 1029 try {
962 int _type = RightParenthesis; 1030 int _type = RightParenthesis;
963 int _channel = DEFAULT_TOKEN_CHANNEL; 1031 int _channel = DEFAULT_TOKEN_CHANNEL;
964 // InternalSolverLanguageLexer.g:96:18: ( ')' ) 1032 // InternalSolverLanguageLexer.g:102:18: ( ')' )
965 // InternalSolverLanguageLexer.g:96:20: ')' 1033 // InternalSolverLanguageLexer.g:102:20: ')'
966 { 1034 {
967 match(')'); 1035 match(')');
968 1036
@@ -981,8 +1049,8 @@ public class InternalSolverLanguageLexer extends Lexer {
981 try { 1049 try {
982 int _type = Asterisk; 1050 int _type = Asterisk;
983 int _channel = DEFAULT_TOKEN_CHANNEL; 1051 int _channel = DEFAULT_TOKEN_CHANNEL;
984 // InternalSolverLanguageLexer.g:98:10: ( '*' ) 1052 // InternalSolverLanguageLexer.g:104:10: ( '*' )
985 // InternalSolverLanguageLexer.g:98:12: '*' 1053 // InternalSolverLanguageLexer.g:104:12: '*'
986 { 1054 {
987 match('*'); 1055 match('*');
988 1056
@@ -1001,8 +1069,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1001 try { 1069 try {
1002 int _type = PlusSign; 1070 int _type = PlusSign;
1003 int _channel = DEFAULT_TOKEN_CHANNEL; 1071 int _channel = DEFAULT_TOKEN_CHANNEL;
1004 // InternalSolverLanguageLexer.g:100:10: ( '+' ) 1072 // InternalSolverLanguageLexer.g:106:10: ( '+' )
1005 // InternalSolverLanguageLexer.g:100:12: '+' 1073 // InternalSolverLanguageLexer.g:106:12: '+'
1006 { 1074 {
1007 match('+'); 1075 match('+');
1008 1076
@@ -1021,8 +1089,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1021 try { 1089 try {
1022 int _type = Comma; 1090 int _type = Comma;
1023 int _channel = DEFAULT_TOKEN_CHANNEL; 1091 int _channel = DEFAULT_TOKEN_CHANNEL;
1024 // InternalSolverLanguageLexer.g:102:7: ( ',' ) 1092 // InternalSolverLanguageLexer.g:108:7: ( ',' )
1025 // InternalSolverLanguageLexer.g:102:9: ',' 1093 // InternalSolverLanguageLexer.g:108:9: ','
1026 { 1094 {
1027 match(','); 1095 match(',');
1028 1096
@@ -1041,8 +1109,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1041 try { 1109 try {
1042 int _type = HyphenMinus; 1110 int _type = HyphenMinus;
1043 int _channel = DEFAULT_TOKEN_CHANNEL; 1111 int _channel = DEFAULT_TOKEN_CHANNEL;
1044 // InternalSolverLanguageLexer.g:104:13: ( '-' ) 1112 // InternalSolverLanguageLexer.g:110:13: ( '-' )
1045 // InternalSolverLanguageLexer.g:104:15: '-' 1113 // InternalSolverLanguageLexer.g:110:15: '-'
1046 { 1114 {
1047 match('-'); 1115 match('-');
1048 1116
@@ -1061,8 +1129,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1061 try { 1129 try {
1062 int _type = FullStop; 1130 int _type = FullStop;
1063 int _channel = DEFAULT_TOKEN_CHANNEL; 1131 int _channel = DEFAULT_TOKEN_CHANNEL;
1064 // InternalSolverLanguageLexer.g:106:10: ( '.' ) 1132 // InternalSolverLanguageLexer.g:112:10: ( '.' )
1065 // InternalSolverLanguageLexer.g:106:12: '.' 1133 // InternalSolverLanguageLexer.g:112:12: '.'
1066 { 1134 {
1067 match('.'); 1135 match('.');
1068 1136
@@ -1081,8 +1149,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1081 try { 1149 try {
1082 int _type = Solidus; 1150 int _type = Solidus;
1083 int _channel = DEFAULT_TOKEN_CHANNEL; 1151 int _channel = DEFAULT_TOKEN_CHANNEL;
1084 // InternalSolverLanguageLexer.g:108:9: ( '/' ) 1152 // InternalSolverLanguageLexer.g:114:9: ( '/' )
1085 // InternalSolverLanguageLexer.g:108:11: '/' 1153 // InternalSolverLanguageLexer.g:114:11: '/'
1086 { 1154 {
1087 match('/'); 1155 match('/');
1088 1156
@@ -1101,8 +1169,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1101 try { 1169 try {
1102 int _type = Colon; 1170 int _type = Colon;
1103 int _channel = DEFAULT_TOKEN_CHANNEL; 1171 int _channel = DEFAULT_TOKEN_CHANNEL;
1104 // InternalSolverLanguageLexer.g:110:7: ( ':' ) 1172 // InternalSolverLanguageLexer.g:116:7: ( ':' )
1105 // InternalSolverLanguageLexer.g:110:9: ':' 1173 // InternalSolverLanguageLexer.g:116:9: ':'
1106 { 1174 {
1107 match(':'); 1175 match(':');
1108 1176
@@ -1121,8 +1189,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1121 try { 1189 try {
1122 int _type = Semicolon; 1190 int _type = Semicolon;
1123 int _channel = DEFAULT_TOKEN_CHANNEL; 1191 int _channel = DEFAULT_TOKEN_CHANNEL;
1124 // InternalSolverLanguageLexer.g:112:11: ( ';' ) 1192 // InternalSolverLanguageLexer.g:118:11: ( ';' )
1125 // InternalSolverLanguageLexer.g:112:13: ';' 1193 // InternalSolverLanguageLexer.g:118:13: ';'
1126 { 1194 {
1127 match(';'); 1195 match(';');
1128 1196
@@ -1141,8 +1209,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1141 try { 1209 try {
1142 int _type = LessThanSign; 1210 int _type = LessThanSign;
1143 int _channel = DEFAULT_TOKEN_CHANNEL; 1211 int _channel = DEFAULT_TOKEN_CHANNEL;
1144 // InternalSolverLanguageLexer.g:114:14: ( '<' ) 1212 // InternalSolverLanguageLexer.g:120:14: ( '<' )
1145 // InternalSolverLanguageLexer.g:114:16: '<' 1213 // InternalSolverLanguageLexer.g:120:16: '<'
1146 { 1214 {
1147 match('<'); 1215 match('<');
1148 1216
@@ -1161,8 +1229,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1161 try { 1229 try {
1162 int _type = EqualsSign; 1230 int _type = EqualsSign;
1163 int _channel = DEFAULT_TOKEN_CHANNEL; 1231 int _channel = DEFAULT_TOKEN_CHANNEL;
1164 // InternalSolverLanguageLexer.g:116:12: ( '=' ) 1232 // InternalSolverLanguageLexer.g:122:12: ( '=' )
1165 // InternalSolverLanguageLexer.g:116:14: '=' 1233 // InternalSolverLanguageLexer.g:122:14: '='
1166 { 1234 {
1167 match('='); 1235 match('=');
1168 1236
@@ -1181,8 +1249,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1181 try { 1249 try {
1182 int _type = GreaterThanSign; 1250 int _type = GreaterThanSign;
1183 int _channel = DEFAULT_TOKEN_CHANNEL; 1251 int _channel = DEFAULT_TOKEN_CHANNEL;
1184 // InternalSolverLanguageLexer.g:118:17: ( '>' ) 1252 // InternalSolverLanguageLexer.g:124:17: ( '>' )
1185 // InternalSolverLanguageLexer.g:118:19: '>' 1253 // InternalSolverLanguageLexer.g:124:19: '>'
1186 { 1254 {
1187 match('>'); 1255 match('>');
1188 1256
@@ -1196,13 +1264,33 @@ public class InternalSolverLanguageLexer extends Lexer {
1196 } 1264 }
1197 // $ANTLR end "GreaterThanSign" 1265 // $ANTLR end "GreaterThanSign"
1198 1266
1267 // $ANTLR start "QuestionMark"
1268 public final void mQuestionMark() throws RecognitionException {
1269 try {
1270 int _type = QuestionMark;
1271 int _channel = DEFAULT_TOKEN_CHANNEL;
1272 // InternalSolverLanguageLexer.g:126:14: ( '?' )
1273 // InternalSolverLanguageLexer.g:126:16: '?'
1274 {
1275 match('?');
1276
1277 }
1278
1279 state.type = _type;
1280 state.channel = _channel;
1281 }
1282 finally {
1283 }
1284 }
1285 // $ANTLR end "QuestionMark"
1286
1199 // $ANTLR start "LeftSquareBracket" 1287 // $ANTLR start "LeftSquareBracket"
1200 public final void mLeftSquareBracket() throws RecognitionException { 1288 public final void mLeftSquareBracket() throws RecognitionException {
1201 try { 1289 try {
1202 int _type = LeftSquareBracket; 1290 int _type = LeftSquareBracket;
1203 int _channel = DEFAULT_TOKEN_CHANNEL; 1291 int _channel = DEFAULT_TOKEN_CHANNEL;
1204 // InternalSolverLanguageLexer.g:120:19: ( '[' ) 1292 // InternalSolverLanguageLexer.g:128:19: ( '[' )
1205 // InternalSolverLanguageLexer.g:120:21: '[' 1293 // InternalSolverLanguageLexer.g:128:21: '['
1206 { 1294 {
1207 match('['); 1295 match('[');
1208 1296
@@ -1221,8 +1309,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1221 try { 1309 try {
1222 int _type = RightSquareBracket; 1310 int _type = RightSquareBracket;
1223 int _channel = DEFAULT_TOKEN_CHANNEL; 1311 int _channel = DEFAULT_TOKEN_CHANNEL;
1224 // InternalSolverLanguageLexer.g:122:20: ( ']' ) 1312 // InternalSolverLanguageLexer.g:130:20: ( ']' )
1225 // InternalSolverLanguageLexer.g:122:22: ']' 1313 // InternalSolverLanguageLexer.g:130:22: ']'
1226 { 1314 {
1227 match(']'); 1315 match(']');
1228 1316
@@ -1241,8 +1329,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1241 try { 1329 try {
1242 int _type = CircumflexAccent; 1330 int _type = CircumflexAccent;
1243 int _channel = DEFAULT_TOKEN_CHANNEL; 1331 int _channel = DEFAULT_TOKEN_CHANNEL;
1244 // InternalSolverLanguageLexer.g:124:18: ( '^' ) 1332 // InternalSolverLanguageLexer.g:132:18: ( '^' )
1245 // InternalSolverLanguageLexer.g:124:20: '^' 1333 // InternalSolverLanguageLexer.g:132:20: '^'
1246 { 1334 {
1247 match('^'); 1335 match('^');
1248 1336
@@ -1261,8 +1349,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1261 try { 1349 try {
1262 int _type = LeftCurlyBracket; 1350 int _type = LeftCurlyBracket;
1263 int _channel = DEFAULT_TOKEN_CHANNEL; 1351 int _channel = DEFAULT_TOKEN_CHANNEL;
1264 // InternalSolverLanguageLexer.g:126:18: ( '{' ) 1352 // InternalSolverLanguageLexer.g:134:18: ( '{' )
1265 // InternalSolverLanguageLexer.g:126:20: '{' 1353 // InternalSolverLanguageLexer.g:134:20: '{'
1266 { 1354 {
1267 match('{'); 1355 match('{');
1268 1356
@@ -1281,8 +1369,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1281 try { 1369 try {
1282 int _type = VerticalLine; 1370 int _type = VerticalLine;
1283 int _channel = DEFAULT_TOKEN_CHANNEL; 1371 int _channel = DEFAULT_TOKEN_CHANNEL;
1284 // InternalSolverLanguageLexer.g:128:14: ( '|' ) 1372 // InternalSolverLanguageLexer.g:136:14: ( '|' )
1285 // InternalSolverLanguageLexer.g:128:16: '|' 1373 // InternalSolverLanguageLexer.g:136:16: '|'
1286 { 1374 {
1287 match('|'); 1375 match('|');
1288 1376
@@ -1301,8 +1389,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1301 try { 1389 try {
1302 int _type = RightCurlyBracket; 1390 int _type = RightCurlyBracket;
1303 int _channel = DEFAULT_TOKEN_CHANNEL; 1391 int _channel = DEFAULT_TOKEN_CHANNEL;
1304 // InternalSolverLanguageLexer.g:130:19: ( '}' ) 1392 // InternalSolverLanguageLexer.g:138:19: ( '}' )
1305 // InternalSolverLanguageLexer.g:130:21: '}' 1393 // InternalSolverLanguageLexer.g:138:21: '}'
1306 { 1394 {
1307 match('}'); 1395 match('}');
1308 1396
@@ -1316,16 +1404,36 @@ public class InternalSolverLanguageLexer extends Lexer {
1316 } 1404 }
1317 // $ANTLR end "RightCurlyBracket" 1405 // $ANTLR end "RightCurlyBracket"
1318 1406
1407 // $ANTLR start "Tilde"
1408 public final void mTilde() throws RecognitionException {
1409 try {
1410 int _type = Tilde;
1411 int _channel = DEFAULT_TOKEN_CHANNEL;
1412 // InternalSolverLanguageLexer.g:140:7: ( '~' )
1413 // InternalSolverLanguageLexer.g:140:9: '~'
1414 {
1415 match('~');
1416
1417 }
1418
1419 state.type = _type;
1420 state.channel = _channel;
1421 }
1422 finally {
1423 }
1424 }
1425 // $ANTLR end "Tilde"
1426
1319 // $ANTLR start "RULE_STRING" 1427 // $ANTLR start "RULE_STRING"
1320 public final void mRULE_STRING() throws RecognitionException { 1428 public final void mRULE_STRING() throws RecognitionException {
1321 try { 1429 try {
1322 int _type = RULE_STRING; 1430 int _type = RULE_STRING;
1323 int _channel = DEFAULT_TOKEN_CHANNEL; 1431 int _channel = DEFAULT_TOKEN_CHANNEL;
1324 // InternalSolverLanguageLexer.g:132:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) 1432 // InternalSolverLanguageLexer.g:142:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' )
1325 // InternalSolverLanguageLexer.g:132:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' 1433 // InternalSolverLanguageLexer.g:142:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"'
1326 { 1434 {
1327 match('\"'); 1435 match('\"');
1328 // InternalSolverLanguageLexer.g:132:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* 1436 // InternalSolverLanguageLexer.g:142:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )*
1329 loop1: 1437 loop1:
1330 do { 1438 do {
1331 int alt1=3; 1439 int alt1=3;
@@ -1341,7 +1449,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1341 1449
1342 switch (alt1) { 1450 switch (alt1) {
1343 case 1 : 1451 case 1 :
1344 // InternalSolverLanguageLexer.g:132:20: '\\\\' . 1452 // InternalSolverLanguageLexer.g:142:20: '\\\\' .
1345 { 1453 {
1346 match('\\'); 1454 match('\\');
1347 matchAny(); 1455 matchAny();
@@ -1349,7 +1457,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1349 } 1457 }
1350 break; 1458 break;
1351 case 2 : 1459 case 2 :
1352 // InternalSolverLanguageLexer.g:132:27: ~ ( ( '\\\\' | '\"' ) ) 1460 // InternalSolverLanguageLexer.g:142:27: ~ ( ( '\\\\' | '\"' ) )
1353 { 1461 {
1354 if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { 1462 if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) {
1355 input.consume(); 1463 input.consume();
@@ -1386,11 +1494,11 @@ public class InternalSolverLanguageLexer extends Lexer {
1386 try { 1494 try {
1387 int _type = RULE_QUOTED_ID; 1495 int _type = RULE_QUOTED_ID;
1388 int _channel = DEFAULT_TOKEN_CHANNEL; 1496 int _channel = DEFAULT_TOKEN_CHANNEL;
1389 // InternalSolverLanguageLexer.g:134:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) 1497 // InternalSolverLanguageLexer.g:144:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' )
1390 // InternalSolverLanguageLexer.g:134:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' 1498 // InternalSolverLanguageLexer.g:144:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\''
1391 { 1499 {
1392 match('\''); 1500 match('\'');
1393 // InternalSolverLanguageLexer.g:134:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* 1501 // InternalSolverLanguageLexer.g:144:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )*
1394 loop2: 1502 loop2:
1395 do { 1503 do {
1396 int alt2=3; 1504 int alt2=3;
@@ -1406,7 +1514,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1406 1514
1407 switch (alt2) { 1515 switch (alt2) {
1408 case 1 : 1516 case 1 :
1409 // InternalSolverLanguageLexer.g:134:24: '\\\\' . 1517 // InternalSolverLanguageLexer.g:144:24: '\\\\' .
1410 { 1518 {
1411 match('\\'); 1519 match('\\');
1412 matchAny(); 1520 matchAny();
@@ -1414,7 +1522,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1414 } 1522 }
1415 break; 1523 break;
1416 case 2 : 1524 case 2 :
1417 // InternalSolverLanguageLexer.g:134:31: ~ ( ( '\\\\' | '\\'' ) ) 1525 // InternalSolverLanguageLexer.g:144:31: ~ ( ( '\\\\' | '\\'' ) )
1418 { 1526 {
1419 if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { 1527 if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) {
1420 input.consume(); 1528 input.consume();
@@ -1451,10 +1559,10 @@ public class InternalSolverLanguageLexer extends Lexer {
1451 try { 1559 try {
1452 int _type = RULE_SL_COMMENT; 1560 int _type = RULE_SL_COMMENT;
1453 int _channel = DEFAULT_TOKEN_CHANNEL; 1561 int _channel = DEFAULT_TOKEN_CHANNEL;
1454 // InternalSolverLanguageLexer.g:136:17: ( ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) 1562 // InternalSolverLanguageLexer.g:146:17: ( ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? )
1455 // InternalSolverLanguageLexer.g:136:19: ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? 1563 // InternalSolverLanguageLexer.g:146:19: ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )?
1456 { 1564 {
1457 // InternalSolverLanguageLexer.g:136:19: ( '%' | '//' ) 1565 // InternalSolverLanguageLexer.g:146:19: ( '%' | '//' )
1458 int alt3=2; 1566 int alt3=2;
1459 int LA3_0 = input.LA(1); 1567 int LA3_0 = input.LA(1);
1460 1568
@@ -1472,14 +1580,14 @@ public class InternalSolverLanguageLexer extends Lexer {
1472 } 1580 }
1473 switch (alt3) { 1581 switch (alt3) {
1474 case 1 : 1582 case 1 :
1475 // InternalSolverLanguageLexer.g:136:20: '%' 1583 // InternalSolverLanguageLexer.g:146:20: '%'
1476 { 1584 {
1477 match('%'); 1585 match('%');
1478 1586
1479 } 1587 }
1480 break; 1588 break;
1481 case 2 : 1589 case 2 :
1482 // InternalSolverLanguageLexer.g:136:24: '//' 1590 // InternalSolverLanguageLexer.g:146:24: '//'
1483 { 1591 {
1484 match("//"); 1592 match("//");
1485 1593
@@ -1489,7 +1597,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1489 1597
1490 } 1598 }
1491 1599
1492 // InternalSolverLanguageLexer.g:136:30: (~ ( ( '\\n' | '\\r' ) ) )* 1600 // InternalSolverLanguageLexer.g:146:30: (~ ( ( '\\n' | '\\r' ) ) )*
1493 loop4: 1601 loop4:
1494 do { 1602 do {
1495 int alt4=2; 1603 int alt4=2;
@@ -1502,7 +1610,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1502 1610
1503 switch (alt4) { 1611 switch (alt4) {
1504 case 1 : 1612 case 1 :
1505 // InternalSolverLanguageLexer.g:136:30: ~ ( ( '\\n' | '\\r' ) ) 1613 // InternalSolverLanguageLexer.g:146:30: ~ ( ( '\\n' | '\\r' ) )
1506 { 1614 {
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') ) { 1615 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') ) {
1508 input.consume(); 1616 input.consume();
@@ -1522,7 +1630,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1522 } 1630 }
1523 } while (true); 1631 } while (true);
1524 1632
1525 // InternalSolverLanguageLexer.g:136:46: ( ( '\\r' )? '\\n' )? 1633 // InternalSolverLanguageLexer.g:146:46: ( ( '\\r' )? '\\n' )?
1526 int alt6=2; 1634 int alt6=2;
1527 int LA6_0 = input.LA(1); 1635 int LA6_0 = input.LA(1);
1528 1636
@@ -1531,9 +1639,9 @@ public class InternalSolverLanguageLexer extends Lexer {
1531 } 1639 }
1532 switch (alt6) { 1640 switch (alt6) {
1533 case 1 : 1641 case 1 :
1534 // InternalSolverLanguageLexer.g:136:47: ( '\\r' )? '\\n' 1642 // InternalSolverLanguageLexer.g:146:47: ( '\\r' )? '\\n'
1535 { 1643 {
1536 // InternalSolverLanguageLexer.g:136:47: ( '\\r' )? 1644 // InternalSolverLanguageLexer.g:146:47: ( '\\r' )?
1537 int alt5=2; 1645 int alt5=2;
1538 int LA5_0 = input.LA(1); 1646 int LA5_0 = input.LA(1);
1539 1647
@@ -1542,7 +1650,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1542 } 1650 }
1543 switch (alt5) { 1651 switch (alt5) {
1544 case 1 : 1652 case 1 :
1545 // InternalSolverLanguageLexer.g:136:47: '\\r' 1653 // InternalSolverLanguageLexer.g:146:47: '\\r'
1546 { 1654 {
1547 match('\r'); 1655 match('\r');
1548 1656
@@ -1572,8 +1680,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1572 // $ANTLR start "RULE_TRANSITIVE_CLOSURE" 1680 // $ANTLR start "RULE_TRANSITIVE_CLOSURE"
1573 public final void mRULE_TRANSITIVE_CLOSURE() throws RecognitionException { 1681 public final void mRULE_TRANSITIVE_CLOSURE() throws RecognitionException {
1574 try { 1682 try {
1575 // InternalSolverLanguageLexer.g:138:34: () 1683 // InternalSolverLanguageLexer.g:148:34: ()
1576 // InternalSolverLanguageLexer.g:138:36: 1684 // InternalSolverLanguageLexer.g:148:36:
1577 { 1685 {
1578 } 1686 }
1579 1687
@@ -1586,8 +1694,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1586 // $ANTLR start "RULE_REFLEXIVE_TRANSITIVE_CLOSURE" 1694 // $ANTLR start "RULE_REFLEXIVE_TRANSITIVE_CLOSURE"
1587 public final void mRULE_REFLEXIVE_TRANSITIVE_CLOSURE() throws RecognitionException { 1695 public final void mRULE_REFLEXIVE_TRANSITIVE_CLOSURE() throws RecognitionException {
1588 try { 1696 try {
1589 // InternalSolverLanguageLexer.g:140:44: () 1697 // InternalSolverLanguageLexer.g:150:44: ()
1590 // InternalSolverLanguageLexer.g:140:46: 1698 // InternalSolverLanguageLexer.g:150:46:
1591 { 1699 {
1592 } 1700 }
1593 1701
@@ -1600,8 +1708,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1600 // $ANTLR start "RULE_FULL_STOP" 1708 // $ANTLR start "RULE_FULL_STOP"
1601 public final void mRULE_FULL_STOP() throws RecognitionException { 1709 public final void mRULE_FULL_STOP() throws RecognitionException {
1602 try { 1710 try {
1603 // InternalSolverLanguageLexer.g:142:25: () 1711 // InternalSolverLanguageLexer.g:152:25: ()
1604 // InternalSolverLanguageLexer.g:142:27: 1712 // InternalSolverLanguageLexer.g:152:27:
1605 { 1713 {
1606 } 1714 }
1607 1715
@@ -1616,10 +1724,10 @@ public class InternalSolverLanguageLexer extends Lexer {
1616 try { 1724 try {
1617 int _type = RULE_ID; 1725 int _type = RULE_ID;
1618 int _channel = DEFAULT_TOKEN_CHANNEL; 1726 int _channel = DEFAULT_TOKEN_CHANNEL;
1619 // InternalSolverLanguageLexer.g:144:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) 1727 // InternalSolverLanguageLexer.g:154:9: ( ( '^' )? ( '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' )* 1728 // InternalSolverLanguageLexer.g:154:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )*
1621 { 1729 {
1622 // InternalSolverLanguageLexer.g:144:11: ( '^' )? 1730 // InternalSolverLanguageLexer.g:154:11: ( '^' )?
1623 int alt7=2; 1731 int alt7=2;
1624 int LA7_0 = input.LA(1); 1732 int LA7_0 = input.LA(1);
1625 1733
@@ -1628,7 +1736,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1628 } 1736 }
1629 switch (alt7) { 1737 switch (alt7) {
1630 case 1 : 1738 case 1 :
1631 // InternalSolverLanguageLexer.g:144:11: '^' 1739 // InternalSolverLanguageLexer.g:154:11: '^'
1632 { 1740 {
1633 match('^'); 1741 match('^');
1634 1742
@@ -1646,7 +1754,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1646 recover(mse); 1754 recover(mse);
1647 throw mse;} 1755 throw mse;}
1648 1756
1649 // InternalSolverLanguageLexer.g:144:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* 1757 // InternalSolverLanguageLexer.g:154:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )*
1650 loop8: 1758 loop8:
1651 do { 1759 do {
1652 int alt8=2; 1760 int alt8=2;
@@ -1695,10 +1803,10 @@ public class InternalSolverLanguageLexer extends Lexer {
1695 try { 1803 try {
1696 int _type = RULE_INT; 1804 int _type = RULE_INT;
1697 int _channel = DEFAULT_TOKEN_CHANNEL; 1805 int _channel = DEFAULT_TOKEN_CHANNEL;
1698 // InternalSolverLanguageLexer.g:146:10: ( ( '0' .. '9' )+ ) 1806 // InternalSolverLanguageLexer.g:156:10: ( ( '0' .. '9' )+ )
1699 // InternalSolverLanguageLexer.g:146:12: ( '0' .. '9' )+ 1807 // InternalSolverLanguageLexer.g:156:12: ( '0' .. '9' )+
1700 { 1808 {
1701 // InternalSolverLanguageLexer.g:146:12: ( '0' .. '9' )+ 1809 // InternalSolverLanguageLexer.g:156:12: ( '0' .. '9' )+
1702 int cnt9=0; 1810 int cnt9=0;
1703 loop9: 1811 loop9:
1704 do { 1812 do {
@@ -1712,7 +1820,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1712 1820
1713 switch (alt9) { 1821 switch (alt9) {
1714 case 1 : 1822 case 1 :
1715 // InternalSolverLanguageLexer.g:146:13: '0' .. '9' 1823 // InternalSolverLanguageLexer.g:156:13: '0' .. '9'
1716 { 1824 {
1717 matchRange('0','9'); 1825 matchRange('0','9');
1718 1826
@@ -1744,12 +1852,12 @@ public class InternalSolverLanguageLexer extends Lexer {
1744 try { 1852 try {
1745 int _type = RULE_ML_COMMENT; 1853 int _type = RULE_ML_COMMENT;
1746 int _channel = DEFAULT_TOKEN_CHANNEL; 1854 int _channel = DEFAULT_TOKEN_CHANNEL;
1747 // InternalSolverLanguageLexer.g:148:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) 1855 // InternalSolverLanguageLexer.g:158:17: ( '/*' ( options {greedy=false; } : . )* '*/' )
1748 // InternalSolverLanguageLexer.g:148:19: '/*' ( options {greedy=false; } : . )* '*/' 1856 // InternalSolverLanguageLexer.g:158:19: '/*' ( options {greedy=false; } : . )* '*/'
1749 { 1857 {
1750 match("/*"); 1858 match("/*");
1751 1859
1752 // InternalSolverLanguageLexer.g:148:24: ( options {greedy=false; } : . )* 1860 // InternalSolverLanguageLexer.g:158:24: ( options {greedy=false; } : . )*
1753 loop10: 1861 loop10:
1754 do { 1862 do {
1755 int alt10=2; 1863 int alt10=2;
@@ -1774,7 +1882,7 @@ public class InternalSolverLanguageLexer extends Lexer {
1774 1882
1775 switch (alt10) { 1883 switch (alt10) {
1776 case 1 : 1884 case 1 :
1777 // InternalSolverLanguageLexer.g:148:52: . 1885 // InternalSolverLanguageLexer.g:158:52: .
1778 { 1886 {
1779 matchAny(); 1887 matchAny();
1780 1888
@@ -1804,10 +1912,10 @@ public class InternalSolverLanguageLexer extends Lexer {
1804 try { 1912 try {
1805 int _type = RULE_WS; 1913 int _type = RULE_WS;
1806 int _channel = DEFAULT_TOKEN_CHANNEL; 1914 int _channel = DEFAULT_TOKEN_CHANNEL;
1807 // InternalSolverLanguageLexer.g:150:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) 1915 // InternalSolverLanguageLexer.g:160:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ )
1808 // InternalSolverLanguageLexer.g:150:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ 1916 // InternalSolverLanguageLexer.g:160:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
1809 { 1917 {
1810 // InternalSolverLanguageLexer.g:150:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ 1918 // InternalSolverLanguageLexer.g:160:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
1811 int cnt11=0; 1919 int cnt11=0;
1812 loop11: 1920 loop11:
1813 do { 1921 do {
@@ -1861,8 +1969,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1861 try { 1969 try {
1862 int _type = RULE_ANY_OTHER; 1970 int _type = RULE_ANY_OTHER;
1863 int _channel = DEFAULT_TOKEN_CHANNEL; 1971 int _channel = DEFAULT_TOKEN_CHANNEL;
1864 // InternalSolverLanguageLexer.g:152:16: ( . ) 1972 // InternalSolverLanguageLexer.g:162:16: ( . )
1865 // InternalSolverLanguageLexer.g:152:18: . 1973 // InternalSolverLanguageLexer.g:162:18: .
1866 { 1974 {
1867 matchAny(); 1975 matchAny();
1868 1976
@@ -1877,474 +1985,509 @@ public class InternalSolverLanguageLexer extends Lexer {
1877 // $ANTLR end "RULE_ANY_OTHER" 1985 // $ANTLR end "RULE_ANY_OTHER"
1878 1986
1879 public void mTokens() throws RecognitionException { 1987 public void mTokens() throws RecognitionException {
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 ) 1988 // InternalSolverLanguageLexer.g:1:8: ( Containment | Functional | Abstract | Contains | Datatype | Maximize | Minimize | Opposite | Default | Extends | Problem | Unknown | Extern | Import | Object | Refers | Class | Count | Empty | Error | False | Scope | Else | Enum | Root | Then | True | FullStopFullStopFullStop | Inf | Let | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | ColonHyphenMinus | ColonColon | ColonEqualsSign | LessThanSignEqualsSign | EqualsSignEqualsSign | EqualsSignGreaterThanSign | GreaterThanSignEqualsSign | As | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | QuestionMark | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | Tilde | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER )
1881 int alt12=67; 1989 int alt12=72;
1882 alt12 = dfa12.predict(input); 1990 alt12 = dfa12.predict(input);
1883 switch (alt12) { 1991 switch (alt12) {
1884 case 1 : 1992 case 1 :
1885 // InternalSolverLanguageLexer.g:1:10: Functional 1993 // InternalSolverLanguageLexer.g:1:10: Containment
1886 { 1994 {
1887 mFunctional(); 1995 mContainment();
1888 1996
1889 } 1997 }
1890 break; 1998 break;
1891 case 2 : 1999 case 2 :
1892 // InternalSolverLanguageLexer.g:1:21: Abstract 2000 // InternalSolverLanguageLexer.g:1:22: Functional
1893 { 2001 {
1894 mAbstract(); 2002 mFunctional();
1895 2003
1896 } 2004 }
1897 break; 2005 break;
1898 case 3 : 2006 case 3 :
1899 // InternalSolverLanguageLexer.g:1:30: Contains 2007 // InternalSolverLanguageLexer.g:1:33: Abstract
1900 { 2008 {
1901 mContains(); 2009 mAbstract();
1902 2010
1903 } 2011 }
1904 break; 2012 break;
1905 case 4 : 2013 case 4 :
1906 // InternalSolverLanguageLexer.g:1:39: Datatype 2014 // InternalSolverLanguageLexer.g:1:42: Contains
1907 { 2015 {
1908 mDatatype(); 2016 mContains();
1909 2017
1910 } 2018 }
1911 break; 2019 break;
1912 case 5 : 2020 case 5 :
1913 // InternalSolverLanguageLexer.g:1:48: Maximize 2021 // InternalSolverLanguageLexer.g:1:51: Datatype
1914 { 2022 {
1915 mMaximize(); 2023 mDatatype();
1916 2024
1917 } 2025 }
1918 break; 2026 break;
1919 case 6 : 2027 case 6 :
1920 // InternalSolverLanguageLexer.g:1:57: Minimize 2028 // InternalSolverLanguageLexer.g:1:60: Maximize
1921 { 2029 {
1922 mMinimize(); 2030 mMaximize();
1923 2031
1924 } 2032 }
1925 break; 2033 break;
1926 case 7 : 2034 case 7 :
1927 // InternalSolverLanguageLexer.g:1:66: Opposite 2035 // InternalSolverLanguageLexer.g:1:69: Minimize
1928 { 2036 {
1929 mOpposite(); 2037 mMinimize();
1930 2038
1931 } 2039 }
1932 break; 2040 break;
1933 case 8 : 2041 case 8 :
1934 // InternalSolverLanguageLexer.g:1:75: Current 2042 // InternalSolverLanguageLexer.g:1:78: Opposite
1935 { 2043 {
1936 mCurrent(); 2044 mOpposite();
1937 2045
1938 } 2046 }
1939 break; 2047 break;
1940 case 9 : 2048 case 9 :
1941 // InternalSolverLanguageLexer.g:1:83: Default 2049 // InternalSolverLanguageLexer.g:1:87: Default
1942 { 2050 {
1943 mDefault(); 2051 mDefault();
1944 2052
1945 } 2053 }
1946 break; 2054 break;
1947 case 10 : 2055 case 10 :
1948 // InternalSolverLanguageLexer.g:1:91: Extends 2056 // InternalSolverLanguageLexer.g:1:95: Extends
1949 { 2057 {
1950 mExtends(); 2058 mExtends();
1951 2059
1952 } 2060 }
1953 break; 2061 break;
1954 case 11 : 2062 case 11 :
1955 // InternalSolverLanguageLexer.g:1:99: Unknown 2063 // InternalSolverLanguageLexer.g:1:103: Problem
1956 { 2064 {
1957 mUnknown(); 2065 mProblem();
1958 2066
1959 } 2067 }
1960 break; 2068 break;
1961 case 12 : 2069 case 12 :
1962 // InternalSolverLanguageLexer.g:1:107: Exists 2070 // InternalSolverLanguageLexer.g:1:111: Unknown
1963 { 2071 {
1964 mExists(); 2072 mUnknown();
1965 2073
1966 } 2074 }
1967 break; 2075 break;
1968 case 13 : 2076 case 13 :
1969 // InternalSolverLanguageLexer.g:1:114: Extern 2077 // InternalSolverLanguageLexer.g:1:119: Extern
1970 { 2078 {
1971 mExtern(); 2079 mExtern();
1972 2080
1973 } 2081 }
1974 break; 2082 break;
1975 case 14 : 2083 case 14 :
1976 // InternalSolverLanguageLexer.g:1:121: Forall 2084 // InternalSolverLanguageLexer.g:1:126: Import
1977 { 2085 {
1978 mForall(); 2086 mImport();
1979 2087
1980 } 2088 }
1981 break; 2089 break;
1982 case 15 : 2090 case 15 :
1983 // InternalSolverLanguageLexer.g:1:128: Class 2091 // InternalSolverLanguageLexer.g:1:133: Object
1984 { 2092 {
1985 mClass(); 2093 mObject();
1986 2094
1987 } 2095 }
1988 break; 2096 break;
1989 case 16 : 2097 case 16 :
1990 // InternalSolverLanguageLexer.g:1:134: Count 2098 // InternalSolverLanguageLexer.g:1:140: Refers
1991 { 2099 {
1992 mCount(); 2100 mRefers();
1993 2101
1994 } 2102 }
1995 break; 2103 break;
1996 case 17 : 2104 case 17 :
1997 // InternalSolverLanguageLexer.g:1:140: Empty 2105 // InternalSolverLanguageLexer.g:1:147: Class
1998 { 2106 {
1999 mEmpty(); 2107 mClass();
2000 2108
2001 } 2109 }
2002 break; 2110 break;
2003 case 18 : 2111 case 18 :
2004 // InternalSolverLanguageLexer.g:1:146: Error 2112 // InternalSolverLanguageLexer.g:1:153: Count
2005 { 2113 {
2006 mError(); 2114 mCount();
2007 2115
2008 } 2116 }
2009 break; 2117 break;
2010 case 19 : 2118 case 19 :
2011 // InternalSolverLanguageLexer.g:1:152: False 2119 // InternalSolverLanguageLexer.g:1:159: Empty
2012 { 2120 {
2013 mFalse(); 2121 mEmpty();
2014 2122
2015 } 2123 }
2016 break; 2124 break;
2017 case 20 : 2125 case 20 :
2018 // InternalSolverLanguageLexer.g:1:158: Scope 2126 // InternalSolverLanguageLexer.g:1:165: Error
2019 { 2127 {
2020 mScope(); 2128 mError();
2021 2129
2022 } 2130 }
2023 break; 2131 break;
2024 case 21 : 2132 case 21 :
2025 // InternalSolverLanguageLexer.g:1:164: Else 2133 // InternalSolverLanguageLexer.g:1:171: False
2026 { 2134 {
2027 mElse(); 2135 mFalse();
2028 2136
2029 } 2137 }
2030 break; 2138 break;
2031 case 22 : 2139 case 22 :
2032 // InternalSolverLanguageLexer.g:1:169: Must 2140 // InternalSolverLanguageLexer.g:1:177: Scope
2033 { 2141 {
2034 mMust(); 2142 mScope();
2035 2143
2036 } 2144 }
2037 break; 2145 break;
2038 case 23 : 2146 case 23 :
2039 // InternalSolverLanguageLexer.g:1:174: Then 2147 // InternalSolverLanguageLexer.g:1:183: Else
2040 { 2148 {
2041 mThen(); 2149 mElse();
2042 2150
2043 } 2151 }
2044 break; 2152 break;
2045 case 24 : 2153 case 24 :
2046 // InternalSolverLanguageLexer.g:1:179: True 2154 // InternalSolverLanguageLexer.g:1:188: Enum
2047 { 2155 {
2048 mTrue(); 2156 mEnum();
2049 2157
2050 } 2158 }
2051 break; 2159 break;
2052 case 25 : 2160 case 25 :
2053 // InternalSolverLanguageLexer.g:1:184: FullStopFullStopFullStop 2161 // InternalSolverLanguageLexer.g:1:193: Root
2054 { 2162 {
2055 mFullStopFullStopFullStop(); 2163 mRoot();
2056 2164
2057 } 2165 }
2058 break; 2166 break;
2059 case 26 : 2167 case 26 :
2060 // InternalSolverLanguageLexer.g:1:209: Inf 2168 // InternalSolverLanguageLexer.g:1:198: Then
2061 { 2169 {
2062 mInf(); 2170 mThen();
2063 2171
2064 } 2172 }
2065 break; 2173 break;
2066 case 27 : 2174 case 27 :
2067 // InternalSolverLanguageLexer.g:1:213: Let 2175 // InternalSolverLanguageLexer.g:1:203: True
2068 { 2176 {
2069 mLet(); 2177 mTrue();
2070 2178
2071 } 2179 }
2072 break; 2180 break;
2073 case 28 : 2181 case 28 :
2074 // InternalSolverLanguageLexer.g:1:217: May 2182 // InternalSolverLanguageLexer.g:1:208: FullStopFullStopFullStop
2075 { 2183 {
2076 mMay(); 2184 mFullStopFullStopFullStop();
2077 2185
2078 } 2186 }
2079 break; 2187 break;
2080 case 29 : 2188 case 29 :
2081 // InternalSolverLanguageLexer.g:1:221: ExclamationMarkEqualsSign 2189 // InternalSolverLanguageLexer.g:1:233: Inf
2082 { 2190 {
2083 mExclamationMarkEqualsSign(); 2191 mInf();
2084 2192
2085 } 2193 }
2086 break; 2194 break;
2087 case 30 : 2195 case 30 :
2088 // InternalSolverLanguageLexer.g:1:247: HyphenMinusGreaterThanSign 2196 // InternalSolverLanguageLexer.g:1:237: Let
2089 { 2197 {
2090 mHyphenMinusGreaterThanSign(); 2198 mLet();
2091 2199
2092 } 2200 }
2093 break; 2201 break;
2094 case 31 : 2202 case 31 :
2095 // InternalSolverLanguageLexer.g:1:274: FullStopFullStop 2203 // InternalSolverLanguageLexer.g:1:241: ExclamationMarkEqualsSign
2096 { 2204 {
2097 mFullStopFullStop(); 2205 mExclamationMarkEqualsSign();
2098 2206
2099 } 2207 }
2100 break; 2208 break;
2101 case 32 : 2209 case 32 :
2102 // InternalSolverLanguageLexer.g:1:291: ColonHyphenMinus 2210 // InternalSolverLanguageLexer.g:1:267: HyphenMinusGreaterThanSign
2103 { 2211 {
2104 mColonHyphenMinus(); 2212 mHyphenMinusGreaterThanSign();
2105 2213
2106 } 2214 }
2107 break; 2215 break;
2108 case 33 : 2216 case 33 :
2109 // InternalSolverLanguageLexer.g:1:308: LessThanSignEqualsSign 2217 // InternalSolverLanguageLexer.g:1:294: ColonHyphenMinus
2110 { 2218 {
2111 mLessThanSignEqualsSign(); 2219 mColonHyphenMinus();
2112 2220
2113 } 2221 }
2114 break; 2222 break;
2115 case 34 : 2223 case 34 :
2116 // InternalSolverLanguageLexer.g:1:331: EqualsSignEqualsSign 2224 // InternalSolverLanguageLexer.g:1:311: ColonColon
2117 { 2225 {
2118 mEqualsSignEqualsSign(); 2226 mColonColon();
2119 2227
2120 } 2228 }
2121 break; 2229 break;
2122 case 35 : 2230 case 35 :
2123 // InternalSolverLanguageLexer.g:1:352: EqualsSignGreaterThanSign 2231 // InternalSolverLanguageLexer.g:1:322: ColonEqualsSign
2124 { 2232 {
2125 mEqualsSignGreaterThanSign(); 2233 mColonEqualsSign();
2126 2234
2127 } 2235 }
2128 break; 2236 break;
2129 case 36 : 2237 case 36 :
2130 // InternalSolverLanguageLexer.g:1:378: GreaterThanSignEqualsSign 2238 // InternalSolverLanguageLexer.g:1:338: LessThanSignEqualsSign
2131 { 2239 {
2132 mGreaterThanSignEqualsSign(); 2240 mLessThanSignEqualsSign();
2133 2241
2134 } 2242 }
2135 break; 2243 break;
2136 case 37 : 2244 case 37 :
2137 // InternalSolverLanguageLexer.g:1:404: As 2245 // InternalSolverLanguageLexer.g:1:361: EqualsSignEqualsSign
2138 { 2246 {
2139 mAs(); 2247 mEqualsSignEqualsSign();
2140 2248
2141 } 2249 }
2142 break; 2250 break;
2143 case 38 : 2251 case 38 :
2144 // InternalSolverLanguageLexer.g:1:407: If 2252 // InternalSolverLanguageLexer.g:1:382: EqualsSignGreaterThanSign
2145 { 2253 {
2146 mIf(); 2254 mEqualsSignGreaterThanSign();
2147 2255
2148 } 2256 }
2149 break; 2257 break;
2150 case 39 : 2258 case 39 :
2151 // InternalSolverLanguageLexer.g:1:410: In 2259 // InternalSolverLanguageLexer.g:1:408: GreaterThanSignEqualsSign
2152 { 2260 {
2153 mIn(); 2261 mGreaterThanSignEqualsSign();
2154 2262
2155 } 2263 }
2156 break; 2264 break;
2157 case 40 : 2265 case 40 :
2158 // InternalSolverLanguageLexer.g:1:413: ExclamationMark 2266 // InternalSolverLanguageLexer.g:1:434: As
2159 { 2267 {
2160 mExclamationMark(); 2268 mAs();
2161 2269
2162 } 2270 }
2163 break; 2271 break;
2164 case 41 : 2272 case 41 :
2165 // InternalSolverLanguageLexer.g:1:429: LeftParenthesis 2273 // InternalSolverLanguageLexer.g:1:437: If
2166 { 2274 {
2167 mLeftParenthesis(); 2275 mIf();
2168 2276
2169 } 2277 }
2170 break; 2278 break;
2171 case 42 : 2279 case 42 :
2172 // InternalSolverLanguageLexer.g:1:445: RightParenthesis 2280 // InternalSolverLanguageLexer.g:1:440: In
2173 { 2281 {
2174 mRightParenthesis(); 2282 mIn();
2175 2283
2176 } 2284 }
2177 break; 2285 break;
2178 case 43 : 2286 case 43 :
2179 // InternalSolverLanguageLexer.g:1:462: Asterisk 2287 // InternalSolverLanguageLexer.g:1:443: ExclamationMark
2180 { 2288 {
2181 mAsterisk(); 2289 mExclamationMark();
2182 2290
2183 } 2291 }
2184 break; 2292 break;
2185 case 44 : 2293 case 44 :
2186 // InternalSolverLanguageLexer.g:1:471: PlusSign 2294 // InternalSolverLanguageLexer.g:1:459: LeftParenthesis
2187 { 2295 {
2188 mPlusSign(); 2296 mLeftParenthesis();
2189 2297
2190 } 2298 }
2191 break; 2299 break;
2192 case 45 : 2300 case 45 :
2193 // InternalSolverLanguageLexer.g:1:480: Comma 2301 // InternalSolverLanguageLexer.g:1:475: RightParenthesis
2194 { 2302 {
2195 mComma(); 2303 mRightParenthesis();
2196 2304
2197 } 2305 }
2198 break; 2306 break;
2199 case 46 : 2307 case 46 :
2200 // InternalSolverLanguageLexer.g:1:486: HyphenMinus 2308 // InternalSolverLanguageLexer.g:1:492: Asterisk
2201 { 2309 {
2202 mHyphenMinus(); 2310 mAsterisk();
2203 2311
2204 } 2312 }
2205 break; 2313 break;
2206 case 47 : 2314 case 47 :
2207 // InternalSolverLanguageLexer.g:1:498: FullStop 2315 // InternalSolverLanguageLexer.g:1:501: PlusSign
2208 { 2316 {
2209 mFullStop(); 2317 mPlusSign();
2210 2318
2211 } 2319 }
2212 break; 2320 break;
2213 case 48 : 2321 case 48 :
2214 // InternalSolverLanguageLexer.g:1:507: Solidus 2322 // InternalSolverLanguageLexer.g:1:510: Comma
2215 { 2323 {
2216 mSolidus(); 2324 mComma();
2217 2325
2218 } 2326 }
2219 break; 2327 break;
2220 case 49 : 2328 case 49 :
2221 // InternalSolverLanguageLexer.g:1:515: Colon 2329 // InternalSolverLanguageLexer.g:1:516: HyphenMinus
2222 { 2330 {
2223 mColon(); 2331 mHyphenMinus();
2224 2332
2225 } 2333 }
2226 break; 2334 break;
2227 case 50 : 2335 case 50 :
2228 // InternalSolverLanguageLexer.g:1:521: Semicolon 2336 // InternalSolverLanguageLexer.g:1:528: FullStop
2229 { 2337 {
2230 mSemicolon(); 2338 mFullStop();
2231 2339
2232 } 2340 }
2233 break; 2341 break;
2234 case 51 : 2342 case 51 :
2235 // InternalSolverLanguageLexer.g:1:531: LessThanSign 2343 // InternalSolverLanguageLexer.g:1:537: Solidus
2236 { 2344 {
2237 mLessThanSign(); 2345 mSolidus();
2238 2346
2239 } 2347 }
2240 break; 2348 break;
2241 case 52 : 2349 case 52 :
2242 // InternalSolverLanguageLexer.g:1:544: EqualsSign 2350 // InternalSolverLanguageLexer.g:1:545: Colon
2243 { 2351 {
2244 mEqualsSign(); 2352 mColon();
2245 2353
2246 } 2354 }
2247 break; 2355 break;
2248 case 53 : 2356 case 53 :
2249 // InternalSolverLanguageLexer.g:1:555: GreaterThanSign 2357 // InternalSolverLanguageLexer.g:1:551: Semicolon
2250 { 2358 {
2251 mGreaterThanSign(); 2359 mSemicolon();
2252 2360
2253 } 2361 }
2254 break; 2362 break;
2255 case 54 : 2363 case 54 :
2256 // InternalSolverLanguageLexer.g:1:571: LeftSquareBracket 2364 // InternalSolverLanguageLexer.g:1:561: LessThanSign
2257 { 2365 {
2258 mLeftSquareBracket(); 2366 mLessThanSign();
2259 2367
2260 } 2368 }
2261 break; 2369 break;
2262 case 55 : 2370 case 55 :
2263 // InternalSolverLanguageLexer.g:1:589: RightSquareBracket 2371 // InternalSolverLanguageLexer.g:1:574: EqualsSign
2264 { 2372 {
2265 mRightSquareBracket(); 2373 mEqualsSign();
2266 2374
2267 } 2375 }
2268 break; 2376 break;
2269 case 56 : 2377 case 56 :
2270 // InternalSolverLanguageLexer.g:1:608: CircumflexAccent 2378 // InternalSolverLanguageLexer.g:1:585: GreaterThanSign
2271 { 2379 {
2272 mCircumflexAccent(); 2380 mGreaterThanSign();
2273 2381
2274 } 2382 }
2275 break; 2383 break;
2276 case 57 : 2384 case 57 :
2277 // InternalSolverLanguageLexer.g:1:625: LeftCurlyBracket 2385 // InternalSolverLanguageLexer.g:1:601: QuestionMark
2278 { 2386 {
2279 mLeftCurlyBracket(); 2387 mQuestionMark();
2280 2388
2281 } 2389 }
2282 break; 2390 break;
2283 case 58 : 2391 case 58 :
2284 // InternalSolverLanguageLexer.g:1:642: VerticalLine 2392 // InternalSolverLanguageLexer.g:1:614: LeftSquareBracket
2285 { 2393 {
2286 mVerticalLine(); 2394 mLeftSquareBracket();
2287 2395
2288 } 2396 }
2289 break; 2397 break;
2290 case 59 : 2398 case 59 :
2291 // InternalSolverLanguageLexer.g:1:655: RightCurlyBracket 2399 // InternalSolverLanguageLexer.g:1:632: RightSquareBracket
2292 { 2400 {
2293 mRightCurlyBracket(); 2401 mRightSquareBracket();
2294 2402
2295 } 2403 }
2296 break; 2404 break;
2297 case 60 : 2405 case 60 :
2298 // InternalSolverLanguageLexer.g:1:673: RULE_STRING 2406 // InternalSolverLanguageLexer.g:1:651: CircumflexAccent
2299 { 2407 {
2300 mRULE_STRING(); 2408 mCircumflexAccent();
2301 2409
2302 } 2410 }
2303 break; 2411 break;
2304 case 61 : 2412 case 61 :
2305 // InternalSolverLanguageLexer.g:1:685: RULE_QUOTED_ID 2413 // InternalSolverLanguageLexer.g:1:668: LeftCurlyBracket
2306 { 2414 {
2307 mRULE_QUOTED_ID(); 2415 mLeftCurlyBracket();
2308 2416
2309 } 2417 }
2310 break; 2418 break;
2311 case 62 : 2419 case 62 :
2312 // InternalSolverLanguageLexer.g:1:700: RULE_SL_COMMENT 2420 // InternalSolverLanguageLexer.g:1:685: VerticalLine
2313 { 2421 {
2314 mRULE_SL_COMMENT(); 2422 mVerticalLine();
2315 2423
2316 } 2424 }
2317 break; 2425 break;
2318 case 63 : 2426 case 63 :
2319 // InternalSolverLanguageLexer.g:1:716: RULE_ID 2427 // InternalSolverLanguageLexer.g:1:698: RightCurlyBracket
2320 { 2428 {
2321 mRULE_ID(); 2429 mRightCurlyBracket();
2322 2430
2323 } 2431 }
2324 break; 2432 break;
2325 case 64 : 2433 case 64 :
2326 // InternalSolverLanguageLexer.g:1:724: RULE_INT 2434 // InternalSolverLanguageLexer.g:1:716: Tilde
2327 { 2435 {
2328 mRULE_INT(); 2436 mTilde();
2329 2437
2330 } 2438 }
2331 break; 2439 break;
2332 case 65 : 2440 case 65 :
2333 // InternalSolverLanguageLexer.g:1:733: RULE_ML_COMMENT 2441 // InternalSolverLanguageLexer.g:1:722: RULE_STRING
2334 { 2442 {
2335 mRULE_ML_COMMENT(); 2443 mRULE_STRING();
2336 2444
2337 } 2445 }
2338 break; 2446 break;
2339 case 66 : 2447 case 66 :
2340 // InternalSolverLanguageLexer.g:1:749: RULE_WS 2448 // InternalSolverLanguageLexer.g:1:734: RULE_QUOTED_ID
2341 { 2449 {
2342 mRULE_WS(); 2450 mRULE_QUOTED_ID();
2343 2451
2344 } 2452 }
2345 break; 2453 break;
2346 case 67 : 2454 case 67 :
2347 // InternalSolverLanguageLexer.g:1:757: RULE_ANY_OTHER 2455 // InternalSolverLanguageLexer.g:1:749: RULE_SL_COMMENT
2456 {
2457 mRULE_SL_COMMENT();
2458
2459 }
2460 break;
2461 case 68 :
2462 // InternalSolverLanguageLexer.g:1:765: RULE_ID
2463 {
2464 mRULE_ID();
2465
2466 }
2467 break;
2468 case 69 :
2469 // InternalSolverLanguageLexer.g:1:773: RULE_INT
2470 {
2471 mRULE_INT();
2472
2473 }
2474 break;
2475 case 70 :
2476 // InternalSolverLanguageLexer.g:1:782: RULE_ML_COMMENT
2477 {
2478 mRULE_ML_COMMENT();
2479
2480 }
2481 break;
2482 case 71 :
2483 // InternalSolverLanguageLexer.g:1:798: RULE_WS
2484 {
2485 mRULE_WS();
2486
2487 }
2488 break;
2489 case 72 :
2490 // InternalSolverLanguageLexer.g:1:806: RULE_ANY_OTHER
2348 { 2491 {
2349 mRULE_ANY_OTHER(); 2492 mRULE_ANY_OTHER();
2350 2493
@@ -2358,74 +2501,69 @@ public class InternalSolverLanguageLexer extends Lexer {
2358 2501
2359 protected DFA12 dfa12 = new DFA12(this); 2502 protected DFA12 dfa12 = new DFA12(this);
2360 static final String DFA12_eotS = 2503 static final String DFA12_eotS =
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"; 2504 "\1\uffff\15\56\1\111\1\56\1\114\1\116\1\122\1\124\1\127\1\131\5\uffff\1\141\4\uffff\1\146\4\uffff\2\53\5\uffff\2\56\1\uffff\3\56\1\165\16\56\1\u0085\1\u0086\5\56\2\uffff\1\56\44\uffff\6\56\1\uffff\16\56\1\u00a1\2\uffff\5\56\1\u00a7\17\56\1\u00b8\1\u00b9\3\56\1\uffff\1\56\1\u00be\1\56\1\u00c0\1\u00c1\1\uffff\1\56\1\u00c3\1\u00c4\1\56\1\u00c6\11\56\1\u00d0\1\u00d1\2\uffff\4\56\1\uffff\1\u00d6\2\uffff\1\56\2\uffff\1\56\1\uffff\6\56\1\u00df\1\56\1\u00e1\2\uffff\2\56\1\u00e4\1\u00e5\1\uffff\4\56\1\u00eb\3\56\1\uffff\1\u00ef\1\uffff\1\u00f0\1\u00f1\2\uffff\1\56\1\u00f3\1\56\1\u00f5\1\u00f6\1\uffff\1\u00f7\1\u00f8\1\u00f9\3\uffff\1\56\1\uffff\1\56\5\uffff\1\56\1\u00fd\1\u00fe\2\uffff";
2362 static final String DFA12_eofS = 2505 static final String DFA12_eofS =
2363 "\u00eb\uffff"; 2506 "\u00ff\uffff";
2364 static final String DFA12_minS = 2507 static final String DFA12_minS =
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"; 2508 "\1\0\1\154\1\141\1\142\2\141\1\142\1\154\1\162\1\156\1\146\1\145\1\143\1\150\1\56\1\145\1\75\1\76\1\55\3\75\5\uffff\1\52\4\uffff\1\101\4\uffff\2\0\5\uffff\1\156\1\141\1\uffff\1\156\1\154\1\163\1\60\1\164\1\146\1\170\1\156\1\160\1\152\1\164\1\160\1\162\1\163\1\165\1\157\1\153\1\160\2\60\1\146\2\157\1\145\1\165\2\uffff\1\164\44\uffff\1\164\1\156\1\163\1\143\1\163\1\164\1\uffff\2\141\2\151\1\157\2\145\1\164\1\157\1\145\1\155\1\142\1\156\1\157\1\60\2\uffff\1\145\1\164\1\160\1\156\1\145\1\60\1\141\1\164\1\163\1\164\1\145\1\162\1\164\1\165\2\155\1\163\1\143\1\156\1\171\1\162\2\60\1\154\1\157\1\162\1\uffff\1\162\1\60\1\145\2\60\1\uffff\1\151\2\60\1\151\1\60\1\141\1\171\1\154\3\151\1\164\1\144\1\156\2\60\2\uffff\1\145\1\167\1\164\1\163\1\uffff\1\60\2\uffff\1\156\2\uffff\1\157\1\uffff\1\143\1\160\1\164\2\172\1\164\1\60\1\163\1\60\2\uffff\1\155\1\156\2\60\1\uffff\1\155\1\156\1\164\1\145\1\60\3\145\1\uffff\1\60\1\uffff\2\60\2\uffff\1\145\1\60\1\141\2\60\1\uffff\3\60\3\uffff\1\156\1\uffff\1\154\5\uffff\1\164\2\60\2\uffff";
2366 static final String DFA12_maxS = 2509 static final String DFA12_maxS =
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"; 2510 "\1\uffff\1\157\1\165\1\163\1\145\1\151\1\160\1\170\1\162\2\156\1\157\1\143\1\162\1\56\1\145\1\75\1\76\2\75\1\76\1\75\5\uffff\1\57\4\uffff\1\172\4\uffff\2\uffff\5\uffff\1\165\1\141\1\uffff\1\156\1\154\1\163\1\172\1\164\1\146\1\170\1\156\1\160\1\152\1\164\1\160\1\162\1\163\1\165\1\157\1\153\1\160\2\172\1\146\2\157\1\145\1\165\2\uffff\1\164\44\uffff\1\164\1\156\1\163\1\143\1\163\1\164\1\uffff\2\141\2\151\1\157\2\145\1\164\1\157\1\145\1\155\1\142\1\156\1\157\1\172\2\uffff\1\145\1\164\1\160\1\156\1\145\1\172\1\141\1\164\1\163\1\164\1\145\1\162\1\164\1\165\2\155\1\163\1\143\1\162\1\171\1\162\2\172\1\154\1\157\1\162\1\uffff\1\162\1\172\1\145\2\172\1\uffff\1\151\2\172\1\151\1\172\1\141\1\171\1\154\3\151\1\164\1\144\1\156\2\172\2\uffff\1\145\1\167\1\164\1\163\1\uffff\1\172\2\uffff\1\156\2\uffff\1\157\1\uffff\1\143\1\160\1\164\2\172\1\164\1\172\1\163\1\172\2\uffff\1\155\1\156\2\172\1\uffff\1\163\1\156\1\164\1\145\1\172\3\145\1\uffff\1\172\1\uffff\2\172\2\uffff\1\145\1\172\1\141\2\172\1\uffff\3\172\3\uffff\1\156\1\uffff\1\154\5\uffff\1\164\2\172\2\uffff";
2368 static final String DFA12_acceptS = 2511 static final String DFA12_acceptS =
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"; 2512 "\26\uffff\1\54\1\55\1\56\1\57\1\60\1\uffff\1\65\1\71\1\72\1\73\1\uffff\1\75\1\76\1\77\1\100\2\uffff\1\103\1\104\1\105\1\107\1\110\2\uffff\1\104\31\uffff\1\34\1\62\1\uffff\1\37\1\53\1\40\1\61\1\41\1\42\1\43\1\64\1\44\1\66\1\45\1\46\1\67\1\47\1\70\1\54\1\55\1\56\1\57\1\60\1\103\1\106\1\63\1\65\1\71\1\72\1\73\1\74\1\75\1\76\1\77\1\100\1\101\1\102\1\105\1\107\6\uffff\1\50\17\uffff\1\52\1\51\32\uffff\1\35\5\uffff\1\36\20\uffff\1\27\1\30\4\uffff\1\31\1\uffff\1\32\1\33\1\uffff\1\22\1\21\1\uffff\1\25\11\uffff\1\23\1\24\4\uffff\1\26\10\uffff\1\17\1\uffff\1\15\2\uffff\1\16\1\20\5\uffff\1\11\3\uffff\1\12\1\13\1\14\1\uffff\1\4\1\uffff\1\3\1\5\1\6\1\7\1\10\3\uffff\1\2\1\1";
2370 static final String DFA12_specialS = 2513 static final String DFA12_specialS =
2371 "\1\2\40\uffff\1\0\1\1\u00c8\uffff}>"; 2514 "\1\1\44\uffff\1\0\1\2\u00d8\uffff}>";
2372 static final String[] DFA12_transitionS = { 2515 static final String[] DFA12_transitionS = {
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", 2516 "\11\53\2\52\2\53\1\52\22\53\1\52\1\20\1\45\2\53\1\47\1\53\1\46\1\26\1\27\1\30\1\31\1\32\1\21\1\16\1\33\12\51\1\22\1\34\1\23\1\24\1\25\1\35\1\53\32\50\1\36\1\53\1\37\1\40\1\50\1\53\1\3\1\50\1\1\1\4\1\7\1\2\2\50\1\12\2\50\1\17\1\5\1\50\1\6\1\10\1\50\1\13\1\14\1\15\1\11\5\50\1\41\1\42\1\43\1\44\uff81\53",
2374 "\1\52\15\uffff\1\51\5\uffff\1\50", 2517 "\1\55\2\uffff\1\54",
2375 "\1\54\20\uffff\1\55", 2518 "\1\60\23\uffff\1\57",
2376 "\1\60\2\uffff\1\56\5\uffff\1\57", 2519 "\1\61\20\uffff\1\62",
2377 "\1\61\3\uffff\1\62", 2520 "\1\63\3\uffff\1\64",
2378 "\1\63\7\uffff\1\64\13\uffff\1\65", 2521 "\1\65\7\uffff\1\66",
2379 "\1\66", 2522 "\1\70\15\uffff\1\67",
2380 "\1\72\1\70\4\uffff\1\71\5\uffff\1\67", 2523 "\1\74\1\72\1\75\3\uffff\1\73\5\uffff\1\71",
2381 "\1\73", 2524 "\1\76",
2382 "\1\74",
2383 "\1\75\11\uffff\1\76",
2384 "\1\77", 2525 "\1\77",
2385 "\1\102\7\uffff\1\101", 2526 "\1\102\6\uffff\1\100\1\101",
2386 "\1\103", 2527 "\1\103\11\uffff\1\104",
2387 "\1\104", 2528 "\1\105",
2388 "\1\106", 2529 "\1\106\11\uffff\1\107",
2389 "\1\110", 2530 "\1\110",
2390 "\1\112", 2531 "\1\112",
2391 "\1\114\1\115", 2532 "\1\113",
2392 "\1\117", 2533 "\1\115",
2534 "\1\117\14\uffff\1\120\2\uffff\1\121",
2535 "\1\123",
2536 "\1\125\1\126",
2537 "\1\130",
2538 "",
2393 "", 2539 "",
2394 "", 2540 "",
2395 "", 2541 "",
2396 "", 2542 "",
2543 "\1\140\4\uffff\1\137",
2397 "", 2544 "",
2398 "\1\127\4\uffff\1\126",
2399 "", 2545 "",
2400 "", 2546 "",
2401 "", 2547 "",
2402 "\32\53\4\uffff\1\53\1\uffff\32\53", 2548 "\32\56\4\uffff\1\56\1\uffff\32\56",
2403 "", 2549 "",
2404 "", 2550 "",
2405 "", 2551 "",
2406 "\0\140",
2407 "\0\141",
2408 "", 2552 "",
2553 "\0\153",
2554 "\0\154",
2409 "", 2555 "",
2410 "", 2556 "",
2411 "", 2557 "",
2412 "", 2558 "",
2413 "\1\144",
2414 "\1\145",
2415 "\1\146",
2416 "", 2559 "",
2417 "\1\147", 2560 "\1\157\6\uffff\1\160",
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", 2561 "\1\161",
2562 "",
2426 "\1\162", 2563 "\1\162",
2427 "\1\163", 2564 "\1\163",
2428 "\1\165\12\uffff\1\164", 2565 "\1\164",
2566 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2429 "\1\166", 2567 "\1\166",
2430 "\1\167", 2568 "\1\167",
2431 "\1\170", 2569 "\1\170",
@@ -2434,10 +2572,25 @@ public class InternalSolverLanguageLexer extends Lexer {
2434 "\1\173", 2572 "\1\173",
2435 "\1\174", 2573 "\1\174",
2436 "\1\175", 2574 "\1\175",
2437 "", 2575 "\1\176",
2438 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\5\53\1\177\24\53", 2576 "\1\177",
2439 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2577 "\1\u0080",
2578 "\1\u0081",
2440 "\1\u0082", 2579 "\1\u0082",
2580 "\1\u0083",
2581 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\5\56\1\u0084\24\56",
2582 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2583 "\1\u0087",
2584 "\1\u0088",
2585 "\1\u0089",
2586 "\1\u008a",
2587 "\1\u008b",
2588 "",
2589 "",
2590 "\1\u008c",
2591 "",
2592 "",
2593 "",
2441 "", 2594 "",
2442 "", 2595 "",
2443 "", 2596 "",
@@ -2470,23 +2623,14 @@ public class InternalSolverLanguageLexer extends Lexer {
2470 "", 2623 "",
2471 "", 2624 "",
2472 "", 2625 "",
2473 "\1\u0083",
2474 "\1\u0084",
2475 "\1\u0085",
2476 "\1\u0086",
2477 "", 2626 "",
2478 "\1\u0087",
2479 "\1\u0088",
2480 "\1\u0089",
2481 "\1\u008a",
2482 "\1\u008b",
2483 "\1\u008c",
2484 "\1\u008d", 2627 "\1\u008d",
2485 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2628 "\1\u008e",
2486 "\1\u008f", 2629 "\1\u008f",
2487 "\1\u0090", 2630 "\1\u0090",
2488 "\1\u0091", 2631 "\1\u0091",
2489 "\1\u0092", 2632 "\1\u0092",
2633 "",
2490 "\1\u0093", 2634 "\1\u0093",
2491 "\1\u0094", 2635 "\1\u0094",
2492 "\1\u0095", 2636 "\1\u0095",
@@ -2495,115 +2639,134 @@ public class InternalSolverLanguageLexer extends Lexer {
2495 "\1\u0098", 2639 "\1\u0098",
2496 "\1\u0099", 2640 "\1\u0099",
2497 "\1\u009a", 2641 "\1\u009a",
2498 "", 2642 "\1\u009b",
2499 "", 2643 "\1\u009c",
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", 2644 "\1\u009d",
2505 "\1\u009e", 2645 "\1\u009e",
2506 "\1\u009f", 2646 "\1\u009f",
2507 "\1\u00a0", 2647 "\1\u00a0",
2508 "\1\u00a1", 2648 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2649 "",
2650 "",
2509 "\1\u00a2", 2651 "\1\u00a2",
2510 "\1\u00a3", 2652 "\1\u00a3",
2511 "\1\u00a4", 2653 "\1\u00a4",
2512 "\1\u00a5", 2654 "\1\u00a5",
2513 "\1\u00a6", 2655 "\1\u00a6",
2514 "\1\u00a7", 2656 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2515 "",
2516 "\1\u00a8", 2657 "\1\u00a8",
2517 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2658 "\1\u00a9",
2518 "\1\u00aa", 2659 "\1\u00aa",
2519 "\1\u00ab\3\uffff\1\u00ac", 2660 "\1\u00ab",
2661 "\1\u00ac",
2520 "\1\u00ad", 2662 "\1\u00ad",
2521 "\1\u00ae", 2663 "\1\u00ae",
2522 "\1\u00af", 2664 "\1\u00af",
2523 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2665 "\1\u00b0",
2524 "\1\u00b1", 2666 "\1\u00b1",
2525 "\1\u00b2", 2667 "\1\u00b2",
2526 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2668 "\1\u00b3",
2527 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2669 "\1\u00b4\3\uffff\1\u00b5",
2528 "",
2529 "",
2530 "\1\u00b5",
2531 "\1\u00b6", 2670 "\1\u00b6",
2532 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2671 "\1\u00b7",
2533 "\1\u00b8", 2672 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2534 "\1\u00b9", 2673 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2535 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2674 "\1\u00ba",
2536 "\1\u00bb", 2675 "\1\u00bb",
2537 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2676 "\1\u00bc",
2677 "",
2538 "\1\u00bd", 2678 "\1\u00bd",
2539 "\1\u00be", 2679 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2540 "\1\u00bf", 2680 "\1\u00bf",
2541 "\1\u00c0", 2681 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2682 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2542 "", 2683 "",
2543 "\1\u00c1",
2544 "\1\u00c2", 2684 "\1\u00c2",
2545 "\1\u00c3", 2685 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2546 "\1\u00c4", 2686 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2547 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2687 "\1\u00c5",
2548 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2688 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2549 "",
2550 "\1\u00c7", 2689 "\1\u00c7",
2551 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2690 "\1\u00c8",
2552 "",
2553 "",
2554 "\1\u00c9", 2691 "\1\u00c9",
2555 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2692 "\1\u00ca",
2556 "",
2557 "\1\u00cb", 2693 "\1\u00cb",
2558 "\1\u00cc", 2694 "\1\u00cc",
2559 "",
2560 "\1\u00cd", 2695 "\1\u00cd",
2561 "",
2562 "\1\u00ce", 2696 "\1\u00ce",
2563 "\1\u00cf", 2697 "\1\u00cf",
2564 "\1\u00d0", 2698 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2565 "\1\u00d1", 2699 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2700 "",
2701 "",
2566 "\1\u00d2", 2702 "\1\u00d2",
2567 "\1\u00d3", 2703 "\1\u00d3",
2568 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2704 "\1\u00d4",
2569 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2705 "\1\u00d5",
2570 "", 2706 "",
2707 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2571 "", 2708 "",
2572 "\1\u00d6",
2573 "", 2709 "",
2574 "\1\u00d7", 2710 "\1\u00d7",
2575 "", 2711 "",
2712 "",
2576 "\1\u00d8", 2713 "\1\u00d8",
2714 "",
2577 "\1\u00d9", 2715 "\1\u00d9",
2578 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2716 "\1\u00da",
2579 "\1\u00db", 2717 "\1\u00db",
2580 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2718 "\1\u00dc",
2581 "\1\u00dd", 2719 "\1\u00dd",
2582 "\1\u00de", 2720 "\1\u00de",
2583 "\1\u00df", 2721 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2584 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2722 "\1\u00e0",
2723 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2585 "", 2724 "",
2586 "", 2725 "",
2587 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53",
2588 "\1\u00e2", 2726 "\1\u00e2",
2589 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2727 "\1\u00e3",
2590 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2728 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2729 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2591 "", 2730 "",
2592 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2731 "\1\u00e6\5\uffff\1\u00e7",
2732 "\1\u00e8",
2733 "\1\u00e9",
2734 "\1\u00ea",
2735 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2736 "\1\u00ec",
2737 "\1\u00ed",
2738 "\1\u00ee",
2593 "", 2739 "",
2594 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2740 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
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",
2597 "", 2741 "",
2742 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2743 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2744 "",
2745 "",
2746 "\1\u00f2",
2747 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2748 "\1\u00f4",
2749 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2750 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2751 "",
2752 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2753 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2754 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2598 "", 2755 "",
2599 "\1\u00e9",
2600 "", 2756 "",
2601 "", 2757 "",
2758 "\1\u00fa",
2602 "", 2759 "",
2760 "\1\u00fb",
2603 "", 2761 "",
2604 "", 2762 "",
2605 "", 2763 "",
2606 "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", 2764 "",
2765 "",
2766 "\1\u00fc",
2767 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2768 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2769 "",
2607 "" 2770 ""
2608 }; 2771 };
2609 2772
@@ -2637,41 +2800,31 @@ public class InternalSolverLanguageLexer extends Lexer {
2637 this.transition = DFA12_transition; 2800 this.transition = DFA12_transition;
2638 } 2801 }
2639 public String getDescription() { 2802 public String getDescription() {
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 );"; 2803 return "1:1: Tokens : ( Containment | Functional | Abstract | Contains | Datatype | Maximize | Minimize | Opposite | Default | Extends | Problem | Unknown | Extern | Import | Object | Refers | Class | Count | Empty | Error | False | Scope | Else | Enum | Root | Then | True | FullStopFullStopFullStop | Inf | Let | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | ColonHyphenMinus | ColonColon | ColonEqualsSign | LessThanSignEqualsSign | EqualsSignEqualsSign | EqualsSignGreaterThanSign | GreaterThanSignEqualsSign | As | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | QuestionMark | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | Tilde | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER );";
2641 } 2804 }
2642 public int specialStateTransition(int s, IntStream _input) throws NoViableAltException { 2805 public int specialStateTransition(int s, IntStream _input) throws NoViableAltException {
2643 IntStream input = _input; 2806 IntStream input = _input;
2644 int _s = s; 2807 int _s = s;
2645 switch ( s ) { 2808 switch ( s ) {
2646 case 0 : 2809 case 0 :
2647 int LA12_33 = input.LA(1); 2810 int LA12_37 = input.LA(1);
2648 2811
2649 s = -1; 2812 s = -1;
2650 if ( ((LA12_33>='\u0000' && LA12_33<='\uFFFF')) ) {s = 96;} 2813 if ( ((LA12_37>='\u0000' && LA12_37<='\uFFFF')) ) {s = 107;}
2651 2814
2652 else s = 39; 2815 else s = 43;
2653 2816
2654 if ( s>=0 ) return s; 2817 if ( s>=0 ) return s;
2655 break; 2818 break;
2656 case 1 : 2819 case 1 :
2657 int LA12_34 = input.LA(1);
2658
2659 s = -1;
2660 if ( ((LA12_34>='\u0000' && LA12_34<='\uFFFF')) ) {s = 97;}
2661
2662 else s = 39;
2663
2664 if ( s>=0 ) return s;
2665 break;
2666 case 2 :
2667 int LA12_0 = input.LA(1); 2820 int LA12_0 = input.LA(1);
2668 2821
2669 s = -1; 2822 s = -1;
2670 if ( (LA12_0=='f') ) {s = 1;} 2823 if ( (LA12_0=='c') ) {s = 1;}
2671 2824
2672 else if ( (LA12_0=='a') ) {s = 2;} 2825 else if ( (LA12_0=='f') ) {s = 2;}
2673 2826
2674 else if ( (LA12_0=='c') ) {s = 3;} 2827 else if ( (LA12_0=='a') ) {s = 3;}
2675 2828
2676 else if ( (LA12_0=='d') ) {s = 4;} 2829 else if ( (LA12_0=='d') ) {s = 4;}
2677 2830
@@ -2681,69 +2834,87 @@ public class InternalSolverLanguageLexer extends Lexer {
2681 2834
2682 else if ( (LA12_0=='e') ) {s = 7;} 2835 else if ( (LA12_0=='e') ) {s = 7;}
2683 2836
2684 else if ( (LA12_0=='u') ) {s = 8;} 2837 else if ( (LA12_0=='p') ) {s = 8;}
2838
2839 else if ( (LA12_0=='u') ) {s = 9;}
2685 2840
2686 else if ( (LA12_0=='s') ) {s = 9;} 2841 else if ( (LA12_0=='i') ) {s = 10;}
2687 2842
2688 else if ( (LA12_0=='t') ) {s = 10;} 2843 else if ( (LA12_0=='r') ) {s = 11;}
2689 2844
2690 else if ( (LA12_0=='.') ) {s = 11;} 2845 else if ( (LA12_0=='s') ) {s = 12;}
2691 2846
2692 else if ( (LA12_0=='i') ) {s = 12;} 2847 else if ( (LA12_0=='t') ) {s = 13;}
2693 2848
2694 else if ( (LA12_0=='l') ) {s = 13;} 2849 else if ( (LA12_0=='.') ) {s = 14;}
2695 2850
2696 else if ( (LA12_0=='!') ) {s = 14;} 2851 else if ( (LA12_0=='l') ) {s = 15;}
2697 2852
2698 else if ( (LA12_0=='-') ) {s = 15;} 2853 else if ( (LA12_0=='!') ) {s = 16;}
2699 2854
2700 else if ( (LA12_0==':') ) {s = 16;} 2855 else if ( (LA12_0=='-') ) {s = 17;}
2701 2856
2702 else if ( (LA12_0=='<') ) {s = 17;} 2857 else if ( (LA12_0==':') ) {s = 18;}
2703 2858
2704 else if ( (LA12_0=='=') ) {s = 18;} 2859 else if ( (LA12_0=='<') ) {s = 19;}
2705 2860
2706 else if ( (LA12_0=='>') ) {s = 19;} 2861 else if ( (LA12_0=='=') ) {s = 20;}
2707 2862
2708 else if ( (LA12_0=='(') ) {s = 20;} 2863 else if ( (LA12_0=='>') ) {s = 21;}
2709 2864
2710 else if ( (LA12_0==')') ) {s = 21;} 2865 else if ( (LA12_0=='(') ) {s = 22;}
2711 2866
2712 else if ( (LA12_0=='*') ) {s = 22;} 2867 else if ( (LA12_0==')') ) {s = 23;}
2713 2868
2714 else if ( (LA12_0=='+') ) {s = 23;} 2869 else if ( (LA12_0=='*') ) {s = 24;}
2715 2870
2716 else if ( (LA12_0==',') ) {s = 24;} 2871 else if ( (LA12_0=='+') ) {s = 25;}
2717 2872
2718 else if ( (LA12_0=='/') ) {s = 25;} 2873 else if ( (LA12_0==',') ) {s = 26;}
2719 2874
2720 else if ( (LA12_0==';') ) {s = 26;} 2875 else if ( (LA12_0=='/') ) {s = 27;}
2721 2876
2722 else if ( (LA12_0=='[') ) {s = 27;} 2877 else if ( (LA12_0==';') ) {s = 28;}
2723 2878
2724 else if ( (LA12_0==']') ) {s = 28;} 2879 else if ( (LA12_0=='?') ) {s = 29;}
2725 2880
2726 else if ( (LA12_0=='^') ) {s = 29;} 2881 else if ( (LA12_0=='[') ) {s = 30;}
2727 2882
2728 else if ( (LA12_0=='{') ) {s = 30;} 2883 else if ( (LA12_0==']') ) {s = 31;}
2729 2884
2730 else if ( (LA12_0=='|') ) {s = 31;} 2885 else if ( (LA12_0=='^') ) {s = 32;}
2731 2886
2732 else if ( (LA12_0=='}') ) {s = 32;} 2887 else if ( (LA12_0=='{') ) {s = 33;}
2733 2888
2734 else if ( (LA12_0=='\"') ) {s = 33;} 2889 else if ( (LA12_0=='|') ) {s = 34;}
2735 2890
2736 else if ( (LA12_0=='\'') ) {s = 34;} 2891 else if ( (LA12_0=='}') ) {s = 35;}
2737 2892
2738 else if ( (LA12_0=='%') ) {s = 35;} 2893 else if ( (LA12_0=='~') ) {s = 36;}
2739 2894
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;} 2895 else if ( (LA12_0=='\"') ) {s = 37;}
2741 2896
2742 else if ( ((LA12_0>='0' && LA12_0<='9')) ) {s = 37;} 2897 else if ( (LA12_0=='\'') ) {s = 38;}
2743 2898
2744 else if ( ((LA12_0>='\t' && LA12_0<='\n')||LA12_0=='\r'||LA12_0==' ') ) {s = 38;} 2899 else if ( (LA12_0=='%') ) {s = 39;}
2900
2901 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=='q'||(LA12_0>='v' && LA12_0<='z')) ) {s = 40;}
2902
2903 else if ( ((LA12_0>='0' && LA12_0<='9')) ) {s = 41;}
2904
2905 else if ( ((LA12_0>='\t' && LA12_0<='\n')||LA12_0=='\r'||LA12_0==' ') ) {s = 42;}
2906
2907 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>='\u007F' && LA12_0<='\uFFFF')) ) {s = 43;}
2908
2909 if ( s>=0 ) return s;
2910 break;
2911 case 2 :
2912 int LA12_38 = input.LA(1);
2913
2914 s = -1;
2915 if ( ((LA12_38>='\u0000' && LA12_38<='\uFFFF')) ) {s = 108;}
2745 2916
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;} 2917 else s = 43;
2747 2918
2748 if ( s>=0 ) return s; 2919 if ( s>=0 ) return s;
2749 break; 2920 break;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 23:26:23 +0000