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