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