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