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:
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.java397
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;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 11:06:38 +0000