diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g | 6043 |
1 files changed, 6043 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g new file mode 100644 index 00000000..c5f2bcd0 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g | |||
@@ -0,0 +1,6043 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.14.0 | ||
3 | */ | ||
4 | grammar InternalVampireLanguage; | ||
5 | |||
6 | options { | ||
7 | superClass=AbstractInternalContentAssistParser; | ||
8 | } | ||
9 | |||
10 | @lexer::header { | ||
11 | package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal; | ||
12 | |||
13 | // Hack: Use our own Lexer superclass by means of import. | ||
14 | // Currently there is no other way to specify the superclass for the lexer. | ||
15 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; | ||
16 | } | ||
17 | |||
18 | @parser::header { | ||
19 | package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal; | ||
20 | |||
21 | import java.io.InputStream; | ||
22 | import org.eclipse.xtext.*; | ||
23 | import org.eclipse.xtext.parser.*; | ||
24 | import org.eclipse.xtext.parser.impl.*; | ||
25 | import org.eclipse.emf.ecore.util.EcoreUtil; | ||
26 | import org.eclipse.emf.ecore.EObject; | ||
27 | import org.eclipse.xtext.parser.antlr.XtextTokenStream; | ||
28 | import org.eclipse.xtext.parser.antlr.XtextTokenStream.HiddenTokens; | ||
29 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser; | ||
30 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.DFA; | ||
31 | import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess; | ||
32 | |||
33 | } | ||
34 | @parser::members { | ||
35 | private VampireLanguageGrammarAccess grammarAccess; | ||
36 | |||
37 | public void setGrammarAccess(VampireLanguageGrammarAccess grammarAccess) { | ||
38 | this.grammarAccess = grammarAccess; | ||
39 | } | ||
40 | |||
41 | @Override | ||
42 | protected Grammar getGrammar() { | ||
43 | return grammarAccess.getGrammar(); | ||
44 | } | ||
45 | |||
46 | @Override | ||
47 | protected String getValueForTokenName(String tokenName) { | ||
48 | return tokenName; | ||
49 | } | ||
50 | } | ||
51 | |||
52 | // Entry rule entryRuleVampireModel | ||
53 | entryRuleVampireModel | ||
54 | : | ||
55 | { before(grammarAccess.getVampireModelRule()); } | ||
56 | ruleVampireModel | ||
57 | { after(grammarAccess.getVampireModelRule()); } | ||
58 | EOF | ||
59 | ; | ||
60 | |||
61 | // Rule VampireModel | ||
62 | ruleVampireModel | ||
63 | @init { | ||
64 | int stackSize = keepStackSize(); | ||
65 | } | ||
66 | : | ||
67 | ( | ||
68 | { before(grammarAccess.getVampireModelAccess().getAlternatives()); } | ||
69 | (rule__VampireModel__Alternatives)* | ||
70 | { after(grammarAccess.getVampireModelAccess().getAlternatives()); } | ||
71 | ) | ||
72 | ; | ||
73 | finally { | ||
74 | restoreStackSize(stackSize); | ||
75 | } | ||
76 | |||
77 | // Entry rule entryRuleVLSInclude | ||
78 | entryRuleVLSInclude | ||
79 | : | ||
80 | { before(grammarAccess.getVLSIncludeRule()); } | ||
81 | ruleVLSInclude | ||
82 | { after(grammarAccess.getVLSIncludeRule()); } | ||
83 | EOF | ||
84 | ; | ||
85 | |||
86 | // Rule VLSInclude | ||
87 | ruleVLSInclude | ||
88 | @init { | ||
89 | int stackSize = keepStackSize(); | ||
90 | } | ||
91 | : | ||
92 | ( | ||
93 | { before(grammarAccess.getVLSIncludeAccess().getGroup()); } | ||
94 | (rule__VLSInclude__Group__0) | ||
95 | { after(grammarAccess.getVLSIncludeAccess().getGroup()); } | ||
96 | ) | ||
97 | ; | ||
98 | finally { | ||
99 | restoreStackSize(stackSize); | ||
100 | } | ||
101 | |||
102 | // Entry rule entryRuleVLSName | ||
103 | entryRuleVLSName | ||
104 | : | ||
105 | { before(grammarAccess.getVLSNameRule()); } | ||
106 | ruleVLSName | ||
107 | { after(grammarAccess.getVLSNameRule()); } | ||
108 | EOF | ||
109 | ; | ||
110 | |||
111 | // Rule VLSName | ||
112 | ruleVLSName | ||
113 | @init { | ||
114 | int stackSize = keepStackSize(); | ||
115 | } | ||
116 | : | ||
117 | ( | ||
118 | { before(grammarAccess.getVLSNameAccess().getNameAssignment()); } | ||
119 | (rule__VLSName__NameAssignment) | ||
120 | { after(grammarAccess.getVLSNameAccess().getNameAssignment()); } | ||
121 | ) | ||
122 | ; | ||
123 | finally { | ||
124 | restoreStackSize(stackSize); | ||
125 | } | ||
126 | |||
127 | // Entry rule entryRuleVLSComment | ||
128 | entryRuleVLSComment | ||
129 | : | ||
130 | { before(grammarAccess.getVLSCommentRule()); } | ||
131 | ruleVLSComment | ||
132 | { after(grammarAccess.getVLSCommentRule()); } | ||
133 | EOF | ||
134 | ; | ||
135 | |||
136 | // Rule VLSComment | ||
137 | ruleVLSComment | ||
138 | @init { | ||
139 | int stackSize = keepStackSize(); | ||
140 | } | ||
141 | : | ||
142 | ( | ||
143 | { before(grammarAccess.getVLSCommentAccess().getGroup()); } | ||
144 | (rule__VLSComment__Group__0) | ||
145 | { after(grammarAccess.getVLSCommentAccess().getGroup()); } | ||
146 | ) | ||
147 | ; | ||
148 | finally { | ||
149 | restoreStackSize(stackSize); | ||
150 | } | ||
151 | |||
152 | // Entry rule entryRuleVLSConfirmations | ||
153 | entryRuleVLSConfirmations | ||
154 | : | ||
155 | { before(grammarAccess.getVLSConfirmationsRule()); } | ||
156 | ruleVLSConfirmations | ||
157 | { after(grammarAccess.getVLSConfirmationsRule()); } | ||
158 | EOF | ||
159 | ; | ||
160 | |||
161 | // Rule VLSConfirmations | ||
162 | ruleVLSConfirmations | ||
163 | @init { | ||
164 | int stackSize = keepStackSize(); | ||
165 | } | ||
166 | : | ||
167 | ( | ||
168 | { before(grammarAccess.getVLSConfirmationsAccess().getVLSSatisfiableParserRuleCall()); } | ||
169 | ruleVLSSatisfiable | ||
170 | { after(grammarAccess.getVLSConfirmationsAccess().getVLSSatisfiableParserRuleCall()); } | ||
171 | ) | ||
172 | ; | ||
173 | finally { | ||
174 | restoreStackSize(stackSize); | ||
175 | } | ||
176 | |||
177 | // Entry rule entryRuleVLSSatisfiable | ||
178 | entryRuleVLSSatisfiable | ||
179 | : | ||
180 | { before(grammarAccess.getVLSSatisfiableRule()); } | ||
181 | ruleVLSSatisfiable | ||
182 | { after(grammarAccess.getVLSSatisfiableRule()); } | ||
183 | EOF | ||
184 | ; | ||
185 | |||
186 | // Rule VLSSatisfiable | ||
187 | ruleVLSSatisfiable | ||
188 | @init { | ||
189 | int stackSize = keepStackSize(); | ||
190 | } | ||
191 | : | ||
192 | ( | ||
193 | { before(grammarAccess.getVLSSatisfiableAccess().getGroup()); } | ||
194 | (rule__VLSSatisfiable__Group__0) | ||
195 | { after(grammarAccess.getVLSSatisfiableAccess().getGroup()); } | ||
196 | ) | ||
197 | ; | ||
198 | finally { | ||
199 | restoreStackSize(stackSize); | ||
200 | } | ||
201 | |||
202 | // Entry rule entryRuleVLSFofFormula | ||
203 | entryRuleVLSFofFormula | ||
204 | : | ||
205 | { before(grammarAccess.getVLSFofFormulaRule()); } | ||
206 | ruleVLSFofFormula | ||
207 | { after(grammarAccess.getVLSFofFormulaRule()); } | ||
208 | EOF | ||
209 | ; | ||
210 | |||
211 | // Rule VLSFofFormula | ||
212 | ruleVLSFofFormula | ||
213 | @init { | ||
214 | int stackSize = keepStackSize(); | ||
215 | } | ||
216 | : | ||
217 | ( | ||
218 | { before(grammarAccess.getVLSFofFormulaAccess().getGroup()); } | ||
219 | (rule__VLSFofFormula__Group__0) | ||
220 | { after(grammarAccess.getVLSFofFormulaAccess().getGroup()); } | ||
221 | ) | ||
222 | ; | ||
223 | finally { | ||
224 | restoreStackSize(stackSize); | ||
225 | } | ||
226 | |||
227 | // Entry rule entryRuleVLSTffFormula | ||
228 | entryRuleVLSTffFormula | ||
229 | : | ||
230 | { before(grammarAccess.getVLSTffFormulaRule()); } | ||
231 | ruleVLSTffFormula | ||
232 | { after(grammarAccess.getVLSTffFormulaRule()); } | ||
233 | EOF | ||
234 | ; | ||
235 | |||
236 | // Rule VLSTffFormula | ||
237 | ruleVLSTffFormula | ||
238 | @init { | ||
239 | int stackSize = keepStackSize(); | ||
240 | } | ||
241 | : | ||
242 | ( | ||
243 | { before(grammarAccess.getVLSTffFormulaAccess().getGroup()); } | ||
244 | (rule__VLSTffFormula__Group__0) | ||
245 | { after(grammarAccess.getVLSTffFormulaAccess().getGroup()); } | ||
246 | ) | ||
247 | ; | ||
248 | finally { | ||
249 | restoreStackSize(stackSize); | ||
250 | } | ||
251 | |||
252 | // Entry rule entryRuleVLSRole | ||
253 | entryRuleVLSRole | ||
254 | : | ||
255 | { before(grammarAccess.getVLSRoleRule()); } | ||
256 | ruleVLSRole | ||
257 | { after(grammarAccess.getVLSRoleRule()); } | ||
258 | EOF | ||
259 | ; | ||
260 | |||
261 | // Rule VLSRole | ||
262 | ruleVLSRole | ||
263 | @init { | ||
264 | int stackSize = keepStackSize(); | ||
265 | } | ||
266 | : | ||
267 | ( | ||
268 | { before(grammarAccess.getVLSRoleAccess().getAlternatives()); } | ||
269 | (rule__VLSRole__Alternatives) | ||
270 | { after(grammarAccess.getVLSRoleAccess().getAlternatives()); } | ||
271 | ) | ||
272 | ; | ||
273 | finally { | ||
274 | restoreStackSize(stackSize); | ||
275 | } | ||
276 | |||
277 | // Entry rule entryRuleVLSAnnotation | ||
278 | entryRuleVLSAnnotation | ||
279 | : | ||
280 | { before(grammarAccess.getVLSAnnotationRule()); } | ||
281 | ruleVLSAnnotation | ||
282 | { after(grammarAccess.getVLSAnnotationRule()); } | ||
283 | EOF | ||
284 | ; | ||
285 | |||
286 | // Rule VLSAnnotation | ||
287 | ruleVLSAnnotation | ||
288 | @init { | ||
289 | int stackSize = keepStackSize(); | ||
290 | } | ||
291 | : | ||
292 | ( | ||
293 | { before(grammarAccess.getVLSAnnotationAccess().getGroup()); } | ||
294 | (rule__VLSAnnotation__Group__0) | ||
295 | { after(grammarAccess.getVLSAnnotationAccess().getGroup()); } | ||
296 | ) | ||
297 | ; | ||
298 | finally { | ||
299 | restoreStackSize(stackSize); | ||
300 | } | ||
301 | |||
302 | // Entry rule entryRuleVLSAnnotationTerms | ||
303 | entryRuleVLSAnnotationTerms | ||
304 | : | ||
305 | { before(grammarAccess.getVLSAnnotationTermsRule()); } | ||
306 | ruleVLSAnnotationTerms | ||
307 | { after(grammarAccess.getVLSAnnotationTermsRule()); } | ||
308 | EOF | ||
309 | ; | ||
310 | |||
311 | // Rule VLSAnnotationTerms | ||
312 | ruleVLSAnnotationTerms | ||
313 | @init { | ||
314 | int stackSize = keepStackSize(); | ||
315 | } | ||
316 | : | ||
317 | ( | ||
318 | { before(grammarAccess.getVLSAnnotationTermsAccess().getGroup()); } | ||
319 | (rule__VLSAnnotationTerms__Group__0) | ||
320 | { after(grammarAccess.getVLSAnnotationTermsAccess().getGroup()); } | ||
321 | ) | ||
322 | ; | ||
323 | finally { | ||
324 | restoreStackSize(stackSize); | ||
325 | } | ||
326 | |||
327 | // Entry rule entryRuleVLSTerm | ||
328 | entryRuleVLSTerm | ||
329 | : | ||
330 | { before(grammarAccess.getVLSTermRule()); } | ||
331 | ruleVLSTerm | ||
332 | { after(grammarAccess.getVLSTermRule()); } | ||
333 | EOF | ||
334 | ; | ||
335 | |||
336 | // Rule VLSTerm | ||
337 | ruleVLSTerm | ||
338 | @init { | ||
339 | int stackSize = keepStackSize(); | ||
340 | } | ||
341 | : | ||
342 | ( | ||
343 | { before(grammarAccess.getVLSTermAccess().getVLSBinaryParserRuleCall()); } | ||
344 | ruleVLSBinary | ||
345 | { after(grammarAccess.getVLSTermAccess().getVLSBinaryParserRuleCall()); } | ||
346 | ) | ||
347 | ; | ||
348 | finally { | ||
349 | restoreStackSize(stackSize); | ||
350 | } | ||
351 | |||
352 | // Entry rule entryRuleVLSBinary | ||
353 | entryRuleVLSBinary | ||
354 | : | ||
355 | { before(grammarAccess.getVLSBinaryRule()); } | ||
356 | ruleVLSBinary | ||
357 | { after(grammarAccess.getVLSBinaryRule()); } | ||
358 | EOF | ||
359 | ; | ||
360 | |||
361 | // Rule VLSBinary | ||
362 | ruleVLSBinary | ||
363 | @init { | ||
364 | int stackSize = keepStackSize(); | ||
365 | } | ||
366 | : | ||
367 | ( | ||
368 | { before(grammarAccess.getVLSBinaryAccess().getGroup()); } | ||
369 | (rule__VLSBinary__Group__0) | ||
370 | { after(grammarAccess.getVLSBinaryAccess().getGroup()); } | ||
371 | ) | ||
372 | ; | ||
373 | finally { | ||
374 | restoreStackSize(stackSize); | ||
375 | } | ||
376 | |||
377 | // Entry rule entryRuleVLSUnitaryFormula | ||
378 | entryRuleVLSUnitaryFormula | ||
379 | : | ||
380 | { before(grammarAccess.getVLSUnitaryFormulaRule()); } | ||
381 | ruleVLSUnitaryFormula | ||
382 | { after(grammarAccess.getVLSUnitaryFormulaRule()); } | ||
383 | EOF | ||
384 | ; | ||
385 | |||
386 | // Rule VLSUnitaryFormula | ||
387 | ruleVLSUnitaryFormula | ||
388 | @init { | ||
389 | int stackSize = keepStackSize(); | ||
390 | } | ||
391 | : | ||
392 | ( | ||
393 | { before(grammarAccess.getVLSUnitaryFormulaAccess().getAlternatives()); } | ||
394 | (rule__VLSUnitaryFormula__Alternatives) | ||
395 | { after(grammarAccess.getVLSUnitaryFormulaAccess().getAlternatives()); } | ||
396 | ) | ||
397 | ; | ||
398 | finally { | ||
399 | restoreStackSize(stackSize); | ||
400 | } | ||
401 | |||
402 | // Entry rule entryRuleVLSUniversalQuantifier | ||
403 | entryRuleVLSUniversalQuantifier | ||
404 | : | ||
405 | { before(grammarAccess.getVLSUniversalQuantifierRule()); } | ||
406 | ruleVLSUniversalQuantifier | ||
407 | { after(grammarAccess.getVLSUniversalQuantifierRule()); } | ||
408 | EOF | ||
409 | ; | ||
410 | |||
411 | // Rule VLSUniversalQuantifier | ||
412 | ruleVLSUniversalQuantifier | ||
413 | @init { | ||
414 | int stackSize = keepStackSize(); | ||
415 | } | ||
416 | : | ||
417 | ( | ||
418 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getGroup()); } | ||
419 | (rule__VLSUniversalQuantifier__Group__0) | ||
420 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getGroup()); } | ||
421 | ) | ||
422 | ; | ||
423 | finally { | ||
424 | restoreStackSize(stackSize); | ||
425 | } | ||
426 | |||
427 | // Entry rule entryRuleVLSExistentialQuantifier | ||
428 | entryRuleVLSExistentialQuantifier | ||
429 | : | ||
430 | { before(grammarAccess.getVLSExistentialQuantifierRule()); } | ||
431 | ruleVLSExistentialQuantifier | ||
432 | { after(grammarAccess.getVLSExistentialQuantifierRule()); } | ||
433 | EOF | ||
434 | ; | ||
435 | |||
436 | // Rule VLSExistentialQuantifier | ||
437 | ruleVLSExistentialQuantifier | ||
438 | @init { | ||
439 | int stackSize = keepStackSize(); | ||
440 | } | ||
441 | : | ||
442 | ( | ||
443 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getGroup()); } | ||
444 | (rule__VLSExistentialQuantifier__Group__0) | ||
445 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getGroup()); } | ||
446 | ) | ||
447 | ; | ||
448 | finally { | ||
449 | restoreStackSize(stackSize); | ||
450 | } | ||
451 | |||
452 | // Entry rule entryRuleVLSUnaryNegation | ||
453 | entryRuleVLSUnaryNegation | ||
454 | : | ||
455 | { before(grammarAccess.getVLSUnaryNegationRule()); } | ||
456 | ruleVLSUnaryNegation | ||
457 | { after(grammarAccess.getVLSUnaryNegationRule()); } | ||
458 | EOF | ||
459 | ; | ||
460 | |||
461 | // Rule VLSUnaryNegation | ||
462 | ruleVLSUnaryNegation | ||
463 | @init { | ||
464 | int stackSize = keepStackSize(); | ||
465 | } | ||
466 | : | ||
467 | ( | ||
468 | { before(grammarAccess.getVLSUnaryNegationAccess().getGroup()); } | ||
469 | (rule__VLSUnaryNegation__Group__0) | ||
470 | { after(grammarAccess.getVLSUnaryNegationAccess().getGroup()); } | ||
471 | ) | ||
472 | ; | ||
473 | finally { | ||
474 | restoreStackSize(stackSize); | ||
475 | } | ||
476 | |||
477 | // Entry rule entryRuleVLSUnaryInfix | ||
478 | entryRuleVLSUnaryInfix | ||
479 | : | ||
480 | { before(grammarAccess.getVLSUnaryInfixRule()); } | ||
481 | ruleVLSUnaryInfix | ||
482 | { after(grammarAccess.getVLSUnaryInfixRule()); } | ||
483 | EOF | ||
484 | ; | ||
485 | |||
486 | // Rule VLSUnaryInfix | ||
487 | ruleVLSUnaryInfix | ||
488 | @init { | ||
489 | int stackSize = keepStackSize(); | ||
490 | } | ||
491 | : | ||
492 | ( | ||
493 | { before(grammarAccess.getVLSUnaryInfixAccess().getGroup()); } | ||
494 | (rule__VLSUnaryInfix__Group__0) | ||
495 | { after(grammarAccess.getVLSUnaryInfixAccess().getGroup()); } | ||
496 | ) | ||
497 | ; | ||
498 | finally { | ||
499 | restoreStackSize(stackSize); | ||
500 | } | ||
501 | |||
502 | // Entry rule entryRuleVLSAtomic | ||
503 | entryRuleVLSAtomic | ||
504 | : | ||
505 | { before(grammarAccess.getVLSAtomicRule()); } | ||
506 | ruleVLSAtomic | ||
507 | { after(grammarAccess.getVLSAtomicRule()); } | ||
508 | EOF | ||
509 | ; | ||
510 | |||
511 | // Rule VLSAtomic | ||
512 | ruleVLSAtomic | ||
513 | @init { | ||
514 | int stackSize = keepStackSize(); | ||
515 | } | ||
516 | : | ||
517 | ( | ||
518 | { before(grammarAccess.getVLSAtomicAccess().getAlternatives()); } | ||
519 | (rule__VLSAtomic__Alternatives) | ||
520 | { after(grammarAccess.getVLSAtomicAccess().getAlternatives()); } | ||
521 | ) | ||
522 | ; | ||
523 | finally { | ||
524 | restoreStackSize(stackSize); | ||
525 | } | ||
526 | |||
527 | // Entry rule entryRuleVLSAtomicConstant | ||
528 | entryRuleVLSAtomicConstant | ||
529 | : | ||
530 | { before(grammarAccess.getVLSAtomicConstantRule()); } | ||
531 | ruleVLSAtomicConstant | ||
532 | { after(grammarAccess.getVLSAtomicConstantRule()); } | ||
533 | EOF | ||
534 | ; | ||
535 | |||
536 | // Rule VLSAtomicConstant | ||
537 | ruleVLSAtomicConstant | ||
538 | @init { | ||
539 | int stackSize = keepStackSize(); | ||
540 | } | ||
541 | : | ||
542 | ( | ||
543 | { before(grammarAccess.getVLSAtomicConstantAccess().getAlternatives()); } | ||
544 | (rule__VLSAtomicConstant__Alternatives) | ||
545 | { after(grammarAccess.getVLSAtomicConstantAccess().getAlternatives()); } | ||
546 | ) | ||
547 | ; | ||
548 | finally { | ||
549 | restoreStackSize(stackSize); | ||
550 | } | ||
551 | |||
552 | // Entry rule entryRuleVLSAtomicFunction | ||
553 | entryRuleVLSAtomicFunction | ||
554 | : | ||
555 | { before(grammarAccess.getVLSAtomicFunctionRule()); } | ||
556 | ruleVLSAtomicFunction | ||
557 | { after(grammarAccess.getVLSAtomicFunctionRule()); } | ||
558 | EOF | ||
559 | ; | ||
560 | |||
561 | // Rule VLSAtomicFunction | ||
562 | ruleVLSAtomicFunction | ||
563 | @init { | ||
564 | int stackSize = keepStackSize(); | ||
565 | } | ||
566 | : | ||
567 | ( | ||
568 | { before(grammarAccess.getVLSAtomicFunctionAccess().getAlternatives()); } | ||
569 | (rule__VLSAtomicFunction__Alternatives) | ||
570 | { after(grammarAccess.getVLSAtomicFunctionAccess().getAlternatives()); } | ||
571 | ) | ||
572 | ; | ||
573 | finally { | ||
574 | restoreStackSize(stackSize); | ||
575 | } | ||
576 | |||
577 | // Entry rule entryRuleVLSVariable | ||
578 | entryRuleVLSVariable | ||
579 | : | ||
580 | { before(grammarAccess.getVLSVariableRule()); } | ||
581 | ruleVLSVariable | ||
582 | { after(grammarAccess.getVLSVariableRule()); } | ||
583 | EOF | ||
584 | ; | ||
585 | |||
586 | // Rule VLSVariable | ||
587 | ruleVLSVariable | ||
588 | @init { | ||
589 | int stackSize = keepStackSize(); | ||
590 | } | ||
591 | : | ||
592 | ( | ||
593 | { before(grammarAccess.getVLSVariableAccess().getNameAssignment()); } | ||
594 | (rule__VLSVariable__NameAssignment) | ||
595 | { after(grammarAccess.getVLSVariableAccess().getNameAssignment()); } | ||
596 | ) | ||
597 | ; | ||
598 | finally { | ||
599 | restoreStackSize(stackSize); | ||
600 | } | ||
601 | |||
602 | // Entry rule entryRuleVLSFofTerm | ||
603 | entryRuleVLSFofTerm | ||
604 | : | ||
605 | { before(grammarAccess.getVLSFofTermRule()); } | ||
606 | ruleVLSFofTerm | ||
607 | { after(grammarAccess.getVLSFofTermRule()); } | ||
608 | EOF | ||
609 | ; | ||
610 | |||
611 | // Rule VLSFofTerm | ||
612 | ruleVLSFofTerm | ||
613 | @init { | ||
614 | int stackSize = keepStackSize(); | ||
615 | } | ||
616 | : | ||
617 | ( | ||
618 | { before(grammarAccess.getVLSFofTermAccess().getAlternatives()); } | ||
619 | (rule__VLSFofTerm__Alternatives) | ||
620 | { after(grammarAccess.getVLSFofTermAccess().getAlternatives()); } | ||
621 | ) | ||
622 | ; | ||
623 | finally { | ||
624 | restoreStackSize(stackSize); | ||
625 | } | ||
626 | |||
627 | // Entry rule entryRuleVLSFunctionAsTerm | ||
628 | entryRuleVLSFunctionAsTerm | ||
629 | : | ||
630 | { before(grammarAccess.getVLSFunctionAsTermRule()); } | ||
631 | ruleVLSFunctionAsTerm | ||
632 | { after(grammarAccess.getVLSFunctionAsTermRule()); } | ||
633 | EOF | ||
634 | ; | ||
635 | |||
636 | // Rule VLSFunctionAsTerm | ||
637 | ruleVLSFunctionAsTerm | ||
638 | @init { | ||
639 | int stackSize = keepStackSize(); | ||
640 | } | ||
641 | : | ||
642 | ( | ||
643 | { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); } | ||
644 | (rule__VLSFunctionAsTerm__Group__0) | ||
645 | { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); } | ||
646 | ) | ||
647 | ; | ||
648 | finally { | ||
649 | restoreStackSize(stackSize); | ||
650 | } | ||
651 | |||
652 | // Entry rule entryRuleVLSDefinedTerm | ||
653 | entryRuleVLSDefinedTerm | ||
654 | : | ||
655 | { before(grammarAccess.getVLSDefinedTermRule()); } | ||
656 | ruleVLSDefinedTerm | ||
657 | { after(grammarAccess.getVLSDefinedTermRule()); } | ||
658 | EOF | ||
659 | ; | ||
660 | |||
661 | // Rule VLSDefinedTerm | ||
662 | ruleVLSDefinedTerm | ||
663 | @init { | ||
664 | int stackSize = keepStackSize(); | ||
665 | } | ||
666 | : | ||
667 | ( | ||
668 | { before(grammarAccess.getVLSDefinedTermAccess().getAlternatives()); } | ||
669 | (rule__VLSDefinedTerm__Alternatives) | ||
670 | { after(grammarAccess.getVLSDefinedTermAccess().getAlternatives()); } | ||
671 | ) | ||
672 | ; | ||
673 | finally { | ||
674 | restoreStackSize(stackSize); | ||
675 | } | ||
676 | |||
677 | rule__VampireModel__Alternatives | ||
678 | @init { | ||
679 | int stackSize = keepStackSize(); | ||
680 | } | ||
681 | : | ||
682 | ( | ||
683 | { before(grammarAccess.getVampireModelAccess().getIncludesAssignment_0()); } | ||
684 | (rule__VampireModel__IncludesAssignment_0) | ||
685 | { after(grammarAccess.getVampireModelAccess().getIncludesAssignment_0()); } | ||
686 | ) | ||
687 | | | ||
688 | ( | ||
689 | { before(grammarAccess.getVampireModelAccess().getCommentsAssignment_1()); } | ||
690 | (rule__VampireModel__CommentsAssignment_1) | ||
691 | { after(grammarAccess.getVampireModelAccess().getCommentsAssignment_1()); } | ||
692 | ) | ||
693 | | | ||
694 | ( | ||
695 | { before(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2()); } | ||
696 | (rule__VampireModel__ConfirmationsAssignment_2) | ||
697 | { after(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2()); } | ||
698 | ) | ||
699 | | | ||
700 | ( | ||
701 | { before(grammarAccess.getVampireModelAccess().getFormulasAssignment_3()); } | ||
702 | (rule__VampireModel__FormulasAssignment_3) | ||
703 | { after(grammarAccess.getVampireModelAccess().getFormulasAssignment_3()); } | ||
704 | ) | ||
705 | | | ||
706 | ( | ||
707 | { before(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4()); } | ||
708 | (rule__VampireModel__TfformulasAssignment_4) | ||
709 | { after(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4()); } | ||
710 | ) | ||
711 | ; | ||
712 | finally { | ||
713 | restoreStackSize(stackSize); | ||
714 | } | ||
715 | |||
716 | rule__VLSName__NameAlternatives_0 | ||
717 | @init { | ||
718 | int stackSize = keepStackSize(); | ||
719 | } | ||
720 | : | ||
721 | ( | ||
722 | { before(grammarAccess.getVLSNameAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_0()); } | ||
723 | RULE_LOWER_WORD_ID | ||
724 | { after(grammarAccess.getVLSNameAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_0()); } | ||
725 | ) | ||
726 | | | ||
727 | ( | ||
728 | { before(grammarAccess.getVLSNameAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1()); } | ||
729 | RULE_SINGLE_QUOTE | ||
730 | { after(grammarAccess.getVLSNameAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1()); } | ||
731 | ) | ||
732 | | | ||
733 | ( | ||
734 | { before(grammarAccess.getVLSNameAccess().getNameLITERALTerminalRuleCall_0_2()); } | ||
735 | RULE_LITERAL | ||
736 | { after(grammarAccess.getVLSNameAccess().getNameLITERALTerminalRuleCall_0_2()); } | ||
737 | ) | ||
738 | | | ||
739 | ( | ||
740 | { before(grammarAccess.getVLSNameAccess().getNameSIGNED_LITERALTerminalRuleCall_0_3()); } | ||
741 | RULE_SIGNED_LITERAL | ||
742 | { after(grammarAccess.getVLSNameAccess().getNameSIGNED_LITERALTerminalRuleCall_0_3()); } | ||
743 | ) | ||
744 | ; | ||
745 | finally { | ||
746 | restoreStackSize(stackSize); | ||
747 | } | ||
748 | |||
749 | rule__VLSFofFormula__NameAlternatives_2_0 | ||
750 | @init { | ||
751 | int stackSize = keepStackSize(); | ||
752 | } | ||
753 | : | ||
754 | ( | ||
755 | { before(grammarAccess.getVLSFofFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); } | ||
756 | RULE_LOWER_WORD_ID | ||
757 | { after(grammarAccess.getVLSFofFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); } | ||
758 | ) | ||
759 | | | ||
760 | ( | ||
761 | { before(grammarAccess.getVLSFofFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); } | ||
762 | RULE_SIGNED_LITERAL | ||
763 | { after(grammarAccess.getVLSFofFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); } | ||
764 | ) | ||
765 | | | ||
766 | ( | ||
767 | { before(grammarAccess.getVLSFofFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); } | ||
768 | RULE_SINGLE_QUOTE | ||
769 | { after(grammarAccess.getVLSFofFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); } | ||
770 | ) | ||
771 | ; | ||
772 | finally { | ||
773 | restoreStackSize(stackSize); | ||
774 | } | ||
775 | |||
776 | rule__VLSTffFormula__NameAlternatives_2_0 | ||
777 | @init { | ||
778 | int stackSize = keepStackSize(); | ||
779 | } | ||
780 | : | ||
781 | ( | ||
782 | { before(grammarAccess.getVLSTffFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); } | ||
783 | RULE_LOWER_WORD_ID | ||
784 | { after(grammarAccess.getVLSTffFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); } | ||
785 | ) | ||
786 | | | ||
787 | ( | ||
788 | { before(grammarAccess.getVLSTffFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); } | ||
789 | RULE_SIGNED_LITERAL | ||
790 | { after(grammarAccess.getVLSTffFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); } | ||
791 | ) | ||
792 | | | ||
793 | ( | ||
794 | { before(grammarAccess.getVLSTffFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); } | ||
795 | RULE_SINGLE_QUOTE | ||
796 | { after(grammarAccess.getVLSTffFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); } | ||
797 | ) | ||
798 | ; | ||
799 | finally { | ||
800 | restoreStackSize(stackSize); | ||
801 | } | ||
802 | |||
803 | rule__VLSRole__Alternatives | ||
804 | @init { | ||
805 | int stackSize = keepStackSize(); | ||
806 | } | ||
807 | : | ||
808 | ( | ||
809 | { before(grammarAccess.getVLSRoleAccess().getAxiomKeyword_0()); } | ||
810 | 'axiom' | ||
811 | { after(grammarAccess.getVLSRoleAccess().getAxiomKeyword_0()); } | ||
812 | ) | ||
813 | | | ||
814 | ( | ||
815 | { before(grammarAccess.getVLSRoleAccess().getConjectureKeyword_1()); } | ||
816 | 'conjecture' | ||
817 | { after(grammarAccess.getVLSRoleAccess().getConjectureKeyword_1()); } | ||
818 | ) | ||
819 | | | ||
820 | ( | ||
821 | { before(grammarAccess.getVLSRoleAccess().getHypothesisKeyword_2()); } | ||
822 | 'hypothesis' | ||
823 | { after(grammarAccess.getVLSRoleAccess().getHypothesisKeyword_2()); } | ||
824 | ) | ||
825 | | | ||
826 | ( | ||
827 | { before(grammarAccess.getVLSRoleAccess().getDefinitionKeyword_3()); } | ||
828 | 'definition' | ||
829 | { after(grammarAccess.getVLSRoleAccess().getDefinitionKeyword_3()); } | ||
830 | ) | ||
831 | | | ||
832 | ( | ||
833 | { before(grammarAccess.getVLSRoleAccess().getAssumptionKeyword_4()); } | ||
834 | 'assumption' | ||
835 | { after(grammarAccess.getVLSRoleAccess().getAssumptionKeyword_4()); } | ||
836 | ) | ||
837 | | | ||
838 | ( | ||
839 | { before(grammarAccess.getVLSRoleAccess().getLemmaKeyword_5()); } | ||
840 | 'lemma' | ||
841 | { after(grammarAccess.getVLSRoleAccess().getLemmaKeyword_5()); } | ||
842 | ) | ||
843 | | | ||
844 | ( | ||
845 | { before(grammarAccess.getVLSRoleAccess().getTheoremKeyword_6()); } | ||
846 | 'theorem' | ||
847 | { after(grammarAccess.getVLSRoleAccess().getTheoremKeyword_6()); } | ||
848 | ) | ||
849 | | | ||
850 | ( | ||
851 | { before(grammarAccess.getVLSRoleAccess().getCorollaryKeyword_7()); } | ||
852 | 'corollary' | ||
853 | { after(grammarAccess.getVLSRoleAccess().getCorollaryKeyword_7()); } | ||
854 | ) | ||
855 | | | ||
856 | ( | ||
857 | { before(grammarAccess.getVLSRoleAccess().getNegated_conjectureKeyword_8()); } | ||
858 | 'negated_conjecture' | ||
859 | { after(grammarAccess.getVLSRoleAccess().getNegated_conjectureKeyword_8()); } | ||
860 | ) | ||
861 | | | ||
862 | ( | ||
863 | { before(grammarAccess.getVLSRoleAccess().getPlainKeyword_9()); } | ||
864 | 'plain' | ||
865 | { after(grammarAccess.getVLSRoleAccess().getPlainKeyword_9()); } | ||
866 | ) | ||
867 | | | ||
868 | ( | ||
869 | { before(grammarAccess.getVLSRoleAccess().getTypeKeyword_10()); } | ||
870 | 'type' | ||
871 | { after(grammarAccess.getVLSRoleAccess().getTypeKeyword_10()); } | ||
872 | ) | ||
873 | | | ||
874 | ( | ||
875 | { before(grammarAccess.getVLSRoleAccess().getFi_domainKeyword_11()); } | ||
876 | 'fi_domain' | ||
877 | { after(grammarAccess.getVLSRoleAccess().getFi_domainKeyword_11()); } | ||
878 | ) | ||
879 | | | ||
880 | ( | ||
881 | { before(grammarAccess.getVLSRoleAccess().getFi_functorsKeyword_12()); } | ||
882 | 'fi_functors' | ||
883 | { after(grammarAccess.getVLSRoleAccess().getFi_functorsKeyword_12()); } | ||
884 | ) | ||
885 | | | ||
886 | ( | ||
887 | { before(grammarAccess.getVLSRoleAccess().getFi_predicatesKeyword_13()); } | ||
888 | 'fi_predicates' | ||
889 | { after(grammarAccess.getVLSRoleAccess().getFi_predicatesKeyword_13()); } | ||
890 | ) | ||
891 | | | ||
892 | ( | ||
893 | { before(grammarAccess.getVLSRoleAccess().getUnknownKeyword_14()); } | ||
894 | 'unknown' | ||
895 | { after(grammarAccess.getVLSRoleAccess().getUnknownKeyword_14()); } | ||
896 | ) | ||
897 | ; | ||
898 | finally { | ||
899 | restoreStackSize(stackSize); | ||
900 | } | ||
901 | |||
902 | rule__VLSAnnotation__NameAlternatives_1_0 | ||
903 | @init { | ||
904 | int stackSize = keepStackSize(); | ||
905 | } | ||
906 | : | ||
907 | ( | ||
908 | { before(grammarAccess.getVLSAnnotationAccess().getNameLOWER_WORD_IDTerminalRuleCall_1_0_0()); } | ||
909 | RULE_LOWER_WORD_ID | ||
910 | { after(grammarAccess.getVLSAnnotationAccess().getNameLOWER_WORD_IDTerminalRuleCall_1_0_0()); } | ||
911 | ) | ||
912 | | | ||
913 | ( | ||
914 | { before(grammarAccess.getVLSAnnotationAccess().getNameSINGLE_QUOTETerminalRuleCall_1_0_1()); } | ||
915 | RULE_SINGLE_QUOTE | ||
916 | { after(grammarAccess.getVLSAnnotationAccess().getNameSINGLE_QUOTETerminalRuleCall_1_0_1()); } | ||
917 | ) | ||
918 | | | ||
919 | ( | ||
920 | { before(grammarAccess.getVLSAnnotationAccess().getNameVLSRoleParserRuleCall_1_0_2()); } | ||
921 | ruleVLSRole | ||
922 | { after(grammarAccess.getVLSAnnotationAccess().getNameVLSRoleParserRuleCall_1_0_2()); } | ||
923 | ) | ||
924 | ; | ||
925 | finally { | ||
926 | restoreStackSize(stackSize); | ||
927 | } | ||
928 | |||
929 | rule__VLSBinary__Alternatives_1 | ||
930 | @init { | ||
931 | int stackSize = keepStackSize(); | ||
932 | } | ||
933 | : | ||
934 | ( | ||
935 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0()); } | ||
936 | (rule__VLSBinary__Group_1_0__0) | ||
937 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0()); } | ||
938 | ) | ||
939 | | | ||
940 | ( | ||
941 | ( | ||
942 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_1()); } | ||
943 | (rule__VLSBinary__Group_1_1__0) | ||
944 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_1()); } | ||
945 | ) | ||
946 | ( | ||
947 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_1()); } | ||
948 | (rule__VLSBinary__Group_1_1__0)* | ||
949 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_1()); } | ||
950 | ) | ||
951 | ) | ||
952 | | | ||
953 | ( | ||
954 | ( | ||
955 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_2()); } | ||
956 | (rule__VLSBinary__Group_1_2__0) | ||
957 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_2()); } | ||
958 | ) | ||
959 | ( | ||
960 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_2()); } | ||
961 | (rule__VLSBinary__Group_1_2__0)* | ||
962 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_2()); } | ||
963 | ) | ||
964 | ) | ||
965 | ; | ||
966 | finally { | ||
967 | restoreStackSize(stackSize); | ||
968 | } | ||
969 | |||
970 | rule__VLSBinary__Alternatives_1_0_0 | ||
971 | @init { | ||
972 | int stackSize = keepStackSize(); | ||
973 | } | ||
974 | : | ||
975 | ( | ||
976 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_0()); } | ||
977 | (rule__VLSBinary__Group_1_0_0_0__0) | ||
978 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_0()); } | ||
979 | ) | ||
980 | | | ||
981 | ( | ||
982 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_1()); } | ||
983 | (rule__VLSBinary__Group_1_0_0_1__0) | ||
984 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_1()); } | ||
985 | ) | ||
986 | | | ||
987 | ( | ||
988 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_2()); } | ||
989 | (rule__VLSBinary__Group_1_0_0_2__0) | ||
990 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_2()); } | ||
991 | ) | ||
992 | | | ||
993 | ( | ||
994 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_3()); } | ||
995 | (rule__VLSBinary__Group_1_0_0_3__0) | ||
996 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_3()); } | ||
997 | ) | ||
998 | | | ||
999 | ( | ||
1000 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_4()); } | ||
1001 | (rule__VLSBinary__Group_1_0_0_4__0) | ||
1002 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_4()); } | ||
1003 | ) | ||
1004 | | | ||
1005 | ( | ||
1006 | { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_5()); } | ||
1007 | (rule__VLSBinary__Group_1_0_0_5__0) | ||
1008 | { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_5()); } | ||
1009 | ) | ||
1010 | ; | ||
1011 | finally { | ||
1012 | restoreStackSize(stackSize); | ||
1013 | } | ||
1014 | |||
1015 | rule__VLSUnitaryFormula__Alternatives | ||
1016 | @init { | ||
1017 | int stackSize = keepStackSize(); | ||
1018 | } | ||
1019 | : | ||
1020 | ( | ||
1021 | { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUniversalQuantifierParserRuleCall_0()); } | ||
1022 | ruleVLSUniversalQuantifier | ||
1023 | { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUniversalQuantifierParserRuleCall_0()); } | ||
1024 | ) | ||
1025 | | | ||
1026 | ( | ||
1027 | { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSExistentialQuantifierParserRuleCall_1()); } | ||
1028 | ruleVLSExistentialQuantifier | ||
1029 | { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSExistentialQuantifierParserRuleCall_1()); } | ||
1030 | ) | ||
1031 | | | ||
1032 | ( | ||
1033 | { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUnaryNegationParserRuleCall_2()); } | ||
1034 | ruleVLSUnaryNegation | ||
1035 | { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUnaryNegationParserRuleCall_2()); } | ||
1036 | ) | ||
1037 | | | ||
1038 | ( | ||
1039 | { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUnaryInfixParserRuleCall_3()); } | ||
1040 | ruleVLSUnaryInfix | ||
1041 | { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUnaryInfixParserRuleCall_3()); } | ||
1042 | ) | ||
1043 | | | ||
1044 | ( | ||
1045 | { before(grammarAccess.getVLSUnitaryFormulaAccess().getGroup_4()); } | ||
1046 | (rule__VLSUnitaryFormula__Group_4__0) | ||
1047 | { after(grammarAccess.getVLSUnitaryFormulaAccess().getGroup_4()); } | ||
1048 | ) | ||
1049 | ; | ||
1050 | finally { | ||
1051 | restoreStackSize(stackSize); | ||
1052 | } | ||
1053 | |||
1054 | rule__VLSUnaryInfix__Alternatives_1_0 | ||
1055 | @init { | ||
1056 | int stackSize = keepStackSize(); | ||
1057 | } | ||
1058 | : | ||
1059 | ( | ||
1060 | { before(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_0()); } | ||
1061 | (rule__VLSUnaryInfix__Group_1_0_0__0) | ||
1062 | { after(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_0()); } | ||
1063 | ) | ||
1064 | | | ||
1065 | ( | ||
1066 | { before(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_1()); } | ||
1067 | (rule__VLSUnaryInfix__Group_1_0_1__0) | ||
1068 | { after(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_1()); } | ||
1069 | ) | ||
1070 | | | ||
1071 | ( | ||
1072 | { before(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_2()); } | ||
1073 | (rule__VLSUnaryInfix__Group_1_0_2__0) | ||
1074 | { after(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_2()); } | ||
1075 | ) | ||
1076 | ; | ||
1077 | finally { | ||
1078 | restoreStackSize(stackSize); | ||
1079 | } | ||
1080 | |||
1081 | rule__VLSAtomic__Alternatives | ||
1082 | @init { | ||
1083 | int stackSize = keepStackSize(); | ||
1084 | } | ||
1085 | : | ||
1086 | ( | ||
1087 | { before(grammarAccess.getVLSAtomicAccess().getVLSAtomicConstantParserRuleCall_0()); } | ||
1088 | ruleVLSAtomicConstant | ||
1089 | { after(grammarAccess.getVLSAtomicAccess().getVLSAtomicConstantParserRuleCall_0()); } | ||
1090 | ) | ||
1091 | | | ||
1092 | ( | ||
1093 | { before(grammarAccess.getVLSAtomicAccess().getVLSAtomicFunctionParserRuleCall_1()); } | ||
1094 | ruleVLSAtomicFunction | ||
1095 | { after(grammarAccess.getVLSAtomicAccess().getVLSAtomicFunctionParserRuleCall_1()); } | ||
1096 | ) | ||
1097 | | | ||
1098 | ( | ||
1099 | { before(grammarAccess.getVLSAtomicAccess().getVLSVariableParserRuleCall_2()); } | ||
1100 | ruleVLSVariable | ||
1101 | { after(grammarAccess.getVLSAtomicAccess().getVLSVariableParserRuleCall_2()); } | ||
1102 | ) | ||
1103 | | | ||
1104 | ( | ||
1105 | { before(grammarAccess.getVLSAtomicAccess().getVLSDefinedTermParserRuleCall_3()); } | ||
1106 | ruleVLSDefinedTerm | ||
1107 | { after(grammarAccess.getVLSAtomicAccess().getVLSDefinedTermParserRuleCall_3()); } | ||
1108 | ) | ||
1109 | ; | ||
1110 | finally { | ||
1111 | restoreStackSize(stackSize); | ||
1112 | } | ||
1113 | |||
1114 | rule__VLSAtomicConstant__Alternatives | ||
1115 | @init { | ||
1116 | int stackSize = keepStackSize(); | ||
1117 | } | ||
1118 | : | ||
1119 | ( | ||
1120 | { before(grammarAccess.getVLSAtomicConstantAccess().getGroup_0()); } | ||
1121 | (rule__VLSAtomicConstant__Group_0__0) | ||
1122 | { after(grammarAccess.getVLSAtomicConstantAccess().getGroup_0()); } | ||
1123 | ) | ||
1124 | | | ||
1125 | ( | ||
1126 | { before(grammarAccess.getVLSAtomicConstantAccess().getGroup_1()); } | ||
1127 | (rule__VLSAtomicConstant__Group_1__0) | ||
1128 | { after(grammarAccess.getVLSAtomicConstantAccess().getGroup_1()); } | ||
1129 | ) | ||
1130 | | | ||
1131 | ( | ||
1132 | { before(grammarAccess.getVLSAtomicConstantAccess().getGroup_2()); } | ||
1133 | (rule__VLSAtomicConstant__Group_2__0) | ||
1134 | { after(grammarAccess.getVLSAtomicConstantAccess().getGroup_2()); } | ||
1135 | ) | ||
1136 | ; | ||
1137 | finally { | ||
1138 | restoreStackSize(stackSize); | ||
1139 | } | ||
1140 | |||
1141 | rule__VLSAtomicConstant__NameAlternatives_0_1_0 | ||
1142 | @init { | ||
1143 | int stackSize = keepStackSize(); | ||
1144 | } | ||
1145 | : | ||
1146 | ( | ||
1147 | { before(grammarAccess.getVLSAtomicConstantAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_1_0_0()); } | ||
1148 | RULE_LOWER_WORD_ID | ||
1149 | { after(grammarAccess.getVLSAtomicConstantAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_1_0_0()); } | ||
1150 | ) | ||
1151 | | | ||
1152 | ( | ||
1153 | { before(grammarAccess.getVLSAtomicConstantAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1_0_1()); } | ||
1154 | RULE_SINGLE_QUOTE | ||
1155 | { after(grammarAccess.getVLSAtomicConstantAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1_0_1()); } | ||
1156 | ) | ||
1157 | | | ||
1158 | ( | ||
1159 | { before(grammarAccess.getVLSAtomicConstantAccess().getNameDOLLAR_IDTerminalRuleCall_0_1_0_2()); } | ||
1160 | RULE_DOLLAR_ID | ||
1161 | { after(grammarAccess.getVLSAtomicConstantAccess().getNameDOLLAR_IDTerminalRuleCall_0_1_0_2()); } | ||
1162 | ) | ||
1163 | | | ||
1164 | ( | ||
1165 | { before(grammarAccess.getVLSAtomicConstantAccess().getNameDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3()); } | ||
1166 | RULE_DOUBLE_DOLLAR_ID | ||
1167 | { after(grammarAccess.getVLSAtomicConstantAccess().getNameDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3()); } | ||
1168 | ) | ||
1169 | | | ||
1170 | ( | ||
1171 | { before(grammarAccess.getVLSAtomicConstantAccess().getNameVLSRoleParserRuleCall_0_1_0_4()); } | ||
1172 | ruleVLSRole | ||
1173 | { after(grammarAccess.getVLSAtomicConstantAccess().getNameVLSRoleParserRuleCall_0_1_0_4()); } | ||
1174 | ) | ||
1175 | ; | ||
1176 | finally { | ||
1177 | restoreStackSize(stackSize); | ||
1178 | } | ||
1179 | |||
1180 | rule__VLSAtomicFunction__Alternatives | ||
1181 | @init { | ||
1182 | int stackSize = keepStackSize(); | ||
1183 | } | ||
1184 | : | ||
1185 | ( | ||
1186 | { before(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0()); } | ||
1187 | (rule__VLSAtomicFunction__Group_0__0) | ||
1188 | { after(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0()); } | ||
1189 | ) | ||
1190 | | | ||
1191 | ( | ||
1192 | { before(grammarAccess.getVLSAtomicFunctionAccess().getGroup_1()); } | ||
1193 | (rule__VLSAtomicFunction__Group_1__0) | ||
1194 | { after(grammarAccess.getVLSAtomicFunctionAccess().getGroup_1()); } | ||
1195 | ) | ||
1196 | ; | ||
1197 | finally { | ||
1198 | restoreStackSize(stackSize); | ||
1199 | } | ||
1200 | |||
1201 | rule__VLSAtomicFunction__ConstantAlternatives_0_1_0 | ||
1202 | @init { | ||
1203 | int stackSize = keepStackSize(); | ||
1204 | } | ||
1205 | : | ||
1206 | ( | ||
1207 | { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantLOWER_WORD_IDTerminalRuleCall_0_1_0_0()); } | ||
1208 | RULE_LOWER_WORD_ID | ||
1209 | { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantLOWER_WORD_IDTerminalRuleCall_0_1_0_0()); } | ||
1210 | ) | ||
1211 | | | ||
1212 | ( | ||
1213 | { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantSINGLE_QUOTETerminalRuleCall_0_1_0_1()); } | ||
1214 | RULE_SINGLE_QUOTE | ||
1215 | { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantSINGLE_QUOTETerminalRuleCall_0_1_0_1()); } | ||
1216 | ) | ||
1217 | | | ||
1218 | ( | ||
1219 | { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantDOLLAR_IDTerminalRuleCall_0_1_0_2()); } | ||
1220 | RULE_DOLLAR_ID | ||
1221 | { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantDOLLAR_IDTerminalRuleCall_0_1_0_2()); } | ||
1222 | ) | ||
1223 | | | ||
1224 | ( | ||
1225 | { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3()); } | ||
1226 | RULE_DOUBLE_DOLLAR_ID | ||
1227 | { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3()); } | ||
1228 | ) | ||
1229 | | | ||
1230 | ( | ||
1231 | { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantVLSRoleParserRuleCall_0_1_0_4()); } | ||
1232 | ruleVLSRole | ||
1233 | { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantVLSRoleParserRuleCall_0_1_0_4()); } | ||
1234 | ) | ||
1235 | ; | ||
1236 | finally { | ||
1237 | restoreStackSize(stackSize); | ||
1238 | } | ||
1239 | |||
1240 | rule__VLSFofTerm__Alternatives | ||
1241 | @init { | ||
1242 | int stackSize = keepStackSize(); | ||
1243 | } | ||
1244 | : | ||
1245 | ( | ||
1246 | { before(grammarAccess.getVLSFofTermAccess().getVLSVariableParserRuleCall_0()); } | ||
1247 | ruleVLSVariable | ||
1248 | { after(grammarAccess.getVLSFofTermAccess().getVLSVariableParserRuleCall_0()); } | ||
1249 | ) | ||
1250 | | | ||
1251 | ( | ||
1252 | { before(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); } | ||
1253 | ruleVLSFunctionAsTerm | ||
1254 | { after(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); } | ||
1255 | ) | ||
1256 | | | ||
1257 | ( | ||
1258 | { before(grammarAccess.getVLSFofTermAccess().getVLSDefinedTermParserRuleCall_2()); } | ||
1259 | ruleVLSDefinedTerm | ||
1260 | { after(grammarAccess.getVLSFofTermAccess().getVLSDefinedTermParserRuleCall_2()); } | ||
1261 | ) | ||
1262 | ; | ||
1263 | finally { | ||
1264 | restoreStackSize(stackSize); | ||
1265 | } | ||
1266 | |||
1267 | rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 | ||
1268 | @init { | ||
1269 | int stackSize = keepStackSize(); | ||
1270 | } | ||
1271 | : | ||
1272 | ( | ||
1273 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } | ||
1274 | RULE_LOWER_WORD_ID | ||
1275 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } | ||
1276 | ) | ||
1277 | | | ||
1278 | ( | ||
1279 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } | ||
1280 | RULE_SINGLE_QUOTE | ||
1281 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } | ||
1282 | ) | ||
1283 | | | ||
1284 | ( | ||
1285 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } | ||
1286 | RULE_DOLLAR_ID | ||
1287 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } | ||
1288 | ) | ||
1289 | | | ||
1290 | ( | ||
1291 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } | ||
1292 | RULE_DOUBLE_DOLLAR_ID | ||
1293 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } | ||
1294 | ) | ||
1295 | ; | ||
1296 | finally { | ||
1297 | restoreStackSize(stackSize); | ||
1298 | } | ||
1299 | |||
1300 | rule__VLSDefinedTerm__Alternatives | ||
1301 | @init { | ||
1302 | int stackSize = keepStackSize(); | ||
1303 | } | ||
1304 | : | ||
1305 | ( | ||
1306 | { before(grammarAccess.getVLSDefinedTermAccess().getGroup_0()); } | ||
1307 | (rule__VLSDefinedTerm__Group_0__0) | ||
1308 | { after(grammarAccess.getVLSDefinedTermAccess().getGroup_0()); } | ||
1309 | ) | ||
1310 | | | ||
1311 | ( | ||
1312 | { before(grammarAccess.getVLSDefinedTermAccess().getGroup_1()); } | ||
1313 | (rule__VLSDefinedTerm__Group_1__0) | ||
1314 | { after(grammarAccess.getVLSDefinedTermAccess().getGroup_1()); } | ||
1315 | ) | ||
1316 | | | ||
1317 | ( | ||
1318 | { before(grammarAccess.getVLSDefinedTermAccess().getGroup_2()); } | ||
1319 | (rule__VLSDefinedTerm__Group_2__0) | ||
1320 | { after(grammarAccess.getVLSDefinedTermAccess().getGroup_2()); } | ||
1321 | ) | ||
1322 | | | ||
1323 | ( | ||
1324 | { before(grammarAccess.getVLSDefinedTermAccess().getGroup_3()); } | ||
1325 | (rule__VLSDefinedTerm__Group_3__0) | ||
1326 | { after(grammarAccess.getVLSDefinedTermAccess().getGroup_3()); } | ||
1327 | ) | ||
1328 | ; | ||
1329 | finally { | ||
1330 | restoreStackSize(stackSize); | ||
1331 | } | ||
1332 | |||
1333 | rule__VLSInclude__Group__0 | ||
1334 | @init { | ||
1335 | int stackSize = keepStackSize(); | ||
1336 | } | ||
1337 | : | ||
1338 | rule__VLSInclude__Group__0__Impl | ||
1339 | rule__VLSInclude__Group__1 | ||
1340 | ; | ||
1341 | finally { | ||
1342 | restoreStackSize(stackSize); | ||
1343 | } | ||
1344 | |||
1345 | rule__VLSInclude__Group__0__Impl | ||
1346 | @init { | ||
1347 | int stackSize = keepStackSize(); | ||
1348 | } | ||
1349 | : | ||
1350 | ( | ||
1351 | { before(grammarAccess.getVLSIncludeAccess().getIncludeKeyword_0()); } | ||
1352 | 'include(' | ||
1353 | { after(grammarAccess.getVLSIncludeAccess().getIncludeKeyword_0()); } | ||
1354 | ) | ||
1355 | ; | ||
1356 | finally { | ||
1357 | restoreStackSize(stackSize); | ||
1358 | } | ||
1359 | |||
1360 | rule__VLSInclude__Group__1 | ||
1361 | @init { | ||
1362 | int stackSize = keepStackSize(); | ||
1363 | } | ||
1364 | : | ||
1365 | rule__VLSInclude__Group__1__Impl | ||
1366 | rule__VLSInclude__Group__2 | ||
1367 | ; | ||
1368 | finally { | ||
1369 | restoreStackSize(stackSize); | ||
1370 | } | ||
1371 | |||
1372 | rule__VLSInclude__Group__1__Impl | ||
1373 | @init { | ||
1374 | int stackSize = keepStackSize(); | ||
1375 | } | ||
1376 | : | ||
1377 | ( | ||
1378 | { before(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1()); } | ||
1379 | (rule__VLSInclude__FileNameAssignment_1) | ||
1380 | { after(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1()); } | ||
1381 | ) | ||
1382 | ; | ||
1383 | finally { | ||
1384 | restoreStackSize(stackSize); | ||
1385 | } | ||
1386 | |||
1387 | rule__VLSInclude__Group__2 | ||
1388 | @init { | ||
1389 | int stackSize = keepStackSize(); | ||
1390 | } | ||
1391 | : | ||
1392 | rule__VLSInclude__Group__2__Impl | ||
1393 | ; | ||
1394 | finally { | ||
1395 | restoreStackSize(stackSize); | ||
1396 | } | ||
1397 | |||
1398 | rule__VLSInclude__Group__2__Impl | ||
1399 | @init { | ||
1400 | int stackSize = keepStackSize(); | ||
1401 | } | ||
1402 | : | ||
1403 | ( | ||
1404 | { before(grammarAccess.getVLSIncludeAccess().getGroup_2()); } | ||
1405 | (rule__VLSInclude__Group_2__0)? | ||
1406 | { after(grammarAccess.getVLSIncludeAccess().getGroup_2()); } | ||
1407 | ) | ||
1408 | ; | ||
1409 | finally { | ||
1410 | restoreStackSize(stackSize); | ||
1411 | } | ||
1412 | |||
1413 | |||
1414 | rule__VLSInclude__Group_2__0 | ||
1415 | @init { | ||
1416 | int stackSize = keepStackSize(); | ||
1417 | } | ||
1418 | : | ||
1419 | rule__VLSInclude__Group_2__0__Impl | ||
1420 | rule__VLSInclude__Group_2__1 | ||
1421 | ; | ||
1422 | finally { | ||
1423 | restoreStackSize(stackSize); | ||
1424 | } | ||
1425 | |||
1426 | rule__VLSInclude__Group_2__0__Impl | ||
1427 | @init { | ||
1428 | int stackSize = keepStackSize(); | ||
1429 | } | ||
1430 | : | ||
1431 | ( | ||
1432 | { before(grammarAccess.getVLSIncludeAccess().getCommaLeftSquareBracketKeyword_2_0()); } | ||
1433 | ',[' | ||
1434 | { after(grammarAccess.getVLSIncludeAccess().getCommaLeftSquareBracketKeyword_2_0()); } | ||
1435 | ) | ||
1436 | ; | ||
1437 | finally { | ||
1438 | restoreStackSize(stackSize); | ||
1439 | } | ||
1440 | |||
1441 | rule__VLSInclude__Group_2__1 | ||
1442 | @init { | ||
1443 | int stackSize = keepStackSize(); | ||
1444 | } | ||
1445 | : | ||
1446 | rule__VLSInclude__Group_2__1__Impl | ||
1447 | rule__VLSInclude__Group_2__2 | ||
1448 | ; | ||
1449 | finally { | ||
1450 | restoreStackSize(stackSize); | ||
1451 | } | ||
1452 | |||
1453 | rule__VLSInclude__Group_2__1__Impl | ||
1454 | @init { | ||
1455 | int stackSize = keepStackSize(); | ||
1456 | } | ||
1457 | : | ||
1458 | ( | ||
1459 | { before(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1()); } | ||
1460 | (rule__VLSInclude__NamesAssignment_2_1) | ||
1461 | { after(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1()); } | ||
1462 | ) | ||
1463 | ; | ||
1464 | finally { | ||
1465 | restoreStackSize(stackSize); | ||
1466 | } | ||
1467 | |||
1468 | rule__VLSInclude__Group_2__2 | ||
1469 | @init { | ||
1470 | int stackSize = keepStackSize(); | ||
1471 | } | ||
1472 | : | ||
1473 | rule__VLSInclude__Group_2__2__Impl | ||
1474 | rule__VLSInclude__Group_2__3 | ||
1475 | ; | ||
1476 | finally { | ||
1477 | restoreStackSize(stackSize); | ||
1478 | } | ||
1479 | |||
1480 | rule__VLSInclude__Group_2__2__Impl | ||
1481 | @init { | ||
1482 | int stackSize = keepStackSize(); | ||
1483 | } | ||
1484 | : | ||
1485 | ( | ||
1486 | { before(grammarAccess.getVLSIncludeAccess().getGroup_2_2()); } | ||
1487 | (rule__VLSInclude__Group_2_2__0)* | ||
1488 | { after(grammarAccess.getVLSIncludeAccess().getGroup_2_2()); } | ||
1489 | ) | ||
1490 | ; | ||
1491 | finally { | ||
1492 | restoreStackSize(stackSize); | ||
1493 | } | ||
1494 | |||
1495 | rule__VLSInclude__Group_2__3 | ||
1496 | @init { | ||
1497 | int stackSize = keepStackSize(); | ||
1498 | } | ||
1499 | : | ||
1500 | rule__VLSInclude__Group_2__3__Impl | ||
1501 | ; | ||
1502 | finally { | ||
1503 | restoreStackSize(stackSize); | ||
1504 | } | ||
1505 | |||
1506 | rule__VLSInclude__Group_2__3__Impl | ||
1507 | @init { | ||
1508 | int stackSize = keepStackSize(); | ||
1509 | } | ||
1510 | : | ||
1511 | ( | ||
1512 | { before(grammarAccess.getVLSIncludeAccess().getRightSquareBracketKeyword_2_3()); } | ||
1513 | ']' | ||
1514 | { after(grammarAccess.getVLSIncludeAccess().getRightSquareBracketKeyword_2_3()); } | ||
1515 | ) | ||
1516 | ; | ||
1517 | finally { | ||
1518 | restoreStackSize(stackSize); | ||
1519 | } | ||
1520 | |||
1521 | |||
1522 | rule__VLSInclude__Group_2_2__0 | ||
1523 | @init { | ||
1524 | int stackSize = keepStackSize(); | ||
1525 | } | ||
1526 | : | ||
1527 | rule__VLSInclude__Group_2_2__0__Impl | ||
1528 | rule__VLSInclude__Group_2_2__1 | ||
1529 | ; | ||
1530 | finally { | ||
1531 | restoreStackSize(stackSize); | ||
1532 | } | ||
1533 | |||
1534 | rule__VLSInclude__Group_2_2__0__Impl | ||
1535 | @init { | ||
1536 | int stackSize = keepStackSize(); | ||
1537 | } | ||
1538 | : | ||
1539 | ( | ||
1540 | { before(grammarAccess.getVLSIncludeAccess().getCommaKeyword_2_2_0()); } | ||
1541 | ',' | ||
1542 | { after(grammarAccess.getVLSIncludeAccess().getCommaKeyword_2_2_0()); } | ||
1543 | ) | ||
1544 | ; | ||
1545 | finally { | ||
1546 | restoreStackSize(stackSize); | ||
1547 | } | ||
1548 | |||
1549 | rule__VLSInclude__Group_2_2__1 | ||
1550 | @init { | ||
1551 | int stackSize = keepStackSize(); | ||
1552 | } | ||
1553 | : | ||
1554 | rule__VLSInclude__Group_2_2__1__Impl | ||
1555 | ; | ||
1556 | finally { | ||
1557 | restoreStackSize(stackSize); | ||
1558 | } | ||
1559 | |||
1560 | rule__VLSInclude__Group_2_2__1__Impl | ||
1561 | @init { | ||
1562 | int stackSize = keepStackSize(); | ||
1563 | } | ||
1564 | : | ||
1565 | ( | ||
1566 | { before(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1()); } | ||
1567 | (rule__VLSInclude__NamesAssignment_2_2_1) | ||
1568 | { after(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1()); } | ||
1569 | ) | ||
1570 | ; | ||
1571 | finally { | ||
1572 | restoreStackSize(stackSize); | ||
1573 | } | ||
1574 | |||
1575 | |||
1576 | rule__VLSComment__Group__0 | ||
1577 | @init { | ||
1578 | int stackSize = keepStackSize(); | ||
1579 | } | ||
1580 | : | ||
1581 | rule__VLSComment__Group__0__Impl | ||
1582 | rule__VLSComment__Group__1 | ||
1583 | ; | ||
1584 | finally { | ||
1585 | restoreStackSize(stackSize); | ||
1586 | } | ||
1587 | |||
1588 | rule__VLSComment__Group__0__Impl | ||
1589 | @init { | ||
1590 | int stackSize = keepStackSize(); | ||
1591 | } | ||
1592 | : | ||
1593 | ( | ||
1594 | { before(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); } | ||
1595 | '%' | ||
1596 | { after(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); } | ||
1597 | ) | ||
1598 | ; | ||
1599 | finally { | ||
1600 | restoreStackSize(stackSize); | ||
1601 | } | ||
1602 | |||
1603 | rule__VLSComment__Group__1 | ||
1604 | @init { | ||
1605 | int stackSize = keepStackSize(); | ||
1606 | } | ||
1607 | : | ||
1608 | rule__VLSComment__Group__1__Impl | ||
1609 | ; | ||
1610 | finally { | ||
1611 | restoreStackSize(stackSize); | ||
1612 | } | ||
1613 | |||
1614 | rule__VLSComment__Group__1__Impl | ||
1615 | @init { | ||
1616 | int stackSize = keepStackSize(); | ||
1617 | } | ||
1618 | : | ||
1619 | ( | ||
1620 | { before(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); } | ||
1621 | (rule__VLSComment__CommentAssignment_1) | ||
1622 | { after(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); } | ||
1623 | ) | ||
1624 | ; | ||
1625 | finally { | ||
1626 | restoreStackSize(stackSize); | ||
1627 | } | ||
1628 | |||
1629 | |||
1630 | rule__VLSSatisfiable__Group__0 | ||
1631 | @init { | ||
1632 | int stackSize = keepStackSize(); | ||
1633 | } | ||
1634 | : | ||
1635 | rule__VLSSatisfiable__Group__0__Impl | ||
1636 | rule__VLSSatisfiable__Group__1 | ||
1637 | ; | ||
1638 | finally { | ||
1639 | restoreStackSize(stackSize); | ||
1640 | } | ||
1641 | |||
1642 | rule__VLSSatisfiable__Group__0__Impl | ||
1643 | @init { | ||
1644 | int stackSize = keepStackSize(); | ||
1645 | } | ||
1646 | : | ||
1647 | ( | ||
1648 | { before(grammarAccess.getVLSSatisfiableAccess().getVLSSatisfiableAction_0()); } | ||
1649 | () | ||
1650 | { after(grammarAccess.getVLSSatisfiableAccess().getVLSSatisfiableAction_0()); } | ||
1651 | ) | ||
1652 | ; | ||
1653 | finally { | ||
1654 | restoreStackSize(stackSize); | ||
1655 | } | ||
1656 | |||
1657 | rule__VLSSatisfiable__Group__1 | ||
1658 | @init { | ||
1659 | int stackSize = keepStackSize(); | ||
1660 | } | ||
1661 | : | ||
1662 | rule__VLSSatisfiable__Group__1__Impl | ||
1663 | ; | ||
1664 | finally { | ||
1665 | restoreStackSize(stackSize); | ||
1666 | } | ||
1667 | |||
1668 | rule__VLSSatisfiable__Group__1__Impl | ||
1669 | @init { | ||
1670 | int stackSize = keepStackSize(); | ||
1671 | } | ||
1672 | : | ||
1673 | ( | ||
1674 | { before(grammarAccess.getVLSSatisfiableAccess().getSatisfiableKeyword_1()); } | ||
1675 | 'Satisfiable!' | ||
1676 | { after(grammarAccess.getVLSSatisfiableAccess().getSatisfiableKeyword_1()); } | ||
1677 | ) | ||
1678 | ; | ||
1679 | finally { | ||
1680 | restoreStackSize(stackSize); | ||
1681 | } | ||
1682 | |||
1683 | |||
1684 | rule__VLSFofFormula__Group__0 | ||
1685 | @init { | ||
1686 | int stackSize = keepStackSize(); | ||
1687 | } | ||
1688 | : | ||
1689 | rule__VLSFofFormula__Group__0__Impl | ||
1690 | rule__VLSFofFormula__Group__1 | ||
1691 | ; | ||
1692 | finally { | ||
1693 | restoreStackSize(stackSize); | ||
1694 | } | ||
1695 | |||
1696 | rule__VLSFofFormula__Group__0__Impl | ||
1697 | @init { | ||
1698 | int stackSize = keepStackSize(); | ||
1699 | } | ||
1700 | : | ||
1701 | ( | ||
1702 | { before(grammarAccess.getVLSFofFormulaAccess().getFofKeyword_0()); } | ||
1703 | 'fof' | ||
1704 | { after(grammarAccess.getVLSFofFormulaAccess().getFofKeyword_0()); } | ||
1705 | ) | ||
1706 | ; | ||
1707 | finally { | ||
1708 | restoreStackSize(stackSize); | ||
1709 | } | ||
1710 | |||
1711 | rule__VLSFofFormula__Group__1 | ||
1712 | @init { | ||
1713 | int stackSize = keepStackSize(); | ||
1714 | } | ||
1715 | : | ||
1716 | rule__VLSFofFormula__Group__1__Impl | ||
1717 | rule__VLSFofFormula__Group__2 | ||
1718 | ; | ||
1719 | finally { | ||
1720 | restoreStackSize(stackSize); | ||
1721 | } | ||
1722 | |||
1723 | rule__VLSFofFormula__Group__1__Impl | ||
1724 | @init { | ||
1725 | int stackSize = keepStackSize(); | ||
1726 | } | ||
1727 | : | ||
1728 | ( | ||
1729 | { before(grammarAccess.getVLSFofFormulaAccess().getLeftParenthesisKeyword_1()); } | ||
1730 | '(' | ||
1731 | { after(grammarAccess.getVLSFofFormulaAccess().getLeftParenthesisKeyword_1()); } | ||
1732 | ) | ||
1733 | ; | ||
1734 | finally { | ||
1735 | restoreStackSize(stackSize); | ||
1736 | } | ||
1737 | |||
1738 | rule__VLSFofFormula__Group__2 | ||
1739 | @init { | ||
1740 | int stackSize = keepStackSize(); | ||
1741 | } | ||
1742 | : | ||
1743 | rule__VLSFofFormula__Group__2__Impl | ||
1744 | rule__VLSFofFormula__Group__3 | ||
1745 | ; | ||
1746 | finally { | ||
1747 | restoreStackSize(stackSize); | ||
1748 | } | ||
1749 | |||
1750 | rule__VLSFofFormula__Group__2__Impl | ||
1751 | @init { | ||
1752 | int stackSize = keepStackSize(); | ||
1753 | } | ||
1754 | : | ||
1755 | ( | ||
1756 | { before(grammarAccess.getVLSFofFormulaAccess().getNameAssignment_2()); } | ||
1757 | (rule__VLSFofFormula__NameAssignment_2) | ||
1758 | { after(grammarAccess.getVLSFofFormulaAccess().getNameAssignment_2()); } | ||
1759 | ) | ||
1760 | ; | ||
1761 | finally { | ||
1762 | restoreStackSize(stackSize); | ||
1763 | } | ||
1764 | |||
1765 | rule__VLSFofFormula__Group__3 | ||
1766 | @init { | ||
1767 | int stackSize = keepStackSize(); | ||
1768 | } | ||
1769 | : | ||
1770 | rule__VLSFofFormula__Group__3__Impl | ||
1771 | rule__VLSFofFormula__Group__4 | ||
1772 | ; | ||
1773 | finally { | ||
1774 | restoreStackSize(stackSize); | ||
1775 | } | ||
1776 | |||
1777 | rule__VLSFofFormula__Group__3__Impl | ||
1778 | @init { | ||
1779 | int stackSize = keepStackSize(); | ||
1780 | } | ||
1781 | : | ||
1782 | ( | ||
1783 | { before(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_3()); } | ||
1784 | ',' | ||
1785 | { after(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_3()); } | ||
1786 | ) | ||
1787 | ; | ||
1788 | finally { | ||
1789 | restoreStackSize(stackSize); | ||
1790 | } | ||
1791 | |||
1792 | rule__VLSFofFormula__Group__4 | ||
1793 | @init { | ||
1794 | int stackSize = keepStackSize(); | ||
1795 | } | ||
1796 | : | ||
1797 | rule__VLSFofFormula__Group__4__Impl | ||
1798 | rule__VLSFofFormula__Group__5 | ||
1799 | ; | ||
1800 | finally { | ||
1801 | restoreStackSize(stackSize); | ||
1802 | } | ||
1803 | |||
1804 | rule__VLSFofFormula__Group__4__Impl | ||
1805 | @init { | ||
1806 | int stackSize = keepStackSize(); | ||
1807 | } | ||
1808 | : | ||
1809 | ( | ||
1810 | { before(grammarAccess.getVLSFofFormulaAccess().getFofRoleAssignment_4()); } | ||
1811 | (rule__VLSFofFormula__FofRoleAssignment_4) | ||
1812 | { after(grammarAccess.getVLSFofFormulaAccess().getFofRoleAssignment_4()); } | ||
1813 | ) | ||
1814 | ; | ||
1815 | finally { | ||
1816 | restoreStackSize(stackSize); | ||
1817 | } | ||
1818 | |||
1819 | rule__VLSFofFormula__Group__5 | ||
1820 | @init { | ||
1821 | int stackSize = keepStackSize(); | ||
1822 | } | ||
1823 | : | ||
1824 | rule__VLSFofFormula__Group__5__Impl | ||
1825 | rule__VLSFofFormula__Group__6 | ||
1826 | ; | ||
1827 | finally { | ||
1828 | restoreStackSize(stackSize); | ||
1829 | } | ||
1830 | |||
1831 | rule__VLSFofFormula__Group__5__Impl | ||
1832 | @init { | ||
1833 | int stackSize = keepStackSize(); | ||
1834 | } | ||
1835 | : | ||
1836 | ( | ||
1837 | { before(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_5()); } | ||
1838 | ',' | ||
1839 | { after(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_5()); } | ||
1840 | ) | ||
1841 | ; | ||
1842 | finally { | ||
1843 | restoreStackSize(stackSize); | ||
1844 | } | ||
1845 | |||
1846 | rule__VLSFofFormula__Group__6 | ||
1847 | @init { | ||
1848 | int stackSize = keepStackSize(); | ||
1849 | } | ||
1850 | : | ||
1851 | rule__VLSFofFormula__Group__6__Impl | ||
1852 | rule__VLSFofFormula__Group__7 | ||
1853 | ; | ||
1854 | finally { | ||
1855 | restoreStackSize(stackSize); | ||
1856 | } | ||
1857 | |||
1858 | rule__VLSFofFormula__Group__6__Impl | ||
1859 | @init { | ||
1860 | int stackSize = keepStackSize(); | ||
1861 | } | ||
1862 | : | ||
1863 | ( | ||
1864 | { before(grammarAccess.getVLSFofFormulaAccess().getFofFormulaAssignment_6()); } | ||
1865 | (rule__VLSFofFormula__FofFormulaAssignment_6) | ||
1866 | { after(grammarAccess.getVLSFofFormulaAccess().getFofFormulaAssignment_6()); } | ||
1867 | ) | ||
1868 | ; | ||
1869 | finally { | ||
1870 | restoreStackSize(stackSize); | ||
1871 | } | ||
1872 | |||
1873 | rule__VLSFofFormula__Group__7 | ||
1874 | @init { | ||
1875 | int stackSize = keepStackSize(); | ||
1876 | } | ||
1877 | : | ||
1878 | rule__VLSFofFormula__Group__7__Impl | ||
1879 | rule__VLSFofFormula__Group__8 | ||
1880 | ; | ||
1881 | finally { | ||
1882 | restoreStackSize(stackSize); | ||
1883 | } | ||
1884 | |||
1885 | rule__VLSFofFormula__Group__7__Impl | ||
1886 | @init { | ||
1887 | int stackSize = keepStackSize(); | ||
1888 | } | ||
1889 | : | ||
1890 | ( | ||
1891 | { before(grammarAccess.getVLSFofFormulaAccess().getGroup_7()); } | ||
1892 | (rule__VLSFofFormula__Group_7__0)? | ||
1893 | { after(grammarAccess.getVLSFofFormulaAccess().getGroup_7()); } | ||
1894 | ) | ||
1895 | ; | ||
1896 | finally { | ||
1897 | restoreStackSize(stackSize); | ||
1898 | } | ||
1899 | |||
1900 | rule__VLSFofFormula__Group__8 | ||
1901 | @init { | ||
1902 | int stackSize = keepStackSize(); | ||
1903 | } | ||
1904 | : | ||
1905 | rule__VLSFofFormula__Group__8__Impl | ||
1906 | rule__VLSFofFormula__Group__9 | ||
1907 | ; | ||
1908 | finally { | ||
1909 | restoreStackSize(stackSize); | ||
1910 | } | ||
1911 | |||
1912 | rule__VLSFofFormula__Group__8__Impl | ||
1913 | @init { | ||
1914 | int stackSize = keepStackSize(); | ||
1915 | } | ||
1916 | : | ||
1917 | ( | ||
1918 | { before(grammarAccess.getVLSFofFormulaAccess().getRightParenthesisKeyword_8()); } | ||
1919 | ')' | ||
1920 | { after(grammarAccess.getVLSFofFormulaAccess().getRightParenthesisKeyword_8()); } | ||
1921 | ) | ||
1922 | ; | ||
1923 | finally { | ||
1924 | restoreStackSize(stackSize); | ||
1925 | } | ||
1926 | |||
1927 | rule__VLSFofFormula__Group__9 | ||
1928 | @init { | ||
1929 | int stackSize = keepStackSize(); | ||
1930 | } | ||
1931 | : | ||
1932 | rule__VLSFofFormula__Group__9__Impl | ||
1933 | ; | ||
1934 | finally { | ||
1935 | restoreStackSize(stackSize); | ||
1936 | } | ||
1937 | |||
1938 | rule__VLSFofFormula__Group__9__Impl | ||
1939 | @init { | ||
1940 | int stackSize = keepStackSize(); | ||
1941 | } | ||
1942 | : | ||
1943 | ( | ||
1944 | { before(grammarAccess.getVLSFofFormulaAccess().getFullStopKeyword_9()); } | ||
1945 | '.' | ||
1946 | { after(grammarAccess.getVLSFofFormulaAccess().getFullStopKeyword_9()); } | ||
1947 | ) | ||
1948 | ; | ||
1949 | finally { | ||
1950 | restoreStackSize(stackSize); | ||
1951 | } | ||
1952 | |||
1953 | |||
1954 | rule__VLSFofFormula__Group_7__0 | ||
1955 | @init { | ||
1956 | int stackSize = keepStackSize(); | ||
1957 | } | ||
1958 | : | ||
1959 | rule__VLSFofFormula__Group_7__0__Impl | ||
1960 | rule__VLSFofFormula__Group_7__1 | ||
1961 | ; | ||
1962 | finally { | ||
1963 | restoreStackSize(stackSize); | ||
1964 | } | ||
1965 | |||
1966 | rule__VLSFofFormula__Group_7__0__Impl | ||
1967 | @init { | ||
1968 | int stackSize = keepStackSize(); | ||
1969 | } | ||
1970 | : | ||
1971 | ( | ||
1972 | { before(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_7_0()); } | ||
1973 | ',' | ||
1974 | { after(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_7_0()); } | ||
1975 | ) | ||
1976 | ; | ||
1977 | finally { | ||
1978 | restoreStackSize(stackSize); | ||
1979 | } | ||
1980 | |||
1981 | rule__VLSFofFormula__Group_7__1 | ||
1982 | @init { | ||
1983 | int stackSize = keepStackSize(); | ||
1984 | } | ||
1985 | : | ||
1986 | rule__VLSFofFormula__Group_7__1__Impl | ||
1987 | ; | ||
1988 | finally { | ||
1989 | restoreStackSize(stackSize); | ||
1990 | } | ||
1991 | |||
1992 | rule__VLSFofFormula__Group_7__1__Impl | ||
1993 | @init { | ||
1994 | int stackSize = keepStackSize(); | ||
1995 | } | ||
1996 | : | ||
1997 | ( | ||
1998 | { before(grammarAccess.getVLSFofFormulaAccess().getAnnotationsAssignment_7_1()); } | ||
1999 | (rule__VLSFofFormula__AnnotationsAssignment_7_1) | ||
2000 | { after(grammarAccess.getVLSFofFormulaAccess().getAnnotationsAssignment_7_1()); } | ||
2001 | ) | ||
2002 | ; | ||
2003 | finally { | ||
2004 | restoreStackSize(stackSize); | ||
2005 | } | ||
2006 | |||
2007 | |||
2008 | rule__VLSTffFormula__Group__0 | ||
2009 | @init { | ||
2010 | int stackSize = keepStackSize(); | ||
2011 | } | ||
2012 | : | ||
2013 | rule__VLSTffFormula__Group__0__Impl | ||
2014 | rule__VLSTffFormula__Group__1 | ||
2015 | ; | ||
2016 | finally { | ||
2017 | restoreStackSize(stackSize); | ||
2018 | } | ||
2019 | |||
2020 | rule__VLSTffFormula__Group__0__Impl | ||
2021 | @init { | ||
2022 | int stackSize = keepStackSize(); | ||
2023 | } | ||
2024 | : | ||
2025 | ( | ||
2026 | { before(grammarAccess.getVLSTffFormulaAccess().getTffKeyword_0()); } | ||
2027 | 'tff' | ||
2028 | { after(grammarAccess.getVLSTffFormulaAccess().getTffKeyword_0()); } | ||
2029 | ) | ||
2030 | ; | ||
2031 | finally { | ||
2032 | restoreStackSize(stackSize); | ||
2033 | } | ||
2034 | |||
2035 | rule__VLSTffFormula__Group__1 | ||
2036 | @init { | ||
2037 | int stackSize = keepStackSize(); | ||
2038 | } | ||
2039 | : | ||
2040 | rule__VLSTffFormula__Group__1__Impl | ||
2041 | rule__VLSTffFormula__Group__2 | ||
2042 | ; | ||
2043 | finally { | ||
2044 | restoreStackSize(stackSize); | ||
2045 | } | ||
2046 | |||
2047 | rule__VLSTffFormula__Group__1__Impl | ||
2048 | @init { | ||
2049 | int stackSize = keepStackSize(); | ||
2050 | } | ||
2051 | : | ||
2052 | ( | ||
2053 | { before(grammarAccess.getVLSTffFormulaAccess().getLeftParenthesisKeyword_1()); } | ||
2054 | '(' | ||
2055 | { after(grammarAccess.getVLSTffFormulaAccess().getLeftParenthesisKeyword_1()); } | ||
2056 | ) | ||
2057 | ; | ||
2058 | finally { | ||
2059 | restoreStackSize(stackSize); | ||
2060 | } | ||
2061 | |||
2062 | rule__VLSTffFormula__Group__2 | ||
2063 | @init { | ||
2064 | int stackSize = keepStackSize(); | ||
2065 | } | ||
2066 | : | ||
2067 | rule__VLSTffFormula__Group__2__Impl | ||
2068 | rule__VLSTffFormula__Group__3 | ||
2069 | ; | ||
2070 | finally { | ||
2071 | restoreStackSize(stackSize); | ||
2072 | } | ||
2073 | |||
2074 | rule__VLSTffFormula__Group__2__Impl | ||
2075 | @init { | ||
2076 | int stackSize = keepStackSize(); | ||
2077 | } | ||
2078 | : | ||
2079 | ( | ||
2080 | { before(grammarAccess.getVLSTffFormulaAccess().getNameAssignment_2()); } | ||
2081 | (rule__VLSTffFormula__NameAssignment_2) | ||
2082 | { after(grammarAccess.getVLSTffFormulaAccess().getNameAssignment_2()); } | ||
2083 | ) | ||
2084 | ; | ||
2085 | finally { | ||
2086 | restoreStackSize(stackSize); | ||
2087 | } | ||
2088 | |||
2089 | rule__VLSTffFormula__Group__3 | ||
2090 | @init { | ||
2091 | int stackSize = keepStackSize(); | ||
2092 | } | ||
2093 | : | ||
2094 | rule__VLSTffFormula__Group__3__Impl | ||
2095 | rule__VLSTffFormula__Group__4 | ||
2096 | ; | ||
2097 | finally { | ||
2098 | restoreStackSize(stackSize); | ||
2099 | } | ||
2100 | |||
2101 | rule__VLSTffFormula__Group__3__Impl | ||
2102 | @init { | ||
2103 | int stackSize = keepStackSize(); | ||
2104 | } | ||
2105 | : | ||
2106 | ( | ||
2107 | { before(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_3()); } | ||
2108 | ',' | ||
2109 | { after(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_3()); } | ||
2110 | ) | ||
2111 | ; | ||
2112 | finally { | ||
2113 | restoreStackSize(stackSize); | ||
2114 | } | ||
2115 | |||
2116 | rule__VLSTffFormula__Group__4 | ||
2117 | @init { | ||
2118 | int stackSize = keepStackSize(); | ||
2119 | } | ||
2120 | : | ||
2121 | rule__VLSTffFormula__Group__4__Impl | ||
2122 | rule__VLSTffFormula__Group__5 | ||
2123 | ; | ||
2124 | finally { | ||
2125 | restoreStackSize(stackSize); | ||
2126 | } | ||
2127 | |||
2128 | rule__VLSTffFormula__Group__4__Impl | ||
2129 | @init { | ||
2130 | int stackSize = keepStackSize(); | ||
2131 | } | ||
2132 | : | ||
2133 | ( | ||
2134 | { before(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4()); } | ||
2135 | (rule__VLSTffFormula__FofRoleAssignment_4) | ||
2136 | { after(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4()); } | ||
2137 | ) | ||
2138 | ; | ||
2139 | finally { | ||
2140 | restoreStackSize(stackSize); | ||
2141 | } | ||
2142 | |||
2143 | rule__VLSTffFormula__Group__5 | ||
2144 | @init { | ||
2145 | int stackSize = keepStackSize(); | ||
2146 | } | ||
2147 | : | ||
2148 | rule__VLSTffFormula__Group__5__Impl | ||
2149 | rule__VLSTffFormula__Group__6 | ||
2150 | ; | ||
2151 | finally { | ||
2152 | restoreStackSize(stackSize); | ||
2153 | } | ||
2154 | |||
2155 | rule__VLSTffFormula__Group__5__Impl | ||
2156 | @init { | ||
2157 | int stackSize = keepStackSize(); | ||
2158 | } | ||
2159 | : | ||
2160 | ( | ||
2161 | { before(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_5()); } | ||
2162 | ',' | ||
2163 | { after(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_5()); } | ||
2164 | ) | ||
2165 | ; | ||
2166 | finally { | ||
2167 | restoreStackSize(stackSize); | ||
2168 | } | ||
2169 | |||
2170 | rule__VLSTffFormula__Group__6 | ||
2171 | @init { | ||
2172 | int stackSize = keepStackSize(); | ||
2173 | } | ||
2174 | : | ||
2175 | rule__VLSTffFormula__Group__6__Impl | ||
2176 | rule__VLSTffFormula__Group__7 | ||
2177 | ; | ||
2178 | finally { | ||
2179 | restoreStackSize(stackSize); | ||
2180 | } | ||
2181 | |||
2182 | rule__VLSTffFormula__Group__6__Impl | ||
2183 | @init { | ||
2184 | int stackSize = keepStackSize(); | ||
2185 | } | ||
2186 | : | ||
2187 | ( | ||
2188 | { before(grammarAccess.getVLSTffFormulaAccess().getFofFormulaAssignment_6()); } | ||
2189 | (rule__VLSTffFormula__FofFormulaAssignment_6) | ||
2190 | { after(grammarAccess.getVLSTffFormulaAccess().getFofFormulaAssignment_6()); } | ||
2191 | ) | ||
2192 | ; | ||
2193 | finally { | ||
2194 | restoreStackSize(stackSize); | ||
2195 | } | ||
2196 | |||
2197 | rule__VLSTffFormula__Group__7 | ||
2198 | @init { | ||
2199 | int stackSize = keepStackSize(); | ||
2200 | } | ||
2201 | : | ||
2202 | rule__VLSTffFormula__Group__7__Impl | ||
2203 | rule__VLSTffFormula__Group__8 | ||
2204 | ; | ||
2205 | finally { | ||
2206 | restoreStackSize(stackSize); | ||
2207 | } | ||
2208 | |||
2209 | rule__VLSTffFormula__Group__7__Impl | ||
2210 | @init { | ||
2211 | int stackSize = keepStackSize(); | ||
2212 | } | ||
2213 | : | ||
2214 | ( | ||
2215 | { before(grammarAccess.getVLSTffFormulaAccess().getGroup_7()); } | ||
2216 | (rule__VLSTffFormula__Group_7__0)? | ||
2217 | { after(grammarAccess.getVLSTffFormulaAccess().getGroup_7()); } | ||
2218 | ) | ||
2219 | ; | ||
2220 | finally { | ||
2221 | restoreStackSize(stackSize); | ||
2222 | } | ||
2223 | |||
2224 | rule__VLSTffFormula__Group__8 | ||
2225 | @init { | ||
2226 | int stackSize = keepStackSize(); | ||
2227 | } | ||
2228 | : | ||
2229 | rule__VLSTffFormula__Group__8__Impl | ||
2230 | rule__VLSTffFormula__Group__9 | ||
2231 | ; | ||
2232 | finally { | ||
2233 | restoreStackSize(stackSize); | ||
2234 | } | ||
2235 | |||
2236 | rule__VLSTffFormula__Group__8__Impl | ||
2237 | @init { | ||
2238 | int stackSize = keepStackSize(); | ||
2239 | } | ||
2240 | : | ||
2241 | ( | ||
2242 | { before(grammarAccess.getVLSTffFormulaAccess().getRightParenthesisKeyword_8()); } | ||
2243 | ')' | ||
2244 | { after(grammarAccess.getVLSTffFormulaAccess().getRightParenthesisKeyword_8()); } | ||
2245 | ) | ||
2246 | ; | ||
2247 | finally { | ||
2248 | restoreStackSize(stackSize); | ||
2249 | } | ||
2250 | |||
2251 | rule__VLSTffFormula__Group__9 | ||
2252 | @init { | ||
2253 | int stackSize = keepStackSize(); | ||
2254 | } | ||
2255 | : | ||
2256 | rule__VLSTffFormula__Group__9__Impl | ||
2257 | ; | ||
2258 | finally { | ||
2259 | restoreStackSize(stackSize); | ||
2260 | } | ||
2261 | |||
2262 | rule__VLSTffFormula__Group__9__Impl | ||
2263 | @init { | ||
2264 | int stackSize = keepStackSize(); | ||
2265 | } | ||
2266 | : | ||
2267 | ( | ||
2268 | { before(grammarAccess.getVLSTffFormulaAccess().getFullStopKeyword_9()); } | ||
2269 | '.' | ||
2270 | { after(grammarAccess.getVLSTffFormulaAccess().getFullStopKeyword_9()); } | ||
2271 | ) | ||
2272 | ; | ||
2273 | finally { | ||
2274 | restoreStackSize(stackSize); | ||
2275 | } | ||
2276 | |||
2277 | |||
2278 | rule__VLSTffFormula__Group_7__0 | ||
2279 | @init { | ||
2280 | int stackSize = keepStackSize(); | ||
2281 | } | ||
2282 | : | ||
2283 | rule__VLSTffFormula__Group_7__0__Impl | ||
2284 | rule__VLSTffFormula__Group_7__1 | ||
2285 | ; | ||
2286 | finally { | ||
2287 | restoreStackSize(stackSize); | ||
2288 | } | ||
2289 | |||
2290 | rule__VLSTffFormula__Group_7__0__Impl | ||
2291 | @init { | ||
2292 | int stackSize = keepStackSize(); | ||
2293 | } | ||
2294 | : | ||
2295 | ( | ||
2296 | { before(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_7_0()); } | ||
2297 | ',' | ||
2298 | { after(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_7_0()); } | ||
2299 | ) | ||
2300 | ; | ||
2301 | finally { | ||
2302 | restoreStackSize(stackSize); | ||
2303 | } | ||
2304 | |||
2305 | rule__VLSTffFormula__Group_7__1 | ||
2306 | @init { | ||
2307 | int stackSize = keepStackSize(); | ||
2308 | } | ||
2309 | : | ||
2310 | rule__VLSTffFormula__Group_7__1__Impl | ||
2311 | ; | ||
2312 | finally { | ||
2313 | restoreStackSize(stackSize); | ||
2314 | } | ||
2315 | |||
2316 | rule__VLSTffFormula__Group_7__1__Impl | ||
2317 | @init { | ||
2318 | int stackSize = keepStackSize(); | ||
2319 | } | ||
2320 | : | ||
2321 | ( | ||
2322 | { before(grammarAccess.getVLSTffFormulaAccess().getAnnotationsAssignment_7_1()); } | ||
2323 | (rule__VLSTffFormula__AnnotationsAssignment_7_1) | ||
2324 | { after(grammarAccess.getVLSTffFormulaAccess().getAnnotationsAssignment_7_1()); } | ||
2325 | ) | ||
2326 | ; | ||
2327 | finally { | ||
2328 | restoreStackSize(stackSize); | ||
2329 | } | ||
2330 | |||
2331 | |||
2332 | rule__VLSAnnotation__Group__0 | ||
2333 | @init { | ||
2334 | int stackSize = keepStackSize(); | ||
2335 | } | ||
2336 | : | ||
2337 | rule__VLSAnnotation__Group__0__Impl | ||
2338 | rule__VLSAnnotation__Group__1 | ||
2339 | ; | ||
2340 | finally { | ||
2341 | restoreStackSize(stackSize); | ||
2342 | } | ||
2343 | |||
2344 | rule__VLSAnnotation__Group__0__Impl | ||
2345 | @init { | ||
2346 | int stackSize = keepStackSize(); | ||
2347 | } | ||
2348 | : | ||
2349 | ( | ||
2350 | { before(grammarAccess.getVLSAnnotationAccess().getLeftSquareBracketKeyword_0()); } | ||
2351 | ('[')? | ||
2352 | { after(grammarAccess.getVLSAnnotationAccess().getLeftSquareBracketKeyword_0()); } | ||
2353 | ) | ||
2354 | ; | ||
2355 | finally { | ||
2356 | restoreStackSize(stackSize); | ||
2357 | } | ||
2358 | |||
2359 | rule__VLSAnnotation__Group__1 | ||
2360 | @init { | ||
2361 | int stackSize = keepStackSize(); | ||
2362 | } | ||
2363 | : | ||
2364 | rule__VLSAnnotation__Group__1__Impl | ||
2365 | rule__VLSAnnotation__Group__2 | ||
2366 | ; | ||
2367 | finally { | ||
2368 | restoreStackSize(stackSize); | ||
2369 | } | ||
2370 | |||
2371 | rule__VLSAnnotation__Group__1__Impl | ||
2372 | @init { | ||
2373 | int stackSize = keepStackSize(); | ||
2374 | } | ||
2375 | : | ||
2376 | ( | ||
2377 | { before(grammarAccess.getVLSAnnotationAccess().getNameAssignment_1()); } | ||
2378 | (rule__VLSAnnotation__NameAssignment_1)? | ||
2379 | { after(grammarAccess.getVLSAnnotationAccess().getNameAssignment_1()); } | ||
2380 | ) | ||
2381 | ; | ||
2382 | finally { | ||
2383 | restoreStackSize(stackSize); | ||
2384 | } | ||
2385 | |||
2386 | rule__VLSAnnotation__Group__2 | ||
2387 | @init { | ||
2388 | int stackSize = keepStackSize(); | ||
2389 | } | ||
2390 | : | ||
2391 | rule__VLSAnnotation__Group__2__Impl | ||
2392 | rule__VLSAnnotation__Group__3 | ||
2393 | ; | ||
2394 | finally { | ||
2395 | restoreStackSize(stackSize); | ||
2396 | } | ||
2397 | |||
2398 | rule__VLSAnnotation__Group__2__Impl | ||
2399 | @init { | ||
2400 | int stackSize = keepStackSize(); | ||
2401 | } | ||
2402 | : | ||
2403 | ( | ||
2404 | { before(grammarAccess.getVLSAnnotationAccess().getGroup_2()); } | ||
2405 | (rule__VLSAnnotation__Group_2__0)? | ||
2406 | { after(grammarAccess.getVLSAnnotationAccess().getGroup_2()); } | ||
2407 | ) | ||
2408 | ; | ||
2409 | finally { | ||
2410 | restoreStackSize(stackSize); | ||
2411 | } | ||
2412 | |||
2413 | rule__VLSAnnotation__Group__3 | ||
2414 | @init { | ||
2415 | int stackSize = keepStackSize(); | ||
2416 | } | ||
2417 | : | ||
2418 | rule__VLSAnnotation__Group__3__Impl | ||
2419 | ; | ||
2420 | finally { | ||
2421 | restoreStackSize(stackSize); | ||
2422 | } | ||
2423 | |||
2424 | rule__VLSAnnotation__Group__3__Impl | ||
2425 | @init { | ||
2426 | int stackSize = keepStackSize(); | ||
2427 | } | ||
2428 | : | ||
2429 | ( | ||
2430 | { before(grammarAccess.getVLSAnnotationAccess().getRightSquareBracketKeyword_3()); } | ||
2431 | (']')? | ||
2432 | { after(grammarAccess.getVLSAnnotationAccess().getRightSquareBracketKeyword_3()); } | ||
2433 | ) | ||
2434 | ; | ||
2435 | finally { | ||
2436 | restoreStackSize(stackSize); | ||
2437 | } | ||
2438 | |||
2439 | |||
2440 | rule__VLSAnnotation__Group_2__0 | ||
2441 | @init { | ||
2442 | int stackSize = keepStackSize(); | ||
2443 | } | ||
2444 | : | ||
2445 | rule__VLSAnnotation__Group_2__0__Impl | ||
2446 | rule__VLSAnnotation__Group_2__1 | ||
2447 | ; | ||
2448 | finally { | ||
2449 | restoreStackSize(stackSize); | ||
2450 | } | ||
2451 | |||
2452 | rule__VLSAnnotation__Group_2__0__Impl | ||
2453 | @init { | ||
2454 | int stackSize = keepStackSize(); | ||
2455 | } | ||
2456 | : | ||
2457 | ( | ||
2458 | { before(grammarAccess.getVLSAnnotationAccess().getLeftParenthesisKeyword_2_0()); } | ||
2459 | '(' | ||
2460 | { after(grammarAccess.getVLSAnnotationAccess().getLeftParenthesisKeyword_2_0()); } | ||
2461 | ) | ||
2462 | ; | ||
2463 | finally { | ||
2464 | restoreStackSize(stackSize); | ||
2465 | } | ||
2466 | |||
2467 | rule__VLSAnnotation__Group_2__1 | ||
2468 | @init { | ||
2469 | int stackSize = keepStackSize(); | ||
2470 | } | ||
2471 | : | ||
2472 | rule__VLSAnnotation__Group_2__1__Impl | ||
2473 | rule__VLSAnnotation__Group_2__2 | ||
2474 | ; | ||
2475 | finally { | ||
2476 | restoreStackSize(stackSize); | ||
2477 | } | ||
2478 | |||
2479 | rule__VLSAnnotation__Group_2__1__Impl | ||
2480 | @init { | ||
2481 | int stackSize = keepStackSize(); | ||
2482 | } | ||
2483 | : | ||
2484 | ( | ||
2485 | { before(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1()); } | ||
2486 | (rule__VLSAnnotation__FollowupAssignment_2_1) | ||
2487 | { after(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1()); } | ||
2488 | ) | ||
2489 | ; | ||
2490 | finally { | ||
2491 | restoreStackSize(stackSize); | ||
2492 | } | ||
2493 | |||
2494 | rule__VLSAnnotation__Group_2__2 | ||
2495 | @init { | ||
2496 | int stackSize = keepStackSize(); | ||
2497 | } | ||
2498 | : | ||
2499 | rule__VLSAnnotation__Group_2__2__Impl | ||
2500 | ; | ||
2501 | finally { | ||
2502 | restoreStackSize(stackSize); | ||
2503 | } | ||
2504 | |||
2505 | rule__VLSAnnotation__Group_2__2__Impl | ||
2506 | @init { | ||
2507 | int stackSize = keepStackSize(); | ||
2508 | } | ||
2509 | : | ||
2510 | ( | ||
2511 | { before(grammarAccess.getVLSAnnotationAccess().getRightParenthesisKeyword_2_2()); } | ||
2512 | ')' | ||
2513 | { after(grammarAccess.getVLSAnnotationAccess().getRightParenthesisKeyword_2_2()); } | ||
2514 | ) | ||
2515 | ; | ||
2516 | finally { | ||
2517 | restoreStackSize(stackSize); | ||
2518 | } | ||
2519 | |||
2520 | |||
2521 | rule__VLSAnnotationTerms__Group__0 | ||
2522 | @init { | ||
2523 | int stackSize = keepStackSize(); | ||
2524 | } | ||
2525 | : | ||
2526 | rule__VLSAnnotationTerms__Group__0__Impl | ||
2527 | rule__VLSAnnotationTerms__Group__1 | ||
2528 | ; | ||
2529 | finally { | ||
2530 | restoreStackSize(stackSize); | ||
2531 | } | ||
2532 | |||
2533 | rule__VLSAnnotationTerms__Group__0__Impl | ||
2534 | @init { | ||
2535 | int stackSize = keepStackSize(); | ||
2536 | } | ||
2537 | : | ||
2538 | ( | ||
2539 | { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0()); } | ||
2540 | (rule__VLSAnnotationTerms__TermsAssignment_0) | ||
2541 | { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0()); } | ||
2542 | ) | ||
2543 | ; | ||
2544 | finally { | ||
2545 | restoreStackSize(stackSize); | ||
2546 | } | ||
2547 | |||
2548 | rule__VLSAnnotationTerms__Group__1 | ||
2549 | @init { | ||
2550 | int stackSize = keepStackSize(); | ||
2551 | } | ||
2552 | : | ||
2553 | rule__VLSAnnotationTerms__Group__1__Impl | ||
2554 | ; | ||
2555 | finally { | ||
2556 | restoreStackSize(stackSize); | ||
2557 | } | ||
2558 | |||
2559 | rule__VLSAnnotationTerms__Group__1__Impl | ||
2560 | @init { | ||
2561 | int stackSize = keepStackSize(); | ||
2562 | } | ||
2563 | : | ||
2564 | ( | ||
2565 | { before(grammarAccess.getVLSAnnotationTermsAccess().getGroup_1()); } | ||
2566 | (rule__VLSAnnotationTerms__Group_1__0)* | ||
2567 | { after(grammarAccess.getVLSAnnotationTermsAccess().getGroup_1()); } | ||
2568 | ) | ||
2569 | ; | ||
2570 | finally { | ||
2571 | restoreStackSize(stackSize); | ||
2572 | } | ||
2573 | |||
2574 | |||
2575 | rule__VLSAnnotationTerms__Group_1__0 | ||
2576 | @init { | ||
2577 | int stackSize = keepStackSize(); | ||
2578 | } | ||
2579 | : | ||
2580 | rule__VLSAnnotationTerms__Group_1__0__Impl | ||
2581 | rule__VLSAnnotationTerms__Group_1__1 | ||
2582 | ; | ||
2583 | finally { | ||
2584 | restoreStackSize(stackSize); | ||
2585 | } | ||
2586 | |||
2587 | rule__VLSAnnotationTerms__Group_1__0__Impl | ||
2588 | @init { | ||
2589 | int stackSize = keepStackSize(); | ||
2590 | } | ||
2591 | : | ||
2592 | ( | ||
2593 | { before(grammarAccess.getVLSAnnotationTermsAccess().getCommaKeyword_1_0()); } | ||
2594 | ',' | ||
2595 | { after(grammarAccess.getVLSAnnotationTermsAccess().getCommaKeyword_1_0()); } | ||
2596 | ) | ||
2597 | ; | ||
2598 | finally { | ||
2599 | restoreStackSize(stackSize); | ||
2600 | } | ||
2601 | |||
2602 | rule__VLSAnnotationTerms__Group_1__1 | ||
2603 | @init { | ||
2604 | int stackSize = keepStackSize(); | ||
2605 | } | ||
2606 | : | ||
2607 | rule__VLSAnnotationTerms__Group_1__1__Impl | ||
2608 | ; | ||
2609 | finally { | ||
2610 | restoreStackSize(stackSize); | ||
2611 | } | ||
2612 | |||
2613 | rule__VLSAnnotationTerms__Group_1__1__Impl | ||
2614 | @init { | ||
2615 | int stackSize = keepStackSize(); | ||
2616 | } | ||
2617 | : | ||
2618 | ( | ||
2619 | { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1()); } | ||
2620 | (rule__VLSAnnotationTerms__TermsAssignment_1_1) | ||
2621 | { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1()); } | ||
2622 | ) | ||
2623 | ; | ||
2624 | finally { | ||
2625 | restoreStackSize(stackSize); | ||
2626 | } | ||
2627 | |||
2628 | |||
2629 | rule__VLSBinary__Group__0 | ||
2630 | @init { | ||
2631 | int stackSize = keepStackSize(); | ||
2632 | } | ||
2633 | : | ||
2634 | rule__VLSBinary__Group__0__Impl | ||
2635 | rule__VLSBinary__Group__1 | ||
2636 | ; | ||
2637 | finally { | ||
2638 | restoreStackSize(stackSize); | ||
2639 | } | ||
2640 | |||
2641 | rule__VLSBinary__Group__0__Impl | ||
2642 | @init { | ||
2643 | int stackSize = keepStackSize(); | ||
2644 | } | ||
2645 | : | ||
2646 | ( | ||
2647 | { before(grammarAccess.getVLSBinaryAccess().getVLSUnitaryFormulaParserRuleCall_0()); } | ||
2648 | ruleVLSUnitaryFormula | ||
2649 | { after(grammarAccess.getVLSBinaryAccess().getVLSUnitaryFormulaParserRuleCall_0()); } | ||
2650 | ) | ||
2651 | ; | ||
2652 | finally { | ||
2653 | restoreStackSize(stackSize); | ||
2654 | } | ||
2655 | |||
2656 | rule__VLSBinary__Group__1 | ||
2657 | @init { | ||
2658 | int stackSize = keepStackSize(); | ||
2659 | } | ||
2660 | : | ||
2661 | rule__VLSBinary__Group__1__Impl | ||
2662 | ; | ||
2663 | finally { | ||
2664 | restoreStackSize(stackSize); | ||
2665 | } | ||
2666 | |||
2667 | rule__VLSBinary__Group__1__Impl | ||
2668 | @init { | ||
2669 | int stackSize = keepStackSize(); | ||
2670 | } | ||
2671 | : | ||
2672 | ( | ||
2673 | { before(grammarAccess.getVLSBinaryAccess().getAlternatives_1()); } | ||
2674 | (rule__VLSBinary__Alternatives_1)? | ||
2675 | { after(grammarAccess.getVLSBinaryAccess().getAlternatives_1()); } | ||
2676 | ) | ||
2677 | ; | ||
2678 | finally { | ||
2679 | restoreStackSize(stackSize); | ||
2680 | } | ||
2681 | |||
2682 | |||
2683 | rule__VLSBinary__Group_1_0__0 | ||
2684 | @init { | ||
2685 | int stackSize = keepStackSize(); | ||
2686 | } | ||
2687 | : | ||
2688 | rule__VLSBinary__Group_1_0__0__Impl | ||
2689 | rule__VLSBinary__Group_1_0__1 | ||
2690 | ; | ||
2691 | finally { | ||
2692 | restoreStackSize(stackSize); | ||
2693 | } | ||
2694 | |||
2695 | rule__VLSBinary__Group_1_0__0__Impl | ||
2696 | @init { | ||
2697 | int stackSize = keepStackSize(); | ||
2698 | } | ||
2699 | : | ||
2700 | ( | ||
2701 | { before(grammarAccess.getVLSBinaryAccess().getAlternatives_1_0_0()); } | ||
2702 | (rule__VLSBinary__Alternatives_1_0_0) | ||
2703 | { after(grammarAccess.getVLSBinaryAccess().getAlternatives_1_0_0()); } | ||
2704 | ) | ||
2705 | ; | ||
2706 | finally { | ||
2707 | restoreStackSize(stackSize); | ||
2708 | } | ||
2709 | |||
2710 | rule__VLSBinary__Group_1_0__1 | ||
2711 | @init { | ||
2712 | int stackSize = keepStackSize(); | ||
2713 | } | ||
2714 | : | ||
2715 | rule__VLSBinary__Group_1_0__1__Impl | ||
2716 | ; | ||
2717 | finally { | ||
2718 | restoreStackSize(stackSize); | ||
2719 | } | ||
2720 | |||
2721 | rule__VLSBinary__Group_1_0__1__Impl | ||
2722 | @init { | ||
2723 | int stackSize = keepStackSize(); | ||
2724 | } | ||
2725 | : | ||
2726 | ( | ||
2727 | { before(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_0_1()); } | ||
2728 | (rule__VLSBinary__RightAssignment_1_0_1) | ||
2729 | { after(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_0_1()); } | ||
2730 | ) | ||
2731 | ; | ||
2732 | finally { | ||
2733 | restoreStackSize(stackSize); | ||
2734 | } | ||
2735 | |||
2736 | |||
2737 | rule__VLSBinary__Group_1_0_0_0__0 | ||
2738 | @init { | ||
2739 | int stackSize = keepStackSize(); | ||
2740 | } | ||
2741 | : | ||
2742 | rule__VLSBinary__Group_1_0_0_0__0__Impl | ||
2743 | rule__VLSBinary__Group_1_0_0_0__1 | ||
2744 | ; | ||
2745 | finally { | ||
2746 | restoreStackSize(stackSize); | ||
2747 | } | ||
2748 | |||
2749 | rule__VLSBinary__Group_1_0_0_0__0__Impl | ||
2750 | @init { | ||
2751 | int stackSize = keepStackSize(); | ||
2752 | } | ||
2753 | : | ||
2754 | ( | ||
2755 | { before(grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0()); } | ||
2756 | () | ||
2757 | { after(grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0()); } | ||
2758 | ) | ||
2759 | ; | ||
2760 | finally { | ||
2761 | restoreStackSize(stackSize); | ||
2762 | } | ||
2763 | |||
2764 | rule__VLSBinary__Group_1_0_0_0__1 | ||
2765 | @init { | ||
2766 | int stackSize = keepStackSize(); | ||
2767 | } | ||
2768 | : | ||
2769 | rule__VLSBinary__Group_1_0_0_0__1__Impl | ||
2770 | ; | ||
2771 | finally { | ||
2772 | restoreStackSize(stackSize); | ||
2773 | } | ||
2774 | |||
2775 | rule__VLSBinary__Group_1_0_0_0__1__Impl | ||
2776 | @init { | ||
2777 | int stackSize = keepStackSize(); | ||
2778 | } | ||
2779 | : | ||
2780 | ( | ||
2781 | { before(grammarAccess.getVLSBinaryAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_0_0_0_1()); } | ||
2782 | '<=>' | ||
2783 | { after(grammarAccess.getVLSBinaryAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_0_0_0_1()); } | ||
2784 | ) | ||
2785 | ; | ||
2786 | finally { | ||
2787 | restoreStackSize(stackSize); | ||
2788 | } | ||
2789 | |||
2790 | |||
2791 | rule__VLSBinary__Group_1_0_0_1__0 | ||
2792 | @init { | ||
2793 | int stackSize = keepStackSize(); | ||
2794 | } | ||
2795 | : | ||
2796 | rule__VLSBinary__Group_1_0_0_1__0__Impl | ||
2797 | rule__VLSBinary__Group_1_0_0_1__1 | ||
2798 | ; | ||
2799 | finally { | ||
2800 | restoreStackSize(stackSize); | ||
2801 | } | ||
2802 | |||
2803 | rule__VLSBinary__Group_1_0_0_1__0__Impl | ||
2804 | @init { | ||
2805 | int stackSize = keepStackSize(); | ||
2806 | } | ||
2807 | : | ||
2808 | ( | ||
2809 | { before(grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0()); } | ||
2810 | () | ||
2811 | { after(grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0()); } | ||
2812 | ) | ||
2813 | ; | ||
2814 | finally { | ||
2815 | restoreStackSize(stackSize); | ||
2816 | } | ||
2817 | |||
2818 | rule__VLSBinary__Group_1_0_0_1__1 | ||
2819 | @init { | ||
2820 | int stackSize = keepStackSize(); | ||
2821 | } | ||
2822 | : | ||
2823 | rule__VLSBinary__Group_1_0_0_1__1__Impl | ||
2824 | ; | ||
2825 | finally { | ||
2826 | restoreStackSize(stackSize); | ||
2827 | } | ||
2828 | |||
2829 | rule__VLSBinary__Group_1_0_0_1__1__Impl | ||
2830 | @init { | ||
2831 | int stackSize = keepStackSize(); | ||
2832 | } | ||
2833 | : | ||
2834 | ( | ||
2835 | { before(grammarAccess.getVLSBinaryAccess().getEqualsSignGreaterThanSignKeyword_1_0_0_1_1()); } | ||
2836 | '=>' | ||
2837 | { after(grammarAccess.getVLSBinaryAccess().getEqualsSignGreaterThanSignKeyword_1_0_0_1_1()); } | ||
2838 | ) | ||
2839 | ; | ||
2840 | finally { | ||
2841 | restoreStackSize(stackSize); | ||
2842 | } | ||
2843 | |||
2844 | |||
2845 | rule__VLSBinary__Group_1_0_0_2__0 | ||
2846 | @init { | ||
2847 | int stackSize = keepStackSize(); | ||
2848 | } | ||
2849 | : | ||
2850 | rule__VLSBinary__Group_1_0_0_2__0__Impl | ||
2851 | rule__VLSBinary__Group_1_0_0_2__1 | ||
2852 | ; | ||
2853 | finally { | ||
2854 | restoreStackSize(stackSize); | ||
2855 | } | ||
2856 | |||
2857 | rule__VLSBinary__Group_1_0_0_2__0__Impl | ||
2858 | @init { | ||
2859 | int stackSize = keepStackSize(); | ||
2860 | } | ||
2861 | : | ||
2862 | ( | ||
2863 | { before(grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0()); } | ||
2864 | () | ||
2865 | { after(grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0()); } | ||
2866 | ) | ||
2867 | ; | ||
2868 | finally { | ||
2869 | restoreStackSize(stackSize); | ||
2870 | } | ||
2871 | |||
2872 | rule__VLSBinary__Group_1_0_0_2__1 | ||
2873 | @init { | ||
2874 | int stackSize = keepStackSize(); | ||
2875 | } | ||
2876 | : | ||
2877 | rule__VLSBinary__Group_1_0_0_2__1__Impl | ||
2878 | ; | ||
2879 | finally { | ||
2880 | restoreStackSize(stackSize); | ||
2881 | } | ||
2882 | |||
2883 | rule__VLSBinary__Group_1_0_0_2__1__Impl | ||
2884 | @init { | ||
2885 | int stackSize = keepStackSize(); | ||
2886 | } | ||
2887 | : | ||
2888 | ( | ||
2889 | { before(grammarAccess.getVLSBinaryAccess().getLessThanSignEqualsSignKeyword_1_0_0_2_1()); } | ||
2890 | '<=' | ||
2891 | { after(grammarAccess.getVLSBinaryAccess().getLessThanSignEqualsSignKeyword_1_0_0_2_1()); } | ||
2892 | ) | ||
2893 | ; | ||
2894 | finally { | ||
2895 | restoreStackSize(stackSize); | ||
2896 | } | ||
2897 | |||
2898 | |||
2899 | rule__VLSBinary__Group_1_0_0_3__0 | ||
2900 | @init { | ||
2901 | int stackSize = keepStackSize(); | ||
2902 | } | ||
2903 | : | ||
2904 | rule__VLSBinary__Group_1_0_0_3__0__Impl | ||
2905 | rule__VLSBinary__Group_1_0_0_3__1 | ||
2906 | ; | ||
2907 | finally { | ||
2908 | restoreStackSize(stackSize); | ||
2909 | } | ||
2910 | |||
2911 | rule__VLSBinary__Group_1_0_0_3__0__Impl | ||
2912 | @init { | ||
2913 | int stackSize = keepStackSize(); | ||
2914 | } | ||
2915 | : | ||
2916 | ( | ||
2917 | { before(grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0()); } | ||
2918 | () | ||
2919 | { after(grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0()); } | ||
2920 | ) | ||
2921 | ; | ||
2922 | finally { | ||
2923 | restoreStackSize(stackSize); | ||
2924 | } | ||
2925 | |||
2926 | rule__VLSBinary__Group_1_0_0_3__1 | ||
2927 | @init { | ||
2928 | int stackSize = keepStackSize(); | ||
2929 | } | ||
2930 | : | ||
2931 | rule__VLSBinary__Group_1_0_0_3__1__Impl | ||
2932 | ; | ||
2933 | finally { | ||
2934 | restoreStackSize(stackSize); | ||
2935 | } | ||
2936 | |||
2937 | rule__VLSBinary__Group_1_0_0_3__1__Impl | ||
2938 | @init { | ||
2939 | int stackSize = keepStackSize(); | ||
2940 | } | ||
2941 | : | ||
2942 | ( | ||
2943 | { before(grammarAccess.getVLSBinaryAccess().getLessThanSignTildeGreaterThanSignKeyword_1_0_0_3_1()); } | ||
2944 | '<~>' | ||
2945 | { after(grammarAccess.getVLSBinaryAccess().getLessThanSignTildeGreaterThanSignKeyword_1_0_0_3_1()); } | ||
2946 | ) | ||
2947 | ; | ||
2948 | finally { | ||
2949 | restoreStackSize(stackSize); | ||
2950 | } | ||
2951 | |||
2952 | |||
2953 | rule__VLSBinary__Group_1_0_0_4__0 | ||
2954 | @init { | ||
2955 | int stackSize = keepStackSize(); | ||
2956 | } | ||
2957 | : | ||
2958 | rule__VLSBinary__Group_1_0_0_4__0__Impl | ||
2959 | rule__VLSBinary__Group_1_0_0_4__1 | ||
2960 | ; | ||
2961 | finally { | ||
2962 | restoreStackSize(stackSize); | ||
2963 | } | ||
2964 | |||
2965 | rule__VLSBinary__Group_1_0_0_4__0__Impl | ||
2966 | @init { | ||
2967 | int stackSize = keepStackSize(); | ||
2968 | } | ||
2969 | : | ||
2970 | ( | ||
2971 | { before(grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0()); } | ||
2972 | () | ||
2973 | { after(grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0()); } | ||
2974 | ) | ||
2975 | ; | ||
2976 | finally { | ||
2977 | restoreStackSize(stackSize); | ||
2978 | } | ||
2979 | |||
2980 | rule__VLSBinary__Group_1_0_0_4__1 | ||
2981 | @init { | ||
2982 | int stackSize = keepStackSize(); | ||
2983 | } | ||
2984 | : | ||
2985 | rule__VLSBinary__Group_1_0_0_4__1__Impl | ||
2986 | ; | ||
2987 | finally { | ||
2988 | restoreStackSize(stackSize); | ||
2989 | } | ||
2990 | |||
2991 | rule__VLSBinary__Group_1_0_0_4__1__Impl | ||
2992 | @init { | ||
2993 | int stackSize = keepStackSize(); | ||
2994 | } | ||
2995 | : | ||
2996 | ( | ||
2997 | { before(grammarAccess.getVLSBinaryAccess().getTildeVerticalLineKeyword_1_0_0_4_1()); } | ||
2998 | '~|' | ||
2999 | { after(grammarAccess.getVLSBinaryAccess().getTildeVerticalLineKeyword_1_0_0_4_1()); } | ||
3000 | ) | ||
3001 | ; | ||
3002 | finally { | ||
3003 | restoreStackSize(stackSize); | ||
3004 | } | ||
3005 | |||
3006 | |||
3007 | rule__VLSBinary__Group_1_0_0_5__0 | ||
3008 | @init { | ||
3009 | int stackSize = keepStackSize(); | ||
3010 | } | ||
3011 | : | ||
3012 | rule__VLSBinary__Group_1_0_0_5__0__Impl | ||
3013 | rule__VLSBinary__Group_1_0_0_5__1 | ||
3014 | ; | ||
3015 | finally { | ||
3016 | restoreStackSize(stackSize); | ||
3017 | } | ||
3018 | |||
3019 | rule__VLSBinary__Group_1_0_0_5__0__Impl | ||
3020 | @init { | ||
3021 | int stackSize = keepStackSize(); | ||
3022 | } | ||
3023 | : | ||
3024 | ( | ||
3025 | { before(grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0()); } | ||
3026 | () | ||
3027 | { after(grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0()); } | ||
3028 | ) | ||
3029 | ; | ||
3030 | finally { | ||
3031 | restoreStackSize(stackSize); | ||
3032 | } | ||
3033 | |||
3034 | rule__VLSBinary__Group_1_0_0_5__1 | ||
3035 | @init { | ||
3036 | int stackSize = keepStackSize(); | ||
3037 | } | ||
3038 | : | ||
3039 | rule__VLSBinary__Group_1_0_0_5__1__Impl | ||
3040 | ; | ||
3041 | finally { | ||
3042 | restoreStackSize(stackSize); | ||
3043 | } | ||
3044 | |||
3045 | rule__VLSBinary__Group_1_0_0_5__1__Impl | ||
3046 | @init { | ||
3047 | int stackSize = keepStackSize(); | ||
3048 | } | ||
3049 | : | ||
3050 | ( | ||
3051 | { before(grammarAccess.getVLSBinaryAccess().getTildeAmpersandKeyword_1_0_0_5_1()); } | ||
3052 | '~&' | ||
3053 | { after(grammarAccess.getVLSBinaryAccess().getTildeAmpersandKeyword_1_0_0_5_1()); } | ||
3054 | ) | ||
3055 | ; | ||
3056 | finally { | ||
3057 | restoreStackSize(stackSize); | ||
3058 | } | ||
3059 | |||
3060 | |||
3061 | rule__VLSBinary__Group_1_1__0 | ||
3062 | @init { | ||
3063 | int stackSize = keepStackSize(); | ||
3064 | } | ||
3065 | : | ||
3066 | rule__VLSBinary__Group_1_1__0__Impl | ||
3067 | rule__VLSBinary__Group_1_1__1 | ||
3068 | ; | ||
3069 | finally { | ||
3070 | restoreStackSize(stackSize); | ||
3071 | } | ||
3072 | |||
3073 | rule__VLSBinary__Group_1_1__0__Impl | ||
3074 | @init { | ||
3075 | int stackSize = keepStackSize(); | ||
3076 | } | ||
3077 | : | ||
3078 | ( | ||
3079 | { before(grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0()); } | ||
3080 | () | ||
3081 | { after(grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0()); } | ||
3082 | ) | ||
3083 | ; | ||
3084 | finally { | ||
3085 | restoreStackSize(stackSize); | ||
3086 | } | ||
3087 | |||
3088 | rule__VLSBinary__Group_1_1__1 | ||
3089 | @init { | ||
3090 | int stackSize = keepStackSize(); | ||
3091 | } | ||
3092 | : | ||
3093 | rule__VLSBinary__Group_1_1__1__Impl | ||
3094 | rule__VLSBinary__Group_1_1__2 | ||
3095 | ; | ||
3096 | finally { | ||
3097 | restoreStackSize(stackSize); | ||
3098 | } | ||
3099 | |||
3100 | rule__VLSBinary__Group_1_1__1__Impl | ||
3101 | @init { | ||
3102 | int stackSize = keepStackSize(); | ||
3103 | } | ||
3104 | : | ||
3105 | ( | ||
3106 | { before(grammarAccess.getVLSBinaryAccess().getAmpersandKeyword_1_1_1()); } | ||
3107 | '&' | ||
3108 | { after(grammarAccess.getVLSBinaryAccess().getAmpersandKeyword_1_1_1()); } | ||
3109 | ) | ||
3110 | ; | ||
3111 | finally { | ||
3112 | restoreStackSize(stackSize); | ||
3113 | } | ||
3114 | |||
3115 | rule__VLSBinary__Group_1_1__2 | ||
3116 | @init { | ||
3117 | int stackSize = keepStackSize(); | ||
3118 | } | ||
3119 | : | ||
3120 | rule__VLSBinary__Group_1_1__2__Impl | ||
3121 | ; | ||
3122 | finally { | ||
3123 | restoreStackSize(stackSize); | ||
3124 | } | ||
3125 | |||
3126 | rule__VLSBinary__Group_1_1__2__Impl | ||
3127 | @init { | ||
3128 | int stackSize = keepStackSize(); | ||
3129 | } | ||
3130 | : | ||
3131 | ( | ||
3132 | { before(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_1_2()); } | ||
3133 | (rule__VLSBinary__RightAssignment_1_1_2) | ||
3134 | { after(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_1_2()); } | ||
3135 | ) | ||
3136 | ; | ||
3137 | finally { | ||
3138 | restoreStackSize(stackSize); | ||
3139 | } | ||
3140 | |||
3141 | |||
3142 | rule__VLSBinary__Group_1_2__0 | ||
3143 | @init { | ||
3144 | int stackSize = keepStackSize(); | ||
3145 | } | ||
3146 | : | ||
3147 | rule__VLSBinary__Group_1_2__0__Impl | ||
3148 | rule__VLSBinary__Group_1_2__1 | ||
3149 | ; | ||
3150 | finally { | ||
3151 | restoreStackSize(stackSize); | ||
3152 | } | ||
3153 | |||
3154 | rule__VLSBinary__Group_1_2__0__Impl | ||
3155 | @init { | ||
3156 | int stackSize = keepStackSize(); | ||
3157 | } | ||
3158 | : | ||
3159 | ( | ||
3160 | { before(grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0()); } | ||
3161 | () | ||
3162 | { after(grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0()); } | ||
3163 | ) | ||
3164 | ; | ||
3165 | finally { | ||
3166 | restoreStackSize(stackSize); | ||
3167 | } | ||
3168 | |||
3169 | rule__VLSBinary__Group_1_2__1 | ||
3170 | @init { | ||
3171 | int stackSize = keepStackSize(); | ||
3172 | } | ||
3173 | : | ||
3174 | rule__VLSBinary__Group_1_2__1__Impl | ||
3175 | rule__VLSBinary__Group_1_2__2 | ||
3176 | ; | ||
3177 | finally { | ||
3178 | restoreStackSize(stackSize); | ||
3179 | } | ||
3180 | |||
3181 | rule__VLSBinary__Group_1_2__1__Impl | ||
3182 | @init { | ||
3183 | int stackSize = keepStackSize(); | ||
3184 | } | ||
3185 | : | ||
3186 | ( | ||
3187 | { before(grammarAccess.getVLSBinaryAccess().getVerticalLineKeyword_1_2_1()); } | ||
3188 | '|' | ||
3189 | { after(grammarAccess.getVLSBinaryAccess().getVerticalLineKeyword_1_2_1()); } | ||
3190 | ) | ||
3191 | ; | ||
3192 | finally { | ||
3193 | restoreStackSize(stackSize); | ||
3194 | } | ||
3195 | |||
3196 | rule__VLSBinary__Group_1_2__2 | ||
3197 | @init { | ||
3198 | int stackSize = keepStackSize(); | ||
3199 | } | ||
3200 | : | ||
3201 | rule__VLSBinary__Group_1_2__2__Impl | ||
3202 | ; | ||
3203 | finally { | ||
3204 | restoreStackSize(stackSize); | ||
3205 | } | ||
3206 | |||
3207 | rule__VLSBinary__Group_1_2__2__Impl | ||
3208 | @init { | ||
3209 | int stackSize = keepStackSize(); | ||
3210 | } | ||
3211 | : | ||
3212 | ( | ||
3213 | { before(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_2_2()); } | ||
3214 | (rule__VLSBinary__RightAssignment_1_2_2) | ||
3215 | { after(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_2_2()); } | ||
3216 | ) | ||
3217 | ; | ||
3218 | finally { | ||
3219 | restoreStackSize(stackSize); | ||
3220 | } | ||
3221 | |||
3222 | |||
3223 | rule__VLSUnitaryFormula__Group_4__0 | ||
3224 | @init { | ||
3225 | int stackSize = keepStackSize(); | ||
3226 | } | ||
3227 | : | ||
3228 | rule__VLSUnitaryFormula__Group_4__0__Impl | ||
3229 | rule__VLSUnitaryFormula__Group_4__1 | ||
3230 | ; | ||
3231 | finally { | ||
3232 | restoreStackSize(stackSize); | ||
3233 | } | ||
3234 | |||
3235 | rule__VLSUnitaryFormula__Group_4__0__Impl | ||
3236 | @init { | ||
3237 | int stackSize = keepStackSize(); | ||
3238 | } | ||
3239 | : | ||
3240 | ( | ||
3241 | { before(grammarAccess.getVLSUnitaryFormulaAccess().getLeftParenthesisKeyword_4_0()); } | ||
3242 | '(' | ||
3243 | { after(grammarAccess.getVLSUnitaryFormulaAccess().getLeftParenthesisKeyword_4_0()); } | ||
3244 | ) | ||
3245 | ; | ||
3246 | finally { | ||
3247 | restoreStackSize(stackSize); | ||
3248 | } | ||
3249 | |||
3250 | rule__VLSUnitaryFormula__Group_4__1 | ||
3251 | @init { | ||
3252 | int stackSize = keepStackSize(); | ||
3253 | } | ||
3254 | : | ||
3255 | rule__VLSUnitaryFormula__Group_4__1__Impl | ||
3256 | rule__VLSUnitaryFormula__Group_4__2 | ||
3257 | ; | ||
3258 | finally { | ||
3259 | restoreStackSize(stackSize); | ||
3260 | } | ||
3261 | |||
3262 | rule__VLSUnitaryFormula__Group_4__1__Impl | ||
3263 | @init { | ||
3264 | int stackSize = keepStackSize(); | ||
3265 | } | ||
3266 | : | ||
3267 | ( | ||
3268 | { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSTermParserRuleCall_4_1()); } | ||
3269 | ruleVLSTerm | ||
3270 | { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSTermParserRuleCall_4_1()); } | ||
3271 | ) | ||
3272 | ; | ||
3273 | finally { | ||
3274 | restoreStackSize(stackSize); | ||
3275 | } | ||
3276 | |||
3277 | rule__VLSUnitaryFormula__Group_4__2 | ||
3278 | @init { | ||
3279 | int stackSize = keepStackSize(); | ||
3280 | } | ||
3281 | : | ||
3282 | rule__VLSUnitaryFormula__Group_4__2__Impl | ||
3283 | ; | ||
3284 | finally { | ||
3285 | restoreStackSize(stackSize); | ||
3286 | } | ||
3287 | |||
3288 | rule__VLSUnitaryFormula__Group_4__2__Impl | ||
3289 | @init { | ||
3290 | int stackSize = keepStackSize(); | ||
3291 | } | ||
3292 | : | ||
3293 | ( | ||
3294 | { before(grammarAccess.getVLSUnitaryFormulaAccess().getRightParenthesisKeyword_4_2()); } | ||
3295 | ')' | ||
3296 | { after(grammarAccess.getVLSUnitaryFormulaAccess().getRightParenthesisKeyword_4_2()); } | ||
3297 | ) | ||
3298 | ; | ||
3299 | finally { | ||
3300 | restoreStackSize(stackSize); | ||
3301 | } | ||
3302 | |||
3303 | |||
3304 | rule__VLSUniversalQuantifier__Group__0 | ||
3305 | @init { | ||
3306 | int stackSize = keepStackSize(); | ||
3307 | } | ||
3308 | : | ||
3309 | rule__VLSUniversalQuantifier__Group__0__Impl | ||
3310 | rule__VLSUniversalQuantifier__Group__1 | ||
3311 | ; | ||
3312 | finally { | ||
3313 | restoreStackSize(stackSize); | ||
3314 | } | ||
3315 | |||
3316 | rule__VLSUniversalQuantifier__Group__0__Impl | ||
3317 | @init { | ||
3318 | int stackSize = keepStackSize(); | ||
3319 | } | ||
3320 | : | ||
3321 | ( | ||
3322 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getVLSUniversalQuantifierAction_0()); } | ||
3323 | () | ||
3324 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getVLSUniversalQuantifierAction_0()); } | ||
3325 | ) | ||
3326 | ; | ||
3327 | finally { | ||
3328 | restoreStackSize(stackSize); | ||
3329 | } | ||
3330 | |||
3331 | rule__VLSUniversalQuantifier__Group__1 | ||
3332 | @init { | ||
3333 | int stackSize = keepStackSize(); | ||
3334 | } | ||
3335 | : | ||
3336 | rule__VLSUniversalQuantifier__Group__1__Impl | ||
3337 | rule__VLSUniversalQuantifier__Group__2 | ||
3338 | ; | ||
3339 | finally { | ||
3340 | restoreStackSize(stackSize); | ||
3341 | } | ||
3342 | |||
3343 | rule__VLSUniversalQuantifier__Group__1__Impl | ||
3344 | @init { | ||
3345 | int stackSize = keepStackSize(); | ||
3346 | } | ||
3347 | : | ||
3348 | ( | ||
3349 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1()); } | ||
3350 | (rule__VLSUniversalQuantifier__Group_1__0) | ||
3351 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1()); } | ||
3352 | ) | ||
3353 | ; | ||
3354 | finally { | ||
3355 | restoreStackSize(stackSize); | ||
3356 | } | ||
3357 | |||
3358 | rule__VLSUniversalQuantifier__Group__2 | ||
3359 | @init { | ||
3360 | int stackSize = keepStackSize(); | ||
3361 | } | ||
3362 | : | ||
3363 | rule__VLSUniversalQuantifier__Group__2__Impl | ||
3364 | ; | ||
3365 | finally { | ||
3366 | restoreStackSize(stackSize); | ||
3367 | } | ||
3368 | |||
3369 | rule__VLSUniversalQuantifier__Group__2__Impl | ||
3370 | @init { | ||
3371 | int stackSize = keepStackSize(); | ||
3372 | } | ||
3373 | : | ||
3374 | ( | ||
3375 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getOperandAssignment_2()); } | ||
3376 | (rule__VLSUniversalQuantifier__OperandAssignment_2) | ||
3377 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getOperandAssignment_2()); } | ||
3378 | ) | ||
3379 | ; | ||
3380 | finally { | ||
3381 | restoreStackSize(stackSize); | ||
3382 | } | ||
3383 | |||
3384 | |||
3385 | rule__VLSUniversalQuantifier__Group_1__0 | ||
3386 | @init { | ||
3387 | int stackSize = keepStackSize(); | ||
3388 | } | ||
3389 | : | ||
3390 | rule__VLSUniversalQuantifier__Group_1__0__Impl | ||
3391 | rule__VLSUniversalQuantifier__Group_1__1 | ||
3392 | ; | ||
3393 | finally { | ||
3394 | restoreStackSize(stackSize); | ||
3395 | } | ||
3396 | |||
3397 | rule__VLSUniversalQuantifier__Group_1__0__Impl | ||
3398 | @init { | ||
3399 | int stackSize = keepStackSize(); | ||
3400 | } | ||
3401 | : | ||
3402 | ( | ||
3403 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getExclamationMarkKeyword_1_0()); } | ||
3404 | '!' | ||
3405 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getExclamationMarkKeyword_1_0()); } | ||
3406 | ) | ||
3407 | ; | ||
3408 | finally { | ||
3409 | restoreStackSize(stackSize); | ||
3410 | } | ||
3411 | |||
3412 | rule__VLSUniversalQuantifier__Group_1__1 | ||
3413 | @init { | ||
3414 | int stackSize = keepStackSize(); | ||
3415 | } | ||
3416 | : | ||
3417 | rule__VLSUniversalQuantifier__Group_1__1__Impl | ||
3418 | rule__VLSUniversalQuantifier__Group_1__2 | ||
3419 | ; | ||
3420 | finally { | ||
3421 | restoreStackSize(stackSize); | ||
3422 | } | ||
3423 | |||
3424 | rule__VLSUniversalQuantifier__Group_1__1__Impl | ||
3425 | @init { | ||
3426 | int stackSize = keepStackSize(); | ||
3427 | } | ||
3428 | : | ||
3429 | ( | ||
3430 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getLeftSquareBracketKeyword_1_1()); } | ||
3431 | '[' | ||
3432 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getLeftSquareBracketKeyword_1_1()); } | ||
3433 | ) | ||
3434 | ; | ||
3435 | finally { | ||
3436 | restoreStackSize(stackSize); | ||
3437 | } | ||
3438 | |||
3439 | rule__VLSUniversalQuantifier__Group_1__2 | ||
3440 | @init { | ||
3441 | int stackSize = keepStackSize(); | ||
3442 | } | ||
3443 | : | ||
3444 | rule__VLSUniversalQuantifier__Group_1__2__Impl | ||
3445 | rule__VLSUniversalQuantifier__Group_1__3 | ||
3446 | ; | ||
3447 | finally { | ||
3448 | restoreStackSize(stackSize); | ||
3449 | } | ||
3450 | |||
3451 | rule__VLSUniversalQuantifier__Group_1__2__Impl | ||
3452 | @init { | ||
3453 | int stackSize = keepStackSize(); | ||
3454 | } | ||
3455 | : | ||
3456 | ( | ||
3457 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_2()); } | ||
3458 | (rule__VLSUniversalQuantifier__VariablesAssignment_1_2) | ||
3459 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_2()); } | ||
3460 | ) | ||
3461 | ; | ||
3462 | finally { | ||
3463 | restoreStackSize(stackSize); | ||
3464 | } | ||
3465 | |||
3466 | rule__VLSUniversalQuantifier__Group_1__3 | ||
3467 | @init { | ||
3468 | int stackSize = keepStackSize(); | ||
3469 | } | ||
3470 | : | ||
3471 | rule__VLSUniversalQuantifier__Group_1__3__Impl | ||
3472 | rule__VLSUniversalQuantifier__Group_1__4 | ||
3473 | ; | ||
3474 | finally { | ||
3475 | restoreStackSize(stackSize); | ||
3476 | } | ||
3477 | |||
3478 | rule__VLSUniversalQuantifier__Group_1__3__Impl | ||
3479 | @init { | ||
3480 | int stackSize = keepStackSize(); | ||
3481 | } | ||
3482 | : | ||
3483 | ( | ||
3484 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1_3()); } | ||
3485 | (rule__VLSUniversalQuantifier__Group_1_3__0)* | ||
3486 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1_3()); } | ||
3487 | ) | ||
3488 | ; | ||
3489 | finally { | ||
3490 | restoreStackSize(stackSize); | ||
3491 | } | ||
3492 | |||
3493 | rule__VLSUniversalQuantifier__Group_1__4 | ||
3494 | @init { | ||
3495 | int stackSize = keepStackSize(); | ||
3496 | } | ||
3497 | : | ||
3498 | rule__VLSUniversalQuantifier__Group_1__4__Impl | ||
3499 | rule__VLSUniversalQuantifier__Group_1__5 | ||
3500 | ; | ||
3501 | finally { | ||
3502 | restoreStackSize(stackSize); | ||
3503 | } | ||
3504 | |||
3505 | rule__VLSUniversalQuantifier__Group_1__4__Impl | ||
3506 | @init { | ||
3507 | int stackSize = keepStackSize(); | ||
3508 | } | ||
3509 | : | ||
3510 | ( | ||
3511 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getRightSquareBracketKeyword_1_4()); } | ||
3512 | ']' | ||
3513 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getRightSquareBracketKeyword_1_4()); } | ||
3514 | ) | ||
3515 | ; | ||
3516 | finally { | ||
3517 | restoreStackSize(stackSize); | ||
3518 | } | ||
3519 | |||
3520 | rule__VLSUniversalQuantifier__Group_1__5 | ||
3521 | @init { | ||
3522 | int stackSize = keepStackSize(); | ||
3523 | } | ||
3524 | : | ||
3525 | rule__VLSUniversalQuantifier__Group_1__5__Impl | ||
3526 | ; | ||
3527 | finally { | ||
3528 | restoreStackSize(stackSize); | ||
3529 | } | ||
3530 | |||
3531 | rule__VLSUniversalQuantifier__Group_1__5__Impl | ||
3532 | @init { | ||
3533 | int stackSize = keepStackSize(); | ||
3534 | } | ||
3535 | : | ||
3536 | ( | ||
3537 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getColonKeyword_1_5()); } | ||
3538 | ':' | ||
3539 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getColonKeyword_1_5()); } | ||
3540 | ) | ||
3541 | ; | ||
3542 | finally { | ||
3543 | restoreStackSize(stackSize); | ||
3544 | } | ||
3545 | |||
3546 | |||
3547 | rule__VLSUniversalQuantifier__Group_1_3__0 | ||
3548 | @init { | ||
3549 | int stackSize = keepStackSize(); | ||
3550 | } | ||
3551 | : | ||
3552 | rule__VLSUniversalQuantifier__Group_1_3__0__Impl | ||
3553 | rule__VLSUniversalQuantifier__Group_1_3__1 | ||
3554 | ; | ||
3555 | finally { | ||
3556 | restoreStackSize(stackSize); | ||
3557 | } | ||
3558 | |||
3559 | rule__VLSUniversalQuantifier__Group_1_3__0__Impl | ||
3560 | @init { | ||
3561 | int stackSize = keepStackSize(); | ||
3562 | } | ||
3563 | : | ||
3564 | ( | ||
3565 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getCommaKeyword_1_3_0()); } | ||
3566 | ',' | ||
3567 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getCommaKeyword_1_3_0()); } | ||
3568 | ) | ||
3569 | ; | ||
3570 | finally { | ||
3571 | restoreStackSize(stackSize); | ||
3572 | } | ||
3573 | |||
3574 | rule__VLSUniversalQuantifier__Group_1_3__1 | ||
3575 | @init { | ||
3576 | int stackSize = keepStackSize(); | ||
3577 | } | ||
3578 | : | ||
3579 | rule__VLSUniversalQuantifier__Group_1_3__1__Impl | ||
3580 | ; | ||
3581 | finally { | ||
3582 | restoreStackSize(stackSize); | ||
3583 | } | ||
3584 | |||
3585 | rule__VLSUniversalQuantifier__Group_1_3__1__Impl | ||
3586 | @init { | ||
3587 | int stackSize = keepStackSize(); | ||
3588 | } | ||
3589 | : | ||
3590 | ( | ||
3591 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_3_1()); } | ||
3592 | (rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1) | ||
3593 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_3_1()); } | ||
3594 | ) | ||
3595 | ; | ||
3596 | finally { | ||
3597 | restoreStackSize(stackSize); | ||
3598 | } | ||
3599 | |||
3600 | |||
3601 | rule__VLSExistentialQuantifier__Group__0 | ||
3602 | @init { | ||
3603 | int stackSize = keepStackSize(); | ||
3604 | } | ||
3605 | : | ||
3606 | rule__VLSExistentialQuantifier__Group__0__Impl | ||
3607 | rule__VLSExistentialQuantifier__Group__1 | ||
3608 | ; | ||
3609 | finally { | ||
3610 | restoreStackSize(stackSize); | ||
3611 | } | ||
3612 | |||
3613 | rule__VLSExistentialQuantifier__Group__0__Impl | ||
3614 | @init { | ||
3615 | int stackSize = keepStackSize(); | ||
3616 | } | ||
3617 | : | ||
3618 | ( | ||
3619 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getVLSExistentialQuantifierAction_0()); } | ||
3620 | () | ||
3621 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getVLSExistentialQuantifierAction_0()); } | ||
3622 | ) | ||
3623 | ; | ||
3624 | finally { | ||
3625 | restoreStackSize(stackSize); | ||
3626 | } | ||
3627 | |||
3628 | rule__VLSExistentialQuantifier__Group__1 | ||
3629 | @init { | ||
3630 | int stackSize = keepStackSize(); | ||
3631 | } | ||
3632 | : | ||
3633 | rule__VLSExistentialQuantifier__Group__1__Impl | ||
3634 | rule__VLSExistentialQuantifier__Group__2 | ||
3635 | ; | ||
3636 | finally { | ||
3637 | restoreStackSize(stackSize); | ||
3638 | } | ||
3639 | |||
3640 | rule__VLSExistentialQuantifier__Group__1__Impl | ||
3641 | @init { | ||
3642 | int stackSize = keepStackSize(); | ||
3643 | } | ||
3644 | : | ||
3645 | ( | ||
3646 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1()); } | ||
3647 | (rule__VLSExistentialQuantifier__Group_1__0) | ||
3648 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1()); } | ||
3649 | ) | ||
3650 | ; | ||
3651 | finally { | ||
3652 | restoreStackSize(stackSize); | ||
3653 | } | ||
3654 | |||
3655 | rule__VLSExistentialQuantifier__Group__2 | ||
3656 | @init { | ||
3657 | int stackSize = keepStackSize(); | ||
3658 | } | ||
3659 | : | ||
3660 | rule__VLSExistentialQuantifier__Group__2__Impl | ||
3661 | ; | ||
3662 | finally { | ||
3663 | restoreStackSize(stackSize); | ||
3664 | } | ||
3665 | |||
3666 | rule__VLSExistentialQuantifier__Group__2__Impl | ||
3667 | @init { | ||
3668 | int stackSize = keepStackSize(); | ||
3669 | } | ||
3670 | : | ||
3671 | ( | ||
3672 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getOperandAssignment_2()); } | ||
3673 | (rule__VLSExistentialQuantifier__OperandAssignment_2) | ||
3674 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getOperandAssignment_2()); } | ||
3675 | ) | ||
3676 | ; | ||
3677 | finally { | ||
3678 | restoreStackSize(stackSize); | ||
3679 | } | ||
3680 | |||
3681 | |||
3682 | rule__VLSExistentialQuantifier__Group_1__0 | ||
3683 | @init { | ||
3684 | int stackSize = keepStackSize(); | ||
3685 | } | ||
3686 | : | ||
3687 | rule__VLSExistentialQuantifier__Group_1__0__Impl | ||
3688 | rule__VLSExistentialQuantifier__Group_1__1 | ||
3689 | ; | ||
3690 | finally { | ||
3691 | restoreStackSize(stackSize); | ||
3692 | } | ||
3693 | |||
3694 | rule__VLSExistentialQuantifier__Group_1__0__Impl | ||
3695 | @init { | ||
3696 | int stackSize = keepStackSize(); | ||
3697 | } | ||
3698 | : | ||
3699 | ( | ||
3700 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getQuestionMarkKeyword_1_0()); } | ||
3701 | '?' | ||
3702 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getQuestionMarkKeyword_1_0()); } | ||
3703 | ) | ||
3704 | ; | ||
3705 | finally { | ||
3706 | restoreStackSize(stackSize); | ||
3707 | } | ||
3708 | |||
3709 | rule__VLSExistentialQuantifier__Group_1__1 | ||
3710 | @init { | ||
3711 | int stackSize = keepStackSize(); | ||
3712 | } | ||
3713 | : | ||
3714 | rule__VLSExistentialQuantifier__Group_1__1__Impl | ||
3715 | rule__VLSExistentialQuantifier__Group_1__2 | ||
3716 | ; | ||
3717 | finally { | ||
3718 | restoreStackSize(stackSize); | ||
3719 | } | ||
3720 | |||
3721 | rule__VLSExistentialQuantifier__Group_1__1__Impl | ||
3722 | @init { | ||
3723 | int stackSize = keepStackSize(); | ||
3724 | } | ||
3725 | : | ||
3726 | ( | ||
3727 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getLeftSquareBracketKeyword_1_1()); } | ||
3728 | '[' | ||
3729 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getLeftSquareBracketKeyword_1_1()); } | ||
3730 | ) | ||
3731 | ; | ||
3732 | finally { | ||
3733 | restoreStackSize(stackSize); | ||
3734 | } | ||
3735 | |||
3736 | rule__VLSExistentialQuantifier__Group_1__2 | ||
3737 | @init { | ||
3738 | int stackSize = keepStackSize(); | ||
3739 | } | ||
3740 | : | ||
3741 | rule__VLSExistentialQuantifier__Group_1__2__Impl | ||
3742 | rule__VLSExistentialQuantifier__Group_1__3 | ||
3743 | ; | ||
3744 | finally { | ||
3745 | restoreStackSize(stackSize); | ||
3746 | } | ||
3747 | |||
3748 | rule__VLSExistentialQuantifier__Group_1__2__Impl | ||
3749 | @init { | ||
3750 | int stackSize = keepStackSize(); | ||
3751 | } | ||
3752 | : | ||
3753 | ( | ||
3754 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_2()); } | ||
3755 | (rule__VLSExistentialQuantifier__VariablesAssignment_1_2) | ||
3756 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_2()); } | ||
3757 | ) | ||
3758 | ; | ||
3759 | finally { | ||
3760 | restoreStackSize(stackSize); | ||
3761 | } | ||
3762 | |||
3763 | rule__VLSExistentialQuantifier__Group_1__3 | ||
3764 | @init { | ||
3765 | int stackSize = keepStackSize(); | ||
3766 | } | ||
3767 | : | ||
3768 | rule__VLSExistentialQuantifier__Group_1__3__Impl | ||
3769 | rule__VLSExistentialQuantifier__Group_1__4 | ||
3770 | ; | ||
3771 | finally { | ||
3772 | restoreStackSize(stackSize); | ||
3773 | } | ||
3774 | |||
3775 | rule__VLSExistentialQuantifier__Group_1__3__Impl | ||
3776 | @init { | ||
3777 | int stackSize = keepStackSize(); | ||
3778 | } | ||
3779 | : | ||
3780 | ( | ||
3781 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1_3()); } | ||
3782 | (rule__VLSExistentialQuantifier__Group_1_3__0)* | ||
3783 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1_3()); } | ||
3784 | ) | ||
3785 | ; | ||
3786 | finally { | ||
3787 | restoreStackSize(stackSize); | ||
3788 | } | ||
3789 | |||
3790 | rule__VLSExistentialQuantifier__Group_1__4 | ||
3791 | @init { | ||
3792 | int stackSize = keepStackSize(); | ||
3793 | } | ||
3794 | : | ||
3795 | rule__VLSExistentialQuantifier__Group_1__4__Impl | ||
3796 | rule__VLSExistentialQuantifier__Group_1__5 | ||
3797 | ; | ||
3798 | finally { | ||
3799 | restoreStackSize(stackSize); | ||
3800 | } | ||
3801 | |||
3802 | rule__VLSExistentialQuantifier__Group_1__4__Impl | ||
3803 | @init { | ||
3804 | int stackSize = keepStackSize(); | ||
3805 | } | ||
3806 | : | ||
3807 | ( | ||
3808 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getRightSquareBracketKeyword_1_4()); } | ||
3809 | ']' | ||
3810 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getRightSquareBracketKeyword_1_4()); } | ||
3811 | ) | ||
3812 | ; | ||
3813 | finally { | ||
3814 | restoreStackSize(stackSize); | ||
3815 | } | ||
3816 | |||
3817 | rule__VLSExistentialQuantifier__Group_1__5 | ||
3818 | @init { | ||
3819 | int stackSize = keepStackSize(); | ||
3820 | } | ||
3821 | : | ||
3822 | rule__VLSExistentialQuantifier__Group_1__5__Impl | ||
3823 | ; | ||
3824 | finally { | ||
3825 | restoreStackSize(stackSize); | ||
3826 | } | ||
3827 | |||
3828 | rule__VLSExistentialQuantifier__Group_1__5__Impl | ||
3829 | @init { | ||
3830 | int stackSize = keepStackSize(); | ||
3831 | } | ||
3832 | : | ||
3833 | ( | ||
3834 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getColonKeyword_1_5()); } | ||
3835 | ':' | ||
3836 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getColonKeyword_1_5()); } | ||
3837 | ) | ||
3838 | ; | ||
3839 | finally { | ||
3840 | restoreStackSize(stackSize); | ||
3841 | } | ||
3842 | |||
3843 | |||
3844 | rule__VLSExistentialQuantifier__Group_1_3__0 | ||
3845 | @init { | ||
3846 | int stackSize = keepStackSize(); | ||
3847 | } | ||
3848 | : | ||
3849 | rule__VLSExistentialQuantifier__Group_1_3__0__Impl | ||
3850 | rule__VLSExistentialQuantifier__Group_1_3__1 | ||
3851 | ; | ||
3852 | finally { | ||
3853 | restoreStackSize(stackSize); | ||
3854 | } | ||
3855 | |||
3856 | rule__VLSExistentialQuantifier__Group_1_3__0__Impl | ||
3857 | @init { | ||
3858 | int stackSize = keepStackSize(); | ||
3859 | } | ||
3860 | : | ||
3861 | ( | ||
3862 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getCommaKeyword_1_3_0()); } | ||
3863 | ',' | ||
3864 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getCommaKeyword_1_3_0()); } | ||
3865 | ) | ||
3866 | ; | ||
3867 | finally { | ||
3868 | restoreStackSize(stackSize); | ||
3869 | } | ||
3870 | |||
3871 | rule__VLSExistentialQuantifier__Group_1_3__1 | ||
3872 | @init { | ||
3873 | int stackSize = keepStackSize(); | ||
3874 | } | ||
3875 | : | ||
3876 | rule__VLSExistentialQuantifier__Group_1_3__1__Impl | ||
3877 | ; | ||
3878 | finally { | ||
3879 | restoreStackSize(stackSize); | ||
3880 | } | ||
3881 | |||
3882 | rule__VLSExistentialQuantifier__Group_1_3__1__Impl | ||
3883 | @init { | ||
3884 | int stackSize = keepStackSize(); | ||
3885 | } | ||
3886 | : | ||
3887 | ( | ||
3888 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_3_1()); } | ||
3889 | (rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1) | ||
3890 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_3_1()); } | ||
3891 | ) | ||
3892 | ; | ||
3893 | finally { | ||
3894 | restoreStackSize(stackSize); | ||
3895 | } | ||
3896 | |||
3897 | |||
3898 | rule__VLSUnaryNegation__Group__0 | ||
3899 | @init { | ||
3900 | int stackSize = keepStackSize(); | ||
3901 | } | ||
3902 | : | ||
3903 | rule__VLSUnaryNegation__Group__0__Impl | ||
3904 | rule__VLSUnaryNegation__Group__1 | ||
3905 | ; | ||
3906 | finally { | ||
3907 | restoreStackSize(stackSize); | ||
3908 | } | ||
3909 | |||
3910 | rule__VLSUnaryNegation__Group__0__Impl | ||
3911 | @init { | ||
3912 | int stackSize = keepStackSize(); | ||
3913 | } | ||
3914 | : | ||
3915 | ( | ||
3916 | { before(grammarAccess.getVLSUnaryNegationAccess().getVLSUnaryNegationAction_0()); } | ||
3917 | () | ||
3918 | { after(grammarAccess.getVLSUnaryNegationAccess().getVLSUnaryNegationAction_0()); } | ||
3919 | ) | ||
3920 | ; | ||
3921 | finally { | ||
3922 | restoreStackSize(stackSize); | ||
3923 | } | ||
3924 | |||
3925 | rule__VLSUnaryNegation__Group__1 | ||
3926 | @init { | ||
3927 | int stackSize = keepStackSize(); | ||
3928 | } | ||
3929 | : | ||
3930 | rule__VLSUnaryNegation__Group__1__Impl | ||
3931 | rule__VLSUnaryNegation__Group__2 | ||
3932 | ; | ||
3933 | finally { | ||
3934 | restoreStackSize(stackSize); | ||
3935 | } | ||
3936 | |||
3937 | rule__VLSUnaryNegation__Group__1__Impl | ||
3938 | @init { | ||
3939 | int stackSize = keepStackSize(); | ||
3940 | } | ||
3941 | : | ||
3942 | ( | ||
3943 | { before(grammarAccess.getVLSUnaryNegationAccess().getTildeKeyword_1()); } | ||
3944 | '~' | ||
3945 | { after(grammarAccess.getVLSUnaryNegationAccess().getTildeKeyword_1()); } | ||
3946 | ) | ||
3947 | ; | ||
3948 | finally { | ||
3949 | restoreStackSize(stackSize); | ||
3950 | } | ||
3951 | |||
3952 | rule__VLSUnaryNegation__Group__2 | ||
3953 | @init { | ||
3954 | int stackSize = keepStackSize(); | ||
3955 | } | ||
3956 | : | ||
3957 | rule__VLSUnaryNegation__Group__2__Impl | ||
3958 | ; | ||
3959 | finally { | ||
3960 | restoreStackSize(stackSize); | ||
3961 | } | ||
3962 | |||
3963 | rule__VLSUnaryNegation__Group__2__Impl | ||
3964 | @init { | ||
3965 | int stackSize = keepStackSize(); | ||
3966 | } | ||
3967 | : | ||
3968 | ( | ||
3969 | { before(grammarAccess.getVLSUnaryNegationAccess().getOperandAssignment_2()); } | ||
3970 | (rule__VLSUnaryNegation__OperandAssignment_2) | ||
3971 | { after(grammarAccess.getVLSUnaryNegationAccess().getOperandAssignment_2()); } | ||
3972 | ) | ||
3973 | ; | ||
3974 | finally { | ||
3975 | restoreStackSize(stackSize); | ||
3976 | } | ||
3977 | |||
3978 | |||
3979 | rule__VLSUnaryInfix__Group__0 | ||
3980 | @init { | ||
3981 | int stackSize = keepStackSize(); | ||
3982 | } | ||
3983 | : | ||
3984 | rule__VLSUnaryInfix__Group__0__Impl | ||
3985 | rule__VLSUnaryInfix__Group__1 | ||
3986 | ; | ||
3987 | finally { | ||
3988 | restoreStackSize(stackSize); | ||
3989 | } | ||
3990 | |||
3991 | rule__VLSUnaryInfix__Group__0__Impl | ||
3992 | @init { | ||
3993 | int stackSize = keepStackSize(); | ||
3994 | } | ||
3995 | : | ||
3996 | ( | ||
3997 | { before(grammarAccess.getVLSUnaryInfixAccess().getVLSAtomicParserRuleCall_0()); } | ||
3998 | ruleVLSAtomic | ||
3999 | { after(grammarAccess.getVLSUnaryInfixAccess().getVLSAtomicParserRuleCall_0()); } | ||
4000 | ) | ||
4001 | ; | ||
4002 | finally { | ||
4003 | restoreStackSize(stackSize); | ||
4004 | } | ||
4005 | |||
4006 | rule__VLSUnaryInfix__Group__1 | ||
4007 | @init { | ||
4008 | int stackSize = keepStackSize(); | ||
4009 | } | ||
4010 | : | ||
4011 | rule__VLSUnaryInfix__Group__1__Impl | ||
4012 | ; | ||
4013 | finally { | ||
4014 | restoreStackSize(stackSize); | ||
4015 | } | ||
4016 | |||
4017 | rule__VLSUnaryInfix__Group__1__Impl | ||
4018 | @init { | ||
4019 | int stackSize = keepStackSize(); | ||
4020 | } | ||
4021 | : | ||
4022 | ( | ||
4023 | { before(grammarAccess.getVLSUnaryInfixAccess().getGroup_1()); } | ||
4024 | (rule__VLSUnaryInfix__Group_1__0)? | ||
4025 | { after(grammarAccess.getVLSUnaryInfixAccess().getGroup_1()); } | ||
4026 | ) | ||
4027 | ; | ||
4028 | finally { | ||
4029 | restoreStackSize(stackSize); | ||
4030 | } | ||
4031 | |||
4032 | |||
4033 | rule__VLSUnaryInfix__Group_1__0 | ||
4034 | @init { | ||
4035 | int stackSize = keepStackSize(); | ||
4036 | } | ||
4037 | : | ||
4038 | rule__VLSUnaryInfix__Group_1__0__Impl | ||
4039 | rule__VLSUnaryInfix__Group_1__1 | ||
4040 | ; | ||
4041 | finally { | ||
4042 | restoreStackSize(stackSize); | ||
4043 | } | ||
4044 | |||
4045 | rule__VLSUnaryInfix__Group_1__0__Impl | ||
4046 | @init { | ||
4047 | int stackSize = keepStackSize(); | ||
4048 | } | ||
4049 | : | ||
4050 | ( | ||
4051 | { before(grammarAccess.getVLSUnaryInfixAccess().getAlternatives_1_0()); } | ||
4052 | (rule__VLSUnaryInfix__Alternatives_1_0) | ||
4053 | { after(grammarAccess.getVLSUnaryInfixAccess().getAlternatives_1_0()); } | ||
4054 | ) | ||
4055 | ; | ||
4056 | finally { | ||
4057 | restoreStackSize(stackSize); | ||
4058 | } | ||
4059 | |||
4060 | rule__VLSUnaryInfix__Group_1__1 | ||
4061 | @init { | ||
4062 | int stackSize = keepStackSize(); | ||
4063 | } | ||
4064 | : | ||
4065 | rule__VLSUnaryInfix__Group_1__1__Impl | ||
4066 | ; | ||
4067 | finally { | ||
4068 | restoreStackSize(stackSize); | ||
4069 | } | ||
4070 | |||
4071 | rule__VLSUnaryInfix__Group_1__1__Impl | ||
4072 | @init { | ||
4073 | int stackSize = keepStackSize(); | ||
4074 | } | ||
4075 | : | ||
4076 | ( | ||
4077 | { before(grammarAccess.getVLSUnaryInfixAccess().getRightAssignment_1_1()); } | ||
4078 | (rule__VLSUnaryInfix__RightAssignment_1_1) | ||
4079 | { after(grammarAccess.getVLSUnaryInfixAccess().getRightAssignment_1_1()); } | ||
4080 | ) | ||
4081 | ; | ||
4082 | finally { | ||
4083 | restoreStackSize(stackSize); | ||
4084 | } | ||
4085 | |||
4086 | |||
4087 | rule__VLSUnaryInfix__Group_1_0_0__0 | ||
4088 | @init { | ||
4089 | int stackSize = keepStackSize(); | ||
4090 | } | ||
4091 | : | ||
4092 | rule__VLSUnaryInfix__Group_1_0_0__0__Impl | ||
4093 | rule__VLSUnaryInfix__Group_1_0_0__1 | ||
4094 | ; | ||
4095 | finally { | ||
4096 | restoreStackSize(stackSize); | ||
4097 | } | ||
4098 | |||
4099 | rule__VLSUnaryInfix__Group_1_0_0__0__Impl | ||
4100 | @init { | ||
4101 | int stackSize = keepStackSize(); | ||
4102 | } | ||
4103 | : | ||
4104 | ( | ||
4105 | { before(grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0()); } | ||
4106 | () | ||
4107 | { after(grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0()); } | ||
4108 | ) | ||
4109 | ; | ||
4110 | finally { | ||
4111 | restoreStackSize(stackSize); | ||
4112 | } | ||
4113 | |||
4114 | rule__VLSUnaryInfix__Group_1_0_0__1 | ||
4115 | @init { | ||
4116 | int stackSize = keepStackSize(); | ||
4117 | } | ||
4118 | : | ||
4119 | rule__VLSUnaryInfix__Group_1_0_0__1__Impl | ||
4120 | ; | ||
4121 | finally { | ||
4122 | restoreStackSize(stackSize); | ||
4123 | } | ||
4124 | |||
4125 | rule__VLSUnaryInfix__Group_1_0_0__1__Impl | ||
4126 | @init { | ||
4127 | int stackSize = keepStackSize(); | ||
4128 | } | ||
4129 | : | ||
4130 | ( | ||
4131 | { before(grammarAccess.getVLSUnaryInfixAccess().getExclamationMarkEqualsSignKeyword_1_0_0_1()); } | ||
4132 | '!=' | ||
4133 | { after(grammarAccess.getVLSUnaryInfixAccess().getExclamationMarkEqualsSignKeyword_1_0_0_1()); } | ||
4134 | ) | ||
4135 | ; | ||
4136 | finally { | ||
4137 | restoreStackSize(stackSize); | ||
4138 | } | ||
4139 | |||
4140 | |||
4141 | rule__VLSUnaryInfix__Group_1_0_1__0 | ||
4142 | @init { | ||
4143 | int stackSize = keepStackSize(); | ||
4144 | } | ||
4145 | : | ||
4146 | rule__VLSUnaryInfix__Group_1_0_1__0__Impl | ||
4147 | rule__VLSUnaryInfix__Group_1_0_1__1 | ||
4148 | ; | ||
4149 | finally { | ||
4150 | restoreStackSize(stackSize); | ||
4151 | } | ||
4152 | |||
4153 | rule__VLSUnaryInfix__Group_1_0_1__0__Impl | ||
4154 | @init { | ||
4155 | int stackSize = keepStackSize(); | ||
4156 | } | ||
4157 | : | ||
4158 | ( | ||
4159 | { before(grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0()); } | ||
4160 | () | ||
4161 | { after(grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0()); } | ||
4162 | ) | ||
4163 | ; | ||
4164 | finally { | ||
4165 | restoreStackSize(stackSize); | ||
4166 | } | ||
4167 | |||
4168 | rule__VLSUnaryInfix__Group_1_0_1__1 | ||
4169 | @init { | ||
4170 | int stackSize = keepStackSize(); | ||
4171 | } | ||
4172 | : | ||
4173 | rule__VLSUnaryInfix__Group_1_0_1__1__Impl | ||
4174 | ; | ||
4175 | finally { | ||
4176 | restoreStackSize(stackSize); | ||
4177 | } | ||
4178 | |||
4179 | rule__VLSUnaryInfix__Group_1_0_1__1__Impl | ||
4180 | @init { | ||
4181 | int stackSize = keepStackSize(); | ||
4182 | } | ||
4183 | : | ||
4184 | ( | ||
4185 | { before(grammarAccess.getVLSUnaryInfixAccess().getEqualsSignKeyword_1_0_1_1()); } | ||
4186 | '=' | ||
4187 | { after(grammarAccess.getVLSUnaryInfixAccess().getEqualsSignKeyword_1_0_1_1()); } | ||
4188 | ) | ||
4189 | ; | ||
4190 | finally { | ||
4191 | restoreStackSize(stackSize); | ||
4192 | } | ||
4193 | |||
4194 | |||
4195 | rule__VLSUnaryInfix__Group_1_0_2__0 | ||
4196 | @init { | ||
4197 | int stackSize = keepStackSize(); | ||
4198 | } | ||
4199 | : | ||
4200 | rule__VLSUnaryInfix__Group_1_0_2__0__Impl | ||
4201 | rule__VLSUnaryInfix__Group_1_0_2__1 | ||
4202 | ; | ||
4203 | finally { | ||
4204 | restoreStackSize(stackSize); | ||
4205 | } | ||
4206 | |||
4207 | rule__VLSUnaryInfix__Group_1_0_2__0__Impl | ||
4208 | @init { | ||
4209 | int stackSize = keepStackSize(); | ||
4210 | } | ||
4211 | : | ||
4212 | ( | ||
4213 | { before(grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0()); } | ||
4214 | () | ||
4215 | { after(grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0()); } | ||
4216 | ) | ||
4217 | ; | ||
4218 | finally { | ||
4219 | restoreStackSize(stackSize); | ||
4220 | } | ||
4221 | |||
4222 | rule__VLSUnaryInfix__Group_1_0_2__1 | ||
4223 | @init { | ||
4224 | int stackSize = keepStackSize(); | ||
4225 | } | ||
4226 | : | ||
4227 | rule__VLSUnaryInfix__Group_1_0_2__1__Impl | ||
4228 | ; | ||
4229 | finally { | ||
4230 | restoreStackSize(stackSize); | ||
4231 | } | ||
4232 | |||
4233 | rule__VLSUnaryInfix__Group_1_0_2__1__Impl | ||
4234 | @init { | ||
4235 | int stackSize = keepStackSize(); | ||
4236 | } | ||
4237 | : | ||
4238 | ( | ||
4239 | { before(grammarAccess.getVLSUnaryInfixAccess().getColonEqualsSignKeyword_1_0_2_1()); } | ||
4240 | ':=' | ||
4241 | { after(grammarAccess.getVLSUnaryInfixAccess().getColonEqualsSignKeyword_1_0_2_1()); } | ||
4242 | ) | ||
4243 | ; | ||
4244 | finally { | ||
4245 | restoreStackSize(stackSize); | ||
4246 | } | ||
4247 | |||
4248 | |||
4249 | rule__VLSAtomicConstant__Group_0__0 | ||
4250 | @init { | ||
4251 | int stackSize = keepStackSize(); | ||
4252 | } | ||
4253 | : | ||
4254 | rule__VLSAtomicConstant__Group_0__0__Impl | ||
4255 | rule__VLSAtomicConstant__Group_0__1 | ||
4256 | ; | ||
4257 | finally { | ||
4258 | restoreStackSize(stackSize); | ||
4259 | } | ||
4260 | |||
4261 | rule__VLSAtomicConstant__Group_0__0__Impl | ||
4262 | @init { | ||
4263 | int stackSize = keepStackSize(); | ||
4264 | } | ||
4265 | : | ||
4266 | ( | ||
4267 | { before(grammarAccess.getVLSAtomicConstantAccess().getVLSConstantAction_0_0()); } | ||
4268 | () | ||
4269 | { after(grammarAccess.getVLSAtomicConstantAccess().getVLSConstantAction_0_0()); } | ||
4270 | ) | ||
4271 | ; | ||
4272 | finally { | ||
4273 | restoreStackSize(stackSize); | ||
4274 | } | ||
4275 | |||
4276 | rule__VLSAtomicConstant__Group_0__1 | ||
4277 | @init { | ||
4278 | int stackSize = keepStackSize(); | ||
4279 | } | ||
4280 | : | ||
4281 | rule__VLSAtomicConstant__Group_0__1__Impl | ||
4282 | ; | ||
4283 | finally { | ||
4284 | restoreStackSize(stackSize); | ||
4285 | } | ||
4286 | |||
4287 | rule__VLSAtomicConstant__Group_0__1__Impl | ||
4288 | @init { | ||
4289 | int stackSize = keepStackSize(); | ||
4290 | } | ||
4291 | : | ||
4292 | ( | ||
4293 | { before(grammarAccess.getVLSAtomicConstantAccess().getNameAssignment_0_1()); } | ||
4294 | (rule__VLSAtomicConstant__NameAssignment_0_1) | ||
4295 | { after(grammarAccess.getVLSAtomicConstantAccess().getNameAssignment_0_1()); } | ||
4296 | ) | ||
4297 | ; | ||
4298 | finally { | ||
4299 | restoreStackSize(stackSize); | ||
4300 | } | ||
4301 | |||
4302 | |||
4303 | rule__VLSAtomicConstant__Group_1__0 | ||
4304 | @init { | ||
4305 | int stackSize = keepStackSize(); | ||
4306 | } | ||
4307 | : | ||
4308 | rule__VLSAtomicConstant__Group_1__0__Impl | ||
4309 | rule__VLSAtomicConstant__Group_1__1 | ||
4310 | ; | ||
4311 | finally { | ||
4312 | restoreStackSize(stackSize); | ||
4313 | } | ||
4314 | |||
4315 | rule__VLSAtomicConstant__Group_1__0__Impl | ||
4316 | @init { | ||
4317 | int stackSize = keepStackSize(); | ||
4318 | } | ||
4319 | : | ||
4320 | ( | ||
4321 | { before(grammarAccess.getVLSAtomicConstantAccess().getVLSTrueAction_1_0()); } | ||
4322 | () | ||
4323 | { after(grammarAccess.getVLSAtomicConstantAccess().getVLSTrueAction_1_0()); } | ||
4324 | ) | ||
4325 | ; | ||
4326 | finally { | ||
4327 | restoreStackSize(stackSize); | ||
4328 | } | ||
4329 | |||
4330 | rule__VLSAtomicConstant__Group_1__1 | ||
4331 | @init { | ||
4332 | int stackSize = keepStackSize(); | ||
4333 | } | ||
4334 | : | ||
4335 | rule__VLSAtomicConstant__Group_1__1__Impl | ||
4336 | ; | ||
4337 | finally { | ||
4338 | restoreStackSize(stackSize); | ||
4339 | } | ||
4340 | |||
4341 | rule__VLSAtomicConstant__Group_1__1__Impl | ||
4342 | @init { | ||
4343 | int stackSize = keepStackSize(); | ||
4344 | } | ||
4345 | : | ||
4346 | ( | ||
4347 | { before(grammarAccess.getVLSAtomicConstantAccess().getTrueKeyword_1_1()); } | ||
4348 | '$true' | ||
4349 | { after(grammarAccess.getVLSAtomicConstantAccess().getTrueKeyword_1_1()); } | ||
4350 | ) | ||
4351 | ; | ||
4352 | finally { | ||
4353 | restoreStackSize(stackSize); | ||
4354 | } | ||
4355 | |||
4356 | |||
4357 | rule__VLSAtomicConstant__Group_2__0 | ||
4358 | @init { | ||
4359 | int stackSize = keepStackSize(); | ||
4360 | } | ||
4361 | : | ||
4362 | rule__VLSAtomicConstant__Group_2__0__Impl | ||
4363 | rule__VLSAtomicConstant__Group_2__1 | ||
4364 | ; | ||
4365 | finally { | ||
4366 | restoreStackSize(stackSize); | ||
4367 | } | ||
4368 | |||
4369 | rule__VLSAtomicConstant__Group_2__0__Impl | ||
4370 | @init { | ||
4371 | int stackSize = keepStackSize(); | ||
4372 | } | ||
4373 | : | ||
4374 | ( | ||
4375 | { before(grammarAccess.getVLSAtomicConstantAccess().getVLSFalseAction_2_0()); } | ||
4376 | () | ||
4377 | { after(grammarAccess.getVLSAtomicConstantAccess().getVLSFalseAction_2_0()); } | ||
4378 | ) | ||
4379 | ; | ||
4380 | finally { | ||
4381 | restoreStackSize(stackSize); | ||
4382 | } | ||
4383 | |||
4384 | rule__VLSAtomicConstant__Group_2__1 | ||
4385 | @init { | ||
4386 | int stackSize = keepStackSize(); | ||
4387 | } | ||
4388 | : | ||
4389 | rule__VLSAtomicConstant__Group_2__1__Impl | ||
4390 | ; | ||
4391 | finally { | ||
4392 | restoreStackSize(stackSize); | ||
4393 | } | ||
4394 | |||
4395 | rule__VLSAtomicConstant__Group_2__1__Impl | ||
4396 | @init { | ||
4397 | int stackSize = keepStackSize(); | ||
4398 | } | ||
4399 | : | ||
4400 | ( | ||
4401 | { before(grammarAccess.getVLSAtomicConstantAccess().getFalseKeyword_2_1()); } | ||
4402 | '$false' | ||
4403 | { after(grammarAccess.getVLSAtomicConstantAccess().getFalseKeyword_2_1()); } | ||
4404 | ) | ||
4405 | ; | ||
4406 | finally { | ||
4407 | restoreStackSize(stackSize); | ||
4408 | } | ||
4409 | |||
4410 | |||
4411 | rule__VLSAtomicFunction__Group_0__0 | ||
4412 | @init { | ||
4413 | int stackSize = keepStackSize(); | ||
4414 | } | ||
4415 | : | ||
4416 | rule__VLSAtomicFunction__Group_0__0__Impl | ||
4417 | rule__VLSAtomicFunction__Group_0__1 | ||
4418 | ; | ||
4419 | finally { | ||
4420 | restoreStackSize(stackSize); | ||
4421 | } | ||
4422 | |||
4423 | rule__VLSAtomicFunction__Group_0__0__Impl | ||
4424 | @init { | ||
4425 | int stackSize = keepStackSize(); | ||
4426 | } | ||
4427 | : | ||
4428 | ( | ||
4429 | { before(grammarAccess.getVLSAtomicFunctionAccess().getVLSFunctionAction_0_0()); } | ||
4430 | () | ||
4431 | { after(grammarAccess.getVLSAtomicFunctionAccess().getVLSFunctionAction_0_0()); } | ||
4432 | ) | ||
4433 | ; | ||
4434 | finally { | ||
4435 | restoreStackSize(stackSize); | ||
4436 | } | ||
4437 | |||
4438 | rule__VLSAtomicFunction__Group_0__1 | ||
4439 | @init { | ||
4440 | int stackSize = keepStackSize(); | ||
4441 | } | ||
4442 | : | ||
4443 | rule__VLSAtomicFunction__Group_0__1__Impl | ||
4444 | rule__VLSAtomicFunction__Group_0__2 | ||
4445 | ; | ||
4446 | finally { | ||
4447 | restoreStackSize(stackSize); | ||
4448 | } | ||
4449 | |||
4450 | rule__VLSAtomicFunction__Group_0__1__Impl | ||
4451 | @init { | ||
4452 | int stackSize = keepStackSize(); | ||
4453 | } | ||
4454 | : | ||
4455 | ( | ||
4456 | { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantAssignment_0_1()); } | ||
4457 | (rule__VLSAtomicFunction__ConstantAssignment_0_1) | ||
4458 | { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantAssignment_0_1()); } | ||
4459 | ) | ||
4460 | ; | ||
4461 | finally { | ||
4462 | restoreStackSize(stackSize); | ||
4463 | } | ||
4464 | |||
4465 | rule__VLSAtomicFunction__Group_0__2 | ||
4466 | @init { | ||
4467 | int stackSize = keepStackSize(); | ||
4468 | } | ||
4469 | : | ||
4470 | rule__VLSAtomicFunction__Group_0__2__Impl | ||
4471 | ; | ||
4472 | finally { | ||
4473 | restoreStackSize(stackSize); | ||
4474 | } | ||
4475 | |||
4476 | rule__VLSAtomicFunction__Group_0__2__Impl | ||
4477 | @init { | ||
4478 | int stackSize = keepStackSize(); | ||
4479 | } | ||
4480 | : | ||
4481 | ( | ||
4482 | { before(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2()); } | ||
4483 | (rule__VLSAtomicFunction__Group_0_2__0) | ||
4484 | { after(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2()); } | ||
4485 | ) | ||
4486 | ; | ||
4487 | finally { | ||
4488 | restoreStackSize(stackSize); | ||
4489 | } | ||
4490 | |||
4491 | |||
4492 | rule__VLSAtomicFunction__Group_0_2__0 | ||
4493 | @init { | ||
4494 | int stackSize = keepStackSize(); | ||
4495 | } | ||
4496 | : | ||
4497 | rule__VLSAtomicFunction__Group_0_2__0__Impl | ||
4498 | rule__VLSAtomicFunction__Group_0_2__1 | ||
4499 | ; | ||
4500 | finally { | ||
4501 | restoreStackSize(stackSize); | ||
4502 | } | ||
4503 | |||
4504 | rule__VLSAtomicFunction__Group_0_2__0__Impl | ||
4505 | @init { | ||
4506 | int stackSize = keepStackSize(); | ||
4507 | } | ||
4508 | : | ||
4509 | ( | ||
4510 | { before(grammarAccess.getVLSAtomicFunctionAccess().getLeftParenthesisKeyword_0_2_0()); } | ||
4511 | '(' | ||
4512 | { after(grammarAccess.getVLSAtomicFunctionAccess().getLeftParenthesisKeyword_0_2_0()); } | ||
4513 | ) | ||
4514 | ; | ||
4515 | finally { | ||
4516 | restoreStackSize(stackSize); | ||
4517 | } | ||
4518 | |||
4519 | rule__VLSAtomicFunction__Group_0_2__1 | ||
4520 | @init { | ||
4521 | int stackSize = keepStackSize(); | ||
4522 | } | ||
4523 | : | ||
4524 | rule__VLSAtomicFunction__Group_0_2__1__Impl | ||
4525 | rule__VLSAtomicFunction__Group_0_2__2 | ||
4526 | ; | ||
4527 | finally { | ||
4528 | restoreStackSize(stackSize); | ||
4529 | } | ||
4530 | |||
4531 | rule__VLSAtomicFunction__Group_0_2__1__Impl | ||
4532 | @init { | ||
4533 | int stackSize = keepStackSize(); | ||
4534 | } | ||
4535 | : | ||
4536 | ( | ||
4537 | { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_1()); } | ||
4538 | (rule__VLSAtomicFunction__TermsAssignment_0_2_1) | ||
4539 | { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_1()); } | ||
4540 | ) | ||
4541 | ; | ||
4542 | finally { | ||
4543 | restoreStackSize(stackSize); | ||
4544 | } | ||
4545 | |||
4546 | rule__VLSAtomicFunction__Group_0_2__2 | ||
4547 | @init { | ||
4548 | int stackSize = keepStackSize(); | ||
4549 | } | ||
4550 | : | ||
4551 | rule__VLSAtomicFunction__Group_0_2__2__Impl | ||
4552 | rule__VLSAtomicFunction__Group_0_2__3 | ||
4553 | ; | ||
4554 | finally { | ||
4555 | restoreStackSize(stackSize); | ||
4556 | } | ||
4557 | |||
4558 | rule__VLSAtomicFunction__Group_0_2__2__Impl | ||
4559 | @init { | ||
4560 | int stackSize = keepStackSize(); | ||
4561 | } | ||
4562 | : | ||
4563 | ( | ||
4564 | { before(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2_2()); } | ||
4565 | (rule__VLSAtomicFunction__Group_0_2_2__0)* | ||
4566 | { after(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2_2()); } | ||
4567 | ) | ||
4568 | ; | ||
4569 | finally { | ||
4570 | restoreStackSize(stackSize); | ||
4571 | } | ||
4572 | |||
4573 | rule__VLSAtomicFunction__Group_0_2__3 | ||
4574 | @init { | ||
4575 | int stackSize = keepStackSize(); | ||
4576 | } | ||
4577 | : | ||
4578 | rule__VLSAtomicFunction__Group_0_2__3__Impl | ||
4579 | ; | ||
4580 | finally { | ||
4581 | restoreStackSize(stackSize); | ||
4582 | } | ||
4583 | |||
4584 | rule__VLSAtomicFunction__Group_0_2__3__Impl | ||
4585 | @init { | ||
4586 | int stackSize = keepStackSize(); | ||
4587 | } | ||
4588 | : | ||
4589 | ( | ||
4590 | { before(grammarAccess.getVLSAtomicFunctionAccess().getRightParenthesisKeyword_0_2_3()); } | ||
4591 | ')' | ||
4592 | { after(grammarAccess.getVLSAtomicFunctionAccess().getRightParenthesisKeyword_0_2_3()); } | ||
4593 | ) | ||
4594 | ; | ||
4595 | finally { | ||
4596 | restoreStackSize(stackSize); | ||
4597 | } | ||
4598 | |||
4599 | |||
4600 | rule__VLSAtomicFunction__Group_0_2_2__0 | ||
4601 | @init { | ||
4602 | int stackSize = keepStackSize(); | ||
4603 | } | ||
4604 | : | ||
4605 | rule__VLSAtomicFunction__Group_0_2_2__0__Impl | ||
4606 | rule__VLSAtomicFunction__Group_0_2_2__1 | ||
4607 | ; | ||
4608 | finally { | ||
4609 | restoreStackSize(stackSize); | ||
4610 | } | ||
4611 | |||
4612 | rule__VLSAtomicFunction__Group_0_2_2__0__Impl | ||
4613 | @init { | ||
4614 | int stackSize = keepStackSize(); | ||
4615 | } | ||
4616 | : | ||
4617 | ( | ||
4618 | { before(grammarAccess.getVLSAtomicFunctionAccess().getCommaKeyword_0_2_2_0()); } | ||
4619 | ',' | ||
4620 | { after(grammarAccess.getVLSAtomicFunctionAccess().getCommaKeyword_0_2_2_0()); } | ||
4621 | ) | ||
4622 | ; | ||
4623 | finally { | ||
4624 | restoreStackSize(stackSize); | ||
4625 | } | ||
4626 | |||
4627 | rule__VLSAtomicFunction__Group_0_2_2__1 | ||
4628 | @init { | ||
4629 | int stackSize = keepStackSize(); | ||
4630 | } | ||
4631 | : | ||
4632 | rule__VLSAtomicFunction__Group_0_2_2__1__Impl | ||
4633 | ; | ||
4634 | finally { | ||
4635 | restoreStackSize(stackSize); | ||
4636 | } | ||
4637 | |||
4638 | rule__VLSAtomicFunction__Group_0_2_2__1__Impl | ||
4639 | @init { | ||
4640 | int stackSize = keepStackSize(); | ||
4641 | } | ||
4642 | : | ||
4643 | ( | ||
4644 | { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_2_1()); } | ||
4645 | (rule__VLSAtomicFunction__TermsAssignment_0_2_2_1) | ||
4646 | { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_2_1()); } | ||
4647 | ) | ||
4648 | ; | ||
4649 | finally { | ||
4650 | restoreStackSize(stackSize); | ||
4651 | } | ||
4652 | |||
4653 | |||
4654 | rule__VLSAtomicFunction__Group_1__0 | ||
4655 | @init { | ||
4656 | int stackSize = keepStackSize(); | ||
4657 | } | ||
4658 | : | ||
4659 | rule__VLSAtomicFunction__Group_1__0__Impl | ||
4660 | rule__VLSAtomicFunction__Group_1__1 | ||
4661 | ; | ||
4662 | finally { | ||
4663 | restoreStackSize(stackSize); | ||
4664 | } | ||
4665 | |||
4666 | rule__VLSAtomicFunction__Group_1__0__Impl | ||
4667 | @init { | ||
4668 | int stackSize = keepStackSize(); | ||
4669 | } | ||
4670 | : | ||
4671 | ( | ||
4672 | { before(grammarAccess.getVLSAtomicFunctionAccess().getVLSLessAction_1_0()); } | ||
4673 | () | ||
4674 | { after(grammarAccess.getVLSAtomicFunctionAccess().getVLSLessAction_1_0()); } | ||
4675 | ) | ||
4676 | ; | ||
4677 | finally { | ||
4678 | restoreStackSize(stackSize); | ||
4679 | } | ||
4680 | |||
4681 | rule__VLSAtomicFunction__Group_1__1 | ||
4682 | @init { | ||
4683 | int stackSize = keepStackSize(); | ||
4684 | } | ||
4685 | : | ||
4686 | rule__VLSAtomicFunction__Group_1__1__Impl | ||
4687 | rule__VLSAtomicFunction__Group_1__2 | ||
4688 | ; | ||
4689 | finally { | ||
4690 | restoreStackSize(stackSize); | ||
4691 | } | ||
4692 | |||
4693 | rule__VLSAtomicFunction__Group_1__1__Impl | ||
4694 | @init { | ||
4695 | int stackSize = keepStackSize(); | ||
4696 | } | ||
4697 | : | ||
4698 | ( | ||
4699 | { before(grammarAccess.getVLSAtomicFunctionAccess().getNameAssignment_1_1()); } | ||
4700 | (rule__VLSAtomicFunction__NameAssignment_1_1) | ||
4701 | { after(grammarAccess.getVLSAtomicFunctionAccess().getNameAssignment_1_1()); } | ||
4702 | ) | ||
4703 | ; | ||
4704 | finally { | ||
4705 | restoreStackSize(stackSize); | ||
4706 | } | ||
4707 | |||
4708 | rule__VLSAtomicFunction__Group_1__2 | ||
4709 | @init { | ||
4710 | int stackSize = keepStackSize(); | ||
4711 | } | ||
4712 | : | ||
4713 | rule__VLSAtomicFunction__Group_1__2__Impl | ||
4714 | rule__VLSAtomicFunction__Group_1__3 | ||
4715 | ; | ||
4716 | finally { | ||
4717 | restoreStackSize(stackSize); | ||
4718 | } | ||
4719 | |||
4720 | rule__VLSAtomicFunction__Group_1__2__Impl | ||
4721 | @init { | ||
4722 | int stackSize = keepStackSize(); | ||
4723 | } | ||
4724 | : | ||
4725 | ( | ||
4726 | { before(grammarAccess.getVLSAtomicFunctionAccess().getLeftParenthesisKeyword_1_2()); } | ||
4727 | '(' | ||
4728 | { after(grammarAccess.getVLSAtomicFunctionAccess().getLeftParenthesisKeyword_1_2()); } | ||
4729 | ) | ||
4730 | ; | ||
4731 | finally { | ||
4732 | restoreStackSize(stackSize); | ||
4733 | } | ||
4734 | |||
4735 | rule__VLSAtomicFunction__Group_1__3 | ||
4736 | @init { | ||
4737 | int stackSize = keepStackSize(); | ||
4738 | } | ||
4739 | : | ||
4740 | rule__VLSAtomicFunction__Group_1__3__Impl | ||
4741 | rule__VLSAtomicFunction__Group_1__4 | ||
4742 | ; | ||
4743 | finally { | ||
4744 | restoreStackSize(stackSize); | ||
4745 | } | ||
4746 | |||
4747 | rule__VLSAtomicFunction__Group_1__3__Impl | ||
4748 | @init { | ||
4749 | int stackSize = keepStackSize(); | ||
4750 | } | ||
4751 | : | ||
4752 | ( | ||
4753 | { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_3()); } | ||
4754 | (rule__VLSAtomicFunction__TermsAssignment_1_3) | ||
4755 | { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_3()); } | ||
4756 | ) | ||
4757 | ; | ||
4758 | finally { | ||
4759 | restoreStackSize(stackSize); | ||
4760 | } | ||
4761 | |||
4762 | rule__VLSAtomicFunction__Group_1__4 | ||
4763 | @init { | ||
4764 | int stackSize = keepStackSize(); | ||
4765 | } | ||
4766 | : | ||
4767 | rule__VLSAtomicFunction__Group_1__4__Impl | ||
4768 | rule__VLSAtomicFunction__Group_1__5 | ||
4769 | ; | ||
4770 | finally { | ||
4771 | restoreStackSize(stackSize); | ||
4772 | } | ||
4773 | |||
4774 | rule__VLSAtomicFunction__Group_1__4__Impl | ||
4775 | @init { | ||
4776 | int stackSize = keepStackSize(); | ||
4777 | } | ||
4778 | : | ||
4779 | ( | ||
4780 | { before(grammarAccess.getVLSAtomicFunctionAccess().getCommaKeyword_1_4()); } | ||
4781 | ',' | ||
4782 | { after(grammarAccess.getVLSAtomicFunctionAccess().getCommaKeyword_1_4()); } | ||
4783 | ) | ||
4784 | ; | ||
4785 | finally { | ||
4786 | restoreStackSize(stackSize); | ||
4787 | } | ||
4788 | |||
4789 | rule__VLSAtomicFunction__Group_1__5 | ||
4790 | @init { | ||
4791 | int stackSize = keepStackSize(); | ||
4792 | } | ||
4793 | : | ||
4794 | rule__VLSAtomicFunction__Group_1__5__Impl | ||
4795 | rule__VLSAtomicFunction__Group_1__6 | ||
4796 | ; | ||
4797 | finally { | ||
4798 | restoreStackSize(stackSize); | ||
4799 | } | ||
4800 | |||
4801 | rule__VLSAtomicFunction__Group_1__5__Impl | ||
4802 | @init { | ||
4803 | int stackSize = keepStackSize(); | ||
4804 | } | ||
4805 | : | ||
4806 | ( | ||
4807 | { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_5()); } | ||
4808 | (rule__VLSAtomicFunction__TermsAssignment_1_5) | ||
4809 | { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_5()); } | ||
4810 | ) | ||
4811 | ; | ||
4812 | finally { | ||
4813 | restoreStackSize(stackSize); | ||
4814 | } | ||
4815 | |||
4816 | rule__VLSAtomicFunction__Group_1__6 | ||
4817 | @init { | ||
4818 | int stackSize = keepStackSize(); | ||
4819 | } | ||
4820 | : | ||
4821 | rule__VLSAtomicFunction__Group_1__6__Impl | ||
4822 | ; | ||
4823 | finally { | ||
4824 | restoreStackSize(stackSize); | ||
4825 | } | ||
4826 | |||
4827 | rule__VLSAtomicFunction__Group_1__6__Impl | ||
4828 | @init { | ||
4829 | int stackSize = keepStackSize(); | ||
4830 | } | ||
4831 | : | ||
4832 | ( | ||
4833 | { before(grammarAccess.getVLSAtomicFunctionAccess().getRightParenthesisKeyword_1_6()); } | ||
4834 | ')' | ||
4835 | { after(grammarAccess.getVLSAtomicFunctionAccess().getRightParenthesisKeyword_1_6()); } | ||
4836 | ) | ||
4837 | ; | ||
4838 | finally { | ||
4839 | restoreStackSize(stackSize); | ||
4840 | } | ||
4841 | |||
4842 | |||
4843 | rule__VLSFunctionAsTerm__Group__0 | ||
4844 | @init { | ||
4845 | int stackSize = keepStackSize(); | ||
4846 | } | ||
4847 | : | ||
4848 | rule__VLSFunctionAsTerm__Group__0__Impl | ||
4849 | rule__VLSFunctionAsTerm__Group__1 | ||
4850 | ; | ||
4851 | finally { | ||
4852 | restoreStackSize(stackSize); | ||
4853 | } | ||
4854 | |||
4855 | rule__VLSFunctionAsTerm__Group__0__Impl | ||
4856 | @init { | ||
4857 | int stackSize = keepStackSize(); | ||
4858 | } | ||
4859 | : | ||
4860 | ( | ||
4861 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); } | ||
4862 | (rule__VLSFunctionAsTerm__FunctorAssignment_0) | ||
4863 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); } | ||
4864 | ) | ||
4865 | ; | ||
4866 | finally { | ||
4867 | restoreStackSize(stackSize); | ||
4868 | } | ||
4869 | |||
4870 | rule__VLSFunctionAsTerm__Group__1 | ||
4871 | @init { | ||
4872 | int stackSize = keepStackSize(); | ||
4873 | } | ||
4874 | : | ||
4875 | rule__VLSFunctionAsTerm__Group__1__Impl | ||
4876 | ; | ||
4877 | finally { | ||
4878 | restoreStackSize(stackSize); | ||
4879 | } | ||
4880 | |||
4881 | rule__VLSFunctionAsTerm__Group__1__Impl | ||
4882 | @init { | ||
4883 | int stackSize = keepStackSize(); | ||
4884 | } | ||
4885 | : | ||
4886 | ( | ||
4887 | { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); } | ||
4888 | (rule__VLSFunctionAsTerm__Group_1__0)? | ||
4889 | { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); } | ||
4890 | ) | ||
4891 | ; | ||
4892 | finally { | ||
4893 | restoreStackSize(stackSize); | ||
4894 | } | ||
4895 | |||
4896 | |||
4897 | rule__VLSFunctionAsTerm__Group_1__0 | ||
4898 | @init { | ||
4899 | int stackSize = keepStackSize(); | ||
4900 | } | ||
4901 | : | ||
4902 | rule__VLSFunctionAsTerm__Group_1__0__Impl | ||
4903 | rule__VLSFunctionAsTerm__Group_1__1 | ||
4904 | ; | ||
4905 | finally { | ||
4906 | restoreStackSize(stackSize); | ||
4907 | } | ||
4908 | |||
4909 | rule__VLSFunctionAsTerm__Group_1__0__Impl | ||
4910 | @init { | ||
4911 | int stackSize = keepStackSize(); | ||
4912 | } | ||
4913 | : | ||
4914 | ( | ||
4915 | { before(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); } | ||
4916 | '(' | ||
4917 | { after(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); } | ||
4918 | ) | ||
4919 | ; | ||
4920 | finally { | ||
4921 | restoreStackSize(stackSize); | ||
4922 | } | ||
4923 | |||
4924 | rule__VLSFunctionAsTerm__Group_1__1 | ||
4925 | @init { | ||
4926 | int stackSize = keepStackSize(); | ||
4927 | } | ||
4928 | : | ||
4929 | rule__VLSFunctionAsTerm__Group_1__1__Impl | ||
4930 | rule__VLSFunctionAsTerm__Group_1__2 | ||
4931 | ; | ||
4932 | finally { | ||
4933 | restoreStackSize(stackSize); | ||
4934 | } | ||
4935 | |||
4936 | rule__VLSFunctionAsTerm__Group_1__1__Impl | ||
4937 | @init { | ||
4938 | int stackSize = keepStackSize(); | ||
4939 | } | ||
4940 | : | ||
4941 | ( | ||
4942 | { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); } | ||
4943 | (rule__VLSFunctionAsTerm__TermsAssignment_1_1) | ||
4944 | { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); } | ||
4945 | ) | ||
4946 | ; | ||
4947 | finally { | ||
4948 | restoreStackSize(stackSize); | ||
4949 | } | ||
4950 | |||
4951 | rule__VLSFunctionAsTerm__Group_1__2 | ||
4952 | @init { | ||
4953 | int stackSize = keepStackSize(); | ||
4954 | } | ||
4955 | : | ||
4956 | rule__VLSFunctionAsTerm__Group_1__2__Impl | ||
4957 | rule__VLSFunctionAsTerm__Group_1__3 | ||
4958 | ; | ||
4959 | finally { | ||
4960 | restoreStackSize(stackSize); | ||
4961 | } | ||
4962 | |||
4963 | rule__VLSFunctionAsTerm__Group_1__2__Impl | ||
4964 | @init { | ||
4965 | int stackSize = keepStackSize(); | ||
4966 | } | ||
4967 | : | ||
4968 | ( | ||
4969 | { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); } | ||
4970 | (rule__VLSFunctionAsTerm__Group_1_2__0)* | ||
4971 | { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); } | ||
4972 | ) | ||
4973 | ; | ||
4974 | finally { | ||
4975 | restoreStackSize(stackSize); | ||
4976 | } | ||
4977 | |||
4978 | rule__VLSFunctionAsTerm__Group_1__3 | ||
4979 | @init { | ||
4980 | int stackSize = keepStackSize(); | ||
4981 | } | ||
4982 | : | ||
4983 | rule__VLSFunctionAsTerm__Group_1__3__Impl | ||
4984 | ; | ||
4985 | finally { | ||
4986 | restoreStackSize(stackSize); | ||
4987 | } | ||
4988 | |||
4989 | rule__VLSFunctionAsTerm__Group_1__3__Impl | ||
4990 | @init { | ||
4991 | int stackSize = keepStackSize(); | ||
4992 | } | ||
4993 | : | ||
4994 | ( | ||
4995 | { before(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); } | ||
4996 | ')' | ||
4997 | { after(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); } | ||
4998 | ) | ||
4999 | ; | ||
5000 | finally { | ||
5001 | restoreStackSize(stackSize); | ||
5002 | } | ||
5003 | |||
5004 | |||
5005 | rule__VLSFunctionAsTerm__Group_1_2__0 | ||
5006 | @init { | ||
5007 | int stackSize = keepStackSize(); | ||
5008 | } | ||
5009 | : | ||
5010 | rule__VLSFunctionAsTerm__Group_1_2__0__Impl | ||
5011 | rule__VLSFunctionAsTerm__Group_1_2__1 | ||
5012 | ; | ||
5013 | finally { | ||
5014 | restoreStackSize(stackSize); | ||
5015 | } | ||
5016 | |||
5017 | rule__VLSFunctionAsTerm__Group_1_2__0__Impl | ||
5018 | @init { | ||
5019 | int stackSize = keepStackSize(); | ||
5020 | } | ||
5021 | : | ||
5022 | ( | ||
5023 | { before(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); } | ||
5024 | ',' | ||
5025 | { after(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); } | ||
5026 | ) | ||
5027 | ; | ||
5028 | finally { | ||
5029 | restoreStackSize(stackSize); | ||
5030 | } | ||
5031 | |||
5032 | rule__VLSFunctionAsTerm__Group_1_2__1 | ||
5033 | @init { | ||
5034 | int stackSize = keepStackSize(); | ||
5035 | } | ||
5036 | : | ||
5037 | rule__VLSFunctionAsTerm__Group_1_2__1__Impl | ||
5038 | ; | ||
5039 | finally { | ||
5040 | restoreStackSize(stackSize); | ||
5041 | } | ||
5042 | |||
5043 | rule__VLSFunctionAsTerm__Group_1_2__1__Impl | ||
5044 | @init { | ||
5045 | int stackSize = keepStackSize(); | ||
5046 | } | ||
5047 | : | ||
5048 | ( | ||
5049 | { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); } | ||
5050 | (rule__VLSFunctionAsTerm__TermsAssignment_1_2_1) | ||
5051 | { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); } | ||
5052 | ) | ||
5053 | ; | ||
5054 | finally { | ||
5055 | restoreStackSize(stackSize); | ||
5056 | } | ||
5057 | |||
5058 | |||
5059 | rule__VLSDefinedTerm__Group_0__0 | ||
5060 | @init { | ||
5061 | int stackSize = keepStackSize(); | ||
5062 | } | ||
5063 | : | ||
5064 | rule__VLSDefinedTerm__Group_0__0__Impl | ||
5065 | rule__VLSDefinedTerm__Group_0__1 | ||
5066 | ; | ||
5067 | finally { | ||
5068 | restoreStackSize(stackSize); | ||
5069 | } | ||
5070 | |||
5071 | rule__VLSDefinedTerm__Group_0__0__Impl | ||
5072 | @init { | ||
5073 | int stackSize = keepStackSize(); | ||
5074 | } | ||
5075 | : | ||
5076 | ( | ||
5077 | { before(grammarAccess.getVLSDefinedTermAccess().getVLSIntAction_0_0()); } | ||
5078 | () | ||
5079 | { after(grammarAccess.getVLSDefinedTermAccess().getVLSIntAction_0_0()); } | ||
5080 | ) | ||
5081 | ; | ||
5082 | finally { | ||
5083 | restoreStackSize(stackSize); | ||
5084 | } | ||
5085 | |||
5086 | rule__VLSDefinedTerm__Group_0__1 | ||
5087 | @init { | ||
5088 | int stackSize = keepStackSize(); | ||
5089 | } | ||
5090 | : | ||
5091 | rule__VLSDefinedTerm__Group_0__1__Impl | ||
5092 | ; | ||
5093 | finally { | ||
5094 | restoreStackSize(stackSize); | ||
5095 | } | ||
5096 | |||
5097 | rule__VLSDefinedTerm__Group_0__1__Impl | ||
5098 | @init { | ||
5099 | int stackSize = keepStackSize(); | ||
5100 | } | ||
5101 | : | ||
5102 | ( | ||
5103 | { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_0_1()); } | ||
5104 | (rule__VLSDefinedTerm__ValueAssignment_0_1) | ||
5105 | { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_0_1()); } | ||
5106 | ) | ||
5107 | ; | ||
5108 | finally { | ||
5109 | restoreStackSize(stackSize); | ||
5110 | } | ||
5111 | |||
5112 | |||
5113 | rule__VLSDefinedTerm__Group_1__0 | ||
5114 | @init { | ||
5115 | int stackSize = keepStackSize(); | ||
5116 | } | ||
5117 | : | ||
5118 | rule__VLSDefinedTerm__Group_1__0__Impl | ||
5119 | rule__VLSDefinedTerm__Group_1__1 | ||
5120 | ; | ||
5121 | finally { | ||
5122 | restoreStackSize(stackSize); | ||
5123 | } | ||
5124 | |||
5125 | rule__VLSDefinedTerm__Group_1__0__Impl | ||
5126 | @init { | ||
5127 | int stackSize = keepStackSize(); | ||
5128 | } | ||
5129 | : | ||
5130 | ( | ||
5131 | { before(grammarAccess.getVLSDefinedTermAccess().getVLSRealAction_1_0()); } | ||
5132 | () | ||
5133 | { after(grammarAccess.getVLSDefinedTermAccess().getVLSRealAction_1_0()); } | ||
5134 | ) | ||
5135 | ; | ||
5136 | finally { | ||
5137 | restoreStackSize(stackSize); | ||
5138 | } | ||
5139 | |||
5140 | rule__VLSDefinedTerm__Group_1__1 | ||
5141 | @init { | ||
5142 | int stackSize = keepStackSize(); | ||
5143 | } | ||
5144 | : | ||
5145 | rule__VLSDefinedTerm__Group_1__1__Impl | ||
5146 | ; | ||
5147 | finally { | ||
5148 | restoreStackSize(stackSize); | ||
5149 | } | ||
5150 | |||
5151 | rule__VLSDefinedTerm__Group_1__1__Impl | ||
5152 | @init { | ||
5153 | int stackSize = keepStackSize(); | ||
5154 | } | ||
5155 | : | ||
5156 | ( | ||
5157 | { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_1_1()); } | ||
5158 | (rule__VLSDefinedTerm__ValueAssignment_1_1) | ||
5159 | { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_1_1()); } | ||
5160 | ) | ||
5161 | ; | ||
5162 | finally { | ||
5163 | restoreStackSize(stackSize); | ||
5164 | } | ||
5165 | |||
5166 | |||
5167 | rule__VLSDefinedTerm__Group_2__0 | ||
5168 | @init { | ||
5169 | int stackSize = keepStackSize(); | ||
5170 | } | ||
5171 | : | ||
5172 | rule__VLSDefinedTerm__Group_2__0__Impl | ||
5173 | rule__VLSDefinedTerm__Group_2__1 | ||
5174 | ; | ||
5175 | finally { | ||
5176 | restoreStackSize(stackSize); | ||
5177 | } | ||
5178 | |||
5179 | rule__VLSDefinedTerm__Group_2__0__Impl | ||
5180 | @init { | ||
5181 | int stackSize = keepStackSize(); | ||
5182 | } | ||
5183 | : | ||
5184 | ( | ||
5185 | { before(grammarAccess.getVLSDefinedTermAccess().getVLSRationalAction_2_0()); } | ||
5186 | () | ||
5187 | { after(grammarAccess.getVLSDefinedTermAccess().getVLSRationalAction_2_0()); } | ||
5188 | ) | ||
5189 | ; | ||
5190 | finally { | ||
5191 | restoreStackSize(stackSize); | ||
5192 | } | ||
5193 | |||
5194 | rule__VLSDefinedTerm__Group_2__1 | ||
5195 | @init { | ||
5196 | int stackSize = keepStackSize(); | ||
5197 | } | ||
5198 | : | ||
5199 | rule__VLSDefinedTerm__Group_2__1__Impl | ||
5200 | ; | ||
5201 | finally { | ||
5202 | restoreStackSize(stackSize); | ||
5203 | } | ||
5204 | |||
5205 | rule__VLSDefinedTerm__Group_2__1__Impl | ||
5206 | @init { | ||
5207 | int stackSize = keepStackSize(); | ||
5208 | } | ||
5209 | : | ||
5210 | ( | ||
5211 | { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1()); } | ||
5212 | (rule__VLSDefinedTerm__ValueAssignment_2_1) | ||
5213 | { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1()); } | ||
5214 | ) | ||
5215 | ; | ||
5216 | finally { | ||
5217 | restoreStackSize(stackSize); | ||
5218 | } | ||
5219 | |||
5220 | |||
5221 | rule__VLSDefinedTerm__Group_3__0 | ||
5222 | @init { | ||
5223 | int stackSize = keepStackSize(); | ||
5224 | } | ||
5225 | : | ||
5226 | rule__VLSDefinedTerm__Group_3__0__Impl | ||
5227 | rule__VLSDefinedTerm__Group_3__1 | ||
5228 | ; | ||
5229 | finally { | ||
5230 | restoreStackSize(stackSize); | ||
5231 | } | ||
5232 | |||
5233 | rule__VLSDefinedTerm__Group_3__0__Impl | ||
5234 | @init { | ||
5235 | int stackSize = keepStackSize(); | ||
5236 | } | ||
5237 | : | ||
5238 | ( | ||
5239 | { before(grammarAccess.getVLSDefinedTermAccess().getVLSDoubleQuoteAction_3_0()); } | ||
5240 | () | ||
5241 | { after(grammarAccess.getVLSDefinedTermAccess().getVLSDoubleQuoteAction_3_0()); } | ||
5242 | ) | ||
5243 | ; | ||
5244 | finally { | ||
5245 | restoreStackSize(stackSize); | ||
5246 | } | ||
5247 | |||
5248 | rule__VLSDefinedTerm__Group_3__1 | ||
5249 | @init { | ||
5250 | int stackSize = keepStackSize(); | ||
5251 | } | ||
5252 | : | ||
5253 | rule__VLSDefinedTerm__Group_3__1__Impl | ||
5254 | ; | ||
5255 | finally { | ||
5256 | restoreStackSize(stackSize); | ||
5257 | } | ||
5258 | |||
5259 | rule__VLSDefinedTerm__Group_3__1__Impl | ||
5260 | @init { | ||
5261 | int stackSize = keepStackSize(); | ||
5262 | } | ||
5263 | : | ||
5264 | ( | ||
5265 | { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1()); } | ||
5266 | (rule__VLSDefinedTerm__ValueAssignment_3_1) | ||
5267 | { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1()); } | ||
5268 | ) | ||
5269 | ; | ||
5270 | finally { | ||
5271 | restoreStackSize(stackSize); | ||
5272 | } | ||
5273 | |||
5274 | |||
5275 | rule__VampireModel__IncludesAssignment_0 | ||
5276 | @init { | ||
5277 | int stackSize = keepStackSize(); | ||
5278 | } | ||
5279 | : | ||
5280 | ( | ||
5281 | { before(grammarAccess.getVampireModelAccess().getIncludesVLSIncludeParserRuleCall_0_0()); } | ||
5282 | ruleVLSInclude | ||
5283 | { after(grammarAccess.getVampireModelAccess().getIncludesVLSIncludeParserRuleCall_0_0()); } | ||
5284 | ) | ||
5285 | ; | ||
5286 | finally { | ||
5287 | restoreStackSize(stackSize); | ||
5288 | } | ||
5289 | |||
5290 | rule__VampireModel__CommentsAssignment_1 | ||
5291 | @init { | ||
5292 | int stackSize = keepStackSize(); | ||
5293 | } | ||
5294 | : | ||
5295 | ( | ||
5296 | { before(grammarAccess.getVampireModelAccess().getCommentsVLSCommentParserRuleCall_1_0()); } | ||
5297 | ruleVLSComment | ||
5298 | { after(grammarAccess.getVampireModelAccess().getCommentsVLSCommentParserRuleCall_1_0()); } | ||
5299 | ) | ||
5300 | ; | ||
5301 | finally { | ||
5302 | restoreStackSize(stackSize); | ||
5303 | } | ||
5304 | |||
5305 | rule__VampireModel__ConfirmationsAssignment_2 | ||
5306 | @init { | ||
5307 | int stackSize = keepStackSize(); | ||
5308 | } | ||
5309 | : | ||
5310 | ( | ||
5311 | { before(grammarAccess.getVampireModelAccess().getConfirmationsVLSConfirmationsParserRuleCall_2_0()); } | ||
5312 | ruleVLSConfirmations | ||
5313 | { after(grammarAccess.getVampireModelAccess().getConfirmationsVLSConfirmationsParserRuleCall_2_0()); } | ||
5314 | ) | ||
5315 | ; | ||
5316 | finally { | ||
5317 | restoreStackSize(stackSize); | ||
5318 | } | ||
5319 | |||
5320 | rule__VampireModel__FormulasAssignment_3 | ||
5321 | @init { | ||
5322 | int stackSize = keepStackSize(); | ||
5323 | } | ||
5324 | : | ||
5325 | ( | ||
5326 | { before(grammarAccess.getVampireModelAccess().getFormulasVLSFofFormulaParserRuleCall_3_0()); } | ||
5327 | ruleVLSFofFormula | ||
5328 | { after(grammarAccess.getVampireModelAccess().getFormulasVLSFofFormulaParserRuleCall_3_0()); } | ||
5329 | ) | ||
5330 | ; | ||
5331 | finally { | ||
5332 | restoreStackSize(stackSize); | ||
5333 | } | ||
5334 | |||
5335 | rule__VampireModel__TfformulasAssignment_4 | ||
5336 | @init { | ||
5337 | int stackSize = keepStackSize(); | ||
5338 | } | ||
5339 | : | ||
5340 | ( | ||
5341 | { before(grammarAccess.getVampireModelAccess().getTfformulasVLSTffFormulaParserRuleCall_4_0()); } | ||
5342 | ruleVLSTffFormula | ||
5343 | { after(grammarAccess.getVampireModelAccess().getTfformulasVLSTffFormulaParserRuleCall_4_0()); } | ||
5344 | ) | ||
5345 | ; | ||
5346 | finally { | ||
5347 | restoreStackSize(stackSize); | ||
5348 | } | ||
5349 | |||
5350 | rule__VLSInclude__FileNameAssignment_1 | ||
5351 | @init { | ||
5352 | int stackSize = keepStackSize(); | ||
5353 | } | ||
5354 | : | ||
5355 | ( | ||
5356 | { before(grammarAccess.getVLSIncludeAccess().getFileNameSINGLE_QUOTETerminalRuleCall_1_0()); } | ||
5357 | RULE_SINGLE_QUOTE | ||
5358 | { after(grammarAccess.getVLSIncludeAccess().getFileNameSINGLE_QUOTETerminalRuleCall_1_0()); } | ||
5359 | ) | ||
5360 | ; | ||
5361 | finally { | ||
5362 | restoreStackSize(stackSize); | ||
5363 | } | ||
5364 | |||
5365 | rule__VLSInclude__NamesAssignment_2_1 | ||
5366 | @init { | ||
5367 | int stackSize = keepStackSize(); | ||
5368 | } | ||
5369 | : | ||
5370 | ( | ||
5371 | { before(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_1_0()); } | ||
5372 | ruleVLSName | ||
5373 | { after(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_1_0()); } | ||
5374 | ) | ||
5375 | ; | ||
5376 | finally { | ||
5377 | restoreStackSize(stackSize); | ||
5378 | } | ||
5379 | |||
5380 | rule__VLSInclude__NamesAssignment_2_2_1 | ||
5381 | @init { | ||
5382 | int stackSize = keepStackSize(); | ||
5383 | } | ||
5384 | : | ||
5385 | ( | ||
5386 | { before(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_2_1_0()); } | ||
5387 | ruleVLSName | ||
5388 | { after(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_2_1_0()); } | ||
5389 | ) | ||
5390 | ; | ||
5391 | finally { | ||
5392 | restoreStackSize(stackSize); | ||
5393 | } | ||
5394 | |||
5395 | rule__VLSName__NameAssignment | ||
5396 | @init { | ||
5397 | int stackSize = keepStackSize(); | ||
5398 | } | ||
5399 | : | ||
5400 | ( | ||
5401 | { before(grammarAccess.getVLSNameAccess().getNameAlternatives_0()); } | ||
5402 | (rule__VLSName__NameAlternatives_0) | ||
5403 | { after(grammarAccess.getVLSNameAccess().getNameAlternatives_0()); } | ||
5404 | ) | ||
5405 | ; | ||
5406 | finally { | ||
5407 | restoreStackSize(stackSize); | ||
5408 | } | ||
5409 | |||
5410 | rule__VLSComment__CommentAssignment_1 | ||
5411 | @init { | ||
5412 | int stackSize = keepStackSize(); | ||
5413 | } | ||
5414 | : | ||
5415 | ( | ||
5416 | { before(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); } | ||
5417 | RULE_SINGLE_COMMENT | ||
5418 | { after(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); } | ||
5419 | ) | ||
5420 | ; | ||
5421 | finally { | ||
5422 | restoreStackSize(stackSize); | ||
5423 | } | ||
5424 | |||
5425 | rule__VLSFofFormula__NameAssignment_2 | ||
5426 | @init { | ||
5427 | int stackSize = keepStackSize(); | ||
5428 | } | ||
5429 | : | ||
5430 | ( | ||
5431 | { before(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0()); } | ||
5432 | (rule__VLSFofFormula__NameAlternatives_2_0) | ||
5433 | { after(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0()); } | ||
5434 | ) | ||
5435 | ; | ||
5436 | finally { | ||
5437 | restoreStackSize(stackSize); | ||
5438 | } | ||
5439 | |||
5440 | rule__VLSFofFormula__FofRoleAssignment_4 | ||
5441 | @init { | ||
5442 | int stackSize = keepStackSize(); | ||
5443 | } | ||
5444 | : | ||
5445 | ( | ||
5446 | { before(grammarAccess.getVLSFofFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); } | ||
5447 | ruleVLSRole | ||
5448 | { after(grammarAccess.getVLSFofFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); } | ||
5449 | ) | ||
5450 | ; | ||
5451 | finally { | ||
5452 | restoreStackSize(stackSize); | ||
5453 | } | ||
5454 | |||
5455 | rule__VLSFofFormula__FofFormulaAssignment_6 | ||
5456 | @init { | ||
5457 | int stackSize = keepStackSize(); | ||
5458 | } | ||
5459 | : | ||
5460 | ( | ||
5461 | { before(grammarAccess.getVLSFofFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); } | ||
5462 | ruleVLSTerm | ||
5463 | { after(grammarAccess.getVLSFofFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); } | ||
5464 | ) | ||
5465 | ; | ||
5466 | finally { | ||
5467 | restoreStackSize(stackSize); | ||
5468 | } | ||
5469 | |||
5470 | rule__VLSFofFormula__AnnotationsAssignment_7_1 | ||
5471 | @init { | ||
5472 | int stackSize = keepStackSize(); | ||
5473 | } | ||
5474 | : | ||
5475 | ( | ||
5476 | { before(grammarAccess.getVLSFofFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); } | ||
5477 | ruleVLSAnnotation | ||
5478 | { after(grammarAccess.getVLSFofFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); } | ||
5479 | ) | ||
5480 | ; | ||
5481 | finally { | ||
5482 | restoreStackSize(stackSize); | ||
5483 | } | ||
5484 | |||
5485 | rule__VLSTffFormula__NameAssignment_2 | ||
5486 | @init { | ||
5487 | int stackSize = keepStackSize(); | ||
5488 | } | ||
5489 | : | ||
5490 | ( | ||
5491 | { before(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0()); } | ||
5492 | (rule__VLSTffFormula__NameAlternatives_2_0) | ||
5493 | { after(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0()); } | ||
5494 | ) | ||
5495 | ; | ||
5496 | finally { | ||
5497 | restoreStackSize(stackSize); | ||
5498 | } | ||
5499 | |||
5500 | rule__VLSTffFormula__FofRoleAssignment_4 | ||
5501 | @init { | ||
5502 | int stackSize = keepStackSize(); | ||
5503 | } | ||
5504 | : | ||
5505 | ( | ||
5506 | { before(grammarAccess.getVLSTffFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); } | ||
5507 | ruleVLSRole | ||
5508 | { after(grammarAccess.getVLSTffFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); } | ||
5509 | ) | ||
5510 | ; | ||
5511 | finally { | ||
5512 | restoreStackSize(stackSize); | ||
5513 | } | ||
5514 | |||
5515 | rule__VLSTffFormula__FofFormulaAssignment_6 | ||
5516 | @init { | ||
5517 | int stackSize = keepStackSize(); | ||
5518 | } | ||
5519 | : | ||
5520 | ( | ||
5521 | { before(grammarAccess.getVLSTffFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); } | ||
5522 | ruleVLSTerm | ||
5523 | { after(grammarAccess.getVLSTffFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); } | ||
5524 | ) | ||
5525 | ; | ||
5526 | finally { | ||
5527 | restoreStackSize(stackSize); | ||
5528 | } | ||
5529 | |||
5530 | rule__VLSTffFormula__AnnotationsAssignment_7_1 | ||
5531 | @init { | ||
5532 | int stackSize = keepStackSize(); | ||
5533 | } | ||
5534 | : | ||
5535 | ( | ||
5536 | { before(grammarAccess.getVLSTffFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); } | ||
5537 | ruleVLSAnnotation | ||
5538 | { after(grammarAccess.getVLSTffFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); } | ||
5539 | ) | ||
5540 | ; | ||
5541 | finally { | ||
5542 | restoreStackSize(stackSize); | ||
5543 | } | ||
5544 | |||
5545 | rule__VLSAnnotation__NameAssignment_1 | ||
5546 | @init { | ||
5547 | int stackSize = keepStackSize(); | ||
5548 | } | ||
5549 | : | ||
5550 | ( | ||
5551 | { before(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0()); } | ||
5552 | (rule__VLSAnnotation__NameAlternatives_1_0) | ||
5553 | { after(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0()); } | ||
5554 | ) | ||
5555 | ; | ||
5556 | finally { | ||
5557 | restoreStackSize(stackSize); | ||
5558 | } | ||
5559 | |||
5560 | rule__VLSAnnotation__FollowupAssignment_2_1 | ||
5561 | @init { | ||
5562 | int stackSize = keepStackSize(); | ||
5563 | } | ||
5564 | : | ||
5565 | ( | ||
5566 | { before(grammarAccess.getVLSAnnotationAccess().getFollowupVLSAnnotationTermsParserRuleCall_2_1_0()); } | ||
5567 | ruleVLSAnnotationTerms | ||
5568 | { after(grammarAccess.getVLSAnnotationAccess().getFollowupVLSAnnotationTermsParserRuleCall_2_1_0()); } | ||
5569 | ) | ||
5570 | ; | ||
5571 | finally { | ||
5572 | restoreStackSize(stackSize); | ||
5573 | } | ||
5574 | |||
5575 | rule__VLSAnnotationTerms__TermsAssignment_0 | ||
5576 | @init { | ||
5577 | int stackSize = keepStackSize(); | ||
5578 | } | ||
5579 | : | ||
5580 | ( | ||
5581 | { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_0_0()); } | ||
5582 | ruleVLSAnnotation | ||
5583 | { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_0_0()); } | ||
5584 | ) | ||
5585 | ; | ||
5586 | finally { | ||
5587 | restoreStackSize(stackSize); | ||
5588 | } | ||
5589 | |||
5590 | rule__VLSAnnotationTerms__TermsAssignment_1_1 | ||
5591 | @init { | ||
5592 | int stackSize = keepStackSize(); | ||
5593 | } | ||
5594 | : | ||
5595 | ( | ||
5596 | { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_1_1_0()); } | ||
5597 | ruleVLSAnnotation | ||
5598 | { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_1_1_0()); } | ||
5599 | ) | ||
5600 | ; | ||
5601 | finally { | ||
5602 | restoreStackSize(stackSize); | ||
5603 | } | ||
5604 | |||
5605 | rule__VLSBinary__RightAssignment_1_0_1 | ||
5606 | @init { | ||
5607 | int stackSize = keepStackSize(); | ||
5608 | } | ||
5609 | : | ||
5610 | ( | ||
5611 | { before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0()); } | ||
5612 | ruleVLSUnitaryFormula | ||
5613 | { after(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0()); } | ||
5614 | ) | ||
5615 | ; | ||
5616 | finally { | ||
5617 | restoreStackSize(stackSize); | ||
5618 | } | ||
5619 | |||
5620 | rule__VLSBinary__RightAssignment_1_1_2 | ||
5621 | @init { | ||
5622 | int stackSize = keepStackSize(); | ||
5623 | } | ||
5624 | : | ||
5625 | ( | ||
5626 | { before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0()); } | ||
5627 | ruleVLSUnitaryFormula | ||
5628 | { after(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0()); } | ||
5629 | ) | ||
5630 | ; | ||
5631 | finally { | ||
5632 | restoreStackSize(stackSize); | ||
5633 | } | ||
5634 | |||
5635 | rule__VLSBinary__RightAssignment_1_2_2 | ||
5636 | @init { | ||
5637 | int stackSize = keepStackSize(); | ||
5638 | } | ||
5639 | : | ||
5640 | ( | ||
5641 | { before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0()); } | ||
5642 | ruleVLSUnitaryFormula | ||
5643 | { after(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0()); } | ||
5644 | ) | ||
5645 | ; | ||
5646 | finally { | ||
5647 | restoreStackSize(stackSize); | ||
5648 | } | ||
5649 | |||
5650 | rule__VLSUniversalQuantifier__VariablesAssignment_1_2 | ||
5651 | @init { | ||
5652 | int stackSize = keepStackSize(); | ||
5653 | } | ||
5654 | : | ||
5655 | ( | ||
5656 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); } | ||
5657 | ruleVLSVariable | ||
5658 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); } | ||
5659 | ) | ||
5660 | ; | ||
5661 | finally { | ||
5662 | restoreStackSize(stackSize); | ||
5663 | } | ||
5664 | |||
5665 | rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1 | ||
5666 | @init { | ||
5667 | int stackSize = keepStackSize(); | ||
5668 | } | ||
5669 | : | ||
5670 | ( | ||
5671 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); } | ||
5672 | ruleVLSVariable | ||
5673 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); } | ||
5674 | ) | ||
5675 | ; | ||
5676 | finally { | ||
5677 | restoreStackSize(stackSize); | ||
5678 | } | ||
5679 | |||
5680 | rule__VLSUniversalQuantifier__OperandAssignment_2 | ||
5681 | @init { | ||
5682 | int stackSize = keepStackSize(); | ||
5683 | } | ||
5684 | : | ||
5685 | ( | ||
5686 | { before(grammarAccess.getVLSUniversalQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); } | ||
5687 | ruleVLSUnitaryFormula | ||
5688 | { after(grammarAccess.getVLSUniversalQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); } | ||
5689 | ) | ||
5690 | ; | ||
5691 | finally { | ||
5692 | restoreStackSize(stackSize); | ||
5693 | } | ||
5694 | |||
5695 | rule__VLSExistentialQuantifier__VariablesAssignment_1_2 | ||
5696 | @init { | ||
5697 | int stackSize = keepStackSize(); | ||
5698 | } | ||
5699 | : | ||
5700 | ( | ||
5701 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); } | ||
5702 | ruleVLSVariable | ||
5703 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); } | ||
5704 | ) | ||
5705 | ; | ||
5706 | finally { | ||
5707 | restoreStackSize(stackSize); | ||
5708 | } | ||
5709 | |||
5710 | rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1 | ||
5711 | @init { | ||
5712 | int stackSize = keepStackSize(); | ||
5713 | } | ||
5714 | : | ||
5715 | ( | ||
5716 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); } | ||
5717 | ruleVLSVariable | ||
5718 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); } | ||
5719 | ) | ||
5720 | ; | ||
5721 | finally { | ||
5722 | restoreStackSize(stackSize); | ||
5723 | } | ||
5724 | |||
5725 | rule__VLSExistentialQuantifier__OperandAssignment_2 | ||
5726 | @init { | ||
5727 | int stackSize = keepStackSize(); | ||
5728 | } | ||
5729 | : | ||
5730 | ( | ||
5731 | { before(grammarAccess.getVLSExistentialQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); } | ||
5732 | ruleVLSUnitaryFormula | ||
5733 | { after(grammarAccess.getVLSExistentialQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); } | ||
5734 | ) | ||
5735 | ; | ||
5736 | finally { | ||
5737 | restoreStackSize(stackSize); | ||
5738 | } | ||
5739 | |||
5740 | rule__VLSUnaryNegation__OperandAssignment_2 | ||
5741 | @init { | ||
5742 | int stackSize = keepStackSize(); | ||
5743 | } | ||
5744 | : | ||
5745 | ( | ||
5746 | { before(grammarAccess.getVLSUnaryNegationAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); } | ||
5747 | ruleVLSUnitaryFormula | ||
5748 | { after(grammarAccess.getVLSUnaryNegationAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); } | ||
5749 | ) | ||
5750 | ; | ||
5751 | finally { | ||
5752 | restoreStackSize(stackSize); | ||
5753 | } | ||
5754 | |||
5755 | rule__VLSUnaryInfix__RightAssignment_1_1 | ||
5756 | @init { | ||
5757 | int stackSize = keepStackSize(); | ||
5758 | } | ||
5759 | : | ||
5760 | ( | ||
5761 | { before(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0()); } | ||
5762 | ruleVLSAtomic | ||
5763 | { after(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0()); } | ||
5764 | ) | ||
5765 | ; | ||
5766 | finally { | ||
5767 | restoreStackSize(stackSize); | ||
5768 | } | ||
5769 | |||
5770 | rule__VLSAtomicConstant__NameAssignment_0_1 | ||
5771 | @init { | ||
5772 | int stackSize = keepStackSize(); | ||
5773 | } | ||
5774 | : | ||
5775 | ( | ||
5776 | { before(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0()); } | ||
5777 | (rule__VLSAtomicConstant__NameAlternatives_0_1_0) | ||
5778 | { after(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0()); } | ||
5779 | ) | ||
5780 | ; | ||
5781 | finally { | ||
5782 | restoreStackSize(stackSize); | ||
5783 | } | ||
5784 | |||
5785 | rule__VLSAtomicFunction__ConstantAssignment_0_1 | ||
5786 | @init { | ||
5787 | int stackSize = keepStackSize(); | ||
5788 | } | ||
5789 | : | ||
5790 | ( | ||
5791 | { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0()); } | ||
5792 | (rule__VLSAtomicFunction__ConstantAlternatives_0_1_0) | ||
5793 | { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0()); } | ||
5794 | ) | ||
5795 | ; | ||
5796 | finally { | ||
5797 | restoreStackSize(stackSize); | ||
5798 | } | ||
5799 | |||
5800 | rule__VLSAtomicFunction__TermsAssignment_0_2_1 | ||
5801 | @init { | ||
5802 | int stackSize = keepStackSize(); | ||
5803 | } | ||
5804 | : | ||
5805 | ( | ||
5806 | { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_1_0()); } | ||
5807 | ruleVLSFofTerm | ||
5808 | { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_1_0()); } | ||
5809 | ) | ||
5810 | ; | ||
5811 | finally { | ||
5812 | restoreStackSize(stackSize); | ||
5813 | } | ||
5814 | |||
5815 | rule__VLSAtomicFunction__TermsAssignment_0_2_2_1 | ||
5816 | @init { | ||
5817 | int stackSize = keepStackSize(); | ||
5818 | } | ||
5819 | : | ||
5820 | ( | ||
5821 | { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_2_1_0()); } | ||
5822 | ruleVLSFofTerm | ||
5823 | { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_2_1_0()); } | ||
5824 | ) | ||
5825 | ; | ||
5826 | finally { | ||
5827 | restoreStackSize(stackSize); | ||
5828 | } | ||
5829 | |||
5830 | rule__VLSAtomicFunction__NameAssignment_1_1 | ||
5831 | @init { | ||
5832 | int stackSize = keepStackSize(); | ||
5833 | } | ||
5834 | : | ||
5835 | ( | ||
5836 | { before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); } | ||
5837 | ( | ||
5838 | { before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); } | ||
5839 | '$less' | ||
5840 | { after(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); } | ||
5841 | ) | ||
5842 | { after(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); } | ||
5843 | ) | ||
5844 | ; | ||
5845 | finally { | ||
5846 | restoreStackSize(stackSize); | ||
5847 | } | ||
5848 | |||
5849 | rule__VLSAtomicFunction__TermsAssignment_1_3 | ||
5850 | @init { | ||
5851 | int stackSize = keepStackSize(); | ||
5852 | } | ||
5853 | : | ||
5854 | ( | ||
5855 | { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_3_0()); } | ||
5856 | ruleVLSFofTerm | ||
5857 | { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_3_0()); } | ||
5858 | ) | ||
5859 | ; | ||
5860 | finally { | ||
5861 | restoreStackSize(stackSize); | ||
5862 | } | ||
5863 | |||
5864 | rule__VLSAtomicFunction__TermsAssignment_1_5 | ||
5865 | @init { | ||
5866 | int stackSize = keepStackSize(); | ||
5867 | } | ||
5868 | : | ||
5869 | ( | ||
5870 | { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_5_0()); } | ||
5871 | ruleVLSFofTerm | ||
5872 | { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_5_0()); } | ||
5873 | ) | ||
5874 | ; | ||
5875 | finally { | ||
5876 | restoreStackSize(stackSize); | ||
5877 | } | ||
5878 | |||
5879 | rule__VLSVariable__NameAssignment | ||
5880 | @init { | ||
5881 | int stackSize = keepStackSize(); | ||
5882 | } | ||
5883 | : | ||
5884 | ( | ||
5885 | { before(grammarAccess.getVLSVariableAccess().getNameUPPER_WORD_IDTerminalRuleCall_0()); } | ||
5886 | RULE_UPPER_WORD_ID | ||
5887 | { after(grammarAccess.getVLSVariableAccess().getNameUPPER_WORD_IDTerminalRuleCall_0()); } | ||
5888 | ) | ||
5889 | ; | ||
5890 | finally { | ||
5891 | restoreStackSize(stackSize); | ||
5892 | } | ||
5893 | |||
5894 | rule__VLSFunctionAsTerm__FunctorAssignment_0 | ||
5895 | @init { | ||
5896 | int stackSize = keepStackSize(); | ||
5897 | } | ||
5898 | : | ||
5899 | ( | ||
5900 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); } | ||
5901 | (rule__VLSFunctionAsTerm__FunctorAlternatives_0_0) | ||
5902 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); } | ||
5903 | ) | ||
5904 | ; | ||
5905 | finally { | ||
5906 | restoreStackSize(stackSize); | ||
5907 | } | ||
5908 | |||
5909 | rule__VLSFunctionAsTerm__TermsAssignment_1_1 | ||
5910 | @init { | ||
5911 | int stackSize = keepStackSize(); | ||
5912 | } | ||
5913 | : | ||
5914 | ( | ||
5915 | { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } | ||
5916 | ruleVLSFofTerm | ||
5917 | { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } | ||
5918 | ) | ||
5919 | ; | ||
5920 | finally { | ||
5921 | restoreStackSize(stackSize); | ||
5922 | } | ||
5923 | |||
5924 | rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 | ||
5925 | @init { | ||
5926 | int stackSize = keepStackSize(); | ||
5927 | } | ||
5928 | : | ||
5929 | ( | ||
5930 | { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } | ||
5931 | ruleVLSFofTerm | ||
5932 | { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } | ||
5933 | ) | ||
5934 | ; | ||
5935 | finally { | ||
5936 | restoreStackSize(stackSize); | ||
5937 | } | ||
5938 | |||
5939 | rule__VLSDefinedTerm__ValueAssignment_0_1 | ||
5940 | @init { | ||
5941 | int stackSize = keepStackSize(); | ||
5942 | } | ||
5943 | : | ||
5944 | ( | ||
5945 | { before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_LITERALTerminalRuleCall_0_1_0()); } | ||
5946 | RULE_SIGNED_LITERAL | ||
5947 | { after(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_LITERALTerminalRuleCall_0_1_0()); } | ||
5948 | ) | ||
5949 | ; | ||
5950 | finally { | ||
5951 | restoreStackSize(stackSize); | ||
5952 | } | ||
5953 | |||
5954 | rule__VLSDefinedTerm__ValueAssignment_1_1 | ||
5955 | @init { | ||
5956 | int stackSize = keepStackSize(); | ||
5957 | } | ||
5958 | : | ||
5959 | ( | ||
5960 | { before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_REAL_IDTerminalRuleCall_1_1_0()); } | ||
5961 | RULE_SIGNED_REAL_ID | ||
5962 | { after(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_REAL_IDTerminalRuleCall_1_1_0()); } | ||
5963 | ) | ||
5964 | ; | ||
5965 | finally { | ||
5966 | restoreStackSize(stackSize); | ||
5967 | } | ||
5968 | |||
5969 | rule__VLSDefinedTerm__ValueAssignment_2_1 | ||
5970 | @init { | ||
5971 | int stackSize = keepStackSize(); | ||
5972 | } | ||
5973 | : | ||
5974 | ( | ||
5975 | { before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_RAT_IDTerminalRuleCall_2_1_0()); } | ||
5976 | RULE_SIGNED_RAT_ID | ||
5977 | { after(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_RAT_IDTerminalRuleCall_2_1_0()); } | ||
5978 | ) | ||
5979 | ; | ||
5980 | finally { | ||
5981 | restoreStackSize(stackSize); | ||
5982 | } | ||
5983 | |||
5984 | rule__VLSDefinedTerm__ValueAssignment_3_1 | ||
5985 | @init { | ||
5986 | int stackSize = keepStackSize(); | ||
5987 | } | ||
5988 | : | ||
5989 | ( | ||
5990 | { before(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_3_1_0()); } | ||
5991 | RULE_DOUBLE_QUOTE | ||
5992 | { after(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_3_1_0()); } | ||
5993 | ) | ||
5994 | ; | ||
5995 | finally { | ||
5996 | restoreStackSize(stackSize); | ||
5997 | } | ||
5998 | |||
5999 | fragment RULE_ALPHA_NUMERIC : ('a'..'z'|'A'..'Z'|'0'..'9'|'_'); | ||
6000 | |||
6001 | RULE_UPPER_WORD_ID : 'A'..'Z' RULE_ALPHA_NUMERIC*; | ||
6002 | |||
6003 | RULE_LOWER_WORD_ID : 'a'..'z' RULE_ALPHA_NUMERIC*; | ||
6004 | |||
6005 | RULE_DOUBLE_QUOTE : '"' ('\\' ('"'|'\\')|~(('\\'|'"')))* '"'; | ||
6006 | |||
6007 | RULE_SINGLE_QUOTE : '\'' ('\\' ('\''|'\\')|~(('\\'|'\'')))+ '\''; | ||
6008 | |||
6009 | fragment RULE_SIGN : ('+'|'-'); | ||
6010 | |||
6011 | RULE_DOLLAR_ID : '$' RULE_LOWER_WORD_ID; | ||
6012 | |||
6013 | RULE_DOUBLE_DOLLAR_ID : '$$' RULE_LOWER_WORD_ID; | ||
6014 | |||
6015 | RULE_LITERAL : ('0'|'1'..'9' RULE_INT?); | ||
6016 | |||
6017 | RULE_SIGNED_LITERAL : RULE_SIGN* RULE_LITERAL; | ||
6018 | |||
6019 | fragment RULE_UNSIGNED_REAL_FRAC_ID : RULE_LITERAL '.' RULE_INT; | ||
6020 | |||
6021 | fragment RULE_UNSIGNED_REAL_EXP_ID : (RULE_LITERAL|RULE_UNSIGNED_REAL_FRAC_ID) 'Ee' RULE_SIGN* RULE_INT; | ||
6022 | |||
6023 | RULE_SIGNED_REAL_ID : RULE_SIGN* (RULE_UNSIGNED_REAL_FRAC_ID|RULE_UNSIGNED_REAL_EXP_ID); | ||
6024 | |||
6025 | fragment RULE_UNSIGNED_RAT_ID : RULE_LITERAL '/' '1'..'9' RULE_INT?; | ||
6026 | |||
6027 | RULE_SIGNED_RAT_ID : RULE_SIGN* RULE_UNSIGNED_RAT_ID; | ||
6028 | |||
6029 | fragment RULE_ID : ~(('\n'|'\r'))*; | ||
6030 | |||
6031 | fragment RULE_ANY_OTHER : RULE_ID; | ||
6032 | |||
6033 | RULE_SINGLE_COMMENT : RULE_ANY_OTHER; | ||
6034 | |||
6035 | fragment RULE_INT : ('0'..'9')+; | ||
6036 | |||
6037 | RULE_STRING : ('"' ('\\' .|~(('\\'|'"')))* '"'|'\'' ('\\' .|~(('\\'|'\'')))* '\''); | ||
6038 | |||
6039 | RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/'; | ||
6040 | |||
6041 | RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?; | ||
6042 | |||
6043 | RULE_WS : (' '|'\t'|'\r'|'\n')+; | ||