diff options
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.java | 397 |
1 files changed, 209 insertions, 188 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 f8cb627c..53c80216 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 | |||
@@ -48,6 +48,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
48 | public static final int T__24=24; | 48 | public static final int T__24=24; |
49 | public static final int T__25=25; | 49 | public static final int T__25=25; |
50 | public static final int T__40=40; | 50 | public static final int T__40=40; |
51 | public static final int T__41=41; | ||
51 | public static final int T__20=20; | 52 | public static final int T__20=20; |
52 | public static final int T__21=21; | 53 | public static final int T__21=21; |
53 | 54 | ||
@@ -213,10 +214,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
213 | try { | 214 | try { |
214 | int _type = T__18; | 215 | int _type = T__18; |
215 | int _channel = DEFAULT_TOKEN_CHANNEL; | 216 | int _channel = DEFAULT_TOKEN_CHANNEL; |
216 | // InternalSolverLanguage.g:18:7: ( ')' ) | 217 | // InternalSolverLanguage.g:18:7: ( ',' ) |
217 | // InternalSolverLanguage.g:18:9: ')' | 218 | // InternalSolverLanguage.g:18:9: ',' |
218 | { | 219 | { |
219 | match(')'); | 220 | match(','); |
220 | 221 | ||
221 | } | 222 | } |
222 | 223 | ||
@@ -233,10 +234,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
233 | try { | 234 | try { |
234 | int _type = T__19; | 235 | int _type = T__19; |
235 | int _channel = DEFAULT_TOKEN_CHANNEL; | 236 | int _channel = DEFAULT_TOKEN_CHANNEL; |
236 | // InternalSolverLanguage.g:19:7: ( ':' ) | 237 | // InternalSolverLanguage.g:19:7: ( ')' ) |
237 | // InternalSolverLanguage.g:19:9: ':' | 238 | // InternalSolverLanguage.g:19:9: ')' |
238 | { | 239 | { |
239 | match(':'); | 240 | match(')'); |
240 | 241 | ||
241 | } | 242 | } |
242 | 243 | ||
@@ -253,11 +254,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
253 | try { | 254 | try { |
254 | int _type = T__20; | 255 | int _type = T__20; |
255 | int _channel = DEFAULT_TOKEN_CHANNEL; | 256 | int _channel = DEFAULT_TOKEN_CHANNEL; |
256 | // InternalSolverLanguage.g:20:7: ( 'exists' ) | 257 | // InternalSolverLanguage.g:20:7: ( ':' ) |
257 | // InternalSolverLanguage.g:20:9: 'exists' | 258 | // InternalSolverLanguage.g:20:9: ':' |
258 | { | 259 | { |
259 | match("exists"); | 260 | match(':'); |
260 | |||
261 | 261 | ||
262 | } | 262 | } |
263 | 263 | ||
@@ -274,10 +274,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
274 | try { | 274 | try { |
275 | int _type = T__21; | 275 | int _type = T__21; |
276 | int _channel = DEFAULT_TOKEN_CHANNEL; | 276 | int _channel = DEFAULT_TOKEN_CHANNEL; |
277 | // InternalSolverLanguage.g:21:7: ( 'equals' ) | 277 | // InternalSolverLanguage.g:21:7: ( 'exists' ) |
278 | // InternalSolverLanguage.g:21:9: 'equals' | 278 | // InternalSolverLanguage.g:21:9: 'exists' |
279 | { | 279 | { |
280 | match("equals"); | 280 | match("exists"); |
281 | 281 | ||
282 | 282 | ||
283 | } | 283 | } |
@@ -295,10 +295,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
295 | try { | 295 | try { |
296 | int _type = T__22; | 296 | int _type = T__22; |
297 | int _channel = DEFAULT_TOKEN_CHANNEL; | 297 | int _channel = DEFAULT_TOKEN_CHANNEL; |
298 | // InternalSolverLanguage.g:22:7: ( 'bool' ) | 298 | // InternalSolverLanguage.g:22:7: ( 'equals' ) |
299 | // InternalSolverLanguage.g:22:9: 'bool' | 299 | // InternalSolverLanguage.g:22:9: 'equals' |
300 | { | 300 | { |
301 | match("bool"); | 301 | match("equals"); |
302 | 302 | ||
303 | 303 | ||
304 | } | 304 | } |
@@ -316,10 +316,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
316 | try { | 316 | try { |
317 | int _type = T__23; | 317 | int _type = T__23; |
318 | int _channel = DEFAULT_TOKEN_CHANNEL; | 318 | int _channel = DEFAULT_TOKEN_CHANNEL; |
319 | // InternalSolverLanguage.g:23:7: ( 'int' ) | 319 | // InternalSolverLanguage.g:23:7: ( 'bool' ) |
320 | // InternalSolverLanguage.g:23:9: 'int' | 320 | // InternalSolverLanguage.g:23:9: 'bool' |
321 | { | 321 | { |
322 | match("int"); | 322 | match("bool"); |
323 | 323 | ||
324 | 324 | ||
325 | } | 325 | } |
@@ -337,10 +337,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
337 | try { | 337 | try { |
338 | int _type = T__24; | 338 | int _type = T__24; |
339 | int _channel = DEFAULT_TOKEN_CHANNEL; | 339 | int _channel = DEFAULT_TOKEN_CHANNEL; |
340 | // InternalSolverLanguage.g:24:7: ( 'real' ) | 340 | // InternalSolverLanguage.g:24:7: ( 'int' ) |
341 | // InternalSolverLanguage.g:24:9: 'real' | 341 | // InternalSolverLanguage.g:24:9: 'int' |
342 | { | 342 | { |
343 | match("real"); | 343 | match("int"); |
344 | 344 | ||
345 | 345 | ||
346 | } | 346 | } |
@@ -358,10 +358,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
358 | try { | 358 | try { |
359 | int _type = T__25; | 359 | int _type = T__25; |
360 | int _channel = DEFAULT_TOKEN_CHANNEL; | 360 | int _channel = DEFAULT_TOKEN_CHANNEL; |
361 | // InternalSolverLanguage.g:25:7: ( 'string' ) | 361 | // InternalSolverLanguage.g:25:7: ( 'real' ) |
362 | // InternalSolverLanguage.g:25:9: 'string' | 362 | // InternalSolverLanguage.g:25:9: 'real' |
363 | { | 363 | { |
364 | match("string"); | 364 | match("real"); |
365 | 365 | ||
366 | 366 | ||
367 | } | 367 | } |
@@ -379,10 +379,11 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
379 | try { | 379 | try { |
380 | int _type = T__26; | 380 | int _type = T__26; |
381 | int _channel = DEFAULT_TOKEN_CHANNEL; | 381 | int _channel = DEFAULT_TOKEN_CHANNEL; |
382 | // InternalSolverLanguage.g:26:7: ( '\\'' ) | 382 | // InternalSolverLanguage.g:26:7: ( 'string' ) |
383 | // InternalSolverLanguage.g:26:9: '\\'' | 383 | // InternalSolverLanguage.g:26:9: 'string' |
384 | { | 384 | { |
385 | match('\''); | 385 | match("string"); |
386 | |||
386 | 387 | ||
387 | } | 388 | } |
388 | 389 | ||
@@ -399,11 +400,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
399 | try { | 400 | try { |
400 | int _type = T__27; | 401 | int _type = T__27; |
401 | int _channel = DEFAULT_TOKEN_CHANNEL; | 402 | int _channel = DEFAULT_TOKEN_CHANNEL; |
402 | // InternalSolverLanguage.g:27:7: ( 'predicate' ) | 403 | // InternalSolverLanguage.g:27:7: ( '\\'' ) |
403 | // InternalSolverLanguage.g:27:9: 'predicate' | 404 | // InternalSolverLanguage.g:27:9: '\\'' |
404 | { | 405 | { |
405 | match("predicate"); | 406 | match('\''); |
406 | |||
407 | 407 | ||
408 | } | 408 | } |
409 | 409 | ||
@@ -420,10 +420,11 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
420 | try { | 420 | try { |
421 | int _type = T__28; | 421 | int _type = T__28; |
422 | int _channel = DEFAULT_TOKEN_CHANNEL; | 422 | int _channel = DEFAULT_TOKEN_CHANNEL; |
423 | // InternalSolverLanguage.g:28:7: ( '|' ) | 423 | // InternalSolverLanguage.g:28:7: ( ':-' ) |
424 | // InternalSolverLanguage.g:28:9: '|' | 424 | // InternalSolverLanguage.g:28:9: ':-' |
425 | { | 425 | { |
426 | match('|'); | 426 | match(":-"); |
427 | |||
427 | 428 | ||
428 | } | 429 | } |
429 | 430 | ||
@@ -440,10 +441,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
440 | try { | 441 | try { |
441 | int _type = T__29; | 442 | int _type = T__29; |
442 | int _channel = DEFAULT_TOKEN_CHANNEL; | 443 | int _channel = DEFAULT_TOKEN_CHANNEL; |
443 | // InternalSolverLanguage.g:29:7: ( '+' ) | 444 | // InternalSolverLanguage.g:29:7: ( '|' ) |
444 | // InternalSolverLanguage.g:29:9: '+' | 445 | // InternalSolverLanguage.g:29:9: '|' |
445 | { | 446 | { |
446 | match('+'); | 447 | match('|'); |
447 | 448 | ||
448 | } | 449 | } |
449 | 450 | ||
@@ -460,10 +461,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
460 | try { | 461 | try { |
461 | int _type = T__30; | 462 | int _type = T__30; |
462 | int _channel = DEFAULT_TOKEN_CHANNEL; | 463 | int _channel = DEFAULT_TOKEN_CHANNEL; |
463 | // InternalSolverLanguage.g:30:7: ( '*' ) | 464 | // InternalSolverLanguage.g:30:7: ( '+' ) |
464 | // InternalSolverLanguage.g:30:9: '*' | 465 | // InternalSolverLanguage.g:30:9: '+' |
465 | { | 466 | { |
466 | match('*'); | 467 | match('+'); |
467 | 468 | ||
468 | } | 469 | } |
469 | 470 | ||
@@ -480,11 +481,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
480 | try { | 481 | try { |
481 | int _type = T__31; | 482 | int _type = T__31; |
482 | int _channel = DEFAULT_TOKEN_CHANNEL; | 483 | int _channel = DEFAULT_TOKEN_CHANNEL; |
483 | // InternalSolverLanguage.g:31:7: ( 'default' ) | 484 | // InternalSolverLanguage.g:31:7: ( '*' ) |
484 | // InternalSolverLanguage.g:31:9: 'default' | 485 | // InternalSolverLanguage.g:31:9: '*' |
485 | { | 486 | { |
486 | match("default"); | 487 | match('*'); |
487 | |||
488 | 488 | ||
489 | } | 489 | } |
490 | 490 | ||
@@ -501,10 +501,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
501 | try { | 501 | try { |
502 | int _type = T__32; | 502 | int _type = T__32; |
503 | int _channel = DEFAULT_TOKEN_CHANNEL; | 503 | int _channel = DEFAULT_TOKEN_CHANNEL; |
504 | // InternalSolverLanguage.g:32:7: ( 'abstract' ) | 504 | // InternalSolverLanguage.g:32:7: ( 'default' ) |
505 | // InternalSolverLanguage.g:32:9: 'abstract' | 505 | // InternalSolverLanguage.g:32:9: 'default' |
506 | { | 506 | { |
507 | match("abstract"); | 507 | match("default"); |
508 | 508 | ||
509 | 509 | ||
510 | } | 510 | } |
@@ -522,10 +522,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
522 | try { | 522 | try { |
523 | int _type = T__33; | 523 | int _type = T__33; |
524 | int _channel = DEFAULT_TOKEN_CHANNEL; | 524 | int _channel = DEFAULT_TOKEN_CHANNEL; |
525 | // InternalSolverLanguage.g:33:7: ( 'class' ) | 525 | // InternalSolverLanguage.g:33:7: ( 'abstract' ) |
526 | // InternalSolverLanguage.g:33:9: 'class' | 526 | // InternalSolverLanguage.g:33:9: 'abstract' |
527 | { | 527 | { |
528 | match("class"); | 528 | match("abstract"); |
529 | 529 | ||
530 | 530 | ||
531 | } | 531 | } |
@@ -543,10 +543,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
543 | try { | 543 | try { |
544 | int _type = T__34; | 544 | int _type = T__34; |
545 | int _channel = DEFAULT_TOKEN_CHANNEL; | 545 | int _channel = DEFAULT_TOKEN_CHANNEL; |
546 | // InternalSolverLanguage.g:34:7: ( 'extends' ) | 546 | // InternalSolverLanguage.g:34:7: ( 'class' ) |
547 | // InternalSolverLanguage.g:34:9: 'extends' | 547 | // InternalSolverLanguage.g:34:9: 'class' |
548 | { | 548 | { |
549 | match("extends"); | 549 | match("class"); |
550 | 550 | ||
551 | 551 | ||
552 | } | 552 | } |
@@ -564,10 +564,11 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
564 | try { | 564 | try { |
565 | int _type = T__35; | 565 | int _type = T__35; |
566 | int _channel = DEFAULT_TOKEN_CHANNEL; | 566 | int _channel = DEFAULT_TOKEN_CHANNEL; |
567 | // InternalSolverLanguage.g:35:7: ( '{' ) | 567 | // InternalSolverLanguage.g:35:7: ( 'extends' ) |
568 | // InternalSolverLanguage.g:35:9: '{' | 568 | // InternalSolverLanguage.g:35:9: 'extends' |
569 | { | 569 | { |
570 | match('{'); | 570 | match("extends"); |
571 | |||
571 | 572 | ||
572 | } | 573 | } |
573 | 574 | ||
@@ -584,10 +585,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
584 | try { | 585 | try { |
585 | int _type = T__36; | 586 | int _type = T__36; |
586 | int _channel = DEFAULT_TOKEN_CHANNEL; | 587 | int _channel = DEFAULT_TOKEN_CHANNEL; |
587 | // InternalSolverLanguage.g:36:7: ( '}' ) | 588 | // InternalSolverLanguage.g:36:7: ( '{' ) |
588 | // InternalSolverLanguage.g:36:9: '}' | 589 | // InternalSolverLanguage.g:36:9: '{' |
589 | { | 590 | { |
590 | match('}'); | 591 | match('{'); |
591 | 592 | ||
592 | } | 593 | } |
593 | 594 | ||
@@ -604,11 +605,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
604 | try { | 605 | try { |
605 | int _type = T__37; | 606 | int _type = T__37; |
606 | int _channel = DEFAULT_TOKEN_CHANNEL; | 607 | int _channel = DEFAULT_TOKEN_CHANNEL; |
607 | // InternalSolverLanguage.g:37:7: ( 'enum' ) | 608 | // InternalSolverLanguage.g:37:7: ( '}' ) |
608 | // InternalSolverLanguage.g:37:9: 'enum' | 609 | // InternalSolverLanguage.g:37:9: '}' |
609 | { | 610 | { |
610 | match("enum"); | 611 | match('}'); |
611 | |||
612 | 612 | ||
613 | } | 613 | } |
614 | 614 | ||
@@ -625,10 +625,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
625 | try { | 625 | try { |
626 | int _type = T__38; | 626 | int _type = T__38; |
627 | int _channel = DEFAULT_TOKEN_CHANNEL; | 627 | int _channel = DEFAULT_TOKEN_CHANNEL; |
628 | // InternalSolverLanguage.g:38:7: ( 'containment' ) | 628 | // InternalSolverLanguage.g:38:7: ( 'enum' ) |
629 | // InternalSolverLanguage.g:38:9: 'containment' | 629 | // InternalSolverLanguage.g:38:9: 'enum' |
630 | { | 630 | { |
631 | match("containment"); | 631 | match("enum"); |
632 | 632 | ||
633 | 633 | ||
634 | } | 634 | } |
@@ -646,10 +646,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
646 | try { | 646 | try { |
647 | int _type = T__39; | 647 | int _type = T__39; |
648 | int _channel = DEFAULT_TOKEN_CHANNEL; | 648 | int _channel = DEFAULT_TOKEN_CHANNEL; |
649 | // InternalSolverLanguage.g:39:7: ( 'relation' ) | 649 | // InternalSolverLanguage.g:39:7: ( 'containment' ) |
650 | // InternalSolverLanguage.g:39:9: 'relation' | 650 | // InternalSolverLanguage.g:39:9: 'containment' |
651 | { | 651 | { |
652 | match("relation"); | 652 | match("containment"); |
653 | 653 | ||
654 | 654 | ||
655 | } | 655 | } |
@@ -667,10 +667,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
667 | try { | 667 | try { |
668 | int _type = T__40; | 668 | int _type = T__40; |
669 | int _channel = DEFAULT_TOKEN_CHANNEL; | 669 | int _channel = DEFAULT_TOKEN_CHANNEL; |
670 | // InternalSolverLanguage.g:40:7: ( '..' ) | 670 | // InternalSolverLanguage.g:40:7: ( 'relation' ) |
671 | // InternalSolverLanguage.g:40:9: '..' | 671 | // InternalSolverLanguage.g:40:9: 'relation' |
672 | { | 672 | { |
673 | match(".."); | 673 | match("relation"); |
674 | 674 | ||
675 | 675 | ||
676 | } | 676 | } |
@@ -683,16 +683,37 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
683 | } | 683 | } |
684 | // $ANTLR end "T__40" | 684 | // $ANTLR end "T__40" |
685 | 685 | ||
686 | // $ANTLR start "T__41" | ||
687 | public final void mT__41() throws RecognitionException { | ||
688 | try { | ||
689 | int _type = T__41; | ||
690 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
691 | // InternalSolverLanguage.g:41:7: ( '..' ) | ||
692 | // InternalSolverLanguage.g:41:9: '..' | ||
693 | { | ||
694 | match(".."); | ||
695 | |||
696 | |||
697 | } | ||
698 | |||
699 | state.type = _type; | ||
700 | state.channel = _channel; | ||
701 | } | ||
702 | finally { | ||
703 | } | ||
704 | } | ||
705 | // $ANTLR end "T__41" | ||
706 | |||
686 | // $ANTLR start "RULE_STRING" | 707 | // $ANTLR start "RULE_STRING" |
687 | public final void mRULE_STRING() throws RecognitionException { | 708 | public final void mRULE_STRING() throws RecognitionException { |
688 | try { | 709 | try { |
689 | int _type = RULE_STRING; | 710 | int _type = RULE_STRING; |
690 | int _channel = DEFAULT_TOKEN_CHANNEL; | 711 | int _channel = DEFAULT_TOKEN_CHANNEL; |
691 | // InternalSolverLanguage.g:2563:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) | 712 | // InternalSolverLanguage.g:2497:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) |
692 | // InternalSolverLanguage.g:2563:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | 713 | // InternalSolverLanguage.g:2497:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' |
693 | { | 714 | { |
694 | match('\"'); | 715 | match('\"'); |
695 | // InternalSolverLanguage.g:2563:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* | 716 | // InternalSolverLanguage.g:2497:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* |
696 | loop1: | 717 | loop1: |
697 | do { | 718 | do { |
698 | int alt1=3; | 719 | int alt1=3; |
@@ -708,7 +729,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
708 | 729 | ||
709 | switch (alt1) { | 730 | switch (alt1) { |
710 | case 1 : | 731 | case 1 : |
711 | // InternalSolverLanguage.g:2563:20: '\\\\' . | 732 | // InternalSolverLanguage.g:2497:20: '\\\\' . |
712 | { | 733 | { |
713 | match('\\'); | 734 | match('\\'); |
714 | matchAny(); | 735 | matchAny(); |
@@ -716,7 +737,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
716 | } | 737 | } |
717 | break; | 738 | break; |
718 | case 2 : | 739 | case 2 : |
719 | // InternalSolverLanguage.g:2563:27: ~ ( ( '\\\\' | '\"' ) ) | 740 | // InternalSolverLanguage.g:2497:27: ~ ( ( '\\\\' | '\"' ) ) |
720 | { | 741 | { |
721 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { | 742 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { |
722 | input.consume(); | 743 | input.consume(); |
@@ -753,10 +774,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
753 | try { | 774 | try { |
754 | int _type = RULE_ID; | 775 | int _type = RULE_ID; |
755 | int _channel = DEFAULT_TOKEN_CHANNEL; | 776 | int _channel = DEFAULT_TOKEN_CHANNEL; |
756 | // InternalSolverLanguage.g:2565:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) | 777 | // InternalSolverLanguage.g:2499:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) |
757 | // InternalSolverLanguage.g:2565:11: ( '^' )? ( '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' )* |
758 | { | 779 | { |
759 | // InternalSolverLanguage.g:2565:11: ( '^' )? | 780 | // InternalSolverLanguage.g:2499:11: ( '^' )? |
760 | int alt2=2; | 781 | int alt2=2; |
761 | int LA2_0 = input.LA(1); | 782 | int LA2_0 = input.LA(1); |
762 | 783 | ||
@@ -765,7 +786,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
765 | } | 786 | } |
766 | switch (alt2) { | 787 | switch (alt2) { |
767 | case 1 : | 788 | case 1 : |
768 | // InternalSolverLanguage.g:2565:11: '^' | 789 | // InternalSolverLanguage.g:2499:11: '^' |
769 | { | 790 | { |
770 | match('^'); | 791 | match('^'); |
771 | 792 | ||
@@ -783,7 +804,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
783 | recover(mse); | 804 | recover(mse); |
784 | throw mse;} | 805 | throw mse;} |
785 | 806 | ||
786 | // InternalSolverLanguage.g:2565:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* | 807 | // InternalSolverLanguage.g:2499:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* |
787 | loop3: | 808 | loop3: |
788 | do { | 809 | do { |
789 | int alt3=2; | 810 | int alt3=2; |
@@ -832,10 +853,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
832 | try { | 853 | try { |
833 | int _type = RULE_INT; | 854 | int _type = RULE_INT; |
834 | int _channel = DEFAULT_TOKEN_CHANNEL; | 855 | int _channel = DEFAULT_TOKEN_CHANNEL; |
835 | // InternalSolverLanguage.g:2567:10: ( ( '0' .. '9' )+ ) | 856 | // InternalSolverLanguage.g:2501:10: ( ( '0' .. '9' )+ ) |
836 | // InternalSolverLanguage.g:2567:12: ( '0' .. '9' )+ | 857 | // InternalSolverLanguage.g:2501:12: ( '0' .. '9' )+ |
837 | { | 858 | { |
838 | // InternalSolverLanguage.g:2567:12: ( '0' .. '9' )+ | 859 | // InternalSolverLanguage.g:2501:12: ( '0' .. '9' )+ |
839 | int cnt4=0; | 860 | int cnt4=0; |
840 | loop4: | 861 | loop4: |
841 | do { | 862 | do { |
@@ -849,7 +870,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
849 | 870 | ||
850 | switch (alt4) { | 871 | switch (alt4) { |
851 | case 1 : | 872 | case 1 : |
852 | // InternalSolverLanguage.g:2567:13: '0' .. '9' | 873 | // InternalSolverLanguage.g:2501:13: '0' .. '9' |
853 | { | 874 | { |
854 | matchRange('0','9'); | 875 | matchRange('0','9'); |
855 | 876 | ||
@@ -881,12 +902,12 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
881 | try { | 902 | try { |
882 | int _type = RULE_ML_COMMENT; | 903 | int _type = RULE_ML_COMMENT; |
883 | int _channel = DEFAULT_TOKEN_CHANNEL; | 904 | int _channel = DEFAULT_TOKEN_CHANNEL; |
884 | // InternalSolverLanguage.g:2569:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) | 905 | // InternalSolverLanguage.g:2503:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) |
885 | // InternalSolverLanguage.g:2569:19: '/*' ( options {greedy=false; } : . )* '*/' | 906 | // InternalSolverLanguage.g:2503:19: '/*' ( options {greedy=false; } : . )* '*/' |
886 | { | 907 | { |
887 | match("/*"); | 908 | match("/*"); |
888 | 909 | ||
889 | // InternalSolverLanguage.g:2569:24: ( options {greedy=false; } : . )* | 910 | // InternalSolverLanguage.g:2503:24: ( options {greedy=false; } : . )* |
890 | loop5: | 911 | loop5: |
891 | do { | 912 | do { |
892 | int alt5=2; | 913 | int alt5=2; |
@@ -911,7 +932,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
911 | 932 | ||
912 | switch (alt5) { | 933 | switch (alt5) { |
913 | case 1 : | 934 | case 1 : |
914 | // InternalSolverLanguage.g:2569:52: . | 935 | // InternalSolverLanguage.g:2503:52: . |
915 | { | 936 | { |
916 | matchAny(); | 937 | matchAny(); |
917 | 938 | ||
@@ -941,12 +962,12 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
941 | try { | 962 | try { |
942 | int _type = RULE_SL_COMMENT; | 963 | int _type = RULE_SL_COMMENT; |
943 | int _channel = DEFAULT_TOKEN_CHANNEL; | 964 | int _channel = DEFAULT_TOKEN_CHANNEL; |
944 | // InternalSolverLanguage.g:2571:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) | 965 | // InternalSolverLanguage.g:2505:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) |
945 | // InternalSolverLanguage.g:2571:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? | 966 | // InternalSolverLanguage.g:2505:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? |
946 | { | 967 | { |
947 | match("//"); | 968 | match("//"); |
948 | 969 | ||
949 | // InternalSolverLanguage.g:2571:24: (~ ( ( '\\n' | '\\r' ) ) )* | 970 | // InternalSolverLanguage.g:2505:24: (~ ( ( '\\n' | '\\r' ) ) )* |
950 | loop6: | 971 | loop6: |
951 | do { | 972 | do { |
952 | int alt6=2; | 973 | int alt6=2; |
@@ -959,7 +980,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
959 | 980 | ||
960 | switch (alt6) { | 981 | switch (alt6) { |
961 | case 1 : | 982 | case 1 : |
962 | // InternalSolverLanguage.g:2571:24: ~ ( ( '\\n' | '\\r' ) ) | 983 | // InternalSolverLanguage.g:2505:24: ~ ( ( '\\n' | '\\r' ) ) |
963 | { | 984 | { |
964 | 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') ) { | 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') ) { |
965 | input.consume(); | 986 | input.consume(); |
@@ -979,7 +1000,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
979 | } | 1000 | } |
980 | } while (true); | 1001 | } while (true); |
981 | 1002 | ||
982 | // InternalSolverLanguage.g:2571:40: ( ( '\\r' )? '\\n' )? | 1003 | // InternalSolverLanguage.g:2505:40: ( ( '\\r' )? '\\n' )? |
983 | int alt8=2; | 1004 | int alt8=2; |
984 | int LA8_0 = input.LA(1); | 1005 | int LA8_0 = input.LA(1); |
985 | 1006 | ||
@@ -988,9 +1009,9 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
988 | } | 1009 | } |
989 | switch (alt8) { | 1010 | switch (alt8) { |
990 | case 1 : | 1011 | case 1 : |
991 | // InternalSolverLanguage.g:2571:41: ( '\\r' )? '\\n' | 1012 | // InternalSolverLanguage.g:2505:41: ( '\\r' )? '\\n' |
992 | { | 1013 | { |
993 | // InternalSolverLanguage.g:2571:41: ( '\\r' )? | 1014 | // InternalSolverLanguage.g:2505:41: ( '\\r' )? |
994 | int alt7=2; | 1015 | int alt7=2; |
995 | int LA7_0 = input.LA(1); | 1016 | int LA7_0 = input.LA(1); |
996 | 1017 | ||
@@ -999,7 +1020,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
999 | } | 1020 | } |
1000 | switch (alt7) { | 1021 | switch (alt7) { |
1001 | case 1 : | 1022 | case 1 : |
1002 | // InternalSolverLanguage.g:2571:41: '\\r' | 1023 | // InternalSolverLanguage.g:2505:41: '\\r' |
1003 | { | 1024 | { |
1004 | match('\r'); | 1025 | match('\r'); |
1005 | 1026 | ||
@@ -1031,10 +1052,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1031 | try { | 1052 | try { |
1032 | int _type = RULE_WS; | 1053 | int _type = RULE_WS; |
1033 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1054 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1034 | // InternalSolverLanguage.g:2573:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) | 1055 | // InternalSolverLanguage.g:2507:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) |
1035 | // InternalSolverLanguage.g:2573:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1056 | // InternalSolverLanguage.g:2507:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
1036 | { | 1057 | { |
1037 | // InternalSolverLanguage.g:2573:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1058 | // InternalSolverLanguage.g:2507:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
1038 | int cnt9=0; | 1059 | int cnt9=0; |
1039 | loop9: | 1060 | loop9: |
1040 | do { | 1061 | do { |
@@ -1088,8 +1109,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1088 | try { | 1109 | try { |
1089 | int _type = RULE_ANY_OTHER; | 1110 | int _type = RULE_ANY_OTHER; |
1090 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1111 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1091 | // InternalSolverLanguage.g:2575:16: ( . ) | 1112 | // InternalSolverLanguage.g:2509:16: ( . ) |
1092 | // InternalSolverLanguage.g:2575:18: . | 1113 | // InternalSolverLanguage.g:2509:18: . |
1093 | { | 1114 | { |
1094 | matchAny(); | 1115 | matchAny(); |
1095 | 1116 | ||
@@ -1104,8 +1125,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1104 | // $ANTLR end "RULE_ANY_OTHER" | 1125 | // $ANTLR end "RULE_ANY_OTHER" |
1105 | 1126 | ||
1106 | public void mTokens() throws RecognitionException { | 1127 | public void mTokens() throws RecognitionException { |
1107 | // 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 | RULE_STRING | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER ) | 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 ) |
1108 | int alt10=37; | 1129 | int alt10=38; |
1109 | alt10 = dfa10.predict(input); | 1130 | alt10 = dfa10.predict(input); |
1110 | switch (alt10) { | 1131 | switch (alt10) { |
1111 | case 1 : | 1132 | case 1 : |
@@ -1319,49 +1340,56 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1319 | } | 1340 | } |
1320 | break; | 1341 | break; |
1321 | case 31 : | 1342 | case 31 : |
1322 | // InternalSolverLanguage.g:1:190: RULE_STRING | 1343 | // InternalSolverLanguage.g:1:190: T__41 |
1323 | { | 1344 | { |
1324 | mRULE_STRING(); | 1345 | mT__41(); |
1325 | 1346 | ||
1326 | } | 1347 | } |
1327 | break; | 1348 | break; |
1328 | case 32 : | 1349 | case 32 : |
1329 | // InternalSolverLanguage.g:1:202: RULE_ID | 1350 | // InternalSolverLanguage.g:1:196: RULE_STRING |
1330 | { | 1351 | { |
1331 | mRULE_ID(); | 1352 | mRULE_STRING(); |
1332 | 1353 | ||
1333 | } | 1354 | } |
1334 | break; | 1355 | break; |
1335 | case 33 : | 1356 | case 33 : |
1336 | // InternalSolverLanguage.g:1:210: RULE_INT | 1357 | // InternalSolverLanguage.g:1:208: RULE_ID |
1337 | { | 1358 | { |
1338 | mRULE_INT(); | 1359 | mRULE_ID(); |
1339 | 1360 | ||
1340 | } | 1361 | } |
1341 | break; | 1362 | break; |
1342 | case 34 : | 1363 | case 34 : |
1343 | // InternalSolverLanguage.g:1:219: RULE_ML_COMMENT | 1364 | // InternalSolverLanguage.g:1:216: RULE_INT |
1344 | { | 1365 | { |
1345 | mRULE_ML_COMMENT(); | 1366 | mRULE_INT(); |
1346 | 1367 | ||
1347 | } | 1368 | } |
1348 | break; | 1369 | break; |
1349 | case 35 : | 1370 | case 35 : |
1350 | // InternalSolverLanguage.g:1:235: RULE_SL_COMMENT | 1371 | // InternalSolverLanguage.g:1:225: RULE_ML_COMMENT |
1351 | { | 1372 | { |
1352 | mRULE_SL_COMMENT(); | 1373 | mRULE_ML_COMMENT(); |
1353 | 1374 | ||
1354 | } | 1375 | } |
1355 | break; | 1376 | break; |
1356 | case 36 : | 1377 | case 36 : |
1357 | // InternalSolverLanguage.g:1:251: RULE_WS | 1378 | // InternalSolverLanguage.g:1:241: RULE_SL_COMMENT |
1358 | { | 1379 | { |
1359 | mRULE_WS(); | 1380 | mRULE_SL_COMMENT(); |
1360 | 1381 | ||
1361 | } | 1382 | } |
1362 | break; | 1383 | break; |
1363 | case 37 : | 1384 | case 37 : |
1364 | // InternalSolverLanguage.g:1:259: RULE_ANY_OTHER | 1385 | // InternalSolverLanguage.g:1:257: RULE_WS |
1386 | { | ||
1387 | mRULE_WS(); | ||
1388 | |||
1389 | } | ||
1390 | break; | ||
1391 | case 38 : | ||
1392 | // InternalSolverLanguage.g:1:265: RULE_ANY_OTHER | ||
1365 | { | 1393 | { |
1366 | mRULE_ANY_OTHER(); | 1394 | mRULE_ANY_OTHER(); |
1367 | 1395 | ||
@@ -1375,19 +1403,19 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1375 | 1403 | ||
1376 | protected DFA10 dfa10 = new DFA10(this); | 1404 | protected DFA10 dfa10 = new DFA10(this); |
1377 | static final String DFA10_eotS = | 1405 | static final String DFA10_eotS = |
1378 | "\2\uffff\1\41\4\43\3\uffff\4\43\1\uffff\1\43\3\uffff\3\43\2\uffff\2\36\2\uffff\1\36\5\uffff\1\43\1\uffff\6\43\3\uffff\4\43\1\uffff\1\43\3\uffff\4\43\7\uffff\11\43\1\134\10\43\1\145\6\43\1\154\1\155\1\uffff\1\156\7\43\1\uffff\1\166\1\43\1\170\3\43\3\uffff\5\43\1\u0081\1\43\1\uffff\1\43\1\uffff\1\u0084\1\43\1\u0086\1\43\1\u0088\3\43\1\uffff\1\43\1\u008d\1\uffff\1\u008e\1\uffff\1\43\1\uffff\1\43\1\u0091\2\43\2\uffff\1\u0094\1\43\1\uffff\1\u0096\1\43\1\uffff\1\u0098\1\uffff\1\43\1\uffff\1\43\1\u009b\1\uffff"; | 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"; |
1379 | static final String DFA10_eofS = | 1407 | static final String DFA10_eofS = |
1380 | "\u009c\uffff"; | 1408 | "\u0095\uffff"; |
1381 | static final String DFA10_minS = | 1409 | static final String DFA10_minS = |
1382 | "\1\0\1\uffff\1\56\1\162\1\141\2\156\3\uffff\1\157\1\156\1\145\1\164\1\uffff\1\162\3\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\3\uffff\1\157\1\164\1\141\1\162\1\uffff\1\145\3\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\144\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\151\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\143\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\141\1\164\1\143\1\uffff\1\156\1\60\1\uffff\1\60\1\uffff\1\156\1\uffff\1\164\1\60\1\164\1\155\2\uffff\1\60\1\145\1\uffff\1\60\1\145\1\uffff\1\60\1\uffff\1\156\1\uffff\1\164\1\60\1\uffff"; | 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"; |
1383 | static final String DFA10_maxS = | 1411 | static final String DFA10_maxS = |
1384 | "\1\uffff\1\uffff\1\56\1\162\1\141\1\156\1\170\3\uffff\1\157\1\156\1\145\1\164\1\uffff\1\162\3\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\3\uffff\1\157\1\164\1\154\1\162\1\uffff\1\145\3\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\144\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\151\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\143\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\141\1\164\1\143\1\uffff\1\156\1\172\1\uffff\1\172\1\uffff\1\156\1\uffff\1\164\1\172\1\164\1\155\2\uffff\1\172\1\145\1\uffff\1\172\1\145\1\uffff\1\172\1\uffff\1\156\1\uffff\1\164\1\172\1\uffff"; | 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"; |
1385 | static final String DFA10_acceptS = | 1413 | static final String DFA10_acceptS = |
1386 | "\1\uffff\1\1\5\uffff\1\7\1\10\1\11\4\uffff\1\20\1\uffff\1\22\1\23\1\24\3\uffff\1\31\1\32\2\uffff\1\40\1\41\1\uffff\1\44\1\45\1\1\1\36\1\2\1\uffff\1\40\6\uffff\1\7\1\10\1\11\4\uffff\1\20\1\uffff\1\22\1\23\1\24\4\uffff\1\31\1\32\1\37\1\41\1\42\1\43\1\44\33\uffff\1\15\10\uffff\1\3\6\uffff\1\33\1\14\1\16\7\uffff\1\4\1\uffff\1\6\10\uffff\1\27\2\uffff\1\12\1\uffff\1\13\1\uffff\1\17\4\uffff\1\5\1\30\2\uffff\1\25\2\uffff\1\35\1\uffff\1\26\1\uffff\1\21\2\uffff\1\34"; | 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"; |
1387 | static final String DFA10_specialS = | 1415 | static final String DFA10_specialS = |
1388 | "\1\1\27\uffff\1\0\u0083\uffff}>"; | 1416 | "\1\0\27\uffff\1\1\174\uffff}>"; |
1389 | static final String[] DFA10_transitionS = { | 1417 | static final String[] DFA10_transitionS = { |
1390 | "\11\36\2\35\2\36\1\35\22\36\1\35\1\36\1\30\4\36\1\16\1\7\1\10\1\22\1\21\1\36\1\1\1\2\1\34\12\33\1\11\6\36\32\32\3\36\1\31\1\32\1\36\1\24\1\12\1\25\1\23\1\6\1\4\2\32\1\13\6\32\1\17\1\32\1\14\1\15\1\3\1\5\5\32\1\26\1\20\1\27\uff82\36", | 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", |
1391 | "", | 1419 | "", |
1392 | "\1\40", | 1420 | "\1\40", |
1393 | "\1\42", | 1421 | "\1\42", |
@@ -1398,49 +1426,50 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1398 | "", | 1426 | "", |
1399 | "", | 1427 | "", |
1400 | "\1\55", | 1428 | "\1\55", |
1401 | "\1\56", | ||
1402 | "\1\57", | 1429 | "\1\57", |
1403 | "\1\60", | 1430 | "\1\60", |
1404 | "", | 1431 | "\1\61", |
1405 | "\1\62", | 1432 | "\1\62", |
1406 | "", | 1433 | "", |
1407 | "", | 1434 | "", |
1408 | "", | 1435 | "", |
1409 | "\1\66", | 1436 | "", |
1410 | "\1\67", | 1437 | "\1\67", |
1411 | "\1\70\2\uffff\1\71", | 1438 | "\1\70", |
1439 | "\1\71\2\uffff\1\72", | ||
1412 | "", | 1440 | "", |
1413 | "", | 1441 | "", |
1414 | "\0\74", | 1442 | "\0\75", |
1415 | "\32\43\4\uffff\1\43\1\uffff\32\43", | 1443 | "\32\43\4\uffff\1\43\1\uffff\32\43", |
1416 | "", | 1444 | "", |
1417 | "", | 1445 | "", |
1418 | "\1\76\4\uffff\1\77", | 1446 | "\1\77\4\uffff\1\100", |
1419 | "", | 1447 | "", |
1420 | "", | 1448 | "", |
1421 | "", | 1449 | "", |
1422 | "", | 1450 | "", |
1423 | "", | 1451 | "", |
1424 | "\1\101", | ||
1425 | "", | ||
1426 | "\1\102", | 1452 | "\1\102", |
1453 | "", | ||
1427 | "\1\103", | 1454 | "\1\103", |
1428 | "\1\104", | 1455 | "\1\104", |
1429 | "\1\105\12\uffff\1\106", | 1456 | "\1\105", |
1430 | "\1\107", | 1457 | "\1\106\12\uffff\1\107", |
1431 | "\1\110", | 1458 | "\1\110", |
1459 | "\1\111", | ||
1460 | "", | ||
1432 | "", | 1461 | "", |
1433 | "", | 1462 | "", |
1434 | "", | 1463 | "", |
1435 | "\1\111", | ||
1436 | "\1\112", | ||
1437 | "\1\113\12\uffff\1\114", | ||
1438 | "\1\115", | ||
1439 | "", | 1464 | "", |
1465 | "\1\112", | ||
1466 | "\1\113", | ||
1467 | "\1\114\12\uffff\1\115", | ||
1440 | "\1\116", | 1468 | "\1\116", |
1441 | "", | 1469 | "", |
1442 | "", | 1470 | "", |
1443 | "", | 1471 | "", |
1472 | "", | ||
1444 | "\1\117", | 1473 | "\1\117", |
1445 | "\1\120", | 1474 | "\1\120", |
1446 | "\1\121", | 1475 | "\1\121", |
@@ -1469,78 +1498,70 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1469 | "\1\141", | 1498 | "\1\141", |
1470 | "\1\142", | 1499 | "\1\142", |
1471 | "\1\143", | 1500 | "\1\143", |
1472 | "\1\144", | ||
1473 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1501 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1502 | "\1\145", | ||
1474 | "\1\146", | 1503 | "\1\146", |
1475 | "\1\147", | 1504 | "\1\147", |
1476 | "\1\150", | 1505 | "\1\150", |
1477 | "\1\151", | 1506 | "\1\151", |
1478 | "\1\152", | 1507 | "\1\152", |
1479 | "\1\153", | ||
1480 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1508 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1481 | "\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", |
1482 | "", | 1510 | "", |
1483 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1511 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1512 | "\1\156", | ||
1484 | "\1\157", | 1513 | "\1\157", |
1485 | "\1\160", | 1514 | "\1\160", |
1486 | "\1\161", | 1515 | "\1\161", |
1487 | "\1\162", | 1516 | "\1\162", |
1488 | "\1\163", | 1517 | "\1\163", |
1489 | "\1\164", | ||
1490 | "\1\165", | ||
1491 | "", | 1518 | "", |
1492 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1519 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1493 | "\1\167", | 1520 | "\1\165", |
1494 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1521 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1522 | "\1\167", | ||
1523 | "\1\170", | ||
1495 | "\1\171", | 1524 | "\1\171", |
1496 | "\1\172", | ||
1497 | "\1\173", | ||
1498 | "", | 1525 | "", |
1499 | "", | 1526 | "", |
1500 | "", | 1527 | "", |
1528 | "\1\172", | ||
1529 | "\1\173", | ||
1501 | "\1\174", | 1530 | "\1\174", |
1502 | "\1\175", | 1531 | "\1\175", |
1503 | "\1\176", | 1532 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1504 | "\1\177", | 1533 | "\1\177", |
1534 | "", | ||
1505 | "\1\u0080", | 1535 | "\1\u0080", |
1536 | "", | ||
1506 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1537 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1507 | "\1\u0082", | 1538 | "\1\u0082", |
1508 | "", | ||
1509 | "\1\u0083", | ||
1510 | "", | ||
1511 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1539 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1512 | "\1\u0085", | 1540 | "\1\u0084", |
1513 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1541 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1542 | "\1\u0086", | ||
1514 | "\1\u0087", | 1543 | "\1\u0087", |
1515 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | ||
1516 | "\1\u0089", | ||
1517 | "\1\u008a", | ||
1518 | "\1\u008b", | ||
1519 | "", | 1544 | "", |
1520 | "\1\u008c", | 1545 | "\1\u0088", |
1521 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1546 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1522 | "", | 1547 | "", |
1523 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1548 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1524 | "", | 1549 | "", |
1525 | "\1\u008f", | 1550 | "\1\u008b", |
1526 | "", | 1551 | "", |
1527 | "\1\u0090", | ||
1528 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1552 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1529 | "\1\u0092", | 1553 | "\1\u008d", |
1530 | "\1\u0093", | 1554 | "\1\u008e", |
1531 | "", | 1555 | "", |
1532 | "", | 1556 | "", |
1533 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1557 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1534 | "\1\u0095", | ||
1535 | "", | ||
1536 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | ||
1537 | "\1\u0097", | ||
1538 | "", | 1558 | "", |
1539 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1559 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1560 | "\1\u0091", | ||
1540 | "", | 1561 | "", |
1541 | "\1\u0099", | ||
1542 | "", | 1562 | "", |
1543 | "\1\u009a", | 1563 | "\1\u0092", |
1564 | "\1\u0093", | ||
1544 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", | 1565 | "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", |
1545 | "" | 1566 | "" |
1546 | }; | 1567 | }; |
@@ -1575,23 +1596,13 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1575 | this.transition = DFA10_transition; | 1596 | this.transition = DFA10_transition; |
1576 | } | 1597 | } |
1577 | public String getDescription() { | 1598 | public String getDescription() { |
1578 | 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 | RULE_STRING | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER );"; | 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 );"; |
1579 | } | 1600 | } |
1580 | public int specialStateTransition(int s, IntStream _input) throws NoViableAltException { | 1601 | public int specialStateTransition(int s, IntStream _input) throws NoViableAltException { |
1581 | IntStream input = _input; | 1602 | IntStream input = _input; |
1582 | int _s = s; | 1603 | int _s = s; |
1583 | switch ( s ) { | 1604 | switch ( s ) { |
1584 | case 0 : | 1605 | case 0 : |
1585 | int LA10_24 = input.LA(1); | ||
1586 | |||
1587 | s = -1; | ||
1588 | if ( ((LA10_24>='\u0000' && LA10_24<='\uFFFF')) ) {s = 60;} | ||
1589 | |||
1590 | else s = 30; | ||
1591 | |||
1592 | if ( s>=0 ) return s; | ||
1593 | break; | ||
1594 | case 1 : | ||
1595 | int LA10_0 = input.LA(1); | 1606 | int LA10_0 = input.LA(1); |
1596 | 1607 | ||
1597 | s = -1; | 1608 | s = -1; |
@@ -1609,21 +1620,21 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1609 | 1620 | ||
1610 | else if ( (LA10_0=='(') ) {s = 7;} | 1621 | else if ( (LA10_0=='(') ) {s = 7;} |
1611 | 1622 | ||
1612 | else if ( (LA10_0==')') ) {s = 8;} | 1623 | else if ( (LA10_0==',') ) {s = 8;} |
1613 | 1624 | ||
1614 | else if ( (LA10_0==':') ) {s = 9;} | 1625 | else if ( (LA10_0==')') ) {s = 9;} |
1615 | 1626 | ||
1616 | else if ( (LA10_0=='b') ) {s = 10;} | 1627 | else if ( (LA10_0==':') ) {s = 10;} |
1617 | 1628 | ||
1618 | else if ( (LA10_0=='i') ) {s = 11;} | 1629 | else if ( (LA10_0=='b') ) {s = 11;} |
1619 | 1630 | ||
1620 | else if ( (LA10_0=='r') ) {s = 12;} | 1631 | else if ( (LA10_0=='i') ) {s = 12;} |
1621 | 1632 | ||
1622 | else if ( (LA10_0=='s') ) {s = 13;} | 1633 | else if ( (LA10_0=='r') ) {s = 13;} |
1623 | 1634 | ||
1624 | else if ( (LA10_0=='\'') ) {s = 14;} | 1635 | else if ( (LA10_0=='s') ) {s = 14;} |
1625 | 1636 | ||
1626 | else if ( (LA10_0=='p') ) {s = 15;} | 1637 | else if ( (LA10_0=='\'') ) {s = 15;} |
1627 | 1638 | ||
1628 | else if ( (LA10_0=='|') ) {s = 16;} | 1639 | else if ( (LA10_0=='|') ) {s = 16;} |
1629 | 1640 | ||
@@ -1645,7 +1656,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1645 | 1656 | ||
1646 | else if ( (LA10_0=='^') ) {s = 25;} | 1657 | else if ( (LA10_0=='^') ) {s = 25;} |
1647 | 1658 | ||
1648 | else if ( ((LA10_0>='A' && LA10_0<='Z')||LA10_0=='_'||(LA10_0>='g' && LA10_0<='h')||(LA10_0>='j' && LA10_0<='o')||LA10_0=='q'||(LA10_0>='v' && LA10_0<='z')) ) {s = 26;} | 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;} |
1649 | 1660 | ||
1650 | else if ( ((LA10_0>='0' && LA10_0<='9')) ) {s = 27;} | 1661 | else if ( ((LA10_0>='0' && LA10_0<='9')) ) {s = 27;} |
1651 | 1662 | ||
@@ -1653,7 +1664,17 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1653 | 1664 | ||
1654 | else if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) {s = 29;} | 1665 | else if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) {s = 29;} |
1655 | 1666 | ||
1656 | 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>='~' && LA10_0<='\uFFFF')) ) {s = 30;} | 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;} |
1668 | |||
1669 | if ( s>=0 ) return s; | ||
1670 | break; | ||
1671 | case 1 : | ||
1672 | int LA10_24 = input.LA(1); | ||
1673 | |||
1674 | s = -1; | ||
1675 | if ( ((LA10_24>='\u0000' && LA10_24<='\uFFFF')) ) {s = 61;} | ||
1676 | |||
1677 | else s = 30; | ||
1657 | 1678 | ||
1658 | if ( s>=0 ) return s; | 1679 | if ( s>=0 ) return s; |
1659 | break; | 1680 | break; |