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