aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-08 18:28:19 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-08 18:28:19 +0200
commit419e76265ecbdf65e960e0624be006d31ed1e191 (patch)
treedad200fe9fd0beae7adde969206b77691a51b85a /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java
parentFix check expressions in generated VIATRA (diff)
downloadVIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.tar.gz
VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.tar.zst
VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.zip
Update solver language grammar
First version, still needs TokenSource and Linker to work.
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java2175
1 files changed, 1645 insertions, 530 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java
index 53c80216..21e5bac9 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java
@@ -12,45 +12,78 @@ 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 RULE_STRING=6; 15 public static final int T__50=50;
16 public static final int RULE_SL_COMMENT=8;
17 public static final int T__19=19; 16 public static final int T__19=19;
18 public static final int T__15=15; 17 public static final int T__15=15;
19 public static final int T__37=37; 18 public static final int T__59=59;
20 public static final int T__16=16; 19 public static final int T__16=16;
21 public static final int T__38=38;
22 public static final int T__17=17; 20 public static final int T__17=17;
23 public static final int T__39=39;
24 public static final int T__18=18; 21 public static final int T__18=18;
25 public static final int T__11=11; 22 public static final int T__55=55;
26 public static final int T__33=33; 23 public static final int T__56=56;
27 public static final int T__12=12; 24 public static final int T__57=57;
28 public static final int T__34=34; 25 public static final int T__58=58;
29 public static final int T__13=13; 26 public static final int T__51=51;
30 public static final int T__35=35; 27 public static final int RULE_STAR=5;
31 public static final int T__14=14; 28 public static final int T__52=52;
32 public static final int T__36=36; 29 public static final int T__53=53;
33 public static final int EOF=-1; 30 public static final int T__54=54;
34 public static final int T__30=30; 31 public static final int T__60=60;
35 public static final int T__31=31; 32 public static final int T__61=61;
36 public static final int T__32=32; 33 public static final int RULE_ID=8;
37 public static final int RULE_ID=5; 34 public static final int RULE_QUOTED_ID=10;
38 public static final int RULE_WS=9;
39 public static final int RULE_ANY_OTHER=10;
40 public static final int T__26=26; 35 public static final int T__26=26;
41 public static final int T__27=27; 36 public static final int T__27=27;
42 public static final int T__28=28; 37 public static final int T__28=28;
43 public static final int RULE_INT=4; 38 public static final int RULE_INT=9;
44 public static final int T__29=29; 39 public static final int T__29=29;
45 public static final int T__22=22; 40 public static final int T__22=22;
46 public static final int RULE_ML_COMMENT=7; 41 public static final int T__66=66;
42 public static final int RULE_ML_COMMENT=11;
47 public static final int T__23=23; 43 public static final int T__23=23;
44 public static final int T__67=67;
48 public static final int T__24=24; 45 public static final int T__24=24;
46 public static final int T__68=68;
49 public static final int T__25=25; 47 public static final int T__25=25;
50 public static final int T__40=40; 48 public static final int T__69=69;
51 public static final int T__41=41; 49 public static final int T__62=62;
50 public static final int T__63=63;
52 public static final int T__20=20; 51 public static final int T__20=20;
52 public static final int T__64=64;
53 public static final int T__21=21; 53 public static final int T__21=21;
54 public static final int T__65=65;
55 public static final int T__70=70;
56 public static final int T__71=71;
57 public static final int T__72=72;
58 public static final int RULE_STRING=7;
59 public static final int RULE_SL_COMMENT=12;
60 public static final int T__37=37;
61 public static final int T__38=38;
62 public static final int T__39=39;
63 public static final int T__33=33;
64 public static final int T__34=34;
65 public static final int T__35=35;
66 public static final int RULE_PLUS=6;
67 public static final int T__36=36;
68 public static final int T__73=73;
69 public static final int RULE_DOT=4;
70 public static final int EOF=-1;
71 public static final int T__30=30;
72 public static final int T__74=74;
73 public static final int T__31=31;
74 public static final int T__32=32;
75 public static final int RULE_WS=13;
76 public static final int RULE_ANY_OTHER=14;
77 public static final int T__48=48;
78 public static final int T__49=49;
79 public static final int T__44=44;
80 public static final int T__45=45;
81 public static final int T__46=46;
82 public static final int T__47=47;
83 public static final int T__40=40;
84 public static final int T__41=41;
85 public static final int T__42=42;
86 public static final int T__43=43;
54 87
55 // delegates 88 // delegates
56 // delegators 89 // delegators
@@ -65,98 +98,15 @@ public class InternalSolverLanguageLexer extends Lexer {
65 } 98 }
66 public String getGrammarFileName() { return "InternalSolverLanguage.g"; } 99 public String getGrammarFileName() { return "InternalSolverLanguage.g"; }
67 100
68 // $ANTLR start "T__11"
69 public final void mT__11() throws RecognitionException {
70 try {
71 int _type = T__11;
72 int _channel = DEFAULT_TOKEN_CHANNEL;
73 // InternalSolverLanguage.g:11:7: ( '-' )
74 // InternalSolverLanguage.g:11:9: '-'
75 {
76 match('-');
77
78 }
79
80 state.type = _type;
81 state.channel = _channel;
82 }
83 finally {
84 }
85 }
86 // $ANTLR end "T__11"
87
88 // $ANTLR start "T__12"
89 public final void mT__12() throws RecognitionException {
90 try {
91 int _type = T__12;
92 int _channel = DEFAULT_TOKEN_CHANNEL;
93 // InternalSolverLanguage.g:12:7: ( '.' )
94 // InternalSolverLanguage.g:12:9: '.'
95 {
96 match('.');
97
98 }
99
100 state.type = _type;
101 state.channel = _channel;
102 }
103 finally {
104 }
105 }
106 // $ANTLR end "T__12"
107
108 // $ANTLR start "T__13"
109 public final void mT__13() throws RecognitionException {
110 try {
111 int _type = T__13;
112 int _channel = DEFAULT_TOKEN_CHANNEL;
113 // InternalSolverLanguage.g:13:7: ( 'true' )
114 // InternalSolverLanguage.g:13:9: 'true'
115 {
116 match("true");
117
118
119 }
120
121 state.type = _type;
122 state.channel = _channel;
123 }
124 finally {
125 }
126 }
127 // $ANTLR end "T__13"
128
129 // $ANTLR start "T__14"
130 public final void mT__14() throws RecognitionException {
131 try {
132 int _type = T__14;
133 int _channel = DEFAULT_TOKEN_CHANNEL;
134 // InternalSolverLanguage.g:14:7: ( 'false' )
135 // InternalSolverLanguage.g:14:9: 'false'
136 {
137 match("false");
138
139
140 }
141
142 state.type = _type;
143 state.channel = _channel;
144 }
145 finally {
146 }
147 }
148 // $ANTLR end "T__14"
149
150 // $ANTLR start "T__15" 101 // $ANTLR start "T__15"
151 public final void mT__15() throws RecognitionException { 102 public final void mT__15() throws RecognitionException {
152 try { 103 try {
153 int _type = T__15; 104 int _type = T__15;
154 int _channel = DEFAULT_TOKEN_CHANNEL; 105 int _channel = DEFAULT_TOKEN_CHANNEL;
155 // InternalSolverLanguage.g:15:7: ( 'unknown' ) 106 // InternalSolverLanguage.g:11:7: ( ':' )
156 // InternalSolverLanguage.g:15:9: 'unknown' 107 // InternalSolverLanguage.g:11:9: ':'
157 { 108 {
158 match("unknown"); 109 match(':');
159
160 110
161 } 111 }
162 112
@@ -173,10 +123,10 @@ public class InternalSolverLanguageLexer extends Lexer {
173 try { 123 try {
174 int _type = T__16; 124 int _type = T__16;
175 int _channel = DEFAULT_TOKEN_CHANNEL; 125 int _channel = DEFAULT_TOKEN_CHANNEL;
176 // InternalSolverLanguage.g:16:7: ( 'error' ) 126 // InternalSolverLanguage.g:12:7: ( ':-' )
177 // InternalSolverLanguage.g:16:9: 'error' 127 // InternalSolverLanguage.g:12:9: ':-'
178 { 128 {
179 match("error"); 129 match(":-");
180 130
181 131
182 } 132 }
@@ -194,10 +144,10 @@ public class InternalSolverLanguageLexer extends Lexer {
194 try { 144 try {
195 int _type = T__17; 145 int _type = T__17;
196 int _channel = DEFAULT_TOKEN_CHANNEL; 146 int _channel = DEFAULT_TOKEN_CHANNEL;
197 // InternalSolverLanguage.g:17:7: ( '(' ) 147 // InternalSolverLanguage.g:13:7: ( '=' )
198 // InternalSolverLanguage.g:17:9: '(' 148 // InternalSolverLanguage.g:13:9: '='
199 { 149 {
200 match('('); 150 match('=');
201 151
202 } 152 }
203 153
@@ -214,10 +164,11 @@ public class InternalSolverLanguageLexer extends Lexer {
214 try { 164 try {
215 int _type = T__18; 165 int _type = T__18;
216 int _channel = DEFAULT_TOKEN_CHANNEL; 166 int _channel = DEFAULT_TOKEN_CHANNEL;
217 // InternalSolverLanguage.g:18:7: ( ',' ) 167 // InternalSolverLanguage.g:14:7: ( 'functional' )
218 // InternalSolverLanguage.g:18:9: ',' 168 // InternalSolverLanguage.g:14:9: 'functional'
219 { 169 {
220 match(','); 170 match("functional");
171
221 172
222 } 173 }
223 174
@@ -234,10 +185,11 @@ public class InternalSolverLanguageLexer extends Lexer {
234 try { 185 try {
235 int _type = T__19; 186 int _type = T__19;
236 int _channel = DEFAULT_TOKEN_CHANNEL; 187 int _channel = DEFAULT_TOKEN_CHANNEL;
237 // InternalSolverLanguage.g:19:7: ( ')' ) 188 // InternalSolverLanguage.g:15:7: ( 'error' )
238 // InternalSolverLanguage.g:19:9: ')' 189 // InternalSolverLanguage.g:15:9: 'error'
239 { 190 {
240 match(')'); 191 match("error");
192
241 193
242 } 194 }
243 195
@@ -254,10 +206,11 @@ public class InternalSolverLanguageLexer extends Lexer {
254 try { 206 try {
255 int _type = T__20; 207 int _type = T__20;
256 int _channel = DEFAULT_TOKEN_CHANNEL; 208 int _channel = DEFAULT_TOKEN_CHANNEL;
257 // InternalSolverLanguage.g:20:7: ( ':' ) 209 // InternalSolverLanguage.g:16:7: ( 'default' )
258 // InternalSolverLanguage.g:20:9: ':' 210 // InternalSolverLanguage.g:16:9: 'default'
259 { 211 {
260 match(':'); 212 match("default");
213
261 214
262 } 215 }
263 216
@@ -274,10 +227,10 @@ public class InternalSolverLanguageLexer extends Lexer {
274 try { 227 try {
275 int _type = T__21; 228 int _type = T__21;
276 int _channel = DEFAULT_TOKEN_CHANNEL; 229 int _channel = DEFAULT_TOKEN_CHANNEL;
277 // InternalSolverLanguage.g:21:7: ( 'exists' ) 230 // InternalSolverLanguage.g:17:7: ( 'extern' )
278 // InternalSolverLanguage.g:21:9: 'exists' 231 // InternalSolverLanguage.g:17:9: 'extern'
279 { 232 {
280 match("exists"); 233 match("extern");
281 234
282 235
283 } 236 }
@@ -295,11 +248,10 @@ public class InternalSolverLanguageLexer extends Lexer {
295 try { 248 try {
296 int _type = T__22; 249 int _type = T__22;
297 int _channel = DEFAULT_TOKEN_CHANNEL; 250 int _channel = DEFAULT_TOKEN_CHANNEL;
298 // InternalSolverLanguage.g:22:7: ( 'equals' ) 251 // InternalSolverLanguage.g:18:7: ( '.' )
299 // InternalSolverLanguage.g:22:9: 'equals' 252 // InternalSolverLanguage.g:18:9: '.'
300 { 253 {
301 match("equals"); 254 match('.');
302
303 255
304 } 256 }
305 257
@@ -316,10 +268,10 @@ public class InternalSolverLanguageLexer extends Lexer {
316 try { 268 try {
317 int _type = T__23; 269 int _type = T__23;
318 int _channel = DEFAULT_TOKEN_CHANNEL; 270 int _channel = DEFAULT_TOKEN_CHANNEL;
319 // InternalSolverLanguage.g:23:7: ( 'bool' ) 271 // InternalSolverLanguage.g:19:7: ( 'if' )
320 // InternalSolverLanguage.g:23:9: 'bool' 272 // InternalSolverLanguage.g:19:9: 'if'
321 { 273 {
322 match("bool"); 274 match("if");
323 275
324 276
325 } 277 }
@@ -337,10 +289,10 @@ public class InternalSolverLanguageLexer extends Lexer {
337 try { 289 try {
338 int _type = T__24; 290 int _type = T__24;
339 int _channel = DEFAULT_TOKEN_CHANNEL; 291 int _channel = DEFAULT_TOKEN_CHANNEL;
340 // InternalSolverLanguage.g:24:7: ( 'int' ) 292 // InternalSolverLanguage.g:20:7: ( 'then' )
341 // InternalSolverLanguage.g:24:9: 'int' 293 // InternalSolverLanguage.g:20:9: 'then'
342 { 294 {
343 match("int"); 295 match("then");
344 296
345 297
346 } 298 }
@@ -358,10 +310,10 @@ public class InternalSolverLanguageLexer extends Lexer {
358 try { 310 try {
359 int _type = T__25; 311 int _type = T__25;
360 int _channel = DEFAULT_TOKEN_CHANNEL; 312 int _channel = DEFAULT_TOKEN_CHANNEL;
361 // InternalSolverLanguage.g:25:7: ( 'real' ) 313 // InternalSolverLanguage.g:21:7: ( 'else' )
362 // InternalSolverLanguage.g:25:9: 'real' 314 // InternalSolverLanguage.g:21:9: 'else'
363 { 315 {
364 match("real"); 316 match("else");
365 317
366 318
367 } 319 }
@@ -379,11 +331,10 @@ public class InternalSolverLanguageLexer extends Lexer {
379 try { 331 try {
380 int _type = T__26; 332 int _type = T__26;
381 int _channel = DEFAULT_TOKEN_CHANNEL; 333 int _channel = DEFAULT_TOKEN_CHANNEL;
382 // InternalSolverLanguage.g:26:7: ( 'string' ) 334 // InternalSolverLanguage.g:22:7: ( ';' )
383 // InternalSolverLanguage.g:26:9: 'string' 335 // InternalSolverLanguage.g:22:9: ';'
384 { 336 {
385 match("string"); 337 match(';');
386
387 338
388 } 339 }
389 340
@@ -400,10 +351,11 @@ public class InternalSolverLanguageLexer extends Lexer {
400 try { 351 try {
401 int _type = T__27; 352 int _type = T__27;
402 int _channel = DEFAULT_TOKEN_CHANNEL; 353 int _channel = DEFAULT_TOKEN_CHANNEL;
403 // InternalSolverLanguage.g:27:7: ( '\\'' ) 354 // InternalSolverLanguage.g:23:7: ( '->' )
404 // InternalSolverLanguage.g:27:9: '\\'' 355 // InternalSolverLanguage.g:23:9: '->'
405 { 356 {
406 match('\''); 357 match("->");
358
407 359
408 } 360 }
409 361
@@ -420,11 +372,10 @@ public class InternalSolverLanguageLexer extends Lexer {
420 try { 372 try {
421 int _type = T__28; 373 int _type = T__28;
422 int _channel = DEFAULT_TOKEN_CHANNEL; 374 int _channel = DEFAULT_TOKEN_CHANNEL;
423 // InternalSolverLanguage.g:28:7: ( ':-' ) 375 // InternalSolverLanguage.g:24:7: ( ',' )
424 // InternalSolverLanguage.g:28:9: ':-' 376 // InternalSolverLanguage.g:24:9: ','
425 { 377 {
426 match(":-"); 378 match(',');
427
428 379
429 } 380 }
430 381
@@ -441,10 +392,11 @@ public class InternalSolverLanguageLexer extends Lexer {
441 try { 392 try {
442 int _type = T__29; 393 int _type = T__29;
443 int _channel = DEFAULT_TOKEN_CHANNEL; 394 int _channel = DEFAULT_TOKEN_CHANNEL;
444 // InternalSolverLanguage.g:29:7: ( '|' ) 395 // InternalSolverLanguage.g:25:7: ( 'count' )
445 // InternalSolverLanguage.g:29:9: '|' 396 // InternalSolverLanguage.g:25:9: 'count'
446 { 397 {
447 match('|'); 398 match("count");
399
448 400
449 } 401 }
450 402
@@ -461,10 +413,10 @@ public class InternalSolverLanguageLexer extends Lexer {
461 try { 413 try {
462 int _type = T__30; 414 int _type = T__30;
463 int _channel = DEFAULT_TOKEN_CHANNEL; 415 int _channel = DEFAULT_TOKEN_CHANNEL;
464 // InternalSolverLanguage.g:30:7: ( '+' ) 416 // InternalSolverLanguage.g:26:7: ( '{' )
465 // InternalSolverLanguage.g:30:9: '+' 417 // InternalSolverLanguage.g:26:9: '{'
466 { 418 {
467 match('+'); 419 match('{');
468 420
469 } 421 }
470 422
@@ -481,10 +433,10 @@ public class InternalSolverLanguageLexer extends Lexer {
481 try { 433 try {
482 int _type = T__31; 434 int _type = T__31;
483 int _channel = DEFAULT_TOKEN_CHANNEL; 435 int _channel = DEFAULT_TOKEN_CHANNEL;
484 // InternalSolverLanguage.g:31:7: ( '*' ) 436 // InternalSolverLanguage.g:27:7: ( '}' )
485 // InternalSolverLanguage.g:31:9: '*' 437 // InternalSolverLanguage.g:27:9: '}'
486 { 438 {
487 match('*'); 439 match('}');
488 440
489 } 441 }
490 442
@@ -501,11 +453,10 @@ public class InternalSolverLanguageLexer extends Lexer {
501 try { 453 try {
502 int _type = T__32; 454 int _type = T__32;
503 int _channel = DEFAULT_TOKEN_CHANNEL; 455 int _channel = DEFAULT_TOKEN_CHANNEL;
504 // InternalSolverLanguage.g:32:7: ( 'default' ) 456 // InternalSolverLanguage.g:28:7: ( '|' )
505 // InternalSolverLanguage.g:32:9: 'default' 457 // InternalSolverLanguage.g:28:9: '|'
506 { 458 {
507 match("default"); 459 match('|');
508
509 460
510 } 461 }
511 462
@@ -522,11 +473,10 @@ public class InternalSolverLanguageLexer extends Lexer {
522 try { 473 try {
523 int _type = T__33; 474 int _type = T__33;
524 int _channel = DEFAULT_TOKEN_CHANNEL; 475 int _channel = DEFAULT_TOKEN_CHANNEL;
525 // InternalSolverLanguage.g:33:7: ( 'abstract' ) 476 // InternalSolverLanguage.g:29:7: ( '(' )
526 // InternalSolverLanguage.g:33:9: 'abstract' 477 // InternalSolverLanguage.g:29:9: '('
527 { 478 {
528 match("abstract"); 479 match('(');
529
530 480
531 } 481 }
532 482
@@ -543,11 +493,10 @@ public class InternalSolverLanguageLexer extends Lexer {
543 try { 493 try {
544 int _type = T__34; 494 int _type = T__34;
545 int _channel = DEFAULT_TOKEN_CHANNEL; 495 int _channel = DEFAULT_TOKEN_CHANNEL;
546 // InternalSolverLanguage.g:34:7: ( 'class' ) 496 // InternalSolverLanguage.g:30:7: ( ')' )
547 // InternalSolverLanguage.g:34:9: 'class' 497 // InternalSolverLanguage.g:30:9: ')'
548 { 498 {
549 match("class"); 499 match(')');
550
551 500
552 } 501 }
553 502
@@ -564,11 +513,10 @@ public class InternalSolverLanguageLexer extends Lexer {
564 try { 513 try {
565 int _type = T__35; 514 int _type = T__35;
566 int _channel = DEFAULT_TOKEN_CHANNEL; 515 int _channel = DEFAULT_TOKEN_CHANNEL;
567 // InternalSolverLanguage.g:35:7: ( 'extends' ) 516 // InternalSolverLanguage.g:31:7: ( '*' )
568 // InternalSolverLanguage.g:35:9: 'extends' 517 // InternalSolverLanguage.g:31:9: '*'
569 { 518 {
570 match("extends"); 519 match('*');
571
572 520
573 } 521 }
574 522
@@ -585,10 +533,10 @@ public class InternalSolverLanguageLexer extends Lexer {
585 try { 533 try {
586 int _type = T__36; 534 int _type = T__36;
587 int _channel = DEFAULT_TOKEN_CHANNEL; 535 int _channel = DEFAULT_TOKEN_CHANNEL;
588 // InternalSolverLanguage.g:36:7: ( '{' ) 536 // InternalSolverLanguage.g:32:7: ( '[' )
589 // InternalSolverLanguage.g:36:9: '{' 537 // InternalSolverLanguage.g:32:9: '['
590 { 538 {
591 match('{'); 539 match('[');
592 540
593 } 541 }
594 542
@@ -605,10 +553,11 @@ public class InternalSolverLanguageLexer extends Lexer {
605 try { 553 try {
606 int _type = T__37; 554 int _type = T__37;
607 int _channel = DEFAULT_TOKEN_CHANNEL; 555 int _channel = DEFAULT_TOKEN_CHANNEL;
608 // InternalSolverLanguage.g:37:7: ( '}' ) 556 // InternalSolverLanguage.g:33:7: ( '..' )
609 // InternalSolverLanguage.g:37:9: '}' 557 // InternalSolverLanguage.g:33:9: '..'
610 { 558 {
611 match('}'); 559 match("..");
560
612 561
613 } 562 }
614 563
@@ -625,11 +574,10 @@ public class InternalSolverLanguageLexer extends Lexer {
625 try { 574 try {
626 int _type = T__38; 575 int _type = T__38;
627 int _channel = DEFAULT_TOKEN_CHANNEL; 576 int _channel = DEFAULT_TOKEN_CHANNEL;
628 // InternalSolverLanguage.g:38:7: ( 'enum' ) 577 // InternalSolverLanguage.g:34:7: ( ']' )
629 // InternalSolverLanguage.g:38:9: 'enum' 578 // InternalSolverLanguage.g:34:9: ']'
630 { 579 {
631 match("enum"); 580 match(']');
632
633 581
634 } 582 }
635 583
@@ -646,10 +594,10 @@ public class InternalSolverLanguageLexer extends Lexer {
646 try { 594 try {
647 int _type = T__39; 595 int _type = T__39;
648 int _channel = DEFAULT_TOKEN_CHANNEL; 596 int _channel = DEFAULT_TOKEN_CHANNEL;
649 // InternalSolverLanguage.g:39:7: ( 'containment' ) 597 // InternalSolverLanguage.g:35:7: ( 'inf' )
650 // InternalSolverLanguage.g:39:9: 'containment' 598 // InternalSolverLanguage.g:35:9: 'inf'
651 { 599 {
652 match("containment"); 600 match("inf");
653 601
654 602
655 } 603 }
@@ -667,10 +615,10 @@ public class InternalSolverLanguageLexer extends Lexer {
667 try { 615 try {
668 int _type = T__40; 616 int _type = T__40;
669 int _channel = DEFAULT_TOKEN_CHANNEL; 617 int _channel = DEFAULT_TOKEN_CHANNEL;
670 // InternalSolverLanguage.g:40:7: ( 'relation' ) 618 // InternalSolverLanguage.g:36:7: ( 'empty' )
671 // InternalSolverLanguage.g:40:9: 'relation' 619 // InternalSolverLanguage.g:36:9: 'empty'
672 { 620 {
673 match("relation"); 621 match("empty");
674 622
675 623
676 } 624 }
@@ -688,10 +636,10 @@ public class InternalSolverLanguageLexer extends Lexer {
688 try { 636 try {
689 int _type = T__41; 637 int _type = T__41;
690 int _channel = DEFAULT_TOKEN_CHANNEL; 638 int _channel = DEFAULT_TOKEN_CHANNEL;
691 // InternalSolverLanguage.g:41:7: ( '..' ) 639 // InternalSolverLanguage.g:37:7: ( 'abstract' )
692 // InternalSolverLanguage.g:41:9: '..' 640 // InternalSolverLanguage.g:37:9: 'abstract'
693 { 641 {
694 match(".."); 642 match("abstract");
695 643
696 644
697 } 645 }
@@ -704,16 +652,702 @@ public class InternalSolverLanguageLexer extends Lexer {
704 } 652 }
705 // $ANTLR end "T__41" 653 // $ANTLR end "T__41"
706 654
655 // $ANTLR start "T__42"
656 public final void mT__42() throws RecognitionException {
657 try {
658 int _type = T__42;
659 int _channel = DEFAULT_TOKEN_CHANNEL;
660 // InternalSolverLanguage.g:38:7: ( 'class' )
661 // InternalSolverLanguage.g:38:9: 'class'
662 {
663 match("class");
664
665
666 }
667
668 state.type = _type;
669 state.channel = _channel;
670 }
671 finally {
672 }
673 }
674 // $ANTLR end "T__42"
675
676 // $ANTLR start "T__43"
677 public final void mT__43() throws RecognitionException {
678 try {
679 int _type = T__43;
680 int _channel = DEFAULT_TOKEN_CHANNEL;
681 // InternalSolverLanguage.g:39:7: ( 'extends' )
682 // InternalSolverLanguage.g:39:9: 'extends'
683 {
684 match("extends");
685
686
687 }
688
689 state.type = _type;
690 state.channel = _channel;
691 }
692 finally {
693 }
694 }
695 // $ANTLR end "T__43"
696
697 // $ANTLR start "T__44"
698 public final void mT__44() throws RecognitionException {
699 try {
700 int _type = T__44;
701 int _channel = DEFAULT_TOKEN_CHANNEL;
702 // InternalSolverLanguage.g:40:7: ( 'contains' )
703 // InternalSolverLanguage.g:40:9: 'contains'
704 {
705 match("contains");
706
707
708 }
709
710 state.type = _type;
711 state.channel = _channel;
712 }
713 finally {
714 }
715 }
716 // $ANTLR end "T__44"
717
718 // $ANTLR start "T__45"
719 public final void mT__45() throws RecognitionException {
720 try {
721 int _type = T__45;
722 int _channel = DEFAULT_TOKEN_CHANNEL;
723 // InternalSolverLanguage.g:41:7: ( 'opposite' )
724 // InternalSolverLanguage.g:41:9: 'opposite'
725 {
726 match("opposite");
727
728
729 }
730
731 state.type = _type;
732 state.channel = _channel;
733 }
734 finally {
735 }
736 }
737 // $ANTLR end "T__45"
738
739 // $ANTLR start "T__46"
740 public final void mT__46() throws RecognitionException {
741 try {
742 int _type = T__46;
743 int _channel = DEFAULT_TOKEN_CHANNEL;
744 // InternalSolverLanguage.g:42:7: ( 'scope' )
745 // InternalSolverLanguage.g:42:9: 'scope'
746 {
747 match("scope");
748
749
750 }
751
752 state.type = _type;
753 state.channel = _channel;
754 }
755 finally {
756 }
757 }
758 // $ANTLR end "T__46"
759
760 // $ANTLR start "T__47"
761 public final void mT__47() throws RecognitionException {
762 try {
763 int _type = T__47;
764 int _channel = DEFAULT_TOKEN_CHANNEL;
765 // InternalSolverLanguage.g:43:7: ( '==' )
766 // InternalSolverLanguage.g:43:9: '=='
767 {
768 match("==");
769
770
771 }
772
773 state.type = _type;
774 state.channel = _channel;
775 }
776 finally {
777 }
778 }
779 // $ANTLR end "T__47"
780
781 // $ANTLR start "T__48"
782 public final void mT__48() throws RecognitionException {
783 try {
784 int _type = T__48;
785 int _channel = DEFAULT_TOKEN_CHANNEL;
786 // InternalSolverLanguage.g:44:7: ( '<=' )
787 // InternalSolverLanguage.g:44:9: '<='
788 {
789 match("<=");
790
791
792 }
793
794 state.type = _type;
795 state.channel = _channel;
796 }
797 finally {
798 }
799 }
800 // $ANTLR end "T__48"
801
802 // $ANTLR start "T__49"
803 public final void mT__49() throws RecognitionException {
804 try {
805 int _type = T__49;
806 int _channel = DEFAULT_TOKEN_CHANNEL;
807 // InternalSolverLanguage.g:45:7: ( '>=' )
808 // InternalSolverLanguage.g:45:9: '>='
809 {
810 match(">=");
811
812
813 }
814
815 state.type = _type;
816 state.channel = _channel;
817 }
818 finally {
819 }
820 }
821 // $ANTLR end "T__49"
822
823 // $ANTLR start "T__50"
824 public final void mT__50() throws RecognitionException {
825 try {
826 int _type = T__50;
827 int _channel = DEFAULT_TOKEN_CHANNEL;
828 // InternalSolverLanguage.g:46:7: ( 'int' )
829 // InternalSolverLanguage.g:46:9: 'int'
830 {
831 match("int");
832
833
834 }
835
836 state.type = _type;
837 state.channel = _channel;
838 }
839 finally {
840 }
841 }
842 // $ANTLR end "T__50"
843
844 // $ANTLR start "T__51"
845 public final void mT__51() throws RecognitionException {
846 try {
847 int _type = T__51;
848 int _channel = DEFAULT_TOKEN_CHANNEL;
849 // InternalSolverLanguage.g:47:7: ( 'real' )
850 // InternalSolverLanguage.g:47:9: 'real'
851 {
852 match("real");
853
854
855 }
856
857 state.type = _type;
858 state.channel = _channel;
859 }
860 finally {
861 }
862 }
863 // $ANTLR end "T__51"
864
865 // $ANTLR start "T__52"
866 public final void mT__52() throws RecognitionException {
867 try {
868 int _type = T__52;
869 int _channel = DEFAULT_TOKEN_CHANNEL;
870 // InternalSolverLanguage.g:48:7: ( '!=' )
871 // InternalSolverLanguage.g:48:9: '!='
872 {
873 match("!=");
874
875
876 }
877
878 state.type = _type;
879 state.channel = _channel;
880 }
881 finally {
882 }
883 }
884 // $ANTLR end "T__52"
885
886 // $ANTLR start "T__53"
887 public final void mT__53() throws RecognitionException {
888 try {
889 int _type = T__53;
890 int _channel = DEFAULT_TOKEN_CHANNEL;
891 // InternalSolverLanguage.g:49:7: ( '<' )
892 // InternalSolverLanguage.g:49:9: '<'
893 {
894 match('<');
895
896 }
897
898 state.type = _type;
899 state.channel = _channel;
900 }
901 finally {
902 }
903 }
904 // $ANTLR end "T__53"
905
906 // $ANTLR start "T__54"
907 public final void mT__54() throws RecognitionException {
908 try {
909 int _type = T__54;
910 int _channel = DEFAULT_TOKEN_CHANNEL;
911 // InternalSolverLanguage.g:50:7: ( '>' )
912 // InternalSolverLanguage.g:50:9: '>'
913 {
914 match('>');
915
916 }
917
918 state.type = _type;
919 state.channel = _channel;
920 }
921 finally {
922 }
923 }
924 // $ANTLR end "T__54"
925
926 // $ANTLR start "T__55"
927 public final void mT__55() throws RecognitionException {
928 try {
929 int _type = T__55;
930 int _channel = DEFAULT_TOKEN_CHANNEL;
931 // InternalSolverLanguage.g:51:7: ( 'in' )
932 // InternalSolverLanguage.g:51:9: 'in'
933 {
934 match("in");
935
936
937 }
938
939 state.type = _type;
940 state.channel = _channel;
941 }
942 finally {
943 }
944 }
945 // $ANTLR end "T__55"
946
947 // $ANTLR start "T__56"
948 public final void mT__56() throws RecognitionException {
949 try {
950 int _type = T__56;
951 int _channel = DEFAULT_TOKEN_CHANNEL;
952 // InternalSolverLanguage.g:52:7: ( '+' )
953 // InternalSolverLanguage.g:52:9: '+'
954 {
955 match('+');
956
957 }
958
959 state.type = _type;
960 state.channel = _channel;
961 }
962 finally {
963 }
964 }
965 // $ANTLR end "T__56"
966
967 // $ANTLR start "T__57"
968 public final void mT__57() throws RecognitionException {
969 try {
970 int _type = T__57;
971 int _channel = DEFAULT_TOKEN_CHANNEL;
972 // InternalSolverLanguage.g:53:7: ( '-' )
973 // InternalSolverLanguage.g:53:9: '-'
974 {
975 match('-');
976
977 }
978
979 state.type = _type;
980 state.channel = _channel;
981 }
982 finally {
983 }
984 }
985 // $ANTLR end "T__57"
986
987 // $ANTLR start "T__58"
988 public final void mT__58() throws RecognitionException {
989 try {
990 int _type = T__58;
991 int _channel = DEFAULT_TOKEN_CHANNEL;
992 // InternalSolverLanguage.g:54:7: ( '/' )
993 // InternalSolverLanguage.g:54:9: '/'
994 {
995 match('/');
996
997 }
998
999 state.type = _type;
1000 state.channel = _channel;
1001 }
1002 finally {
1003 }
1004 }
1005 // $ANTLR end "T__58"
1006
1007 // $ANTLR start "T__59"
1008 public final void mT__59() throws RecognitionException {
1009 try {
1010 int _type = T__59;
1011 int _channel = DEFAULT_TOKEN_CHANNEL;
1012 // InternalSolverLanguage.g:55:7: ( '^' )
1013 // InternalSolverLanguage.g:55:9: '^'
1014 {
1015 match('^');
1016
1017 }
1018
1019 state.type = _type;
1020 state.channel = _channel;
1021 }
1022 finally {
1023 }
1024 }
1025 // $ANTLR end "T__59"
1026
1027 // $ANTLR start "T__60"
1028 public final void mT__60() throws RecognitionException {
1029 try {
1030 int _type = T__60;
1031 int _channel = DEFAULT_TOKEN_CHANNEL;
1032 // InternalSolverLanguage.g:56:7: ( '!' )
1033 // InternalSolverLanguage.g:56:9: '!'
1034 {
1035 match('!');
1036
1037 }
1038
1039 state.type = _type;
1040 state.channel = _channel;
1041 }
1042 finally {
1043 }
1044 }
1045 // $ANTLR end "T__60"
1046
1047 // $ANTLR start "T__61"
1048 public final void mT__61() throws RecognitionException {
1049 try {
1050 int _type = T__61;
1051 int _channel = DEFAULT_TOKEN_CHANNEL;
1052 // InternalSolverLanguage.g:57:7: ( 'may' )
1053 // InternalSolverLanguage.g:57:9: 'may'
1054 {
1055 match("may");
1056
1057
1058 }
1059
1060 state.type = _type;
1061 state.channel = _channel;
1062 }
1063 finally {
1064 }
1065 }
1066 // $ANTLR end "T__61"
1067
1068 // $ANTLR start "T__62"
1069 public final void mT__62() throws RecognitionException {
1070 try {
1071 int _type = T__62;
1072 int _channel = DEFAULT_TOKEN_CHANNEL;
1073 // InternalSolverLanguage.g:58:7: ( 'must' )
1074 // InternalSolverLanguage.g:58:9: 'must'
1075 {
1076 match("must");
1077
1078
1079 }
1080
1081 state.type = _type;
1082 state.channel = _channel;
1083 }
1084 finally {
1085 }
1086 }
1087 // $ANTLR end "T__62"
1088
1089 // $ANTLR start "T__63"
1090 public final void mT__63() throws RecognitionException {
1091 try {
1092 int _type = T__63;
1093 int _channel = DEFAULT_TOKEN_CHANNEL;
1094 // InternalSolverLanguage.g:59:7: ( 'current' )
1095 // InternalSolverLanguage.g:59:9: 'current'
1096 {
1097 match("current");
1098
1099
1100 }
1101
1102 state.type = _type;
1103 state.channel = _channel;
1104 }
1105 finally {
1106 }
1107 }
1108 // $ANTLR end "T__63"
1109
1110 // $ANTLR start "T__64"
1111 public final void mT__64() throws RecognitionException {
1112 try {
1113 int _type = T__64;
1114 int _channel = DEFAULT_TOKEN_CHANNEL;
1115 // InternalSolverLanguage.g:60:7: ( 'only' )
1116 // InternalSolverLanguage.g:60:9: 'only'
1117 {
1118 match("only");
1119
1120
1121 }
1122
1123 state.type = _type;
1124 state.channel = _channel;
1125 }
1126 finally {
1127 }
1128 }
1129 // $ANTLR end "T__64"
1130
1131 // $ANTLR start "T__65"
1132 public final void mT__65() throws RecognitionException {
1133 try {
1134 int _type = T__65;
1135 int _channel = DEFAULT_TOKEN_CHANNEL;
1136 // InternalSolverLanguage.g:61:7: ( 'sum' )
1137 // InternalSolverLanguage.g:61:9: 'sum'
1138 {
1139 match("sum");
1140
1141
1142 }
1143
1144 state.type = _type;
1145 state.channel = _channel;
1146 }
1147 finally {
1148 }
1149 }
1150 // $ANTLR end "T__65"
1151
1152 // $ANTLR start "T__66"
1153 public final void mT__66() throws RecognitionException {
1154 try {
1155 int _type = T__66;
1156 int _channel = DEFAULT_TOKEN_CHANNEL;
1157 // InternalSolverLanguage.g:62:7: ( 'prod' )
1158 // InternalSolverLanguage.g:62:9: 'prod'
1159 {
1160 match("prod");
1161
1162
1163 }
1164
1165 state.type = _type;
1166 state.channel = _channel;
1167 }
1168 finally {
1169 }
1170 }
1171 // $ANTLR end "T__66"
1172
1173 // $ANTLR start "T__67"
1174 public final void mT__67() throws RecognitionException {
1175 try {
1176 int _type = T__67;
1177 int _channel = DEFAULT_TOKEN_CHANNEL;
1178 // InternalSolverLanguage.g:63:7: ( 'avg' )
1179 // InternalSolverLanguage.g:63:9: 'avg'
1180 {
1181 match("avg");
1182
1183
1184 }
1185
1186 state.type = _type;
1187 state.channel = _channel;
1188 }
1189 finally {
1190 }
1191 }
1192 // $ANTLR end "T__67"
1193
1194 // $ANTLR start "T__68"
1195 public final void mT__68() throws RecognitionException {
1196 try {
1197 int _type = T__68;
1198 int _channel = DEFAULT_TOKEN_CHANNEL;
1199 // InternalSolverLanguage.g:64:7: ( 'min' )
1200 // InternalSolverLanguage.g:64:9: 'min'
1201 {
1202 match("min");
1203
1204
1205 }
1206
1207 state.type = _type;
1208 state.channel = _channel;
1209 }
1210 finally {
1211 }
1212 }
1213 // $ANTLR end "T__68"
1214
1215 // $ANTLR start "T__69"
1216 public final void mT__69() throws RecognitionException {
1217 try {
1218 int _type = T__69;
1219 int _channel = DEFAULT_TOKEN_CHANNEL;
1220 // InternalSolverLanguage.g:65:7: ( 'max' )
1221 // InternalSolverLanguage.g:65:9: 'max'
1222 {
1223 match("max");
1224
1225
1226 }
1227
1228 state.type = _type;
1229 state.channel = _channel;
1230 }
1231 finally {
1232 }
1233 }
1234 // $ANTLR end "T__69"
1235
1236 // $ANTLR start "T__70"
1237 public final void mT__70() throws RecognitionException {
1238 try {
1239 int _type = T__70;
1240 int _channel = DEFAULT_TOKEN_CHANNEL;
1241 // InternalSolverLanguage.g:66:7: ( 'true' )
1242 // InternalSolverLanguage.g:66:9: 'true'
1243 {
1244 match("true");
1245
1246
1247 }
1248
1249 state.type = _type;
1250 state.channel = _channel;
1251 }
1252 finally {
1253 }
1254 }
1255 // $ANTLR end "T__70"
1256
1257 // $ANTLR start "T__71"
1258 public final void mT__71() throws RecognitionException {
1259 try {
1260 int _type = T__71;
1261 int _channel = DEFAULT_TOKEN_CHANNEL;
1262 // InternalSolverLanguage.g:67:7: ( 'false' )
1263 // InternalSolverLanguage.g:67:9: 'false'
1264 {
1265 match("false");
1266
1267
1268 }
1269
1270 state.type = _type;
1271 state.channel = _channel;
1272 }
1273 finally {
1274 }
1275 }
1276 // $ANTLR end "T__71"
1277
1278 // $ANTLR start "T__72"
1279 public final void mT__72() throws RecognitionException {
1280 try {
1281 int _type = T__72;
1282 int _channel = DEFAULT_TOKEN_CHANNEL;
1283 // InternalSolverLanguage.g:68:7: ( 'unknown' )
1284 // InternalSolverLanguage.g:68:9: 'unknown'
1285 {
1286 match("unknown");
1287
1288
1289 }
1290
1291 state.type = _type;
1292 state.channel = _channel;
1293 }
1294 finally {
1295 }
1296 }
1297 // $ANTLR end "T__72"
1298
1299 // $ANTLR start "T__73"
1300 public final void mT__73() throws RecognitionException {
1301 try {
1302 int _type = T__73;
1303 int _channel = DEFAULT_TOKEN_CHANNEL;
1304 // InternalSolverLanguage.g:69:7: ( 'minimize' )
1305 // InternalSolverLanguage.g:69:9: 'minimize'
1306 {
1307 match("minimize");
1308
1309
1310 }
1311
1312 state.type = _type;
1313 state.channel = _channel;
1314 }
1315 finally {
1316 }
1317 }
1318 // $ANTLR end "T__73"
1319
1320 // $ANTLR start "T__74"
1321 public final void mT__74() throws RecognitionException {
1322 try {
1323 int _type = T__74;
1324 int _channel = DEFAULT_TOKEN_CHANNEL;
1325 // InternalSolverLanguage.g:70:7: ( 'maximize' )
1326 // InternalSolverLanguage.g:70:9: 'maximize'
1327 {
1328 match("maximize");
1329
1330
1331 }
1332
1333 state.type = _type;
1334 state.channel = _channel;
1335 }
1336 finally {
1337 }
1338 }
1339 // $ANTLR end "T__74"
1340
707 // $ANTLR start "RULE_STRING" 1341 // $ANTLR start "RULE_STRING"
708 public final void mRULE_STRING() throws RecognitionException { 1342 public final void mRULE_STRING() throws RecognitionException {
709 try { 1343 try {
710 int _type = RULE_STRING; 1344 int _type = RULE_STRING;
711 int _channel = DEFAULT_TOKEN_CHANNEL; 1345 int _channel = DEFAULT_TOKEN_CHANNEL;
712 // InternalSolverLanguage.g:2497:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) 1346 // InternalSolverLanguage.g:3882:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' )
713 // InternalSolverLanguage.g:2497:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' 1347 // InternalSolverLanguage.g:3882:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"'
714 { 1348 {
715 match('\"'); 1349 match('\"');
716 // InternalSolverLanguage.g:2497:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* 1350 // InternalSolverLanguage.g:3882:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )*
717 loop1: 1351 loop1:
718 do { 1352 do {
719 int alt1=3; 1353 int alt1=3;
@@ -729,7 +1363,7 @@ public class InternalSolverLanguageLexer extends Lexer {
729 1363
730 switch (alt1) { 1364 switch (alt1) {
731 case 1 : 1365 case 1 :
732 // InternalSolverLanguage.g:2497:20: '\\\\' . 1366 // InternalSolverLanguage.g:3882:20: '\\\\' .
733 { 1367 {
734 match('\\'); 1368 match('\\');
735 matchAny(); 1369 matchAny();
@@ -737,7 +1371,7 @@ public class InternalSolverLanguageLexer extends Lexer {
737 } 1371 }
738 break; 1372 break;
739 case 2 : 1373 case 2 :
740 // InternalSolverLanguage.g:2497:27: ~ ( ( '\\\\' | '\"' ) ) 1374 // InternalSolverLanguage.g:3882:27: ~ ( ( '\\\\' | '\"' ) )
741 { 1375 {
742 if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { 1376 if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) {
743 input.consume(); 1377 input.consume();
@@ -769,24 +1403,152 @@ public class InternalSolverLanguageLexer extends Lexer {
769 } 1403 }
770 // $ANTLR end "RULE_STRING" 1404 // $ANTLR end "RULE_STRING"
771 1405
1406 // $ANTLR start "RULE_QUOTED_ID"
1407 public final void mRULE_QUOTED_ID() throws RecognitionException {
1408 try {
1409 int _type = RULE_QUOTED_ID;
1410 int _channel = DEFAULT_TOKEN_CHANNEL;
1411 // InternalSolverLanguage.g:3884:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' )
1412 // InternalSolverLanguage.g:3884:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\''
1413 {
1414 match('\'');
1415 // InternalSolverLanguage.g:3884:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )*
1416 loop2:
1417 do {
1418 int alt2=3;
1419 int LA2_0 = input.LA(1);
1420
1421 if ( (LA2_0=='\\') ) {
1422 alt2=1;
1423 }
1424 else if ( ((LA2_0>='\u0000' && LA2_0<='&')||(LA2_0>='(' && LA2_0<='[')||(LA2_0>=']' && LA2_0<='\uFFFF')) ) {
1425 alt2=2;
1426 }
1427
1428
1429 switch (alt2) {
1430 case 1 :
1431 // InternalSolverLanguage.g:3884:24: '\\\\' .
1432 {
1433 match('\\');
1434 matchAny();
1435
1436 }
1437 break;
1438 case 2 :
1439 // InternalSolverLanguage.g:3884:31: ~ ( ( '\\\\' | '\\'' ) )
1440 {
1441 if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) {
1442 input.consume();
1443
1444 }
1445 else {
1446 MismatchedSetException mse = new MismatchedSetException(null,input);
1447 recover(mse);
1448 throw mse;}
1449
1450
1451 }
1452 break;
1453
1454 default :
1455 break loop2;
1456 }
1457 } while (true);
1458
1459 match('\'');
1460
1461 }
1462
1463 state.type = _type;
1464 state.channel = _channel;
1465 }
1466 finally {
1467 }
1468 }
1469 // $ANTLR end "RULE_QUOTED_ID"
1470
1471 // $ANTLR start "RULE_PLUS"
1472 public final void mRULE_PLUS() throws RecognitionException {
1473 try {
1474 int _type = RULE_PLUS;
1475 int _channel = DEFAULT_TOKEN_CHANNEL;
1476 // InternalSolverLanguage.g:3886:11: ( 'synthetic::plus' )
1477 // InternalSolverLanguage.g:3886:13: 'synthetic::plus'
1478 {
1479 match("synthetic::plus");
1480
1481
1482 }
1483
1484 state.type = _type;
1485 state.channel = _channel;
1486 }
1487 finally {
1488 }
1489 }
1490 // $ANTLR end "RULE_PLUS"
1491
1492 // $ANTLR start "RULE_STAR"
1493 public final void mRULE_STAR() throws RecognitionException {
1494 try {
1495 int _type = RULE_STAR;
1496 int _channel = DEFAULT_TOKEN_CHANNEL;
1497 // InternalSolverLanguage.g:3888:11: ( 'synthetic::star' )
1498 // InternalSolverLanguage.g:3888:13: 'synthetic::star'
1499 {
1500 match("synthetic::star");
1501
1502
1503 }
1504
1505 state.type = _type;
1506 state.channel = _channel;
1507 }
1508 finally {
1509 }
1510 }
1511 // $ANTLR end "RULE_STAR"
1512
1513 // $ANTLR start "RULE_DOT"
1514 public final void mRULE_DOT() throws RecognitionException {
1515 try {
1516 int _type = RULE_DOT;
1517 int _channel = DEFAULT_TOKEN_CHANNEL;
1518 // InternalSolverLanguage.g:3890:10: ( 'synthetic::dot' )
1519 // InternalSolverLanguage.g:3890:12: 'synthetic::dot'
1520 {
1521 match("synthetic::dot");
1522
1523
1524 }
1525
1526 state.type = _type;
1527 state.channel = _channel;
1528 }
1529 finally {
1530 }
1531 }
1532 // $ANTLR end "RULE_DOT"
1533
772 // $ANTLR start "RULE_ID" 1534 // $ANTLR start "RULE_ID"
773 public final void mRULE_ID() throws RecognitionException { 1535 public final void mRULE_ID() throws RecognitionException {
774 try { 1536 try {
775 int _type = RULE_ID; 1537 int _type = RULE_ID;
776 int _channel = DEFAULT_TOKEN_CHANNEL; 1538 int _channel = DEFAULT_TOKEN_CHANNEL;
777 // InternalSolverLanguage.g:2499:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) 1539 // InternalSolverLanguage.g:3892:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* )
778 // InternalSolverLanguage.g:2499:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* 1540 // InternalSolverLanguage.g:3892:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )*
779 { 1541 {
780 // InternalSolverLanguage.g:2499:11: ( '^' )? 1542 // InternalSolverLanguage.g:3892:11: ( '^' )?
781 int alt2=2; 1543 int alt3=2;
782 int LA2_0 = input.LA(1); 1544 int LA3_0 = input.LA(1);
783 1545
784 if ( (LA2_0=='^') ) { 1546 if ( (LA3_0=='^') ) {
785 alt2=1; 1547 alt3=1;
786 } 1548 }
787 switch (alt2) { 1549 switch (alt3) {
788 case 1 : 1550 case 1 :
789 // InternalSolverLanguage.g:2499:11: '^' 1551 // InternalSolverLanguage.g:3892:11: '^'
790 { 1552 {
791 match('^'); 1553 match('^');
792 1554
@@ -804,18 +1566,18 @@ public class InternalSolverLanguageLexer extends Lexer {
804 recover(mse); 1566 recover(mse);
805 throw mse;} 1567 throw mse;}
806 1568
807 // InternalSolverLanguage.g:2499:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* 1569 // InternalSolverLanguage.g:3892:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )*
808 loop3: 1570 loop4:
809 do { 1571 do {
810 int alt3=2; 1572 int alt4=2;
811 int LA3_0 = input.LA(1); 1573 int LA4_0 = input.LA(1);
812 1574
813 if ( ((LA3_0>='0' && LA3_0<='9')||(LA3_0>='A' && LA3_0<='Z')||LA3_0=='_'||(LA3_0>='a' && LA3_0<='z')) ) { 1575 if ( ((LA4_0>='0' && LA4_0<='9')||(LA4_0>='A' && LA4_0<='Z')||LA4_0=='_'||(LA4_0>='a' && LA4_0<='z')) ) {
814 alt3=1; 1576 alt4=1;
815 } 1577 }
816 1578
817 1579
818 switch (alt3) { 1580 switch (alt4) {
819 case 1 : 1581 case 1 :
820 // InternalSolverLanguage.g: 1582 // InternalSolverLanguage.g:
821 { 1583 {
@@ -833,7 +1595,7 @@ public class InternalSolverLanguageLexer extends Lexer {
833 break; 1595 break;
834 1596
835 default : 1597 default :
836 break loop3; 1598 break loop4;
837 } 1599 }
838 } while (true); 1600 } while (true);
839 1601
@@ -853,24 +1615,24 @@ public class InternalSolverLanguageLexer extends Lexer {
853 try { 1615 try {
854 int _type = RULE_INT; 1616 int _type = RULE_INT;
855 int _channel = DEFAULT_TOKEN_CHANNEL; 1617 int _channel = DEFAULT_TOKEN_CHANNEL;
856 // InternalSolverLanguage.g:2501:10: ( ( '0' .. '9' )+ ) 1618 // InternalSolverLanguage.g:3894:10: ( ( '0' .. '9' )+ )
857 // InternalSolverLanguage.g:2501:12: ( '0' .. '9' )+ 1619 // InternalSolverLanguage.g:3894:12: ( '0' .. '9' )+
858 { 1620 {
859 // InternalSolverLanguage.g:2501:12: ( '0' .. '9' )+ 1621 // InternalSolverLanguage.g:3894:12: ( '0' .. '9' )+
860 int cnt4=0; 1622 int cnt5=0;
861 loop4: 1623 loop5:
862 do { 1624 do {
863 int alt4=2; 1625 int alt5=2;
864 int LA4_0 = input.LA(1); 1626 int LA5_0 = input.LA(1);
865 1627
866 if ( ((LA4_0>='0' && LA4_0<='9')) ) { 1628 if ( ((LA5_0>='0' && LA5_0<='9')) ) {
867 alt4=1; 1629 alt5=1;
868 } 1630 }
869 1631
870 1632
871 switch (alt4) { 1633 switch (alt5) {
872 case 1 : 1634 case 1 :
873 // InternalSolverLanguage.g:2501:13: '0' .. '9' 1635 // InternalSolverLanguage.g:3894:13: '0' .. '9'
874 { 1636 {
875 matchRange('0','9'); 1637 matchRange('0','9');
876 1638
@@ -878,12 +1640,12 @@ public class InternalSolverLanguageLexer extends Lexer {
878 break; 1640 break;
879 1641
880 default : 1642 default :
881 if ( cnt4 >= 1 ) break loop4; 1643 if ( cnt5 >= 1 ) break loop5;
882 EarlyExitException eee = 1644 EarlyExitException eee =
883 new EarlyExitException(4, input); 1645 new EarlyExitException(5, input);
884 throw eee; 1646 throw eee;
885 } 1647 }
886 cnt4++; 1648 cnt5++;
887 } while (true); 1649 } while (true);
888 1650
889 1651
@@ -902,37 +1664,37 @@ public class InternalSolverLanguageLexer extends Lexer {
902 try { 1664 try {
903 int _type = RULE_ML_COMMENT; 1665 int _type = RULE_ML_COMMENT;
904 int _channel = DEFAULT_TOKEN_CHANNEL; 1666 int _channel = DEFAULT_TOKEN_CHANNEL;
905 // InternalSolverLanguage.g:2503:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) 1667 // InternalSolverLanguage.g:3896:17: ( '/*' ( options {greedy=false; } : . )* '*/' )
906 // InternalSolverLanguage.g:2503:19: '/*' ( options {greedy=false; } : . )* '*/' 1668 // InternalSolverLanguage.g:3896:19: '/*' ( options {greedy=false; } : . )* '*/'
907 { 1669 {
908 match("/*"); 1670 match("/*");
909 1671
910 // InternalSolverLanguage.g:2503:24: ( options {greedy=false; } : . )* 1672 // InternalSolverLanguage.g:3896:24: ( options {greedy=false; } : . )*
911 loop5: 1673 loop6:
912 do { 1674 do {
913 int alt5=2; 1675 int alt6=2;
914 int LA5_0 = input.LA(1); 1676 int LA6_0 = input.LA(1);
915 1677
916 if ( (LA5_0=='*') ) { 1678 if ( (LA6_0=='*') ) {
917 int LA5_1 = input.LA(2); 1679 int LA6_1 = input.LA(2);
918 1680
919 if ( (LA5_1=='/') ) { 1681 if ( (LA6_1=='/') ) {
920 alt5=2; 1682 alt6=2;
921 } 1683 }
922 else if ( ((LA5_1>='\u0000' && LA5_1<='.')||(LA5_1>='0' && LA5_1<='\uFFFF')) ) { 1684 else if ( ((LA6_1>='\u0000' && LA6_1<='.')||(LA6_1>='0' && LA6_1<='\uFFFF')) ) {
923 alt5=1; 1685 alt6=1;
924 } 1686 }
925 1687
926 1688
927 } 1689 }
928 else if ( ((LA5_0>='\u0000' && LA5_0<=')')||(LA5_0>='+' && LA5_0<='\uFFFF')) ) { 1690 else if ( ((LA6_0>='\u0000' && LA6_0<=')')||(LA6_0>='+' && LA6_0<='\uFFFF')) ) {
929 alt5=1; 1691 alt6=1;
930 } 1692 }
931 1693
932 1694
933 switch (alt5) { 1695 switch (alt6) {
934 case 1 : 1696 case 1 :
935 // InternalSolverLanguage.g:2503:52: . 1697 // InternalSolverLanguage.g:3896:52: .
936 { 1698 {
937 matchAny(); 1699 matchAny();
938 1700
@@ -940,7 +1702,7 @@ public class InternalSolverLanguageLexer extends Lexer {
940 break; 1702 break;
941 1703
942 default : 1704 default :
943 break loop5; 1705 break loop6;
944 } 1706 }
945 } while (true); 1707 } while (true);
946 1708
@@ -962,25 +1724,25 @@ public class InternalSolverLanguageLexer extends Lexer {
962 try { 1724 try {
963 int _type = RULE_SL_COMMENT; 1725 int _type = RULE_SL_COMMENT;
964 int _channel = DEFAULT_TOKEN_CHANNEL; 1726 int _channel = DEFAULT_TOKEN_CHANNEL;
965 // InternalSolverLanguage.g:2505:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) 1727 // InternalSolverLanguage.g:3898:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? )
966 // InternalSolverLanguage.g:2505:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? 1728 // InternalSolverLanguage.g:3898:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )?
967 { 1729 {
968 match("//"); 1730 match("//");
969 1731
970 // InternalSolverLanguage.g:2505:24: (~ ( ( '\\n' | '\\r' ) ) )* 1732 // InternalSolverLanguage.g:3898:24: (~ ( ( '\\n' | '\\r' ) ) )*
971 loop6: 1733 loop7:
972 do { 1734 do {
973 int alt6=2; 1735 int alt7=2;
974 int LA6_0 = input.LA(1); 1736 int LA7_0 = input.LA(1);
975 1737
976 if ( ((LA6_0>='\u0000' && LA6_0<='\t')||(LA6_0>='\u000B' && LA6_0<='\f')||(LA6_0>='\u000E' && LA6_0<='\uFFFF')) ) { 1738 if ( ((LA7_0>='\u0000' && LA7_0<='\t')||(LA7_0>='\u000B' && LA7_0<='\f')||(LA7_0>='\u000E' && LA7_0<='\uFFFF')) ) {
977 alt6=1; 1739 alt7=1;
978 } 1740 }
979 1741
980 1742
981 switch (alt6) { 1743 switch (alt7) {
982 case 1 : 1744 case 1 :
983 // InternalSolverLanguage.g:2505:24: ~ ( ( '\\n' | '\\r' ) ) 1745 // InternalSolverLanguage.g:3898:24: ~ ( ( '\\n' | '\\r' ) )
984 { 1746 {
985 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') ) { 1747 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') ) {
986 input.consume(); 1748 input.consume();
@@ -996,31 +1758,31 @@ public class InternalSolverLanguageLexer extends Lexer {
996 break; 1758 break;
997 1759
998 default : 1760 default :
999 break loop6; 1761 break loop7;
1000 } 1762 }
1001 } while (true); 1763 } while (true);
1002 1764
1003 // InternalSolverLanguage.g:2505:40: ( ( '\\r' )? '\\n' )? 1765 // InternalSolverLanguage.g:3898:40: ( ( '\\r' )? '\\n' )?
1004 int alt8=2; 1766 int alt9=2;
1005 int LA8_0 = input.LA(1); 1767 int LA9_0 = input.LA(1);
1006 1768
1007 if ( (LA8_0=='\n'||LA8_0=='\r') ) { 1769 if ( (LA9_0=='\n'||LA9_0=='\r') ) {
1008 alt8=1; 1770 alt9=1;
1009 } 1771 }
1010 switch (alt8) { 1772 switch (alt9) {
1011 case 1 : 1773 case 1 :
1012 // InternalSolverLanguage.g:2505:41: ( '\\r' )? '\\n' 1774 // InternalSolverLanguage.g:3898:41: ( '\\r' )? '\\n'
1013 { 1775 {
1014 // InternalSolverLanguage.g:2505:41: ( '\\r' )? 1776 // InternalSolverLanguage.g:3898:41: ( '\\r' )?
1015 int alt7=2; 1777 int alt8=2;
1016 int LA7_0 = input.LA(1); 1778 int LA8_0 = input.LA(1);
1017 1779
1018 if ( (LA7_0=='\r') ) { 1780 if ( (LA8_0=='\r') ) {
1019 alt7=1; 1781 alt8=1;
1020 } 1782 }
1021 switch (alt7) { 1783 switch (alt8) {
1022 case 1 : 1784 case 1 :
1023 // InternalSolverLanguage.g:2505:41: '\\r' 1785 // InternalSolverLanguage.g:3898:41: '\\r'
1024 { 1786 {
1025 match('\r'); 1787 match('\r');
1026 1788
@@ -1052,22 +1814,22 @@ public class InternalSolverLanguageLexer extends Lexer {
1052 try { 1814 try {
1053 int _type = RULE_WS; 1815 int _type = RULE_WS;
1054 int _channel = DEFAULT_TOKEN_CHANNEL; 1816 int _channel = DEFAULT_TOKEN_CHANNEL;
1055 // InternalSolverLanguage.g:2507:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) 1817 // InternalSolverLanguage.g:3900:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ )
1056 // InternalSolverLanguage.g:2507:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ 1818 // InternalSolverLanguage.g:3900:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
1057 { 1819 {
1058 // InternalSolverLanguage.g:2507:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ 1820 // InternalSolverLanguage.g:3900:11: ( ' ' | '\\t' | '\\r' | '\\n' )+
1059 int cnt9=0; 1821 int cnt10=0;
1060 loop9: 1822 loop10:
1061 do { 1823 do {
1062 int alt9=2; 1824 int alt10=2;
1063 int LA9_0 = input.LA(1); 1825 int LA10_0 = input.LA(1);
1064 1826
1065 if ( ((LA9_0>='\t' && LA9_0<='\n')||LA9_0=='\r'||LA9_0==' ') ) { 1827 if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) {
1066 alt9=1; 1828 alt10=1;
1067 } 1829 }
1068 1830
1069 1831
1070 switch (alt9) { 1832 switch (alt10) {
1071 case 1 : 1833 case 1 :
1072 // InternalSolverLanguage.g: 1834 // InternalSolverLanguage.g:
1073 { 1835 {
@@ -1085,12 +1847,12 @@ public class InternalSolverLanguageLexer extends Lexer {
1085 break; 1847 break;
1086 1848
1087 default : 1849 default :
1088 if ( cnt9 >= 1 ) break loop9; 1850 if ( cnt10 >= 1 ) break loop10;
1089 EarlyExitException eee = 1851 EarlyExitException eee =
1090 new EarlyExitException(9, input); 1852 new EarlyExitException(10, input);
1091 throw eee; 1853 throw eee;
1092 } 1854 }
1093 cnt9++; 1855 cnt10++;
1094 } while (true); 1856 } while (true);
1095 1857
1096 1858
@@ -1109,8 +1871,8 @@ public class InternalSolverLanguageLexer extends Lexer {
1109 try { 1871 try {
1110 int _type = RULE_ANY_OTHER; 1872 int _type = RULE_ANY_OTHER;
1111 int _channel = DEFAULT_TOKEN_CHANNEL; 1873 int _channel = DEFAULT_TOKEN_CHANNEL;
1112 // InternalSolverLanguage.g:2509:16: ( . ) 1874 // InternalSolverLanguage.g:3902:16: ( . )
1113 // InternalSolverLanguage.g:2509:18: . 1875 // InternalSolverLanguage.g:3902:18: .
1114 { 1876 {
1115 matchAny(); 1877 matchAny();
1116 1878
@@ -1125,271 +1887,502 @@ public class InternalSolverLanguageLexer extends Lexer {
1125 // $ANTLR end "RULE_ANY_OTHER" 1887 // $ANTLR end "RULE_ANY_OTHER"
1126 1888
1127 public void mTokens() throws RecognitionException { 1889 public void mTokens() throws RecognitionException {
1128 // InternalSolverLanguage.g:1:8: ( T__11 | T__12 | T__13 | T__14 | T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | RULE_STRING | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER ) 1890 // InternalSolverLanguage.g:1:8: ( T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | T__42 | T__43 | T__44 | T__45 | T__46 | T__47 | T__48 | T__49 | T__50 | T__51 | T__52 | T__53 | T__54 | T__55 | T__56 | T__57 | T__58 | T__59 | T__60 | T__61 | T__62 | T__63 | T__64 | T__65 | T__66 | T__67 | T__68 | T__69 | T__70 | T__71 | T__72 | T__73 | T__74 | RULE_STRING | RULE_QUOTED_ID | RULE_PLUS | RULE_STAR | RULE_DOT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER )
1129 int alt10=38; 1891 int alt11=71;
1130 alt10 = dfa10.predict(input); 1892 alt11 = dfa11.predict(input);
1131 switch (alt10) { 1893 switch (alt11) {
1132 case 1 : 1894 case 1 :
1133 // InternalSolverLanguage.g:1:10: T__11 1895 // InternalSolverLanguage.g:1:10: T__15
1134 { 1896 {
1135 mT__11(); 1897 mT__15();
1136 1898
1137 } 1899 }
1138 break; 1900 break;
1139 case 2 : 1901 case 2 :
1140 // InternalSolverLanguage.g:1:16: T__12 1902 // InternalSolverLanguage.g:1:16: T__16
1141 { 1903 {
1142 mT__12(); 1904 mT__16();
1143 1905
1144 } 1906 }
1145 break; 1907 break;
1146 case 3 : 1908 case 3 :
1147 // InternalSolverLanguage.g:1:22: T__13 1909 // InternalSolverLanguage.g:1:22: T__17
1148 { 1910 {
1149 mT__13(); 1911 mT__17();
1150 1912
1151 } 1913 }
1152 break; 1914 break;
1153 case 4 : 1915 case 4 :
1154 // InternalSolverLanguage.g:1:28: T__14 1916 // InternalSolverLanguage.g:1:28: T__18
1155 { 1917 {
1156 mT__14(); 1918 mT__18();
1157 1919
1158 } 1920 }
1159 break; 1921 break;
1160 case 5 : 1922 case 5 :
1161 // InternalSolverLanguage.g:1:34: T__15 1923 // InternalSolverLanguage.g:1:34: T__19
1162 { 1924 {
1163 mT__15(); 1925 mT__19();
1164 1926
1165 } 1927 }
1166 break; 1928 break;
1167 case 6 : 1929 case 6 :
1168 // InternalSolverLanguage.g:1:40: T__16 1930 // InternalSolverLanguage.g:1:40: T__20
1169 { 1931 {
1170 mT__16(); 1932 mT__20();
1171 1933
1172 } 1934 }
1173 break; 1935 break;
1174 case 7 : 1936 case 7 :
1175 // InternalSolverLanguage.g:1:46: T__17 1937 // InternalSolverLanguage.g:1:46: T__21
1176 { 1938 {
1177 mT__17(); 1939 mT__21();
1178 1940
1179 } 1941 }
1180 break; 1942 break;
1181 case 8 : 1943 case 8 :
1182 // InternalSolverLanguage.g:1:52: T__18 1944 // InternalSolverLanguage.g:1:52: T__22
1183 { 1945 {
1184 mT__18(); 1946 mT__22();
1185 1947
1186 } 1948 }
1187 break; 1949 break;
1188 case 9 : 1950 case 9 :
1189 // InternalSolverLanguage.g:1:58: T__19 1951 // InternalSolverLanguage.g:1:58: T__23
1190 { 1952 {
1191 mT__19(); 1953 mT__23();
1192 1954
1193 } 1955 }
1194 break; 1956 break;
1195 case 10 : 1957 case 10 :
1196 // InternalSolverLanguage.g:1:64: T__20 1958 // InternalSolverLanguage.g:1:64: T__24
1197 { 1959 {
1198 mT__20(); 1960 mT__24();
1199 1961
1200 } 1962 }
1201 break; 1963 break;
1202 case 11 : 1964 case 11 :
1203 // InternalSolverLanguage.g:1:70: T__21 1965 // InternalSolverLanguage.g:1:70: T__25
1204 { 1966 {
1205 mT__21(); 1967 mT__25();
1206 1968
1207 } 1969 }
1208 break; 1970 break;
1209 case 12 : 1971 case 12 :
1210 // InternalSolverLanguage.g:1:76: T__22 1972 // InternalSolverLanguage.g:1:76: T__26
1211 { 1973 {
1212 mT__22(); 1974 mT__26();
1213 1975
1214 } 1976 }
1215 break; 1977 break;
1216 case 13 : 1978 case 13 :
1217 // InternalSolverLanguage.g:1:82: T__23 1979 // InternalSolverLanguage.g:1:82: T__27
1218 { 1980 {
1219 mT__23(); 1981 mT__27();
1220 1982
1221 } 1983 }
1222 break; 1984 break;
1223 case 14 : 1985 case 14 :
1224 // InternalSolverLanguage.g:1:88: T__24 1986 // InternalSolverLanguage.g:1:88: T__28
1225 { 1987 {
1226 mT__24(); 1988 mT__28();
1227 1989
1228 } 1990 }
1229 break; 1991 break;
1230 case 15 : 1992 case 15 :
1231 // InternalSolverLanguage.g:1:94: T__25 1993 // InternalSolverLanguage.g:1:94: T__29
1232 { 1994 {
1233 mT__25(); 1995 mT__29();
1234 1996
1235 } 1997 }
1236 break; 1998 break;
1237 case 16 : 1999 case 16 :
1238 // InternalSolverLanguage.g:1:100: T__26 2000 // InternalSolverLanguage.g:1:100: T__30
1239 { 2001 {
1240 mT__26(); 2002 mT__30();
1241 2003
1242 } 2004 }
1243 break; 2005 break;
1244 case 17 : 2006 case 17 :
1245 // InternalSolverLanguage.g:1:106: T__27 2007 // InternalSolverLanguage.g:1:106: T__31
1246 { 2008 {
1247 mT__27(); 2009 mT__31();
1248 2010
1249 } 2011 }
1250 break; 2012 break;
1251 case 18 : 2013 case 18 :
1252 // InternalSolverLanguage.g:1:112: T__28 2014 // InternalSolverLanguage.g:1:112: T__32
1253 { 2015 {
1254 mT__28(); 2016 mT__32();
1255 2017
1256 } 2018 }
1257 break; 2019 break;
1258 case 19 : 2020 case 19 :
1259 // InternalSolverLanguage.g:1:118: T__29 2021 // InternalSolverLanguage.g:1:118: T__33
1260 { 2022 {
1261 mT__29(); 2023 mT__33();
1262 2024
1263 } 2025 }
1264 break; 2026 break;
1265 case 20 : 2027 case 20 :
1266 // InternalSolverLanguage.g:1:124: T__30 2028 // InternalSolverLanguage.g:1:124: T__34
1267 { 2029 {
1268 mT__30(); 2030 mT__34();
1269 2031
1270 } 2032 }
1271 break; 2033 break;
1272 case 21 : 2034 case 21 :
1273 // InternalSolverLanguage.g:1:130: T__31 2035 // InternalSolverLanguage.g:1:130: T__35
1274 { 2036 {
1275 mT__31(); 2037 mT__35();
1276 2038
1277 } 2039 }
1278 break; 2040 break;
1279 case 22 : 2041 case 22 :
1280 // InternalSolverLanguage.g:1:136: T__32 2042 // InternalSolverLanguage.g:1:136: T__36
1281 { 2043 {
1282 mT__32(); 2044 mT__36();
1283 2045
1284 } 2046 }
1285 break; 2047 break;
1286 case 23 : 2048 case 23 :
1287 // InternalSolverLanguage.g:1:142: T__33 2049 // InternalSolverLanguage.g:1:142: T__37
1288 { 2050 {
1289 mT__33(); 2051 mT__37();
1290 2052
1291 } 2053 }
1292 break; 2054 break;
1293 case 24 : 2055 case 24 :
1294 // InternalSolverLanguage.g:1:148: T__34 2056 // InternalSolverLanguage.g:1:148: T__38
1295 { 2057 {
1296 mT__34(); 2058 mT__38();
1297 2059
1298 } 2060 }
1299 break; 2061 break;
1300 case 25 : 2062 case 25 :
1301 // InternalSolverLanguage.g:1:154: T__35 2063 // InternalSolverLanguage.g:1:154: T__39
1302 { 2064 {
1303 mT__35(); 2065 mT__39();
1304 2066
1305 } 2067 }
1306 break; 2068 break;
1307 case 26 : 2069 case 26 :
1308 // InternalSolverLanguage.g:1:160: T__36 2070 // InternalSolverLanguage.g:1:160: T__40
1309 { 2071 {
1310 mT__36(); 2072 mT__40();
1311 2073
1312 } 2074 }
1313 break; 2075 break;
1314 case 27 : 2076 case 27 :
1315 // InternalSolverLanguage.g:1:166: T__37 2077 // InternalSolverLanguage.g:1:166: T__41
1316 { 2078 {
1317 mT__37(); 2079 mT__41();
1318 2080
1319 } 2081 }
1320 break; 2082 break;
1321 case 28 : 2083 case 28 :
1322 // InternalSolverLanguage.g:1:172: T__38 2084 // InternalSolverLanguage.g:1:172: T__42
1323 { 2085 {
1324 mT__38(); 2086 mT__42();
1325 2087
1326 } 2088 }
1327 break; 2089 break;
1328 case 29 : 2090 case 29 :
1329 // InternalSolverLanguage.g:1:178: T__39 2091 // InternalSolverLanguage.g:1:178: T__43
1330 { 2092 {
1331 mT__39(); 2093 mT__43();
1332 2094
1333 } 2095 }
1334 break; 2096 break;
1335 case 30 : 2097 case 30 :
1336 // InternalSolverLanguage.g:1:184: T__40 2098 // InternalSolverLanguage.g:1:184: T__44
1337 { 2099 {
1338 mT__40(); 2100 mT__44();
1339 2101
1340 } 2102 }
1341 break; 2103 break;
1342 case 31 : 2104 case 31 :
1343 // InternalSolverLanguage.g:1:190: T__41 2105 // InternalSolverLanguage.g:1:190: T__45
1344 { 2106 {
1345 mT__41(); 2107 mT__45();
1346 2108
1347 } 2109 }
1348 break; 2110 break;
1349 case 32 : 2111 case 32 :
1350 // InternalSolverLanguage.g:1:196: RULE_STRING 2112 // InternalSolverLanguage.g:1:196: T__46
1351 { 2113 {
1352 mRULE_STRING(); 2114 mT__46();
1353 2115
1354 } 2116 }
1355 break; 2117 break;
1356 case 33 : 2118 case 33 :
1357 // InternalSolverLanguage.g:1:208: RULE_ID 2119 // InternalSolverLanguage.g:1:202: T__47
1358 { 2120 {
1359 mRULE_ID(); 2121 mT__47();
1360 2122
1361 } 2123 }
1362 break; 2124 break;
1363 case 34 : 2125 case 34 :
1364 // InternalSolverLanguage.g:1:216: RULE_INT 2126 // InternalSolverLanguage.g:1:208: T__48
1365 { 2127 {
1366 mRULE_INT(); 2128 mT__48();
1367 2129
1368 } 2130 }
1369 break; 2131 break;
1370 case 35 : 2132 case 35 :
1371 // InternalSolverLanguage.g:1:225: RULE_ML_COMMENT 2133 // InternalSolverLanguage.g:1:214: T__49
1372 { 2134 {
1373 mRULE_ML_COMMENT(); 2135 mT__49();
1374 2136
1375 } 2137 }
1376 break; 2138 break;
1377 case 36 : 2139 case 36 :
1378 // InternalSolverLanguage.g:1:241: RULE_SL_COMMENT 2140 // InternalSolverLanguage.g:1:220: T__50
1379 { 2141 {
1380 mRULE_SL_COMMENT(); 2142 mT__50();
1381 2143
1382 } 2144 }
1383 break; 2145 break;
1384 case 37 : 2146 case 37 :
1385 // InternalSolverLanguage.g:1:257: RULE_WS 2147 // InternalSolverLanguage.g:1:226: T__51
1386 { 2148 {
1387 mRULE_WS(); 2149 mT__51();
1388 2150
1389 } 2151 }
1390 break; 2152 break;
1391 case 38 : 2153 case 38 :
1392 // InternalSolverLanguage.g:1:265: RULE_ANY_OTHER 2154 // InternalSolverLanguage.g:1:232: T__52
2155 {
2156 mT__52();
2157
2158 }
2159 break;
2160 case 39 :
2161 // InternalSolverLanguage.g:1:238: T__53
2162 {
2163 mT__53();
2164
2165 }
2166 break;
2167 case 40 :
2168 // InternalSolverLanguage.g:1:244: T__54
2169 {
2170 mT__54();
2171
2172 }
2173 break;
2174 case 41 :
2175 // InternalSolverLanguage.g:1:250: T__55
2176 {
2177 mT__55();
2178
2179 }
2180 break;
2181 case 42 :
2182 // InternalSolverLanguage.g:1:256: T__56
2183 {
2184 mT__56();
2185
2186 }
2187 break;
2188 case 43 :
2189 // InternalSolverLanguage.g:1:262: T__57
2190 {
2191 mT__57();
2192
2193 }
2194 break;
2195 case 44 :
2196 // InternalSolverLanguage.g:1:268: T__58
2197 {
2198 mT__58();
2199
2200 }
2201 break;
2202 case 45 :
2203 // InternalSolverLanguage.g:1:274: T__59
2204 {
2205 mT__59();
2206
2207 }
2208 break;
2209 case 46 :
2210 // InternalSolverLanguage.g:1:280: T__60
2211 {
2212 mT__60();
2213
2214 }
2215 break;
2216 case 47 :
2217 // InternalSolverLanguage.g:1:286: T__61
2218 {
2219 mT__61();
2220
2221 }
2222 break;
2223 case 48 :
2224 // InternalSolverLanguage.g:1:292: T__62
2225 {
2226 mT__62();
2227
2228 }
2229 break;
2230 case 49 :
2231 // InternalSolverLanguage.g:1:298: T__63
2232 {
2233 mT__63();
2234
2235 }
2236 break;
2237 case 50 :
2238 // InternalSolverLanguage.g:1:304: T__64
2239 {
2240 mT__64();
2241
2242 }
2243 break;
2244 case 51 :
2245 // InternalSolverLanguage.g:1:310: T__65
2246 {
2247 mT__65();
2248
2249 }
2250 break;
2251 case 52 :
2252 // InternalSolverLanguage.g:1:316: T__66
2253 {
2254 mT__66();
2255
2256 }
2257 break;
2258 case 53 :
2259 // InternalSolverLanguage.g:1:322: T__67
2260 {
2261 mT__67();
2262
2263 }
2264 break;
2265 case 54 :
2266 // InternalSolverLanguage.g:1:328: T__68
2267 {
2268 mT__68();
2269
2270 }
2271 break;
2272 case 55 :
2273 // InternalSolverLanguage.g:1:334: T__69
2274 {
2275 mT__69();
2276
2277 }
2278 break;
2279 case 56 :
2280 // InternalSolverLanguage.g:1:340: T__70
2281 {
2282 mT__70();
2283
2284 }
2285 break;
2286 case 57 :
2287 // InternalSolverLanguage.g:1:346: T__71
2288 {
2289 mT__71();
2290
2291 }
2292 break;
2293 case 58 :
2294 // InternalSolverLanguage.g:1:352: T__72
2295 {
2296 mT__72();
2297
2298 }
2299 break;
2300 case 59 :
2301 // InternalSolverLanguage.g:1:358: T__73
2302 {
2303 mT__73();
2304
2305 }
2306 break;
2307 case 60 :
2308 // InternalSolverLanguage.g:1:364: T__74
2309 {
2310 mT__74();
2311
2312 }
2313 break;
2314 case 61 :
2315 // InternalSolverLanguage.g:1:370: RULE_STRING
2316 {
2317 mRULE_STRING();
2318
2319 }
2320 break;
2321 case 62 :
2322 // InternalSolverLanguage.g:1:382: RULE_QUOTED_ID
2323 {
2324 mRULE_QUOTED_ID();
2325
2326 }
2327 break;
2328 case 63 :
2329 // InternalSolverLanguage.g:1:397: RULE_PLUS
2330 {
2331 mRULE_PLUS();
2332
2333 }
2334 break;
2335 case 64 :
2336 // InternalSolverLanguage.g:1:407: RULE_STAR
2337 {
2338 mRULE_STAR();
2339
2340 }
2341 break;
2342 case 65 :
2343 // InternalSolverLanguage.g:1:417: RULE_DOT
2344 {
2345 mRULE_DOT();
2346
2347 }
2348 break;
2349 case 66 :
2350 // InternalSolverLanguage.g:1:426: RULE_ID
2351 {
2352 mRULE_ID();
2353
2354 }
2355 break;
2356 case 67 :
2357 // InternalSolverLanguage.g:1:434: RULE_INT
2358 {
2359 mRULE_INT();
2360
2361 }
2362 break;
2363 case 68 :
2364 // InternalSolverLanguage.g:1:443: RULE_ML_COMMENT
2365 {
2366 mRULE_ML_COMMENT();
2367
2368 }
2369 break;
2370 case 69 :
2371 // InternalSolverLanguage.g:1:459: RULE_SL_COMMENT
2372 {
2373 mRULE_SL_COMMENT();
2374
2375 }
2376 break;
2377 case 70 :
2378 // InternalSolverLanguage.g:1:475: RULE_WS
2379 {
2380 mRULE_WS();
2381
2382 }
2383 break;
2384 case 71 :
2385 // InternalSolverLanguage.g:1:483: RULE_ANY_OTHER
1393 { 2386 {
1394 mRULE_ANY_OTHER(); 2387 mRULE_ANY_OTHER();
1395 2388
@@ -1401,286 +2394,408 @@ public class InternalSolverLanguageLexer extends Lexer {
1401 } 2394 }
1402 2395
1403 2396
1404 protected DFA10 dfa10 = new DFA10(this); 2397 protected DFA11 dfa11 = new DFA11(this);
1405 static final String DFA10_eotS = 2398 static final String DFA11_eotS =
1406 "\2\uffff\1\41\4\43\3\uffff\1\56\4\43\4\uffff\3\43\2\uffff\2\36\2\uffff\1\36\5\uffff\1\43\1\uffff\6\43\5\uffff\4\43\4\uffff\4\43\7\uffff\11\43\1\134\7\43\1\144\6\43\1\153\1\154\1\uffff\1\155\6\43\1\uffff\1\164\1\43\1\166\3\43\3\uffff\4\43\1\176\1\43\1\uffff\1\43\1\uffff\1\u0081\1\43\1\u0083\1\43\1\u0085\2\43\1\uffff\1\43\1\u0089\1\uffff\1\u008a\1\uffff\1\43\1\uffff\1\u008c\2\43\2\uffff\1\u008f\1\uffff\1\u0090\1\43\2\uffff\2\43\1\u0094\1\uffff"; 2399 "\1\uffff\1\51\1\53\3\56\1\65\2\56\1\uffff\1\74\1\uffff\1\56\10\uffff\3\56\1\121\1\123\1\56\1\126\1\uffff\1\132\1\133\3\56\2\47\10\uffff\2\56\1\uffff\5\56\2\uffff\1\154\1\157\2\56\4\uffff\3\56\10\uffff\7\56\4\uffff\1\56\7\uffff\5\56\4\uffff\7\56\1\uffff\1\u008b\1\u008c\1\uffff\7\56\1\u0094\3\56\1\u0098\2\56\1\u009b\1\u009d\1\56\1\u00a0\6\56\1\u00a8\2\56\2\uffff\1\u00ab\1\u00ac\5\56\1\uffff\1\56\1\u00b3\1\56\1\uffff\1\56\1\u00b6\1\uffff\1\56\1\uffff\1\u00b8\1\56\1\uffff\1\u00ba\2\56\1\u00bd\1\u00be\2\56\1\uffff\1\u00c1\1\56\2\uffff\1\u00c3\1\56\1\u00c5\3\56\1\uffff\1\u00c9\1\56\1\uffff\1\56\1\uffff\1\56\1\uffff\2\56\2\uffff\1\u00cf\1\56\1\uffff\1\56\1\uffff\1\56\1\uffff\3\56\1\uffff\5\56\1\uffff\1\u00db\1\u00dc\1\56\1\u00de\5\56\1\u00e4\1\56\2\uffff\1\u00e6\1\uffff\1\u00e7\1\u00e8\1\56\1\u00ea\1\u00eb\1\uffff\1\56\3\uffff\1\56\2\uffff\1\u00ee\6\uffff";
1407 static final String DFA10_eofS = 2400 static final String DFA11_eofS =
1408 "\u0095\uffff"; 2401 "\u00f3\uffff";
1409 static final String DFA10_minS = 2402 static final String DFA11_minS =
1410 "\1\0\1\uffff\1\56\1\162\1\141\2\156\3\uffff\1\55\1\157\1\156\1\145\1\164\4\uffff\1\145\1\142\1\154\2\uffff\1\0\1\101\2\uffff\1\52\5\uffff\1\165\1\uffff\1\154\1\153\1\162\1\151\2\165\5\uffff\1\157\1\164\1\141\1\162\4\uffff\1\146\1\163\1\141\1\156\7\uffff\1\145\1\163\1\156\1\157\1\163\1\145\1\141\1\155\1\154\1\60\1\154\1\141\1\151\1\141\1\164\1\163\1\164\1\60\1\145\1\157\1\162\1\164\1\156\1\154\2\60\1\uffff\1\60\1\164\1\156\1\165\1\162\1\163\1\141\1\uffff\1\60\1\167\1\60\1\163\1\144\1\163\3\uffff\1\151\1\147\1\154\1\141\1\60\1\151\1\uffff\1\156\1\uffff\1\60\1\163\1\60\1\157\1\60\1\164\1\143\1\uffff\1\156\1\60\1\uffff\1\60\1\uffff\1\156\1\uffff\1\60\1\164\1\155\2\uffff\1\60\1\uffff\1\60\1\145\2\uffff\1\156\1\164\1\60\1\uffff"; 2403 "\1\0\1\55\1\75\1\141\1\154\1\145\1\56\1\146\1\150\1\uffff\1\76\1\uffff\1\154\10\uffff\1\142\1\156\1\143\2\75\1\145\1\75\1\uffff\1\52\1\101\1\141\1\162\1\156\2\0\10\uffff\1\156\1\154\1\uffff\1\162\1\164\1\163\1\160\1\146\2\uffff\2\60\1\145\1\165\4\uffff\1\156\1\141\1\162\10\uffff\1\163\1\147\1\160\1\154\1\157\1\155\1\156\4\uffff\1\141\7\uffff\1\170\1\163\1\156\1\157\1\153\4\uffff\1\143\1\163\1\157\2\145\1\164\1\141\1\uffff\2\60\1\uffff\1\156\1\145\1\156\1\164\1\163\1\162\1\164\1\60\1\157\1\171\1\160\1\60\1\164\1\154\2\60\1\164\1\60\1\144\1\156\1\164\1\145\1\162\1\156\1\60\1\171\1\165\2\uffff\2\60\1\164\1\141\1\163\1\145\1\162\1\uffff\1\163\1\60\1\145\1\uffff\1\150\1\60\1\uffff\1\155\1\uffff\1\60\1\155\1\uffff\1\60\1\157\1\151\2\60\1\156\1\144\1\uffff\1\60\1\154\2\uffff\1\60\1\151\1\60\1\156\1\141\1\151\1\uffff\1\60\1\145\1\uffff\1\151\1\uffff\1\151\1\uffff\1\167\1\157\2\uffff\1\60\1\163\1\uffff\1\164\1\uffff\1\156\1\uffff\1\164\1\143\1\164\1\uffff\1\164\2\172\2\156\1\uffff\2\60\1\163\1\60\1\164\1\145\1\151\2\145\1\60\1\141\2\uffff\1\60\1\uffff\2\60\1\143\2\60\1\uffff\1\154\3\uffff\1\72\2\uffff\1\60\1\72\1\uffff\1\144\3\uffff";
1411 static final String DFA10_maxS = 2404 static final String DFA11_maxS =
1412 "\1\uffff\1\uffff\1\56\1\162\1\141\1\156\1\170\3\uffff\1\55\1\157\1\156\1\145\1\164\4\uffff\1\145\1\142\1\157\2\uffff\1\uffff\1\172\2\uffff\1\57\5\uffff\1\165\1\uffff\1\154\1\153\1\162\1\164\2\165\5\uffff\1\157\1\164\1\154\1\162\4\uffff\1\146\1\163\1\141\1\156\7\uffff\1\145\1\163\1\156\1\157\1\163\1\145\1\141\1\155\1\154\1\172\1\154\1\141\1\151\1\141\1\164\1\163\1\164\1\172\1\145\1\157\1\162\1\164\1\156\1\154\2\172\1\uffff\1\172\1\164\1\156\1\165\1\162\1\163\1\141\1\uffff\1\172\1\167\1\172\1\163\1\144\1\163\3\uffff\1\151\1\147\1\154\1\141\1\172\1\151\1\uffff\1\156\1\uffff\1\172\1\163\1\172\1\157\1\172\1\164\1\143\1\uffff\1\156\1\172\1\uffff\1\172\1\uffff\1\156\1\uffff\1\172\1\164\1\155\2\uffff\1\172\1\uffff\1\172\1\145\2\uffff\1\156\1\164\1\172\1\uffff"; 2405 "\1\uffff\1\55\1\75\1\165\1\170\1\145\1\56\1\156\1\162\1\uffff\1\76\1\uffff\1\165\10\uffff\1\166\1\160\1\171\2\75\1\145\1\75\1\uffff\1\57\1\172\1\165\1\162\1\156\2\uffff\10\uffff\1\156\1\154\1\uffff\1\162\1\164\1\163\1\160\1\146\2\uffff\2\172\1\145\1\165\4\uffff\1\165\1\141\1\162\10\uffff\1\163\1\147\1\160\1\154\1\157\1\155\1\156\4\uffff\1\141\7\uffff\1\171\1\163\1\156\1\157\1\153\4\uffff\1\143\1\163\1\157\2\145\1\164\1\141\1\uffff\2\172\1\uffff\1\156\1\145\1\156\1\164\1\163\1\162\1\164\1\172\1\157\1\171\1\160\1\172\1\164\1\154\2\172\1\164\1\172\1\144\1\156\1\164\1\145\2\162\1\172\1\171\1\165\2\uffff\2\172\1\164\1\141\1\163\1\145\1\162\1\uffff\1\163\1\172\1\145\1\uffff\1\150\1\172\1\uffff\1\155\1\uffff\1\172\1\155\1\uffff\1\172\1\157\1\151\2\172\1\156\1\144\1\uffff\1\172\1\154\2\uffff\1\172\1\151\1\172\1\156\1\141\1\151\1\uffff\1\172\1\145\1\uffff\1\151\1\uffff\1\151\1\uffff\1\167\1\157\2\uffff\1\172\1\163\1\uffff\1\164\1\uffff\1\156\1\uffff\1\164\1\143\1\164\1\uffff\1\164\2\172\2\156\1\uffff\2\172\1\163\1\172\1\164\1\145\1\151\2\145\1\172\1\141\2\uffff\1\172\1\uffff\2\172\1\143\2\172\1\uffff\1\154\3\uffff\1\72\2\uffff\1\172\1\72\1\uffff\1\163\3\uffff";
1413 static final String DFA10_acceptS = 2406 static final String DFA11_acceptS =
1414 "\1\uffff\1\1\5\uffff\1\7\1\10\1\11\5\uffff\1\21\1\23\1\24\1\25\3\uffff\1\32\1\33\2\uffff\1\41\1\42\1\uffff\1\45\1\46\1\1\1\37\1\2\1\uffff\1\41\6\uffff\1\7\1\10\1\11\1\22\1\12\4\uffff\1\21\1\23\1\24\1\25\4\uffff\1\32\1\33\1\40\1\42\1\43\1\44\1\45\32\uffff\1\16\7\uffff\1\3\6\uffff\1\34\1\15\1\17\6\uffff\1\4\1\uffff\1\6\7\uffff\1\30\2\uffff\1\13\1\uffff\1\14\1\uffff\1\20\3\uffff\1\5\1\31\1\uffff\1\26\2\uffff\1\36\1\27\3\uffff\1\35"; 2407 "\11\uffff\1\14\1\uffff\1\16\1\uffff\1\20\1\21\1\22\1\23\1\24\1\25\1\26\1\30\7\uffff\1\52\7\uffff\1\102\1\103\1\106\1\107\1\2\1\1\1\41\1\3\2\uffff\1\102\5\uffff\1\27\1\10\4\uffff\1\14\1\15\1\53\1\16\3\uffff\1\20\1\21\1\22\1\23\1\24\1\25\1\26\1\30\7\uffff\1\42\1\47\1\43\1\50\1\uffff\1\46\1\56\1\52\1\104\1\105\1\54\1\55\5\uffff\1\75\1\76\1\103\1\106\7\uffff\1\11\2\uffff\1\51\33\uffff\1\31\1\44\7\uffff\1\65\3\uffff\1\63\2\uffff\1\57\1\uffff\1\67\2\uffff\1\66\7\uffff\1\13\2\uffff\1\12\1\70\6\uffff\1\62\2\uffff\1\45\1\uffff\1\60\1\uffff\1\64\2\uffff\1\71\1\5\2\uffff\1\32\1\uffff\1\17\1\uffff\1\34\3\uffff\1\40\5\uffff\1\7\13\uffff\1\35\1\6\1\uffff\1\61\5\uffff\1\72\1\uffff\1\36\1\33\1\37\1\uffff\1\74\1\73\2\uffff\1\4\1\uffff\1\77\1\100\1\101";
1415 static final String DFA10_specialS = 2408 static final String DFA11_specialS =
1416 "\1\0\27\uffff\1\1\174\uffff}>"; 2409 "\1\1\41\uffff\1\2\1\0\u00cf\uffff}>";
1417 static final String[] DFA10_transitionS = { 2410 static final String[] DFA11_transitionS = {
1418 "\11\36\2\35\2\36\1\35\22\36\1\35\1\36\1\30\4\36\1\17\1\7\1\11\1\22\1\21\1\10\1\1\1\2\1\34\12\33\1\12\6\36\32\32\3\36\1\31\1\32\1\36\1\24\1\13\1\25\1\23\1\6\1\4\2\32\1\14\10\32\1\15\1\16\1\3\1\5\5\32\1\26\1\20\1\27\uff82\36", 2411 "\11\47\2\46\2\47\1\46\22\47\1\46\1\33\1\42\4\47\1\43\1\20\1\21\1\22\1\34\1\13\1\12\1\6\1\35\12\45\1\1\1\11\1\30\1\2\1\31\2\47\32\44\1\23\1\47\1\24\1\36\1\44\1\47\1\25\1\44\1\14\1\5\1\4\1\3\2\44\1\7\3\44\1\37\1\44\1\26\1\40\1\44\1\32\1\27\1\10\1\41\5\44\1\15\1\17\1\16\uff82\47",
2412 "\1\50",
2413 "\1\52",
2414 "\1\55\23\uffff\1\54",
2415 "\1\61\1\62\4\uffff\1\57\5\uffff\1\60",
2416 "\1\63",
2417 "\1\64",
2418 "\1\66\7\uffff\1\67",
2419 "\1\70\11\uffff\1\71",
1419 "", 2420 "",
1420 "\1\40", 2421 "\1\73",
1421 "\1\42",
1422 "\1\44",
1423 "\1\45",
1424 "\1\51\2\uffff\1\50\1\46\5\uffff\1\47",
1425 "", 2422 "",
2423 "\1\77\2\uffff\1\76\5\uffff\1\100",
1426 "", 2424 "",
1427 "", 2425 "",
1428 "\1\55",
1429 "\1\57",
1430 "\1\60",
1431 "\1\61",
1432 "\1\62",
1433 "", 2426 "",
1434 "", 2427 "",
1435 "", 2428 "",
1436 "", 2429 "",
1437 "\1\67",
1438 "\1\70",
1439 "\1\71\2\uffff\1\72",
1440 "", 2430 "",
1441 "", 2431 "",
1442 "\0\75", 2432 "\1\111\23\uffff\1\112",
1443 "\32\43\4\uffff\1\43\1\uffff\32\43", 2433 "\1\114\1\uffff\1\113",
1444 "", 2434 "\1\115\21\uffff\1\116\3\uffff\1\117",
1445 "", 2435 "\1\120",
1446 "\1\77\4\uffff\1\100", 2436 "\1\122",
2437 "\1\124",
2438 "\1\125",
1447 "", 2439 "",
2440 "\1\130\4\uffff\1\131",
2441 "\32\56\4\uffff\1\56\1\uffff\32\56",
2442 "\1\134\7\uffff\1\136\13\uffff\1\135",
2443 "\1\137",
2444 "\1\140",
2445 "\0\141",
2446 "\0\142",
1448 "", 2447 "",
1449 "", 2448 "",
1450 "", 2449 "",
1451 "", 2450 "",
1452 "\1\102",
1453 "", 2451 "",
1454 "\1\103",
1455 "\1\104",
1456 "\1\105",
1457 "\1\106\12\uffff\1\107",
1458 "\1\110",
1459 "\1\111",
1460 "", 2452 "",
1461 "", 2453 "",
1462 "", 2454 "",
2455 "\1\145",
2456 "\1\146",
1463 "", 2457 "",
2458 "\1\147",
2459 "\1\150",
2460 "\1\151",
2461 "\1\152",
2462 "\1\153",
1464 "", 2463 "",
1465 "\1\112",
1466 "\1\113",
1467 "\1\114\12\uffff\1\115",
1468 "\1\116",
1469 "", 2464 "",
2465 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2466 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\5\56\1\155\15\56\1\156\6\56",
2467 "\1\160",
2468 "\1\161",
1470 "", 2469 "",
1471 "", 2470 "",
1472 "", 2471 "",
1473 "\1\117",
1474 "\1\120",
1475 "\1\121",
1476 "\1\122",
1477 "", 2472 "",
2473 "\1\163\6\uffff\1\162",
2474 "\1\164",
2475 "\1\165",
1478 "", 2476 "",
1479 "", 2477 "",
1480 "", 2478 "",
1481 "", 2479 "",
1482 "", 2480 "",
1483 "", 2481 "",
1484 "\1\123",
1485 "\1\124",
1486 "\1\125",
1487 "\1\126",
1488 "\1\127",
1489 "\1\130",
1490 "\1\131",
1491 "\1\132",
1492 "\1\133",
1493 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1494 "\1\135",
1495 "\1\136",
1496 "\1\137",
1497 "\1\140",
1498 "\1\141",
1499 "\1\142",
1500 "\1\143",
1501 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1502 "\1\145",
1503 "\1\146",
1504 "\1\147",
1505 "\1\150",
1506 "\1\151",
1507 "\1\152",
1508 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1509 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1510 "", 2482 "",
1511 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1512 "\1\156",
1513 "\1\157",
1514 "\1\160",
1515 "\1\161",
1516 "\1\162",
1517 "\1\163",
1518 "", 2483 "",
1519 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", 2484 "\1\166",
1520 "\1\165",
1521 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1522 "\1\167", 2485 "\1\167",
1523 "\1\170", 2486 "\1\170",
1524 "\1\171", 2487 "\1\171",
1525 "",
1526 "",
1527 "",
1528 "\1\172", 2488 "\1\172",
1529 "\1\173", 2489 "\1\173",
1530 "\1\174", 2490 "\1\174",
2491 "",
2492 "",
2493 "",
2494 "",
1531 "\1\175", 2495 "\1\175",
1532 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1533 "\1\177",
1534 "", 2496 "",
1535 "\1\u0080",
1536 "", 2497 "",
1537 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", 2498 "",
2499 "",
2500 "",
2501 "",
2502 "",
2503 "\1\177\1\176",
2504 "\1\u0080",
2505 "\1\u0081",
1538 "\1\u0082", 2506 "\1\u0082",
1539 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", 2507 "\1\u0083",
2508 "",
2509 "",
2510 "",
2511 "",
1540 "\1\u0084", 2512 "\1\u0084",
1541 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", 2513 "\1\u0085",
1542 "\1\u0086", 2514 "\1\u0086",
1543 "\1\u0087", 2515 "\1\u0087",
1544 "",
1545 "\1\u0088", 2516 "\1\u0088",
1546 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", 2517 "\1\u0089",
1547 "", 2518 "\1\u008a",
1548 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1549 "", 2519 "",
1550 "\1\u008b", 2520 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2521 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
1551 "", 2522 "",
1552 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1553 "\1\u008d", 2523 "\1\u008d",
1554 "\1\u008e", 2524 "\1\u008e",
2525 "\1\u008f",
2526 "\1\u0090",
2527 "\1\u0091",
2528 "\1\u0092",
2529 "\1\u0093",
2530 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2531 "\1\u0095",
2532 "\1\u0096",
2533 "\1\u0097",
2534 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2535 "\1\u0099",
2536 "\1\u009a",
2537 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2538 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\10\56\1\u009c\21\56",
2539 "\1\u009e",
2540 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\10\56\1\u009f\21\56",
2541 "\1\u00a1",
2542 "\1\u00a2",
2543 "\1\u00a3",
2544 "\1\u00a4",
2545 "\1\u00a5",
2546 "\1\u00a7\3\uffff\1\u00a6",
2547 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2548 "\1\u00a9",
2549 "\1\u00aa",
1555 "", 2550 "",
1556 "", 2551 "",
1557 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", 2552 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2553 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2554 "\1\u00ad",
2555 "\1\u00ae",
2556 "\1\u00af",
2557 "\1\u00b0",
2558 "\1\u00b1",
1558 "", 2559 "",
1559 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", 2560 "\1\u00b2",
1560 "\1\u0091", 2561 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2562 "\1\u00b4",
2563 "",
2564 "\1\u00b5",
2565 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2566 "",
2567 "\1\u00b7",
2568 "",
2569 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2570 "\1\u00b9",
2571 "",
2572 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2573 "\1\u00bb",
2574 "\1\u00bc",
2575 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2576 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2577 "\1\u00bf",
2578 "\1\u00c0",
2579 "",
2580 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2581 "\1\u00c2",
2582 "",
2583 "",
2584 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2585 "\1\u00c4",
2586 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2587 "\1\u00c6",
2588 "\1\u00c7",
2589 "\1\u00c8",
2590 "",
2591 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2592 "\1\u00ca",
2593 "",
2594 "\1\u00cb",
2595 "",
2596 "\1\u00cc",
2597 "",
2598 "\1\u00cd",
2599 "\1\u00ce",
2600 "",
2601 "",
2602 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2603 "\1\u00d0",
2604 "",
2605 "\1\u00d1",
2606 "",
2607 "\1\u00d2",
2608 "",
2609 "\1\u00d3",
2610 "\1\u00d4",
2611 "\1\u00d5",
2612 "",
2613 "\1\u00d6",
2614 "\1\u00d7",
2615 "\1\u00d8",
2616 "\1\u00d9",
2617 "\1\u00da",
2618 "",
2619 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2620 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2621 "\1\u00dd",
2622 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2623 "\1\u00df",
2624 "\1\u00e0",
2625 "\1\u00e1",
2626 "\1\u00e2",
2627 "\1\u00e3",
2628 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2629 "\1\u00e5",
2630 "",
2631 "",
2632 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2633 "",
2634 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2635 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2636 "\1\u00e9",
2637 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2638 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2639 "",
2640 "\1\u00ec",
2641 "",
2642 "",
2643 "",
2644 "\1\u00ed",
2645 "",
2646 "",
2647 "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56",
2648 "\1\u00ef",
2649 "",
2650 "\1\u00f2\13\uffff\1\u00f0\2\uffff\1\u00f1",
1561 "", 2651 "",
1562 "", 2652 "",
1563 "\1\u0092",
1564 "\1\u0093",
1565 "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43",
1566 "" 2653 ""
1567 }; 2654 };
1568 2655
1569 static final short[] DFA10_eot = DFA.unpackEncodedString(DFA10_eotS); 2656 static final short[] DFA11_eot = DFA.unpackEncodedString(DFA11_eotS);
1570 static final short[] DFA10_eof = DFA.unpackEncodedString(DFA10_eofS); 2657 static final short[] DFA11_eof = DFA.unpackEncodedString(DFA11_eofS);
1571 static final char[] DFA10_min = DFA.unpackEncodedStringToUnsignedChars(DFA10_minS); 2658 static final char[] DFA11_min = DFA.unpackEncodedStringToUnsignedChars(DFA11_minS);
1572 static final char[] DFA10_max = DFA.unpackEncodedStringToUnsignedChars(DFA10_maxS); 2659 static final char[] DFA11_max = DFA.unpackEncodedStringToUnsignedChars(DFA11_maxS);
1573 static final short[] DFA10_accept = DFA.unpackEncodedString(DFA10_acceptS); 2660 static final short[] DFA11_accept = DFA.unpackEncodedString(DFA11_acceptS);
1574 static final short[] DFA10_special = DFA.unpackEncodedString(DFA10_specialS); 2661 static final short[] DFA11_special = DFA.unpackEncodedString(DFA11_specialS);
1575 static final short[][] DFA10_transition; 2662 static final short[][] DFA11_transition;
1576 2663
1577 static { 2664 static {
1578 int numStates = DFA10_transitionS.length; 2665 int numStates = DFA11_transitionS.length;
1579 DFA10_transition = new short[numStates][]; 2666 DFA11_transition = new short[numStates][];
1580 for (int i=0; i<numStates; i++) { 2667 for (int i=0; i<numStates; i++) {
1581 DFA10_transition[i] = DFA.unpackEncodedString(DFA10_transitionS[i]); 2668 DFA11_transition[i] = DFA.unpackEncodedString(DFA11_transitionS[i]);
1582 } 2669 }
1583 } 2670 }
1584 2671
1585 class DFA10 extends DFA { 2672 class DFA11 extends DFA {
1586 2673
1587 public DFA10(BaseRecognizer recognizer) { 2674 public DFA11(BaseRecognizer recognizer) {
1588 this.recognizer = recognizer; 2675 this.recognizer = recognizer;
1589 this.decisionNumber = 10; 2676 this.decisionNumber = 11;
1590 this.eot = DFA10_eot; 2677 this.eot = DFA11_eot;
1591 this.eof = DFA10_eof; 2678 this.eof = DFA11_eof;
1592 this.min = DFA10_min; 2679 this.min = DFA11_min;
1593 this.max = DFA10_max; 2680 this.max = DFA11_max;
1594 this.accept = DFA10_accept; 2681 this.accept = DFA11_accept;
1595 this.special = DFA10_special; 2682 this.special = DFA11_special;
1596 this.transition = DFA10_transition; 2683 this.transition = DFA11_transition;
1597 } 2684 }
1598 public String getDescription() { 2685 public String getDescription() {
1599 return "1:1: Tokens : ( T__11 | T__12 | T__13 | T__14 | T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | RULE_STRING | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER );"; 2686 return "1:1: Tokens : ( T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | T__42 | T__43 | T__44 | T__45 | T__46 | T__47 | T__48 | T__49 | T__50 | T__51 | T__52 | T__53 | T__54 | T__55 | T__56 | T__57 | T__58 | T__59 | T__60 | T__61 | T__62 | T__63 | T__64 | T__65 | T__66 | T__67 | T__68 | T__69 | T__70 | T__71 | T__72 | T__73 | T__74 | RULE_STRING | RULE_QUOTED_ID | RULE_PLUS | RULE_STAR | RULE_DOT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER );";
1600 } 2687 }
1601 public int specialStateTransition(int s, IntStream _input) throws NoViableAltException { 2688 public int specialStateTransition(int s, IntStream _input) throws NoViableAltException {
1602 IntStream input = _input; 2689 IntStream input = _input;
1603 int _s = s; 2690 int _s = s;
1604 switch ( s ) { 2691 switch ( s ) {
1605 case 0 : 2692 case 0 :
1606 int LA10_0 = input.LA(1); 2693 int LA11_35 = input.LA(1);
1607 2694
1608 s = -1; 2695 s = -1;
1609 if ( (LA10_0=='-') ) {s = 1;} 2696 if ( ((LA11_35>='\u0000' && LA11_35<='\uFFFF')) ) {s = 98;}
1610 2697
1611 else if ( (LA10_0=='.') ) {s = 2;} 2698 else s = 39;
1612 2699
1613 else if ( (LA10_0=='t') ) {s = 3;} 2700 if ( s>=0 ) return s;
2701 break;
2702 case 1 :
2703 int LA11_0 = input.LA(1);
2704
2705 s = -1;
2706 if ( (LA11_0==':') ) {s = 1;}
2707
2708 else if ( (LA11_0=='=') ) {s = 2;}
2709
2710 else if ( (LA11_0=='f') ) {s = 3;}
2711
2712 else if ( (LA11_0=='e') ) {s = 4;}
2713
2714 else if ( (LA11_0=='d') ) {s = 5;}
2715
2716 else if ( (LA11_0=='.') ) {s = 6;}
1614 2717
1615 else if ( (LA10_0=='f') ) {s = 4;} 2718 else if ( (LA11_0=='i') ) {s = 7;}
1616 2719
1617 else if ( (LA10_0=='u') ) {s = 5;} 2720 else if ( (LA11_0=='t') ) {s = 8;}
1618 2721
1619 else if ( (LA10_0=='e') ) {s = 6;} 2722 else if ( (LA11_0==';') ) {s = 9;}
1620 2723
1621 else if ( (LA10_0=='(') ) {s = 7;} 2724 else if ( (LA11_0=='-') ) {s = 10;}
1622 2725
1623 else if ( (LA10_0==',') ) {s = 8;} 2726 else if ( (LA11_0==',') ) {s = 11;}
1624 2727
1625 else if ( (LA10_0==')') ) {s = 9;} 2728 else if ( (LA11_0=='c') ) {s = 12;}
1626 2729
1627 else if ( (LA10_0==':') ) {s = 10;} 2730 else if ( (LA11_0=='{') ) {s = 13;}
1628 2731
1629 else if ( (LA10_0=='b') ) {s = 11;} 2732 else if ( (LA11_0=='}') ) {s = 14;}
1630 2733
1631 else if ( (LA10_0=='i') ) {s = 12;} 2734 else if ( (LA11_0=='|') ) {s = 15;}
1632 2735
1633 else if ( (LA10_0=='r') ) {s = 13;} 2736 else if ( (LA11_0=='(') ) {s = 16;}
1634 2737
1635 else if ( (LA10_0=='s') ) {s = 14;} 2738 else if ( (LA11_0==')') ) {s = 17;}
1636 2739
1637 else if ( (LA10_0=='\'') ) {s = 15;} 2740 else if ( (LA11_0=='*') ) {s = 18;}
1638 2741
1639 else if ( (LA10_0=='|') ) {s = 16;} 2742 else if ( (LA11_0=='[') ) {s = 19;}
1640 2743
1641 else if ( (LA10_0=='+') ) {s = 17;} 2744 else if ( (LA11_0==']') ) {s = 20;}
1642 2745
1643 else if ( (LA10_0=='*') ) {s = 18;} 2746 else if ( (LA11_0=='a') ) {s = 21;}
1644 2747
1645 else if ( (LA10_0=='d') ) {s = 19;} 2748 else if ( (LA11_0=='o') ) {s = 22;}
1646 2749
1647 else if ( (LA10_0=='a') ) {s = 20;} 2750 else if ( (LA11_0=='s') ) {s = 23;}
1648 2751
1649 else if ( (LA10_0=='c') ) {s = 21;} 2752 else if ( (LA11_0=='<') ) {s = 24;}
1650 2753
1651 else if ( (LA10_0=='{') ) {s = 22;} 2754 else if ( (LA11_0=='>') ) {s = 25;}
1652 2755
1653 else if ( (LA10_0=='}') ) {s = 23;} 2756 else if ( (LA11_0=='r') ) {s = 26;}
1654 2757
1655 else if ( (LA10_0=='\"') ) {s = 24;} 2758 else if ( (LA11_0=='!') ) {s = 27;}
1656 2759
1657 else if ( (LA10_0=='^') ) {s = 25;} 2760 else if ( (LA11_0=='+') ) {s = 28;}
1658 2761
1659 else if ( ((LA10_0>='A' && LA10_0<='Z')||LA10_0=='_'||(LA10_0>='g' && LA10_0<='h')||(LA10_0>='j' && LA10_0<='q')||(LA10_0>='v' && LA10_0<='z')) ) {s = 26;} 2762 else if ( (LA11_0=='/') ) {s = 29;}
1660 2763
1661 else if ( ((LA10_0>='0' && LA10_0<='9')) ) {s = 27;} 2764 else if ( (LA11_0=='^') ) {s = 30;}
1662 2765
1663 else if ( (LA10_0=='/') ) {s = 28;} 2766 else if ( (LA11_0=='m') ) {s = 31;}
1664 2767
1665 else if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) {s = 29;} 2768 else if ( (LA11_0=='p') ) {s = 32;}
1666 2769
1667 else if ( ((LA10_0>='\u0000' && LA10_0<='\b')||(LA10_0>='\u000B' && LA10_0<='\f')||(LA10_0>='\u000E' && LA10_0<='\u001F')||LA10_0=='!'||(LA10_0>='#' && LA10_0<='&')||(LA10_0>=';' && LA10_0<='@')||(LA10_0>='[' && LA10_0<=']')||LA10_0=='`'||(LA10_0>='~' && LA10_0<='\uFFFF')) ) {s = 30;} 2770 else if ( (LA11_0=='u') ) {s = 33;}
2771
2772 else if ( (LA11_0=='\"') ) {s = 34;}
2773
2774 else if ( (LA11_0=='\'') ) {s = 35;}
2775
2776 else if ( ((LA11_0>='A' && LA11_0<='Z')||LA11_0=='_'||LA11_0=='b'||(LA11_0>='g' && LA11_0<='h')||(LA11_0>='j' && LA11_0<='l')||LA11_0=='n'||LA11_0=='q'||(LA11_0>='v' && LA11_0<='z')) ) {s = 36;}
2777
2778 else if ( ((LA11_0>='0' && LA11_0<='9')) ) {s = 37;}
2779
2780 else if ( ((LA11_0>='\t' && LA11_0<='\n')||LA11_0=='\r'||LA11_0==' ') ) {s = 38;}
2781
2782 else if ( ((LA11_0>='\u0000' && LA11_0<='\b')||(LA11_0>='\u000B' && LA11_0<='\f')||(LA11_0>='\u000E' && LA11_0<='\u001F')||(LA11_0>='#' && LA11_0<='&')||(LA11_0>='?' && LA11_0<='@')||LA11_0=='\\'||LA11_0=='`'||(LA11_0>='~' && LA11_0<='\uFFFF')) ) {s = 39;}
1668 2783
1669 if ( s>=0 ) return s; 2784 if ( s>=0 ) return s;
1670 break; 2785 break;
1671 case 1 : 2786 case 2 :
1672 int LA10_24 = input.LA(1); 2787 int LA11_34 = input.LA(1);
1673 2788
1674 s = -1; 2789 s = -1;
1675 if ( ((LA10_24>='\u0000' && LA10_24<='\uFFFF')) ) {s = 61;} 2790 if ( ((LA11_34>='\u0000' && LA11_34<='\uFFFF')) ) {s = 97;}
1676 2791
1677 else s = 30; 2792 else s = 39;
1678 2793
1679 if ( s>=0 ) return s; 2794 if ( s>=0 ) return s;
1680 break; 2795 break;
1681 } 2796 }
1682 NoViableAltException nvae = 2797 NoViableAltException nvae =
1683 new NoViableAltException(getDescription(), 10, _s, input); 2798 new NoViableAltException(getDescription(), 11, _s, input);
1684 error(nvae); 2799 error(nvae);
1685 throw nvae; 2800 throw nvae;
1686 } 2801 }
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 15:16:08 +0000