diff options
author | 2020-05-06 00:27:55 +0200 | |
---|---|---|
committer | 2020-05-06 00:27:55 +0200 | |
commit | 820151b6d27643ba0927ca84d1bccadbd695a55d (patch) | |
tree | 9d3a5786b7f90723a6af967875f861a89e5b897e /Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java | |
parent | color update (diff) | |
download | VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.gz VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.zst VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.zip |
PS language update
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java | 395 |
1 files changed, 208 insertions, 187 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java index d5f63d03..c95bdd1e 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/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 | ||
@@ -193,10 +194,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
193 | try { | 194 | try { |
194 | int _type = T__17; | 195 | int _type = T__17; |
195 | int _channel = DEFAULT_TOKEN_CHANNEL; | 196 | int _channel = DEFAULT_TOKEN_CHANNEL; |
196 | // InternalSolverLanguage.g:17:7: ( '(' ) | 197 | // InternalSolverLanguage.g:17:7: ( ':' ) |
197 | // InternalSolverLanguage.g:17:9: '(' | 198 | // InternalSolverLanguage.g:17:9: ':' |
198 | { | 199 | { |
199 | match('('); | 200 | match(':'); |
200 | 201 | ||
201 | } | 202 | } |
202 | 203 | ||
@@ -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: ( 'class' ) | 504 | // InternalSolverLanguage.g:32:7: ( 'default' ) |
505 | // InternalSolverLanguage.g:32:9: 'class' | 505 | // InternalSolverLanguage.g:32:9: 'default' |
506 | { | 506 | { |
507 | match("class"); | 507 | match("default"); |
508 | 508 | ||
509 | 509 | ||
510 | } | 510 | } |
@@ -522,10 +522,11 @@ 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: ( '{' ) | 525 | // InternalSolverLanguage.g:33:7: ( 'class' ) |
526 | // InternalSolverLanguage.g:33:9: '{' | 526 | // InternalSolverLanguage.g:33:9: 'class' |
527 | { | 527 | { |
528 | match('{'); | 528 | match("class"); |
529 | |||
529 | 530 | ||
530 | } | 531 | } |
531 | 532 | ||
@@ -542,10 +543,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
542 | try { | 543 | try { |
543 | int _type = T__34; | 544 | int _type = T__34; |
544 | int _channel = DEFAULT_TOKEN_CHANNEL; | 545 | int _channel = DEFAULT_TOKEN_CHANNEL; |
545 | // InternalSolverLanguage.g:34:7: ( '}' ) | 546 | // InternalSolverLanguage.g:34:7: ( '{' ) |
546 | // InternalSolverLanguage.g:34:9: '}' | 547 | // InternalSolverLanguage.g:34:9: '{' |
547 | { | 548 | { |
548 | match('}'); | 549 | match('{'); |
549 | 550 | ||
550 | } | 551 | } |
551 | 552 | ||
@@ -562,11 +563,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
562 | try { | 563 | try { |
563 | int _type = T__35; | 564 | int _type = T__35; |
564 | int _channel = DEFAULT_TOKEN_CHANNEL; | 565 | int _channel = DEFAULT_TOKEN_CHANNEL; |
565 | // InternalSolverLanguage.g:35:7: ( 'extends' ) | 566 | // InternalSolverLanguage.g:35:7: ( '}' ) |
566 | // InternalSolverLanguage.g:35:9: 'extends' | 567 | // InternalSolverLanguage.g:35:9: '}' |
567 | { | 568 | { |
568 | match("extends"); | 569 | match('}'); |
569 | |||
570 | 570 | ||
571 | } | 571 | } |
572 | 572 | ||
@@ -583,10 +583,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
583 | try { | 583 | try { |
584 | int _type = T__36; | 584 | int _type = T__36; |
585 | int _channel = DEFAULT_TOKEN_CHANNEL; | 585 | int _channel = DEFAULT_TOKEN_CHANNEL; |
586 | // InternalSolverLanguage.g:36:7: ( 'enum' ) | 586 | // InternalSolverLanguage.g:36:7: ( 'extends' ) |
587 | // InternalSolverLanguage.g:36:9: 'enum' | 587 | // InternalSolverLanguage.g:36:9: 'extends' |
588 | { | 588 | { |
589 | match("enum"); | 589 | match("extends"); |
590 | 590 | ||
591 | 591 | ||
592 | } | 592 | } |
@@ -604,10 +604,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
604 | try { | 604 | try { |
605 | int _type = T__37; | 605 | int _type = T__37; |
606 | int _channel = DEFAULT_TOKEN_CHANNEL; | 606 | int _channel = DEFAULT_TOKEN_CHANNEL; |
607 | // InternalSolverLanguage.g:37:7: ( 'relation' ) | 607 | // InternalSolverLanguage.g:37:7: ( 'enum' ) |
608 | // InternalSolverLanguage.g:37:9: 'relation' | 608 | // InternalSolverLanguage.g:37:9: 'enum' |
609 | { | 609 | { |
610 | match("relation"); | 610 | match("enum"); |
611 | 611 | ||
612 | 612 | ||
613 | } | 613 | } |
@@ -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: ( '..' ) | 628 | // InternalSolverLanguage.g:38:7: ( 'relation' ) |
629 | // InternalSolverLanguage.g:38:9: '..' | 629 | // InternalSolverLanguage.g:38:9: 'relation' |
630 | { | 630 | { |
631 | match(".."); | 631 | match("relation"); |
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: ( 'abstract' ) | 649 | // InternalSolverLanguage.g:39:7: ( '..' ) |
650 | // InternalSolverLanguage.g:39:9: 'abstract' | 650 | // InternalSolverLanguage.g:39:9: '..' |
651 | { | 651 | { |
652 | match("abstract"); | 652 | match(".."); |
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: ( 'containment' ) | 670 | // InternalSolverLanguage.g:40:7: ( 'abstract' ) |
671 | // InternalSolverLanguage.g:40:9: 'containment' | 671 | // InternalSolverLanguage.g:40:9: 'abstract' |
672 | { | 672 | { |
673 | match("containment"); | 673 | match("abstract"); |
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: ( 'containment' ) | ||
692 | // InternalSolverLanguage.g:41:9: 'containment' | ||
693 | { | ||
694 | match("containment"); | ||
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:5870:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) | 712 | // InternalSolverLanguage.g:5815:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) |
692 | // InternalSolverLanguage.g:5870:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | 713 | // InternalSolverLanguage.g:5815:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' |
693 | { | 714 | { |
694 | match('\"'); | 715 | match('\"'); |
695 | // InternalSolverLanguage.g:5870:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* | 716 | // InternalSolverLanguage.g:5815: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:5870:20: '\\\\' . | 732 | // InternalSolverLanguage.g:5815: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:5870:27: ~ ( ( '\\\\' | '\"' ) ) | 740 | // InternalSolverLanguage.g:5815: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:5872:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) | 777 | // InternalSolverLanguage.g:5817:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) |
757 | // InternalSolverLanguage.g:5872:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* | 778 | // InternalSolverLanguage.g:5817:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* |
758 | { | 779 | { |
759 | // InternalSolverLanguage.g:5872:11: ( '^' )? | 780 | // InternalSolverLanguage.g:5817: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:5872:11: '^' | 789 | // InternalSolverLanguage.g:5817: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:5872:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* | 807 | // InternalSolverLanguage.g:5817: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:5874:10: ( ( '0' .. '9' )+ ) | 856 | // InternalSolverLanguage.g:5819:10: ( ( '0' .. '9' )+ ) |
836 | // InternalSolverLanguage.g:5874:12: ( '0' .. '9' )+ | 857 | // InternalSolverLanguage.g:5819:12: ( '0' .. '9' )+ |
837 | { | 858 | { |
838 | // InternalSolverLanguage.g:5874:12: ( '0' .. '9' )+ | 859 | // InternalSolverLanguage.g:5819: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:5874:13: '0' .. '9' | 873 | // InternalSolverLanguage.g:5819: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:5876:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) | 905 | // InternalSolverLanguage.g:5821:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) |
885 | // InternalSolverLanguage.g:5876:19: '/*' ( options {greedy=false; } : . )* '*/' | 906 | // InternalSolverLanguage.g:5821:19: '/*' ( options {greedy=false; } : . )* '*/' |
886 | { | 907 | { |
887 | match("/*"); | 908 | match("/*"); |
888 | 909 | ||
889 | // InternalSolverLanguage.g:5876:24: ( options {greedy=false; } : . )* | 910 | // InternalSolverLanguage.g:5821: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:5876:52: . | 935 | // InternalSolverLanguage.g:5821: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:5878:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) | 965 | // InternalSolverLanguage.g:5823:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) |
945 | // InternalSolverLanguage.g:5878:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? | 966 | // InternalSolverLanguage.g:5823:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? |
946 | { | 967 | { |
947 | match("//"); | 968 | match("//"); |
948 | 969 | ||
949 | // InternalSolverLanguage.g:5878:24: (~ ( ( '\\n' | '\\r' ) ) )* | 970 | // InternalSolverLanguage.g:5823: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:5878:24: ~ ( ( '\\n' | '\\r' ) ) | 983 | // InternalSolverLanguage.g:5823: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:5878:40: ( ( '\\r' )? '\\n' )? | 1003 | // InternalSolverLanguage.g:5823: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:5878:41: ( '\\r' )? '\\n' | 1012 | // InternalSolverLanguage.g:5823:41: ( '\\r' )? '\\n' |
992 | { | 1013 | { |
993 | // InternalSolverLanguage.g:5878:41: ( '\\r' )? | 1014 | // InternalSolverLanguage.g:5823: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:5878:41: '\\r' | 1023 | // InternalSolverLanguage.g:5823: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:5880:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) | 1055 | // InternalSolverLanguage.g:5825:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) |
1035 | // InternalSolverLanguage.g:5880:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1056 | // InternalSolverLanguage.g:5825:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
1036 | { | 1057 | { |
1037 | // InternalSolverLanguage.g:5880:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1058 | // InternalSolverLanguage.g:5825: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:5882:16: ( . ) | 1112 | // InternalSolverLanguage.g:5827:16: ( . ) |
1092 | // InternalSolverLanguage.g:5882:18: . | 1113 | // InternalSolverLanguage.g:5827: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,72 +1403,73 @@ 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 | "\1\uffff\2\40\1\uffff\1\44\2\40\3\uffff\4\40\1\uffff\1\40\3\uffff\2\40\2\uffff\1\40\2\36\2\uffff\1\36\2\uffff\1\40\1\uffff\1\40\3\uffff\5\40\3\uffff\4\40\1\uffff\1\40\3\uffff\3\40\2\uffff\1\40\5\uffff\11\40\1\134\11\40\1\146\5\40\1\154\1\155\1\uffff\1\156\7\40\1\166\1\uffff\1\40\1\170\3\40\3\uffff\4\40\1\u0080\2\40\1\uffff\1\40\1\uffff\1\u0084\1\40\1\u0086\1\40\1\u0088\2\40\1\uffff\2\40\1\u008d\1\uffff\1\u008e\1\uffff\1\40\1\uffff\1\40\1\u0091\2\40\2\uffff\1\u0094\1\40\1\uffff\1\40\1\u0097\1\uffff\1\u0098\1\40\2\uffff\1\40\1\u009b\1\uffff"; | 1406 | "\1\uffff\2\40\1\uffff\1\44\2\40\1\53\3\uffff\4\40\4\uffff\2\40\2\uffff\1\40\2\36\2\uffff\1\36\2\uffff\1\40\1\uffff\1\40\3\uffff\5\40\5\uffff\4\40\4\uffff\3\40\2\uffff\1\40\5\uffff\11\40\1\134\10\40\1\145\5\40\1\153\1\154\1\uffff\1\155\6\40\1\164\1\uffff\1\40\1\166\3\40\3\uffff\3\40\1\175\2\40\1\uffff\1\40\1\uffff\1\u0081\1\40\1\u0083\1\40\1\u0085\1\40\1\uffff\2\40\1\u0089\1\uffff\1\u008a\1\uffff\1\40\1\uffff\1\u008c\2\40\2\uffff\1\u008f\1\uffff\1\40\1\u0091\1\uffff\1\40\1\uffff\1\40\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\141\1\162\1\uffff\1\56\2\156\3\uffff\1\157\1\156\1\145\1\164\1\uffff\1\162\3\uffff\1\145\1\154\2\uffff\1\142\1\0\1\101\2\uffff\1\52\2\uffff\1\154\1\uffff\1\165\3\uffff\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\141\1\156\2\uffff\1\163\5\uffff\1\163\1\145\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\163\2\164\1\145\1\60\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\163\1\141\1\162\1\60\1\uffff\1\167\1\60\1\163\1\144\1\163\3\uffff\1\151\1\147\1\143\1\154\1\60\1\151\1\141\1\uffff\1\156\1\uffff\1\60\1\163\1\60\1\157\1\60\1\141\1\164\1\uffff\1\156\1\143\1\60\1\uffff\1\60\1\uffff\1\156\1\uffff\1\164\1\60\1\155\1\164\2\uffff\1\60\1\145\1\uffff\1\145\1\60\1\uffff\1\60\1\156\2\uffff\1\164\1\60\1\uffff"; | 1410 | "\1\0\1\141\1\162\1\uffff\1\56\2\156\1\55\3\uffff\1\157\1\156\1\145\1\164\4\uffff\1\145\1\154\2\uffff\1\142\1\0\1\101\2\uffff\1\52\2\uffff\1\154\1\uffff\1\165\3\uffff\1\153\1\162\1\151\2\165\5\uffff\1\157\1\164\1\141\1\162\4\uffff\1\146\1\141\1\156\2\uffff\1\163\5\uffff\1\163\1\145\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\163\2\164\1\145\1\60\1\157\1\162\1\164\1\156\1\154\2\60\1\uffff\1\60\1\164\1\156\1\165\1\163\1\141\1\162\1\60\1\uffff\1\167\1\60\1\163\1\144\1\163\3\uffff\1\151\1\147\1\154\1\60\1\151\1\141\1\uffff\1\156\1\uffff\1\60\1\163\1\60\1\157\1\60\1\164\1\uffff\1\156\1\143\1\60\1\uffff\1\60\1\uffff\1\156\1\uffff\1\60\1\155\1\164\2\uffff\1\60\1\uffff\1\145\1\60\1\uffff\1\156\1\uffff\1\164\1\60\1\uffff"; |
1383 | static final String DFA10_maxS = | 1411 | static final String DFA10_maxS = |
1384 | "\1\uffff\1\141\1\162\1\uffff\1\56\1\156\1\170\3\uffff\1\157\1\156\1\145\1\164\1\uffff\1\162\3\uffff\1\145\1\157\2\uffff\1\142\1\uffff\1\172\2\uffff\1\57\2\uffff\1\154\1\uffff\1\165\3\uffff\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\141\1\156\2\uffff\1\163\5\uffff\1\163\1\145\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\163\2\164\1\145\1\172\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\163\1\141\1\162\1\172\1\uffff\1\167\1\172\1\163\1\144\1\163\3\uffff\1\151\1\147\1\143\1\154\1\172\1\151\1\141\1\uffff\1\156\1\uffff\1\172\1\163\1\172\1\157\1\172\1\141\1\164\1\uffff\1\156\1\143\1\172\1\uffff\1\172\1\uffff\1\156\1\uffff\1\164\1\172\1\155\1\164\2\uffff\1\172\1\145\1\uffff\1\145\1\172\1\uffff\1\172\1\156\2\uffff\1\164\1\172\1\uffff"; | 1412 | "\1\uffff\1\141\1\162\1\uffff\1\56\1\156\1\170\1\55\3\uffff\1\157\1\156\1\145\1\164\4\uffff\1\145\1\157\2\uffff\1\142\1\uffff\1\172\2\uffff\1\57\2\uffff\1\154\1\uffff\1\165\3\uffff\1\153\1\162\1\164\2\165\5\uffff\1\157\1\164\1\154\1\162\4\uffff\1\146\1\141\1\156\2\uffff\1\163\5\uffff\1\163\1\145\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\163\2\164\1\145\1\172\1\157\1\162\1\164\1\156\1\154\2\172\1\uffff\1\172\1\164\1\156\1\165\1\163\1\141\1\162\1\172\1\uffff\1\167\1\172\1\163\1\144\1\163\3\uffff\1\151\1\147\1\154\1\172\1\151\1\141\1\uffff\1\156\1\uffff\1\172\1\163\1\172\1\157\1\172\1\164\1\uffff\1\156\1\143\1\172\1\uffff\1\172\1\uffff\1\156\1\uffff\1\172\1\155\1\164\2\uffff\1\172\1\uffff\1\145\1\172\1\uffff\1\156\1\uffff\1\164\1\172\1\uffff"; |
1385 | static final String DFA10_acceptS = | 1413 | static final String DFA10_acceptS = |
1386 | "\3\uffff\1\3\3\uffff\1\7\1\10\1\11\4\uffff\1\20\1\uffff\1\22\1\23\1\24\2\uffff\1\27\1\30\3\uffff\1\40\1\41\1\uffff\1\44\1\45\1\uffff\1\40\1\uffff\1\3\1\34\1\4\5\uffff\1\7\1\10\1\11\4\uffff\1\20\1\uffff\1\22\1\23\1\24\3\uffff\1\27\1\30\1\uffff\1\37\1\41\1\42\1\43\1\44\33\uffff\1\15\11\uffff\1\2\5\uffff\1\32\1\14\1\16\7\uffff\1\1\1\uffff\1\6\7\uffff\1\26\3\uffff\1\12\1\uffff\1\13\1\uffff\1\17\4\uffff\1\5\1\31\2\uffff\1\25\2\uffff\1\33\2\uffff\1\35\1\21\2\uffff\1\36"; | 1414 | "\3\uffff\1\3\4\uffff\1\10\1\11\1\12\4\uffff\1\21\1\23\1\24\1\25\2\uffff\1\30\1\31\3\uffff\1\41\1\42\1\uffff\1\45\1\46\1\uffff\1\41\1\uffff\1\3\1\35\1\4\5\uffff\1\22\1\7\1\10\1\11\1\12\4\uffff\1\21\1\23\1\24\1\25\3\uffff\1\30\1\31\1\uffff\1\40\1\42\1\43\1\44\1\45\32\uffff\1\16\10\uffff\1\2\5\uffff\1\33\1\15\1\17\6\uffff\1\1\1\uffff\1\6\6\uffff\1\27\3\uffff\1\13\1\uffff\1\14\1\uffff\1\20\3\uffff\1\5\1\32\1\uffff\1\26\2\uffff\1\34\1\uffff\1\36\2\uffff\1\37"; |
1387 | static final String DFA10_specialS = | 1415 | static final String DFA10_specialS = |
1388 | "\1\1\27\uffff\1\0\u0083\uffff}>"; | 1416 | "\1\1\27\uffff\1\0\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\3\1\4\1\34\12\33\1\11\6\36\32\32\3\36\1\31\1\32\1\36\1\27\1\12\1\24\1\23\1\6\1\1\2\32\1\13\6\32\1\17\1\32\1\14\1\15\1\2\1\5\5\32\1\25\1\20\1\26\uff82\36", | 1418 | "\11\36\2\35\2\36\1\35\22\36\1\35\1\36\1\30\4\36\1\17\1\10\1\11\1\22\1\21\1\12\1\3\1\4\1\34\12\33\1\7\6\36\32\32\3\36\1\31\1\32\1\36\1\27\1\13\1\24\1\23\1\6\1\1\2\32\1\14\10\32\1\15\1\16\1\2\1\5\5\32\1\25\1\20\1\26\uff82\36", |
1391 | "\1\37", | 1419 | "\1\37", |
1392 | "\1\41", | 1420 | "\1\41", |
1393 | "", | 1421 | "", |
1394 | "\1\43", | 1422 | "\1\43", |
1395 | "\1\45", | 1423 | "\1\45", |
1396 | "\1\51\2\uffff\1\50\1\46\5\uffff\1\47", | 1424 | "\1\51\2\uffff\1\50\1\46\5\uffff\1\47", |
1425 | "\1\52", | ||
1397 | "", | 1426 | "", |
1398 | "", | 1427 | "", |
1399 | "", | 1428 | "", |
1400 | "\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", | ||
1410 | "\1\67\2\uffff\1\70", | ||
1411 | "", | 1436 | "", |
1437 | "\1\67", | ||
1438 | "\1\70\2\uffff\1\71", | ||
1412 | "", | 1439 | "", |
1413 | "\1\73", | ||
1414 | "\0\74", | ||
1415 | "\32\40\4\uffff\1\40\1\uffff\32\40", | ||
1416 | "", | 1440 | "", |
1441 | "\1\74", | ||
1442 | "\0\75", | ||
1443 | "\32\40\4\uffff\1\40\1\uffff\32\40", | ||
1417 | "", | 1444 | "", |
1418 | "\1\76\4\uffff\1\77", | ||
1419 | "", | 1445 | "", |
1446 | "\1\77\4\uffff\1\100", | ||
1420 | "", | 1447 | "", |
1421 | "\1\101", | ||
1422 | "", | 1448 | "", |
1423 | "\1\102", | 1449 | "\1\102", |
1424 | "", | 1450 | "", |
1451 | "\1\103", | ||
1452 | "", | ||
1425 | "", | 1453 | "", |
1426 | "", | 1454 | "", |
1427 | "\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", | ||
1432 | "", | 1460 | "", |
1433 | "", | 1461 | "", |
1434 | "", | 1462 | "", |
1435 | "\1\111", | ||
1436 | "\1\112", | ||
1437 | "\1\113\12\uffff\1\114", | ||
1438 | "\1\115", | ||
1439 | "", | 1463 | "", |
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", |
@@ -1470,77 +1499,69 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1470 | "\1\142", | 1499 | "\1\142", |
1471 | "\1\143", | 1500 | "\1\143", |
1472 | "\1\144", | 1501 | "\1\144", |
1473 | "\1\145", | ||
1474 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1502 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
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\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1508 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1481 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1509 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1482 | "", | 1510 | "", |
1483 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1511 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
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 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1518 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1492 | "", | 1519 | "", |
1493 | "\1\167", | 1520 | "\1\165", |
1494 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1521 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
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 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1503 | "\1\176", | 1532 | "\1\176", |
1504 | "\1\177", | 1533 | "\1\177", |
1505 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | ||
1506 | "\1\u0081", | ||
1507 | "\1\u0082", | ||
1508 | "", | 1534 | "", |
1509 | "\1\u0083", | 1535 | "\1\u0080", |
1510 | "", | 1536 | "", |
1511 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1537 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1512 | "\1\u0085", | 1538 | "\1\u0082", |
1513 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1539 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1514 | "\1\u0087", | 1540 | "\1\u0084", |
1515 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1541 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1516 | "\1\u0089", | 1542 | "\1\u0086", |
1517 | "\1\u008a", | ||
1518 | "", | 1543 | "", |
1519 | "\1\u008b", | 1544 | "\1\u0087", |
1520 | "\1\u008c", | 1545 | "\1\u0088", |
1521 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1546 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1522 | "", | 1547 | "", |
1523 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1548 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1524 | "", | 1549 | "", |
1525 | "\1\u008f", | 1550 | "\1\u008b", |
1526 | "", | 1551 | "", |
1527 | "\1\u0090", | ||
1528 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1552 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1529 | "\1\u0092", | 1553 | "\1\u008d", |
1530 | "\1\u0093", | 1554 | "\1\u008e", |
1531 | "", | 1555 | "", |
1532 | "", | 1556 | "", |
1533 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1557 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1534 | "\1\u0095", | ||
1535 | "", | ||
1536 | "\1\u0096", | ||
1537 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | ||
1538 | "", | 1558 | "", |
1559 | "\1\u0090", | ||
1539 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1560 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1540 | "\1\u0099", | ||
1541 | "", | 1561 | "", |
1562 | "\1\u0092", | ||
1542 | "", | 1563 | "", |
1543 | "\1\u009a", | 1564 | "\1\u0093", |
1544 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1565 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1545 | "" | 1566 | "" |
1546 | }; | 1567 | }; |
@@ -1575,7 +1596,7 @@ 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; |
@@ -1585,7 +1606,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1585 | int LA10_24 = input.LA(1); | 1606 | int LA10_24 = input.LA(1); |
1586 | 1607 | ||
1587 | s = -1; | 1608 | s = -1; |
1588 | if ( ((LA10_24>='\u0000' && LA10_24<='\uFFFF')) ) {s = 60;} | 1609 | if ( ((LA10_24>='\u0000' && LA10_24<='\uFFFF')) ) {s = 61;} |
1589 | 1610 | ||
1590 | else s = 30; | 1611 | else s = 30; |
1591 | 1612 | ||
@@ -1607,23 +1628,23 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1607 | 1628 | ||
1608 | else if ( (LA10_0=='e') ) {s = 6;} | 1629 | else if ( (LA10_0=='e') ) {s = 6;} |
1609 | 1630 | ||
1610 | else if ( (LA10_0=='(') ) {s = 7;} | 1631 | else if ( (LA10_0==':') ) {s = 7;} |
1611 | 1632 | ||
1612 | else if ( (LA10_0==')') ) {s = 8;} | 1633 | else if ( (LA10_0=='(') ) {s = 8;} |
1613 | 1634 | ||
1614 | else if ( (LA10_0==':') ) {s = 9;} | 1635 | else if ( (LA10_0==')') ) {s = 9;} |
1615 | 1636 | ||
1616 | else if ( (LA10_0=='b') ) {s = 10;} | 1637 | else if ( (LA10_0==',') ) {s = 10;} |
1617 | 1638 | ||
1618 | else if ( (LA10_0=='i') ) {s = 11;} | 1639 | else if ( (LA10_0=='b') ) {s = 11;} |
1619 | 1640 | ||
1620 | else if ( (LA10_0=='r') ) {s = 12;} | 1641 | else if ( (LA10_0=='i') ) {s = 12;} |
1621 | 1642 | ||
1622 | else if ( (LA10_0=='s') ) {s = 13;} | 1643 | else if ( (LA10_0=='r') ) {s = 13;} |
1623 | 1644 | ||
1624 | else if ( (LA10_0=='\'') ) {s = 14;} | 1645 | else if ( (LA10_0=='s') ) {s = 14;} |
1625 | 1646 | ||
1626 | else if ( (LA10_0=='p') ) {s = 15;} | 1647 | else if ( (LA10_0=='\'') ) {s = 15;} |
1627 | 1648 | ||
1628 | else if ( (LA10_0=='|') ) {s = 16;} | 1649 | else if ( (LA10_0=='|') ) {s = 16;} |
1629 | 1650 | ||
@@ -1645,7 +1666,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1645 | 1666 | ||
1646 | else if ( (LA10_0=='^') ) {s = 25;} | 1667 | else if ( (LA10_0=='^') ) {s = 25;} |
1647 | 1668 | ||
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;} | 1669 | 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 | 1670 | ||
1650 | else if ( ((LA10_0>='0' && LA10_0<='9')) ) {s = 27;} | 1671 | else if ( ((LA10_0>='0' && LA10_0<='9')) ) {s = 27;} |
1651 | 1672 | ||
@@ -1653,7 +1674,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1653 | 1674 | ||
1654 | else if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) {s = 29;} | 1675 | else if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) {s = 29;} |
1655 | 1676 | ||
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;} | 1677 | 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;} |
1657 | 1678 | ||
1658 | if ( s>=0 ) return s; | 1679 | if ( s>=0 ) return s; |
1659 | break; | 1680 | break; |