diff options
author | 2017-06-10 20:39:40 +0200 | |
---|---|---|
committer | 2017-06-10 20:39:40 +0200 | |
commit | 10d272818443979dbb15972b397e8ac1bbbd5cd2 (patch) | |
tree | 0e6bafd1a1dabad2affefdaed295f780fcc6f65b /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalSmtLanguageLexer.java | |
parent | Migrating Additional projects (diff) | |
download | VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.gz VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.zst VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.zip |
Added generated Xtext artefacts
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.java | 2896 |
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 @@ | |||
1 | package 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. | ||
5 | import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.Lexer; | ||
6 | |||
7 | |||
8 | import org.antlr.runtime.*; | ||
9 | import java.util.Stack; | ||
10 | import java.util.List; | ||
11 | import java.util.ArrayList; | ||
12 | |||
13 | @SuppressWarnings("all") | ||
14 | public 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 | ||