aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g
diff options
context:
space:
mode:
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.g1705
1 files changed, 1256 insertions, 449 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
index c5f2bcd0..8bab57ae 100644
--- 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
@@ -74,175 +74,200 @@ finally {
74 restoreStackSize(stackSize); 74 restoreStackSize(stackSize);
75} 75}
76 76
77// Entry rule entryRuleVLSInclude 77// Entry rule entryRuleVLSComment
78entryRuleVLSInclude 78entryRuleVLSComment
79: 79:
80{ before(grammarAccess.getVLSIncludeRule()); } 80{ before(grammarAccess.getVLSCommentRule()); }
81 ruleVLSInclude 81 ruleVLSComment
82{ after(grammarAccess.getVLSIncludeRule()); } 82{ after(grammarAccess.getVLSCommentRule()); }
83 EOF 83 EOF
84; 84;
85 85
86// Rule VLSInclude 86// Rule VLSComment
87ruleVLSInclude 87ruleVLSComment
88 @init { 88 @init {
89 int stackSize = keepStackSize(); 89 int stackSize = keepStackSize();
90 } 90 }
91 : 91 :
92 ( 92 (
93 { before(grammarAccess.getVLSIncludeAccess().getGroup()); } 93 { before(grammarAccess.getVLSCommentAccess().getCommentAssignment()); }
94 (rule__VLSInclude__Group__0) 94 (rule__VLSComment__CommentAssignment)
95 { after(grammarAccess.getVLSIncludeAccess().getGroup()); } 95 { after(grammarAccess.getVLSCommentAccess().getCommentAssignment()); }
96 ) 96 )
97; 97;
98finally { 98finally {
99 restoreStackSize(stackSize); 99 restoreStackSize(stackSize);
100} 100}
101 101
102// Entry rule entryRuleVLSName 102// Entry rule entryRuleVLSConfirmations
103entryRuleVLSName 103entryRuleVLSConfirmations
104: 104:
105{ before(grammarAccess.getVLSNameRule()); } 105{ before(grammarAccess.getVLSConfirmationsRule()); }
106 ruleVLSName 106 ruleVLSConfirmations
107{ after(grammarAccess.getVLSNameRule()); } 107{ after(grammarAccess.getVLSConfirmationsRule()); }
108 EOF 108 EOF
109; 109;
110 110
111// Rule VLSName 111// Rule VLSConfirmations
112ruleVLSName 112ruleVLSConfirmations
113 @init { 113 @init {
114 int stackSize = keepStackSize(); 114 int stackSize = keepStackSize();
115 } 115 }
116 : 116 :
117 ( 117 (
118 { before(grammarAccess.getVLSNameAccess().getNameAssignment()); } 118 { before(grammarAccess.getVLSConfirmationsAccess().getAlternatives()); }
119 (rule__VLSName__NameAssignment) 119 (rule__VLSConfirmations__Alternatives)
120 { after(grammarAccess.getVLSNameAccess().getNameAssignment()); } 120 { after(grammarAccess.getVLSConfirmationsAccess().getAlternatives()); }
121 ) 121 )
122; 122;
123finally { 123finally {
124 restoreStackSize(stackSize); 124 restoreStackSize(stackSize);
125} 125}
126 126
127// Entry rule entryRuleVLSComment 127// Entry rule entryRuleVLSFofFormula
128entryRuleVLSComment 128entryRuleVLSFofFormula
129: 129:
130{ before(grammarAccess.getVLSCommentRule()); } 130{ before(grammarAccess.getVLSFofFormulaRule()); }
131 ruleVLSComment 131 ruleVLSFofFormula
132{ after(grammarAccess.getVLSCommentRule()); } 132{ after(grammarAccess.getVLSFofFormulaRule()); }
133 EOF 133 EOF
134; 134;
135 135
136// Rule VLSComment 136// Rule VLSFofFormula
137ruleVLSComment 137ruleVLSFofFormula
138 @init { 138 @init {
139 int stackSize = keepStackSize(); 139 int stackSize = keepStackSize();
140 } 140 }
141 : 141 :
142 ( 142 (
143 { before(grammarAccess.getVLSCommentAccess().getGroup()); } 143 { before(grammarAccess.getVLSFofFormulaAccess().getGroup()); }
144 (rule__VLSComment__Group__0) 144 (rule__VLSFofFormula__Group__0)
145 { after(grammarAccess.getVLSCommentAccess().getGroup()); } 145 { after(grammarAccess.getVLSFofFormulaAccess().getGroup()); }
146 ) 146 )
147; 147;
148finally { 148finally {
149 restoreStackSize(stackSize); 149 restoreStackSize(stackSize);
150} 150}
151 151
152// Entry rule entryRuleVLSConfirmations 152// Entry rule entryRuleVLSTffFormula
153entryRuleVLSConfirmations 153entryRuleVLSTffFormula
154: 154:
155{ before(grammarAccess.getVLSConfirmationsRule()); } 155{ before(grammarAccess.getVLSTffFormulaRule()); }
156 ruleVLSConfirmations 156 ruleVLSTffFormula
157{ after(grammarAccess.getVLSConfirmationsRule()); } 157{ after(grammarAccess.getVLSTffFormulaRule()); }
158 EOF 158 EOF
159; 159;
160 160
161// Rule VLSConfirmations 161// Rule VLSTffFormula
162ruleVLSConfirmations 162ruleVLSTffFormula
163 @init { 163 @init {
164 int stackSize = keepStackSize(); 164 int stackSize = keepStackSize();
165 } 165 }
166 : 166 :
167 ( 167 (
168 { before(grammarAccess.getVLSConfirmationsAccess().getVLSSatisfiableParserRuleCall()); } 168 { before(grammarAccess.getVLSTffFormulaAccess().getGroup()); }
169 ruleVLSSatisfiable 169 (rule__VLSTffFormula__Group__0)
170 { after(grammarAccess.getVLSConfirmationsAccess().getVLSSatisfiableParserRuleCall()); } 170 { after(grammarAccess.getVLSTffFormulaAccess().getGroup()); }
171 ) 171 )
172; 172;
173finally { 173finally {
174 restoreStackSize(stackSize); 174 restoreStackSize(stackSize);
175} 175}
176 176
177// Entry rule entryRuleVLSSatisfiable 177// Entry rule entryRuleVLSTffName
178entryRuleVLSSatisfiable 178entryRuleVLSTffName
179: 179:
180{ before(grammarAccess.getVLSSatisfiableRule()); } 180{ before(grammarAccess.getVLSTffNameRule()); }
181 ruleVLSSatisfiable 181 ruleVLSTffName
182{ after(grammarAccess.getVLSSatisfiableRule()); } 182{ after(grammarAccess.getVLSTffNameRule()); }
183 EOF 183 EOF
184; 184;
185 185
186// Rule VLSSatisfiable 186// Rule VLSTffName
187ruleVLSSatisfiable 187ruleVLSTffName
188 @init { 188 @init {
189 int stackSize = keepStackSize(); 189 int stackSize = keepStackSize();
190 } 190 }
191 : 191 :
192 ( 192 (
193 { before(grammarAccess.getVLSSatisfiableAccess().getGroup()); } 193 { before(grammarAccess.getVLSTffNameAccess().getAlternatives()); }
194 (rule__VLSSatisfiable__Group__0) 194 (rule__VLSTffName__Alternatives)
195 { after(grammarAccess.getVLSSatisfiableAccess().getGroup()); } 195 { after(grammarAccess.getVLSTffNameAccess().getAlternatives()); }
196 ) 196 )
197; 197;
198finally { 198finally {
199 restoreStackSize(stackSize); 199 restoreStackSize(stackSize);
200} 200}
201 201
202// Entry rule entryRuleVLSFofFormula 202// Entry rule entryRuleVLSTffDistinct
203entryRuleVLSFofFormula 203entryRuleVLSTffDistinct
204: 204:
205{ before(grammarAccess.getVLSFofFormulaRule()); } 205{ before(grammarAccess.getVLSTffDistinctRule()); }
206 ruleVLSFofFormula 206 ruleVLSTffDistinct
207{ after(grammarAccess.getVLSFofFormulaRule()); } 207{ after(grammarAccess.getVLSTffDistinctRule()); }
208 EOF 208 EOF
209; 209;
210 210
211// Rule VLSFofFormula 211// Rule VLSTffDistinct
212ruleVLSFofFormula 212ruleVLSTffDistinct
213 @init { 213 @init {
214 int stackSize = keepStackSize(); 214 int stackSize = keepStackSize();
215 } 215 }
216 : 216 :
217 ( 217 (
218 { before(grammarAccess.getVLSFofFormulaAccess().getGroup()); } 218 { before(grammarAccess.getVLSTffDistinctAccess().getDistinct_domainKeyword()); }
219 (rule__VLSFofFormula__Group__0) 219 'distinct_domain'
220 { after(grammarAccess.getVLSFofFormulaAccess().getGroup()); } 220 { after(grammarAccess.getVLSTffDistinctAccess().getDistinct_domainKeyword()); }
221 ) 221 )
222; 222;
223finally { 223finally {
224 restoreStackSize(stackSize); 224 restoreStackSize(stackSize);
225} 225}
226 226
227// Entry rule entryRuleVLSTffFormula 227// Entry rule entryRuleVLSTffFinite
228entryRuleVLSTffFormula 228entryRuleVLSTffFinite
229: 229:
230{ before(grammarAccess.getVLSTffFormulaRule()); } 230{ before(grammarAccess.getVLSTffFiniteRule()); }
231 ruleVLSTffFormula 231 ruleVLSTffFinite
232{ after(grammarAccess.getVLSTffFormulaRule()); } 232{ after(grammarAccess.getVLSTffFiniteRule()); }
233 EOF 233 EOF
234; 234;
235 235
236// Rule VLSTffFormula 236// Rule VLSTffFinite
237ruleVLSTffFormula 237ruleVLSTffFinite
238 @init { 238 @init {
239 int stackSize = keepStackSize(); 239 int stackSize = keepStackSize();
240 } 240 }
241 : 241 :
242 ( 242 (
243 { before(grammarAccess.getVLSTffFormulaAccess().getGroup()); } 243 { before(grammarAccess.getVLSTffFiniteAccess().getFinite_domainKeyword()); }
244 (rule__VLSTffFormula__Group__0) 244 'finite_domain'
245 { after(grammarAccess.getVLSTffFormulaAccess().getGroup()); } 245 { after(grammarAccess.getVLSTffFiniteAccess().getFinite_domainKeyword()); }
246 )
247;
248finally {
249 restoreStackSize(stackSize);
250}
251
252// Entry rule entryRuleVLSTffDeclPred
253entryRuleVLSTffDeclPred
254:
255{ before(grammarAccess.getVLSTffDeclPredRule()); }
256 ruleVLSTffDeclPred
257{ after(grammarAccess.getVLSTffDeclPredRule()); }
258 EOF
259;
260
261// Rule VLSTffDeclPred
262ruleVLSTffDeclPred
263 @init {
264 int stackSize = keepStackSize();
265 }
266 :
267 (
268 { before(grammarAccess.getVLSTffDeclPredAccess().getAlternatives()); }
269 (rule__VLSTffDeclPred__Alternatives)
270 { after(grammarAccess.getVLSTffDeclPredAccess().getAlternatives()); }
246 ) 271 )
247; 272;
248finally { 273finally {
@@ -324,6 +349,156 @@ finally {
324 restoreStackSize(stackSize); 349 restoreStackSize(stackSize);
325} 350}
326 351
352// Entry rule entryRuleVLSTffTerm
353entryRuleVLSTffTerm
354:
355{ before(grammarAccess.getVLSTffTermRule()); }
356 ruleVLSTffTerm
357{ after(grammarAccess.getVLSTffTermRule()); }
358 EOF
359;
360
361// Rule VLSTffTerm
362ruleVLSTffTerm
363 @init {
364 int stackSize = keepStackSize();
365 }
366 :
367 (
368 { before(grammarAccess.getVLSTffTermAccess().getAlternatives()); }
369 (rule__VLSTffTerm__Alternatives)
370 { after(grammarAccess.getVLSTffTermAccess().getAlternatives()); }
371 )
372;
373finally {
374 restoreStackSize(stackSize);
375}
376
377// Entry rule entryRuleVLSDeclaration
378entryRuleVLSDeclaration
379:
380{ before(grammarAccess.getVLSDeclarationRule()); }
381 ruleVLSDeclaration
382{ after(grammarAccess.getVLSDeclarationRule()); }
383 EOF
384;
385
386// Rule VLSDeclaration
387ruleVLSDeclaration
388 @init {
389 int stackSize = keepStackSize();
390 }
391 :
392 (
393 { before(grammarAccess.getVLSDeclarationAccess().getAlternatives()); }
394 (rule__VLSDeclaration__Alternatives)
395 { after(grammarAccess.getVLSDeclarationAccess().getAlternatives()); }
396 )
397;
398finally {
399 restoreStackSize(stackSize);
400}
401
402// Entry rule entryRuleVLSOtherDeclaration
403entryRuleVLSOtherDeclaration
404:
405{ before(grammarAccess.getVLSOtherDeclarationRule()); }
406 ruleVLSOtherDeclaration
407{ after(grammarAccess.getVLSOtherDeclarationRule()); }
408 EOF
409;
410
411// Rule VLSOtherDeclaration
412ruleVLSOtherDeclaration
413 @init {
414 int stackSize = keepStackSize();
415 }
416 :
417 (
418 { before(grammarAccess.getVLSOtherDeclarationAccess().getGroup()); }
419 (rule__VLSOtherDeclaration__Group__0)
420 { after(grammarAccess.getVLSOtherDeclarationAccess().getGroup()); }
421 )
422;
423finally {
424 restoreStackSize(stackSize);
425}
426
427// Entry rule entryRuleVLSVariableDeclaration
428entryRuleVLSVariableDeclaration
429:
430{ before(grammarAccess.getVLSVariableDeclarationRule()); }
431 ruleVLSVariableDeclaration
432{ after(grammarAccess.getVLSVariableDeclarationRule()); }
433 EOF
434;
435
436// Rule VLSVariableDeclaration
437ruleVLSVariableDeclaration
438 @init {
439 int stackSize = keepStackSize();
440 }
441 :
442 (
443 { before(grammarAccess.getVLSVariableDeclarationAccess().getGroup()); }
444 (rule__VLSVariableDeclaration__Group__0)
445 { after(grammarAccess.getVLSVariableDeclarationAccess().getGroup()); }
446 )
447;
448finally {
449 restoreStackSize(stackSize);
450}
451
452// Entry rule entryRuleVLSTypeDef
453entryRuleVLSTypeDef
454:
455{ before(grammarAccess.getVLSTypeDefRule()); }
456 ruleVLSTypeDef
457{ after(grammarAccess.getVLSTypeDefRule()); }
458 EOF
459;
460
461// Rule VLSTypeDef
462ruleVLSTypeDef
463 @init {
464 int stackSize = keepStackSize();
465 }
466 :
467 (
468 { before(grammarAccess.getVLSTypeDefAccess().getGroup()); }
469 (rule__VLSTypeDef__Group__0)
470 { after(grammarAccess.getVLSTypeDefAccess().getGroup()); }
471 )
472;
473finally {
474 restoreStackSize(stackSize);
475}
476
477// Entry rule entryRuleVLSUnitaryTerm
478entryRuleVLSUnitaryTerm
479:
480{ before(grammarAccess.getVLSUnitaryTermRule()); }
481 ruleVLSUnitaryTerm
482{ after(grammarAccess.getVLSUnitaryTermRule()); }
483 EOF
484;
485
486// Rule VLSUnitaryTerm
487ruleVLSUnitaryTerm
488 @init {
489 int stackSize = keepStackSize();
490 }
491 :
492 (
493 { before(grammarAccess.getVLSUnitaryTermAccess().getGroup()); }
494 (rule__VLSUnitaryTerm__Group__0)
495 { after(grammarAccess.getVLSUnitaryTermAccess().getGroup()); }
496 )
497;
498finally {
499 restoreStackSize(stackSize);
500}
501
327// Entry rule entryRuleVLSTerm 502// Entry rule entryRuleVLSTerm
328entryRuleVLSTerm 503entryRuleVLSTerm
329: 504:
@@ -680,66 +855,60 @@ rule__VampireModel__Alternatives
680 } 855 }
681: 856:
682 ( 857 (
683 { before(grammarAccess.getVampireModelAccess().getIncludesAssignment_0()); } 858 { before(grammarAccess.getVampireModelAccess().getCommentsAssignment_0()); }
684 (rule__VampireModel__IncludesAssignment_0) 859 (rule__VampireModel__CommentsAssignment_0)
685 { after(grammarAccess.getVampireModelAccess().getIncludesAssignment_0()); } 860 { after(grammarAccess.getVampireModelAccess().getCommentsAssignment_0()); }
686 ) 861 )
687 | 862 |
688 ( 863 (
689 { before(grammarAccess.getVampireModelAccess().getCommentsAssignment_1()); } 864 { before(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_1()); }
690 (rule__VampireModel__CommentsAssignment_1) 865 (rule__VampireModel__ConfirmationsAssignment_1)
691 { after(grammarAccess.getVampireModelAccess().getCommentsAssignment_1()); } 866 { after(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_1()); }
692 ) 867 )
693 | 868 |
694 ( 869 (
695 { before(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2()); } 870 { before(grammarAccess.getVampireModelAccess().getFormulasAssignment_2()); }
696 (rule__VampireModel__ConfirmationsAssignment_2) 871 (rule__VampireModel__FormulasAssignment_2)
697 { after(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2()); } 872 { after(grammarAccess.getVampireModelAccess().getFormulasAssignment_2()); }
698 ) 873 )
699 | 874 |
700 ( 875 (
701 { before(grammarAccess.getVampireModelAccess().getFormulasAssignment_3()); } 876 { before(grammarAccess.getVampireModelAccess().getTfformulasAssignment_3()); }
702 (rule__VampireModel__FormulasAssignment_3) 877 (rule__VampireModel__TfformulasAssignment_3)
703 { after(grammarAccess.getVampireModelAccess().getFormulasAssignment_3()); } 878 { after(grammarAccess.getVampireModelAccess().getTfformulasAssignment_3()); }
704 )
705 |
706 (
707 { before(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4()); }
708 (rule__VampireModel__TfformulasAssignment_4)
709 { after(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4()); }
710 ) 879 )
711; 880;
712finally { 881finally {
713 restoreStackSize(stackSize); 882 restoreStackSize(stackSize);
714} 883}
715 884
716rule__VLSName__NameAlternatives_0 885rule__VLSConfirmations__Alternatives
717 @init { 886 @init {
718 int stackSize = keepStackSize(); 887 int stackSize = keepStackSize();
719 } 888 }
720: 889:
721 ( 890 (
722 { before(grammarAccess.getVLSNameAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_0()); } 891 { before(grammarAccess.getVLSConfirmationsAccess().getGroup_0()); }
723 RULE_LOWER_WORD_ID 892 (rule__VLSConfirmations__Group_0__0)
724 { after(grammarAccess.getVLSNameAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_0()); } 893 { after(grammarAccess.getVLSConfirmationsAccess().getGroup_0()); }
725 ) 894 )
726 | 895 |
727 ( 896 (
728 { before(grammarAccess.getVLSNameAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1()); } 897 { before(grammarAccess.getVLSConfirmationsAccess().getGroup_1()); }
729 RULE_SINGLE_QUOTE 898 (rule__VLSConfirmations__Group_1__0)
730 { after(grammarAccess.getVLSNameAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1()); } 899 { after(grammarAccess.getVLSConfirmationsAccess().getGroup_1()); }
731 ) 900 )
732 | 901 |
733 ( 902 (
734 { before(grammarAccess.getVLSNameAccess().getNameLITERALTerminalRuleCall_0_2()); } 903 { before(grammarAccess.getVLSConfirmationsAccess().getGroup_2()); }
735 RULE_LITERAL 904 (rule__VLSConfirmations__Group_2__0)
736 { after(grammarAccess.getVLSNameAccess().getNameLITERALTerminalRuleCall_0_2()); } 905 { after(grammarAccess.getVLSConfirmationsAccess().getGroup_2()); }
737 ) 906 )
738 | 907 |
739 ( 908 (
740 { before(grammarAccess.getVLSNameAccess().getNameSIGNED_LITERALTerminalRuleCall_0_3()); } 909 { before(grammarAccess.getVLSConfirmationsAccess().getGroup_3()); }
741 RULE_SIGNED_LITERAL 910 (rule__VLSConfirmations__Group_3__0)
742 { after(grammarAccess.getVLSNameAccess().getNameSIGNED_LITERALTerminalRuleCall_0_3()); } 911 { after(grammarAccess.getVLSConfirmationsAccess().getGroup_3()); }
743 ) 912 )
744; 913;
745finally { 914finally {
@@ -773,27 +942,48 @@ finally {
773 restoreStackSize(stackSize); 942 restoreStackSize(stackSize);
774} 943}
775 944
776rule__VLSTffFormula__NameAlternatives_2_0 945rule__VLSTffName__Alternatives
777 @init { 946 @init {
778 int stackSize = keepStackSize(); 947 int stackSize = keepStackSize();
779 } 948 }
780: 949:
781 ( 950 (
782 { before(grammarAccess.getVLSTffFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); } 951 { before(grammarAccess.getVLSTffNameAccess().getVLSTffDeclPredParserRuleCall_0()); }
783 RULE_LOWER_WORD_ID 952 ruleVLSTffDeclPred
784 { after(grammarAccess.getVLSTffFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); } 953 { after(grammarAccess.getVLSTffNameAccess().getVLSTffDeclPredParserRuleCall_0()); }
785 ) 954 )
786 | 955 |
787 ( 956 (
788 { before(grammarAccess.getVLSTffFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); } 957 { before(grammarAccess.getVLSTffNameAccess().getVLSTffFiniteParserRuleCall_1()); }
789 RULE_SIGNED_LITERAL 958 ruleVLSTffFinite
790 { after(grammarAccess.getVLSTffFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); } 959 { after(grammarAccess.getVLSTffNameAccess().getVLSTffFiniteParserRuleCall_1()); }
791 ) 960 )
792 | 961 |
793 ( 962 (
794 { before(grammarAccess.getVLSTffFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); } 963 { before(grammarAccess.getVLSTffNameAccess().getVLSTffDistinctParserRuleCall_2()); }
795 RULE_SINGLE_QUOTE 964 ruleVLSTffDistinct
796 { after(grammarAccess.getVLSTffFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); } 965 { after(grammarAccess.getVLSTffNameAccess().getVLSTffDistinctParserRuleCall_2()); }
966 )
967;
968finally {
969 restoreStackSize(stackSize);
970}
971
972rule__VLSTffDeclPred__Alternatives
973 @init {
974 int stackSize = keepStackSize();
975 }
976:
977 (
978 { before(grammarAccess.getVLSTffDeclPredAccess().getGroup_0()); }
979 (rule__VLSTffDeclPred__Group_0__0)
980 { after(grammarAccess.getVLSTffDeclPredAccess().getGroup_0()); }
981 )
982 |
983 (
984 { before(grammarAccess.getVLSTffDeclPredAccess().getLOWER_WORD_IDTerminalRuleCall_1()); }
985 RULE_LOWER_WORD_ID
986 { after(grammarAccess.getVLSTffDeclPredAccess().getLOWER_WORD_IDTerminalRuleCall_1()); }
797 ) 987 )
798; 988;
799finally { 989finally {
@@ -926,6 +1116,48 @@ finally {
926 restoreStackSize(stackSize); 1116 restoreStackSize(stackSize);
927} 1117}
928 1118
1119rule__VLSTffTerm__Alternatives
1120 @init {
1121 int stackSize = keepStackSize();
1122 }
1123:
1124 (
1125 { before(grammarAccess.getVLSTffTermAccess().getVLSTermParserRuleCall_0()); }
1126 ruleVLSTerm
1127 { after(grammarAccess.getVLSTffTermAccess().getVLSTermParserRuleCall_0()); }
1128 )
1129 |
1130 (
1131 { before(grammarAccess.getVLSTffTermAccess().getVLSDeclarationParserRuleCall_1()); }
1132 ruleVLSDeclaration
1133 { after(grammarAccess.getVLSTffTermAccess().getVLSDeclarationParserRuleCall_1()); }
1134 )
1135;
1136finally {
1137 restoreStackSize(stackSize);
1138}
1139
1140rule__VLSDeclaration__Alternatives
1141 @init {
1142 int stackSize = keepStackSize();
1143 }
1144:
1145 (
1146 { before(grammarAccess.getVLSDeclarationAccess().getVLSVariableDeclarationParserRuleCall_0()); }
1147 ruleVLSVariableDeclaration
1148 { after(grammarAccess.getVLSDeclarationAccess().getVLSVariableDeclarationParserRuleCall_0()); }
1149 )
1150 |
1151 (
1152 { before(grammarAccess.getVLSDeclarationAccess().getVLSOtherDeclarationParserRuleCall_1()); }
1153 ruleVLSOtherDeclaration
1154 { after(grammarAccess.getVLSDeclarationAccess().getVLSOtherDeclarationParserRuleCall_1()); }
1155 )
1156;
1157finally {
1158 restoreStackSize(stackSize);
1159}
1160
929rule__VLSBinary__Alternatives_1 1161rule__VLSBinary__Alternatives_1
930 @init { 1162 @init {
931 int stackSize = keepStackSize(); 1163 int stackSize = keepStackSize();
@@ -1051,6 +1283,90 @@ finally {
1051 restoreStackSize(stackSize); 1283 restoreStackSize(stackSize);
1052} 1284}
1053 1285
1286rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0
1287 @init {
1288 int stackSize = keepStackSize();
1289 }
1290:
1291 (
1292 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0_0()); }
1293 ruleVLSVariable
1294 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0_0()); }
1295 )
1296 |
1297 (
1298 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableDeclarationParserRuleCall_1_2_0_1()); }
1299 ruleVLSVariableDeclaration
1300 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableDeclarationParserRuleCall_1_2_0_1()); }
1301 )
1302;
1303finally {
1304 restoreStackSize(stackSize);
1305}
1306
1307rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0
1308 @init {
1309 int stackSize = keepStackSize();
1310 }
1311:
1312 (
1313 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0_0()); }
1314 ruleVLSVariable
1315 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0_0()); }
1316 )
1317 |
1318 (
1319 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableDeclarationParserRuleCall_1_3_1_0_1()); }
1320 ruleVLSVariableDeclaration
1321 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableDeclarationParserRuleCall_1_3_1_0_1()); }
1322 )
1323;
1324finally {
1325 restoreStackSize(stackSize);
1326}
1327
1328rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0
1329 @init {
1330 int stackSize = keepStackSize();
1331 }
1332:
1333 (
1334 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0_0()); }
1335 ruleVLSVariable
1336 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0_0()); }
1337 )
1338 |
1339 (
1340 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableDeclarationParserRuleCall_1_2_0_1()); }
1341 ruleVLSVariableDeclaration
1342 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableDeclarationParserRuleCall_1_2_0_1()); }
1343 )
1344;
1345finally {
1346 restoreStackSize(stackSize);
1347}
1348
1349rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0
1350 @init {
1351 int stackSize = keepStackSize();
1352 }
1353:
1354 (
1355 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0_0()); }
1356 ruleVLSVariable
1357 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0_0()); }
1358 )
1359 |
1360 (
1361 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableDeclarationParserRuleCall_1_3_1_0_1()); }
1362 ruleVLSVariableDeclaration
1363 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableDeclarationParserRuleCall_1_3_1_0_1()); }
1364 )
1365;
1366finally {
1367 restoreStackSize(stackSize);
1368}
1369
1054rule__VLSUnaryInfix__Alternatives_1_0 1370rule__VLSUnaryInfix__Alternatives_1_0
1055 @init { 1371 @init {
1056 int stackSize = keepStackSize(); 1372 int stackSize = keepStackSize();
@@ -1313,313 +1629,436 @@ rule__VLSDefinedTerm__Alternatives
1313 (rule__VLSDefinedTerm__Group_1__0) 1629 (rule__VLSDefinedTerm__Group_1__0)
1314 { after(grammarAccess.getVLSDefinedTermAccess().getGroup_1()); } 1630 { after(grammarAccess.getVLSDefinedTermAccess().getGroup_1()); }
1315 ) 1631 )
1316 |
1317 (
1318 { before(grammarAccess.getVLSDefinedTermAccess().getGroup_2()); }
1319 (rule__VLSDefinedTerm__Group_2__0)
1320 { after(grammarAccess.getVLSDefinedTermAccess().getGroup_2()); }
1321 )
1322 |
1323 (
1324 { before(grammarAccess.getVLSDefinedTermAccess().getGroup_3()); }
1325 (rule__VLSDefinedTerm__Group_3__0)
1326 { after(grammarAccess.getVLSDefinedTermAccess().getGroup_3()); }
1327 )
1328; 1632;
1329finally { 1633finally {
1330 restoreStackSize(stackSize); 1634 restoreStackSize(stackSize);
1331} 1635}
1332 1636
1333rule__VLSInclude__Group__0 1637rule__VLSConfirmations__Group_0__0
1334 @init { 1638 @init {
1335 int stackSize = keepStackSize(); 1639 int stackSize = keepStackSize();
1336 } 1640 }
1337: 1641:
1338 rule__VLSInclude__Group__0__Impl 1642 rule__VLSConfirmations__Group_0__0__Impl
1339 rule__VLSInclude__Group__1 1643 rule__VLSConfirmations__Group_0__1
1340; 1644;
1341finally { 1645finally {
1342 restoreStackSize(stackSize); 1646 restoreStackSize(stackSize);
1343} 1647}
1344 1648
1345rule__VLSInclude__Group__0__Impl 1649rule__VLSConfirmations__Group_0__0__Impl
1346 @init { 1650 @init {
1347 int stackSize = keepStackSize(); 1651 int stackSize = keepStackSize();
1348 } 1652 }
1349: 1653:
1350( 1654(
1351 { before(grammarAccess.getVLSIncludeAccess().getIncludeKeyword_0()); } 1655 { before(grammarAccess.getVLSConfirmationsAccess().getVLSSatisfiableAction_0_0()); }
1352 'include(' 1656 ()
1353 { after(grammarAccess.getVLSIncludeAccess().getIncludeKeyword_0()); } 1657 { after(grammarAccess.getVLSConfirmationsAccess().getVLSSatisfiableAction_0_0()); }
1354) 1658)
1355; 1659;
1356finally { 1660finally {
1357 restoreStackSize(stackSize); 1661 restoreStackSize(stackSize);
1358} 1662}
1359 1663
1360rule__VLSInclude__Group__1 1664rule__VLSConfirmations__Group_0__1
1361 @init { 1665 @init {
1362 int stackSize = keepStackSize(); 1666 int stackSize = keepStackSize();
1363 } 1667 }
1364: 1668:
1365 rule__VLSInclude__Group__1__Impl 1669 rule__VLSConfirmations__Group_0__1__Impl
1366 rule__VLSInclude__Group__2
1367; 1670;
1368finally { 1671finally {
1369 restoreStackSize(stackSize); 1672 restoreStackSize(stackSize);
1370} 1673}
1371 1674
1372rule__VLSInclude__Group__1__Impl 1675rule__VLSConfirmations__Group_0__1__Impl
1373 @init { 1676 @init {
1374 int stackSize = keepStackSize(); 1677 int stackSize = keepStackSize();
1375 } 1678 }
1376: 1679:
1377( 1680(
1378 { before(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1()); } 1681 { before(grammarAccess.getVLSConfirmationsAccess().getSatisfiableKeyword_0_1()); }
1379 (rule__VLSInclude__FileNameAssignment_1) 1682 'Satisfiable!'
1380 { after(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1()); } 1683 { after(grammarAccess.getVLSConfirmationsAccess().getSatisfiableKeyword_0_1()); }
1381) 1684)
1382; 1685;
1383finally { 1686finally {
1384 restoreStackSize(stackSize); 1687 restoreStackSize(stackSize);
1385} 1688}
1386 1689
1387rule__VLSInclude__Group__2 1690
1691rule__VLSConfirmations__Group_1__0
1388 @init { 1692 @init {
1389 int stackSize = keepStackSize(); 1693 int stackSize = keepStackSize();
1390 } 1694 }
1391: 1695:
1392 rule__VLSInclude__Group__2__Impl 1696 rule__VLSConfirmations__Group_1__0__Impl
1697 rule__VLSConfirmations__Group_1__1
1393; 1698;
1394finally { 1699finally {
1395 restoreStackSize(stackSize); 1700 restoreStackSize(stackSize);
1396} 1701}
1397 1702
1398rule__VLSInclude__Group__2__Impl 1703rule__VLSConfirmations__Group_1__0__Impl
1399 @init { 1704 @init {
1400 int stackSize = keepStackSize(); 1705 int stackSize = keepStackSize();
1401 } 1706 }
1402: 1707:
1403( 1708(
1404 { before(grammarAccess.getVLSIncludeAccess().getGroup_2()); } 1709 { before(grammarAccess.getVLSConfirmationsAccess().getVLSWarningAction_1_0()); }
1405 (rule__VLSInclude__Group_2__0)? 1710 ()
1406 { after(grammarAccess.getVLSIncludeAccess().getGroup_2()); } 1711 { after(grammarAccess.getVLSConfirmationsAccess().getVLSWarningAction_1_0()); }
1407) 1712)
1408; 1713;
1409finally { 1714finally {
1410 restoreStackSize(stackSize); 1715 restoreStackSize(stackSize);
1411} 1716}
1412 1717
1718rule__VLSConfirmations__Group_1__1
1719 @init {
1720 int stackSize = keepStackSize();
1721 }
1722:
1723 rule__VLSConfirmations__Group_1__1__Impl
1724 rule__VLSConfirmations__Group_1__2
1725;
1726finally {
1727 restoreStackSize(stackSize);
1728}
1413 1729
1414rule__VLSInclude__Group_2__0 1730rule__VLSConfirmations__Group_1__1__Impl
1415 @init { 1731 @init {
1416 int stackSize = keepStackSize(); 1732 int stackSize = keepStackSize();
1417 } 1733 }
1418: 1734:
1419 rule__VLSInclude__Group_2__0__Impl 1735(
1420 rule__VLSInclude__Group_2__1 1736 { before(grammarAccess.getVLSConfirmationsAccess().getWARNINGKeyword_1_1()); }
1737 'WARNING!'
1738 { after(grammarAccess.getVLSConfirmationsAccess().getWARNINGKeyword_1_1()); }
1739)
1421; 1740;
1422finally { 1741finally {
1423 restoreStackSize(stackSize); 1742 restoreStackSize(stackSize);
1424} 1743}
1425 1744
1426rule__VLSInclude__Group_2__0__Impl 1745rule__VLSConfirmations__Group_1__2
1746 @init {
1747 int stackSize = keepStackSize();
1748 }
1749:
1750 rule__VLSConfirmations__Group_1__2__Impl
1751 rule__VLSConfirmations__Group_1__3
1752;
1753finally {
1754 restoreStackSize(stackSize);
1755}
1756
1757rule__VLSConfirmations__Group_1__2__Impl
1427 @init { 1758 @init {
1428 int stackSize = keepStackSize(); 1759 int stackSize = keepStackSize();
1429 } 1760 }
1430: 1761:
1431( 1762(
1432 { before(grammarAccess.getVLSIncludeAccess().getCommaLeftSquareBracketKeyword_2_0()); } 1763 { before(grammarAccess.getVLSConfirmationsAccess().getCouldKeyword_1_2()); }
1433 ',[' 1764 'Could'
1434 { after(grammarAccess.getVLSIncludeAccess().getCommaLeftSquareBracketKeyword_2_0()); } 1765 { after(grammarAccess.getVLSConfirmationsAccess().getCouldKeyword_1_2()); }
1435) 1766)
1436; 1767;
1437finally { 1768finally {
1438 restoreStackSize(stackSize); 1769 restoreStackSize(stackSize);
1439} 1770}
1440 1771
1441rule__VLSInclude__Group_2__1 1772rule__VLSConfirmations__Group_1__3
1442 @init { 1773 @init {
1443 int stackSize = keepStackSize(); 1774 int stackSize = keepStackSize();
1444 } 1775 }
1445: 1776:
1446 rule__VLSInclude__Group_2__1__Impl 1777 rule__VLSConfirmations__Group_1__3__Impl
1447 rule__VLSInclude__Group_2__2 1778 rule__VLSConfirmations__Group_1__4
1448; 1779;
1449finally { 1780finally {
1450 restoreStackSize(stackSize); 1781 restoreStackSize(stackSize);
1451} 1782}
1452 1783
1453rule__VLSInclude__Group_2__1__Impl 1784rule__VLSConfirmations__Group_1__3__Impl
1454 @init { 1785 @init {
1455 int stackSize = keepStackSize(); 1786 int stackSize = keepStackSize();
1456 } 1787 }
1457: 1788:
1458( 1789(
1459 { before(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1()); } 1790 { before(grammarAccess.getVLSConfirmationsAccess().getNotKeyword_1_3()); }
1460 (rule__VLSInclude__NamesAssignment_2_1) 1791 'not'
1461 { after(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1()); } 1792 { after(grammarAccess.getVLSConfirmationsAccess().getNotKeyword_1_3()); }
1462) 1793)
1463; 1794;
1464finally { 1795finally {
1465 restoreStackSize(stackSize); 1796 restoreStackSize(stackSize);
1466} 1797}
1467 1798
1468rule__VLSInclude__Group_2__2 1799rule__VLSConfirmations__Group_1__4
1469 @init { 1800 @init {
1470 int stackSize = keepStackSize(); 1801 int stackSize = keepStackSize();
1471 } 1802 }
1472: 1803:
1473 rule__VLSInclude__Group_2__2__Impl 1804 rule__VLSConfirmations__Group_1__4__Impl
1474 rule__VLSInclude__Group_2__3 1805 rule__VLSConfirmations__Group_1__5
1475; 1806;
1476finally { 1807finally {
1477 restoreStackSize(stackSize); 1808 restoreStackSize(stackSize);
1478} 1809}
1479 1810
1480rule__VLSInclude__Group_2__2__Impl 1811rule__VLSConfirmations__Group_1__4__Impl
1481 @init { 1812 @init {
1482 int stackSize = keepStackSize(); 1813 int stackSize = keepStackSize();
1483 } 1814 }
1484: 1815:
1485( 1816(
1486 { before(grammarAccess.getVLSIncludeAccess().getGroup_2_2()); } 1817 { before(grammarAccess.getVLSConfirmationsAccess().getSetKeyword_1_4()); }
1487 (rule__VLSInclude__Group_2_2__0)* 1818 'set'
1488 { after(grammarAccess.getVLSIncludeAccess().getGroup_2_2()); } 1819 { after(grammarAccess.getVLSConfirmationsAccess().getSetKeyword_1_4()); }
1489) 1820)
1490; 1821;
1491finally { 1822finally {
1492 restoreStackSize(stackSize); 1823 restoreStackSize(stackSize);
1493} 1824}
1494 1825
1495rule__VLSInclude__Group_2__3 1826rule__VLSConfirmations__Group_1__5
1496 @init { 1827 @init {
1497 int stackSize = keepStackSize(); 1828 int stackSize = keepStackSize();
1498 } 1829 }
1499: 1830:
1500 rule__VLSInclude__Group_2__3__Impl 1831 rule__VLSConfirmations__Group_1__5__Impl
1832 rule__VLSConfirmations__Group_1__6
1501; 1833;
1502finally { 1834finally {
1503 restoreStackSize(stackSize); 1835 restoreStackSize(stackSize);
1504} 1836}
1505 1837
1506rule__VLSInclude__Group_2__3__Impl 1838rule__VLSConfirmations__Group_1__5__Impl
1507 @init { 1839 @init {
1508 int stackSize = keepStackSize(); 1840 int stackSize = keepStackSize();
1509 } 1841 }
1510: 1842:
1511( 1843(
1512 { before(grammarAccess.getVLSIncludeAccess().getRightSquareBracketKeyword_2_3()); } 1844 { before(grammarAccess.getVLSConfirmationsAccess().getResourceKeyword_1_5()); }
1513 ']' 1845 'resource'
1514 { after(grammarAccess.getVLSIncludeAccess().getRightSquareBracketKeyword_2_3()); } 1846 { after(grammarAccess.getVLSConfirmationsAccess().getResourceKeyword_1_5()); }
1847)
1848;
1849finally {
1850 restoreStackSize(stackSize);
1851}
1852
1853rule__VLSConfirmations__Group_1__6
1854 @init {
1855 int stackSize = keepStackSize();
1856 }
1857:
1858 rule__VLSConfirmations__Group_1__6__Impl
1859 rule__VLSConfirmations__Group_1__7
1860;
1861finally {
1862 restoreStackSize(stackSize);
1863}
1864
1865rule__VLSConfirmations__Group_1__6__Impl
1866 @init {
1867 int stackSize = keepStackSize();
1868 }
1869:
1870(
1871 { before(grammarAccess.getVLSConfirmationsAccess().getLimitKeyword_1_6()); }
1872 'limit:'
1873 { after(grammarAccess.getVLSConfirmationsAccess().getLimitKeyword_1_6()); }
1515) 1874)
1516; 1875;
1517finally { 1876finally {
1518 restoreStackSize(stackSize); 1877 restoreStackSize(stackSize);
1519} 1878}
1520 1879
1880rule__VLSConfirmations__Group_1__7
1881 @init {
1882 int stackSize = keepStackSize();
1883 }
1884:
1885 rule__VLSConfirmations__Group_1__7__Impl
1886 rule__VLSConfirmations__Group_1__8
1887;
1888finally {
1889 restoreStackSize(stackSize);
1890}
1891
1892rule__VLSConfirmations__Group_1__7__Impl
1893 @init {
1894 int stackSize = keepStackSize();
1895 }
1896:
1897(
1898 { before(grammarAccess.getVLSConfirmationsAccess().getVirtualKeyword_1_7()); }
1899 'Virtual'
1900 { after(grammarAccess.getVLSConfirmationsAccess().getVirtualKeyword_1_7()); }
1901)
1902;
1903finally {
1904 restoreStackSize(stackSize);
1905}
1521 1906
1522rule__VLSInclude__Group_2_2__0 1907rule__VLSConfirmations__Group_1__8
1523 @init { 1908 @init {
1524 int stackSize = keepStackSize(); 1909 int stackSize = keepStackSize();
1525 } 1910 }
1526: 1911:
1527 rule__VLSInclude__Group_2_2__0__Impl 1912 rule__VLSConfirmations__Group_1__8__Impl
1528 rule__VLSInclude__Group_2_2__1
1529; 1913;
1530finally { 1914finally {
1531 restoreStackSize(stackSize); 1915 restoreStackSize(stackSize);
1532} 1916}
1533 1917
1534rule__VLSInclude__Group_2_2__0__Impl 1918rule__VLSConfirmations__Group_1__8__Impl
1535 @init { 1919 @init {
1536 int stackSize = keepStackSize(); 1920 int stackSize = keepStackSize();
1537 } 1921 }
1538: 1922:
1539( 1923(
1540 { before(grammarAccess.getVLSIncludeAccess().getCommaKeyword_2_2_0()); } 1924 { before(grammarAccess.getVLSConfirmationsAccess().getMemoryKeyword_1_8()); }
1541 ',' 1925 'memory.'
1542 { after(grammarAccess.getVLSIncludeAccess().getCommaKeyword_2_2_0()); } 1926 { after(grammarAccess.getVLSConfirmationsAccess().getMemoryKeyword_1_8()); }
1927)
1928;
1929finally {
1930 restoreStackSize(stackSize);
1931}
1932
1933
1934rule__VLSConfirmations__Group_2__0
1935 @init {
1936 int stackSize = keepStackSize();
1937 }
1938:
1939 rule__VLSConfirmations__Group_2__0__Impl
1940 rule__VLSConfirmations__Group_2__1
1941;
1942finally {
1943 restoreStackSize(stackSize);
1944}
1945
1946rule__VLSConfirmations__Group_2__0__Impl
1947 @init {
1948 int stackSize = keepStackSize();
1949 }
1950:
1951(
1952 { before(grammarAccess.getVLSConfirmationsAccess().getVLSTryingAction_2_0()); }
1953 ()
1954 { after(grammarAccess.getVLSConfirmationsAccess().getVLSTryingAction_2_0()); }
1543) 1955)
1544; 1956;
1545finally { 1957finally {
1546 restoreStackSize(stackSize); 1958 restoreStackSize(stackSize);
1547} 1959}
1548 1960
1549rule__VLSInclude__Group_2_2__1 1961rule__VLSConfirmations__Group_2__1
1550 @init { 1962 @init {
1551 int stackSize = keepStackSize(); 1963 int stackSize = keepStackSize();
1552 } 1964 }
1553: 1965:
1554 rule__VLSInclude__Group_2_2__1__Impl 1966 rule__VLSConfirmations__Group_2__1__Impl
1967 rule__VLSConfirmations__Group_2__2
1555; 1968;
1556finally { 1969finally {
1557 restoreStackSize(stackSize); 1970 restoreStackSize(stackSize);
1558} 1971}
1559 1972
1560rule__VLSInclude__Group_2_2__1__Impl 1973rule__VLSConfirmations__Group_2__1__Impl
1561 @init { 1974 @init {
1562 int stackSize = keepStackSize(); 1975 int stackSize = keepStackSize();
1563 } 1976 }
1564: 1977:
1565( 1978(
1566 { before(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1()); } 1979 { before(grammarAccess.getVLSConfirmationsAccess().getTRYINGKeyword_2_1()); }
1567 (rule__VLSInclude__NamesAssignment_2_2_1) 1980 'TRYING'
1568 { after(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1()); } 1981 { after(grammarAccess.getVLSConfirmationsAccess().getTRYINGKeyword_2_1()); }
1569) 1982)
1570; 1983;
1571finally { 1984finally {
1572 restoreStackSize(stackSize); 1985 restoreStackSize(stackSize);
1573} 1986}
1574 1987
1988rule__VLSConfirmations__Group_2__2
1989 @init {
1990 int stackSize = keepStackSize();
1991 }
1992:
1993 rule__VLSConfirmations__Group_2__2__Impl
1994 rule__VLSConfirmations__Group_2__3
1995;
1996finally {
1997 restoreStackSize(stackSize);
1998}
1575 1999
1576rule__VLSComment__Group__0 2000rule__VLSConfirmations__Group_2__2__Impl
1577 @init { 2001 @init {
1578 int stackSize = keepStackSize(); 2002 int stackSize = keepStackSize();
1579 } 2003 }
1580: 2004:
1581 rule__VLSComment__Group__0__Impl 2005(
1582 rule__VLSComment__Group__1 2006 { before(grammarAccess.getVLSConfirmationsAccess().getLeftSquareBracketKeyword_2_2()); }
2007 '['
2008 { after(grammarAccess.getVLSConfirmationsAccess().getLeftSquareBracketKeyword_2_2()); }
2009)
1583; 2010;
1584finally { 2011finally {
1585 restoreStackSize(stackSize); 2012 restoreStackSize(stackSize);
1586} 2013}
1587 2014
1588rule__VLSComment__Group__0__Impl 2015rule__VLSConfirmations__Group_2__3
2016 @init {
2017 int stackSize = keepStackSize();
2018 }
2019:
2020 rule__VLSConfirmations__Group_2__3__Impl
2021 rule__VLSConfirmations__Group_2__4
2022;
2023finally {
2024 restoreStackSize(stackSize);
2025}
2026
2027rule__VLSConfirmations__Group_2__3__Impl
1589 @init { 2028 @init {
1590 int stackSize = keepStackSize(); 2029 int stackSize = keepStackSize();
1591 } 2030 }
1592: 2031:
1593( 2032(
1594 { before(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); } 2033 { before(grammarAccess.getVLSConfirmationsAccess().getNameAssignment_2_3()); }
1595 '%' 2034 (rule__VLSConfirmations__NameAssignment_2_3)
1596 { after(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); } 2035 { after(grammarAccess.getVLSConfirmationsAccess().getNameAssignment_2_3()); }
1597) 2036)
1598; 2037;
1599finally { 2038finally {
1600 restoreStackSize(stackSize); 2039 restoreStackSize(stackSize);
1601} 2040}
1602 2041
1603rule__VLSComment__Group__1 2042rule__VLSConfirmations__Group_2__4
1604 @init { 2043 @init {
1605 int stackSize = keepStackSize(); 2044 int stackSize = keepStackSize();
1606 } 2045 }
1607: 2046:
1608 rule__VLSComment__Group__1__Impl 2047 rule__VLSConfirmations__Group_2__4__Impl
1609; 2048;
1610finally { 2049finally {
1611 restoreStackSize(stackSize); 2050 restoreStackSize(stackSize);
1612} 2051}
1613 2052
1614rule__VLSComment__Group__1__Impl 2053rule__VLSConfirmations__Group_2__4__Impl
1615 @init { 2054 @init {
1616 int stackSize = keepStackSize(); 2055 int stackSize = keepStackSize();
1617 } 2056 }
1618: 2057:
1619( 2058(
1620 { before(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); } 2059 { before(grammarAccess.getVLSConfirmationsAccess().getRightSquareBracketKeyword_2_4()); }
1621 (rule__VLSComment__CommentAssignment_1) 2060 ']'
1622 { after(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); } 2061 { after(grammarAccess.getVLSConfirmationsAccess().getRightSquareBracketKeyword_2_4()); }
1623) 2062)
1624; 2063;
1625finally { 2064finally {
@@ -1627,53 +2066,107 @@ finally {
1627} 2066}
1628 2067
1629 2068
1630rule__VLSSatisfiable__Group__0 2069rule__VLSConfirmations__Group_3__0
1631 @init { 2070 @init {
1632 int stackSize = keepStackSize(); 2071 int stackSize = keepStackSize();
1633 } 2072 }
1634: 2073:
1635 rule__VLSSatisfiable__Group__0__Impl 2074 rule__VLSConfirmations__Group_3__0__Impl
1636 rule__VLSSatisfiable__Group__1 2075 rule__VLSConfirmations__Group_3__1
1637; 2076;
1638finally { 2077finally {
1639 restoreStackSize(stackSize); 2078 restoreStackSize(stackSize);
1640} 2079}
1641 2080
1642rule__VLSSatisfiable__Group__0__Impl 2081rule__VLSConfirmations__Group_3__0__Impl
1643 @init { 2082 @init {
1644 int stackSize = keepStackSize(); 2083 int stackSize = keepStackSize();
1645 } 2084 }
1646: 2085:
1647( 2086(
1648 { before(grammarAccess.getVLSSatisfiableAccess().getVLSSatisfiableAction_0()); } 2087 { before(grammarAccess.getVLSConfirmationsAccess().getVLSFiniteModelAction_3_0()); }
1649 () 2088 ()
1650 { after(grammarAccess.getVLSSatisfiableAccess().getVLSSatisfiableAction_0()); } 2089 { after(grammarAccess.getVLSConfirmationsAccess().getVLSFiniteModelAction_3_0()); }
1651) 2090)
1652; 2091;
1653finally { 2092finally {
1654 restoreStackSize(stackSize); 2093 restoreStackSize(stackSize);
1655} 2094}
1656 2095
1657rule__VLSSatisfiable__Group__1 2096rule__VLSConfirmations__Group_3__1
1658 @init { 2097 @init {
1659 int stackSize = keepStackSize(); 2098 int stackSize = keepStackSize();
1660 } 2099 }
1661: 2100:
1662 rule__VLSSatisfiable__Group__1__Impl 2101 rule__VLSConfirmations__Group_3__1__Impl
2102 rule__VLSConfirmations__Group_3__2
1663; 2103;
1664finally { 2104finally {
1665 restoreStackSize(stackSize); 2105 restoreStackSize(stackSize);
1666} 2106}
1667 2107
1668rule__VLSSatisfiable__Group__1__Impl 2108rule__VLSConfirmations__Group_3__1__Impl
1669 @init { 2109 @init {
1670 int stackSize = keepStackSize(); 2110 int stackSize = keepStackSize();
1671 } 2111 }
1672: 2112:
1673( 2113(
1674 { before(grammarAccess.getVLSSatisfiableAccess().getSatisfiableKeyword_1()); } 2114 { before(grammarAccess.getVLSConfirmationsAccess().getFiniteKeyword_3_1()); }
1675 'Satisfiable!' 2115 'Finite'
1676 { after(grammarAccess.getVLSSatisfiableAccess().getSatisfiableKeyword_1()); } 2116 { after(grammarAccess.getVLSConfirmationsAccess().getFiniteKeyword_3_1()); }
2117)
2118;
2119finally {
2120 restoreStackSize(stackSize);
2121}
2122
2123rule__VLSConfirmations__Group_3__2
2124 @init {
2125 int stackSize = keepStackSize();
2126 }
2127:
2128 rule__VLSConfirmations__Group_3__2__Impl
2129 rule__VLSConfirmations__Group_3__3
2130;
2131finally {
2132 restoreStackSize(stackSize);
2133}
2134
2135rule__VLSConfirmations__Group_3__2__Impl
2136 @init {
2137 int stackSize = keepStackSize();
2138 }
2139:
2140(
2141 { before(grammarAccess.getVLSConfirmationsAccess().getModelKeyword_3_2()); }
2142 'Model'
2143 { after(grammarAccess.getVLSConfirmationsAccess().getModelKeyword_3_2()); }
2144)
2145;
2146finally {
2147 restoreStackSize(stackSize);
2148}
2149
2150rule__VLSConfirmations__Group_3__3
2151 @init {
2152 int stackSize = keepStackSize();
2153 }
2154:
2155 rule__VLSConfirmations__Group_3__3__Impl
2156;
2157finally {
2158 restoreStackSize(stackSize);
2159}
2160
2161rule__VLSConfirmations__Group_3__3__Impl
2162 @init {
2163 int stackSize = keepStackSize();
2164 }
2165:
2166(
2167 { before(grammarAccess.getVLSConfirmationsAccess().getFoundKeyword_3_3()); }
2168 'Found!'
2169 { after(grammarAccess.getVLSConfirmationsAccess().getFoundKeyword_3_3()); }
1677) 2170)
1678; 2171;
1679finally { 2172finally {
@@ -2131,9 +2624,9 @@ rule__VLSTffFormula__Group__4__Impl
2131 } 2624 }
2132: 2625:
2133( 2626(
2134 { before(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4()); } 2627 { before(grammarAccess.getVLSTffFormulaAccess().getTffRoleAssignment_4()); }
2135 (rule__VLSTffFormula__FofRoleAssignment_4) 2628 (rule__VLSTffFormula__TffRoleAssignment_4)
2136 { after(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4()); } 2629 { after(grammarAccess.getVLSTffFormulaAccess().getTffRoleAssignment_4()); }
2137) 2630)
2138; 2631;
2139finally { 2632finally {
@@ -2329,6 +2822,60 @@ finally {
2329} 2822}
2330 2823
2331 2824
2825rule__VLSTffDeclPred__Group_0__0
2826 @init {
2827 int stackSize = keepStackSize();
2828 }
2829:
2830 rule__VLSTffDeclPred__Group_0__0__Impl
2831 rule__VLSTffDeclPred__Group_0__1
2832;
2833finally {
2834 restoreStackSize(stackSize);
2835}
2836
2837rule__VLSTffDeclPred__Group_0__0__Impl
2838 @init {
2839 int stackSize = keepStackSize();
2840 }
2841:
2842(
2843 { before(grammarAccess.getVLSTffDeclPredAccess().getDeclare_Keyword_0_0()); }
2844 'declare_'
2845 { after(grammarAccess.getVLSTffDeclPredAccess().getDeclare_Keyword_0_0()); }
2846)
2847;
2848finally {
2849 restoreStackSize(stackSize);
2850}
2851
2852rule__VLSTffDeclPred__Group_0__1
2853 @init {
2854 int stackSize = keepStackSize();
2855 }
2856:
2857 rule__VLSTffDeclPred__Group_0__1__Impl
2858;
2859finally {
2860 restoreStackSize(stackSize);
2861}
2862
2863rule__VLSTffDeclPred__Group_0__1__Impl
2864 @init {
2865 int stackSize = keepStackSize();
2866 }
2867:
2868(
2869 { before(grammarAccess.getVLSTffDeclPredAccess().getDOLLAR_IDTerminalRuleCall_0_1()); }
2870 RULE_DOLLAR_ID
2871 { after(grammarAccess.getVLSTffDeclPredAccess().getDOLLAR_IDTerminalRuleCall_0_1()); }
2872)
2873;
2874finally {
2875 restoreStackSize(stackSize);
2876}
2877
2878
2332rule__VLSAnnotation__Group__0 2879rule__VLSAnnotation__Group__0
2333 @init { 2880 @init {
2334 int stackSize = keepStackSize(); 2881 int stackSize = keepStackSize();
@@ -2626,6 +3173,384 @@ finally {
2626} 3173}
2627 3174
2628 3175
3176rule__VLSOtherDeclaration__Group__0
3177 @init {
3178 int stackSize = keepStackSize();
3179 }
3180:
3181 rule__VLSOtherDeclaration__Group__0__Impl
3182 rule__VLSOtherDeclaration__Group__1
3183;
3184finally {
3185 restoreStackSize(stackSize);
3186}
3187
3188rule__VLSOtherDeclaration__Group__0__Impl
3189 @init {
3190 int stackSize = keepStackSize();
3191 }
3192:
3193(
3194 { before(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); }
3195 ruleVLSAtomicConstant
3196 { after(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); }
3197)
3198;
3199finally {
3200 restoreStackSize(stackSize);
3201}
3202
3203rule__VLSOtherDeclaration__Group__1
3204 @init {
3205 int stackSize = keepStackSize();
3206 }
3207:
3208 rule__VLSOtherDeclaration__Group__1__Impl
3209 rule__VLSOtherDeclaration__Group__2
3210;
3211finally {
3212 restoreStackSize(stackSize);
3213}
3214
3215rule__VLSOtherDeclaration__Group__1__Impl
3216 @init {
3217 int stackSize = keepStackSize();
3218 }
3219:
3220(
3221 { before(grammarAccess.getVLSOtherDeclarationAccess().getColonKeyword_1()); }
3222 ':'
3223 { after(grammarAccess.getVLSOtherDeclarationAccess().getColonKeyword_1()); }
3224)
3225;
3226finally {
3227 restoreStackSize(stackSize);
3228}
3229
3230rule__VLSOtherDeclaration__Group__2
3231 @init {
3232 int stackSize = keepStackSize();
3233 }
3234:
3235 rule__VLSOtherDeclaration__Group__2__Impl
3236;
3237finally {
3238 restoreStackSize(stackSize);
3239}
3240
3241rule__VLSOtherDeclaration__Group__2__Impl
3242 @init {
3243 int stackSize = keepStackSize();
3244 }
3245:
3246(
3247 { before(grammarAccess.getVLSOtherDeclarationAccess().getTypeAssignment_2()); }
3248 (rule__VLSOtherDeclaration__TypeAssignment_2)
3249 { after(grammarAccess.getVLSOtherDeclarationAccess().getTypeAssignment_2()); }
3250)
3251;
3252finally {
3253 restoreStackSize(stackSize);
3254}
3255
3256
3257rule__VLSVariableDeclaration__Group__0
3258 @init {
3259 int stackSize = keepStackSize();
3260 }
3261:
3262 rule__VLSVariableDeclaration__Group__0__Impl
3263 rule__VLSVariableDeclaration__Group__1
3264;
3265finally {
3266 restoreStackSize(stackSize);
3267}
3268
3269rule__VLSVariableDeclaration__Group__0__Impl
3270 @init {
3271 int stackSize = keepStackSize();
3272 }
3273:
3274(
3275 { before(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); }
3276 ruleVLSVariable
3277 { after(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); }
3278)
3279;
3280finally {
3281 restoreStackSize(stackSize);
3282}
3283
3284rule__VLSVariableDeclaration__Group__1
3285 @init {
3286 int stackSize = keepStackSize();
3287 }
3288:
3289 rule__VLSVariableDeclaration__Group__1__Impl
3290 rule__VLSVariableDeclaration__Group__2
3291;
3292finally {
3293 restoreStackSize(stackSize);
3294}
3295
3296rule__VLSVariableDeclaration__Group__1__Impl
3297 @init {
3298 int stackSize = keepStackSize();
3299 }
3300:
3301(
3302 { before(grammarAccess.getVLSVariableDeclarationAccess().getColonKeyword_1()); }
3303 ':'
3304 { after(grammarAccess.getVLSVariableDeclarationAccess().getColonKeyword_1()); }
3305)
3306;
3307finally {
3308 restoreStackSize(stackSize);
3309}
3310
3311rule__VLSVariableDeclaration__Group__2
3312 @init {
3313 int stackSize = keepStackSize();
3314 }
3315:
3316 rule__VLSVariableDeclaration__Group__2__Impl
3317;
3318finally {
3319 restoreStackSize(stackSize);
3320}
3321
3322rule__VLSVariableDeclaration__Group__2__Impl
3323 @init {
3324 int stackSize = keepStackSize();
3325 }
3326:
3327(
3328 { before(grammarAccess.getVLSVariableDeclarationAccess().getTypeAssignment_2()); }
3329 (rule__VLSVariableDeclaration__TypeAssignment_2)
3330 { after(grammarAccess.getVLSVariableDeclarationAccess().getTypeAssignment_2()); }
3331)
3332;
3333finally {
3334 restoreStackSize(stackSize);
3335}
3336
3337
3338rule__VLSTypeDef__Group__0
3339 @init {
3340 int stackSize = keepStackSize();
3341 }
3342:
3343 rule__VLSTypeDef__Group__0__Impl
3344 rule__VLSTypeDef__Group__1
3345;
3346finally {
3347 restoreStackSize(stackSize);
3348}
3349
3350rule__VLSTypeDef__Group__0__Impl
3351 @init {
3352 int stackSize = keepStackSize();
3353 }
3354:
3355(
3356 { before(grammarAccess.getVLSTypeDefAccess().getTypeSigAssignment_0()); }
3357 (rule__VLSTypeDef__TypeSigAssignment_0)
3358 { after(grammarAccess.getVLSTypeDefAccess().getTypeSigAssignment_0()); }
3359)
3360;
3361finally {
3362 restoreStackSize(stackSize);
3363}
3364
3365rule__VLSTypeDef__Group__1
3366 @init {
3367 int stackSize = keepStackSize();
3368 }
3369:
3370 rule__VLSTypeDef__Group__1__Impl
3371;
3372finally {
3373 restoreStackSize(stackSize);
3374}
3375
3376rule__VLSTypeDef__Group__1__Impl
3377 @init {
3378 int stackSize = keepStackSize();
3379 }
3380:
3381(
3382 { before(grammarAccess.getVLSTypeDefAccess().getGroup_1()); }
3383 (rule__VLSTypeDef__Group_1__0)?
3384 { after(grammarAccess.getVLSTypeDefAccess().getGroup_1()); }
3385)
3386;
3387finally {
3388 restoreStackSize(stackSize);
3389}
3390
3391
3392rule__VLSTypeDef__Group_1__0
3393 @init {
3394 int stackSize = keepStackSize();
3395 }
3396:
3397 rule__VLSTypeDef__Group_1__0__Impl
3398 rule__VLSTypeDef__Group_1__1
3399;
3400finally {
3401 restoreStackSize(stackSize);
3402}
3403
3404rule__VLSTypeDef__Group_1__0__Impl
3405 @init {
3406 int stackSize = keepStackSize();
3407 }
3408:
3409(
3410 { before(grammarAccess.getVLSTypeDefAccess().getGreaterThanSignKeyword_1_0()); }
3411 '>'
3412 { after(grammarAccess.getVLSTypeDefAccess().getGreaterThanSignKeyword_1_0()); }
3413)
3414;
3415finally {
3416 restoreStackSize(stackSize);
3417}
3418
3419rule__VLSTypeDef__Group_1__1
3420 @init {
3421 int stackSize = keepStackSize();
3422 }
3423:
3424 rule__VLSTypeDef__Group_1__1__Impl
3425;
3426finally {
3427 restoreStackSize(stackSize);
3428}
3429
3430rule__VLSTypeDef__Group_1__1__Impl
3431 @init {
3432 int stackSize = keepStackSize();
3433 }
3434:
3435(
3436 { before(grammarAccess.getVLSTypeDefAccess().getMapsToAssignment_1_1()); }
3437 (rule__VLSTypeDef__MapsToAssignment_1_1)
3438 { after(grammarAccess.getVLSTypeDefAccess().getMapsToAssignment_1_1()); }
3439)
3440;
3441finally {
3442 restoreStackSize(stackSize);
3443}
3444
3445
3446rule__VLSUnitaryTerm__Group__0
3447 @init {
3448 int stackSize = keepStackSize();
3449 }
3450:
3451 rule__VLSUnitaryTerm__Group__0__Impl
3452 rule__VLSUnitaryTerm__Group__1
3453;
3454finally {
3455 restoreStackSize(stackSize);
3456}
3457
3458rule__VLSUnitaryTerm__Group__0__Impl
3459 @init {
3460 int stackSize = keepStackSize();
3461 }
3462:
3463(
3464 { before(grammarAccess.getVLSUnitaryTermAccess().getInitTypeAssignment_0()); }
3465 (rule__VLSUnitaryTerm__InitTypeAssignment_0)
3466 { after(grammarAccess.getVLSUnitaryTermAccess().getInitTypeAssignment_0()); }
3467)
3468;
3469finally {
3470 restoreStackSize(stackSize);
3471}
3472
3473rule__VLSUnitaryTerm__Group__1
3474 @init {
3475 int stackSize = keepStackSize();
3476 }
3477:
3478 rule__VLSUnitaryTerm__Group__1__Impl
3479;
3480finally {
3481 restoreStackSize(stackSize);
3482}
3483
3484rule__VLSUnitaryTerm__Group__1__Impl
3485 @init {
3486 int stackSize = keepStackSize();
3487 }
3488:
3489(
3490 { before(grammarAccess.getVLSUnitaryTermAccess().getGroup_1()); }
3491 (rule__VLSUnitaryTerm__Group_1__0)*
3492 { after(grammarAccess.getVLSUnitaryTermAccess().getGroup_1()); }
3493)
3494;
3495finally {
3496 restoreStackSize(stackSize);
3497}
3498
3499
3500rule__VLSUnitaryTerm__Group_1__0
3501 @init {
3502 int stackSize = keepStackSize();
3503 }
3504:
3505 rule__VLSUnitaryTerm__Group_1__0__Impl
3506 rule__VLSUnitaryTerm__Group_1__1
3507;
3508finally {
3509 restoreStackSize(stackSize);
3510}
3511
3512rule__VLSUnitaryTerm__Group_1__0__Impl
3513 @init {
3514 int stackSize = keepStackSize();
3515 }
3516:
3517(
3518 { before(grammarAccess.getVLSUnitaryTermAccess().getAsteriskKeyword_1_0()); }
3519 '*'
3520 { after(grammarAccess.getVLSUnitaryTermAccess().getAsteriskKeyword_1_0()); }
3521)
3522;
3523finally {
3524 restoreStackSize(stackSize);
3525}
3526
3527rule__VLSUnitaryTerm__Group_1__1
3528 @init {
3529 int stackSize = keepStackSize();
3530 }
3531:
3532 rule__VLSUnitaryTerm__Group_1__1__Impl
3533;
3534finally {
3535 restoreStackSize(stackSize);
3536}
3537
3538rule__VLSUnitaryTerm__Group_1__1__Impl
3539 @init {
3540 int stackSize = keepStackSize();
3541 }
3542:
3543(
3544 { before(grammarAccess.getVLSUnitaryTermAccess().getNextTypeAssignment_1_1()); }
3545 (rule__VLSUnitaryTerm__NextTypeAssignment_1_1)
3546 { after(grammarAccess.getVLSUnitaryTermAccess().getNextTypeAssignment_1_1()); }
3547)
3548;
3549finally {
3550 restoreStackSize(stackSize);
3551}
3552
3553
2629rule__VLSBinary__Group__0 3554rule__VLSBinary__Group__0
2630 @init { 3555 @init {
2631 int stackSize = keepStackSize(); 3556 int stackSize = keepStackSize();
@@ -5128,9 +6053,9 @@ rule__VLSDefinedTerm__Group_1__0__Impl
5128 } 6053 }
5129: 6054:
5130( 6055(
5131 { before(grammarAccess.getVLSDefinedTermAccess().getVLSRealAction_1_0()); } 6056 { before(grammarAccess.getVLSDefinedTermAccess().getVLSDoubleQuoteAction_1_0()); }
5132 () 6057 ()
5133 { after(grammarAccess.getVLSDefinedTermAccess().getVLSRealAction_1_0()); } 6058 { after(grammarAccess.getVLSDefinedTermAccess().getVLSDoubleQuoteAction_1_0()); }
5134) 6059)
5135; 6060;
5136finally { 6061finally {
@@ -5164,438 +6089,360 @@ finally {
5164} 6089}
5165 6090
5166 6091
5167rule__VLSDefinedTerm__Group_2__0 6092rule__VampireModel__CommentsAssignment_0
5168 @init {
5169 int stackSize = keepStackSize();
5170 }
5171:
5172 rule__VLSDefinedTerm__Group_2__0__Impl
5173 rule__VLSDefinedTerm__Group_2__1
5174;
5175finally {
5176 restoreStackSize(stackSize);
5177}
5178
5179rule__VLSDefinedTerm__Group_2__0__Impl
5180 @init { 6093 @init {
5181 int stackSize = keepStackSize(); 6094 int stackSize = keepStackSize();
5182 } 6095 }
5183: 6096:
5184( 6097 (
5185 { before(grammarAccess.getVLSDefinedTermAccess().getVLSRationalAction_2_0()); } 6098 { before(grammarAccess.getVampireModelAccess().getCommentsVLSCommentParserRuleCall_0_0()); }
5186 () 6099 ruleVLSComment
5187 { after(grammarAccess.getVLSDefinedTermAccess().getVLSRationalAction_2_0()); } 6100 { after(grammarAccess.getVampireModelAccess().getCommentsVLSCommentParserRuleCall_0_0()); }
5188) 6101 )
5189;
5190finally {
5191 restoreStackSize(stackSize);
5192}
5193
5194rule__VLSDefinedTerm__Group_2__1
5195 @init {
5196 int stackSize = keepStackSize();
5197 }
5198:
5199 rule__VLSDefinedTerm__Group_2__1__Impl
5200;
5201finally {
5202 restoreStackSize(stackSize);
5203}
5204
5205rule__VLSDefinedTerm__Group_2__1__Impl
5206 @init {
5207 int stackSize = keepStackSize();
5208 }
5209:
5210(
5211 { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1()); }
5212 (rule__VLSDefinedTerm__ValueAssignment_2_1)
5213 { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1()); }
5214)
5215;
5216finally {
5217 restoreStackSize(stackSize);
5218}
5219
5220
5221rule__VLSDefinedTerm__Group_3__0
5222 @init {
5223 int stackSize = keepStackSize();
5224 }
5225:
5226 rule__VLSDefinedTerm__Group_3__0__Impl
5227 rule__VLSDefinedTerm__Group_3__1
5228;
5229finally {
5230 restoreStackSize(stackSize);
5231}
5232
5233rule__VLSDefinedTerm__Group_3__0__Impl
5234 @init {
5235 int stackSize = keepStackSize();
5236 }
5237:
5238(
5239 { before(grammarAccess.getVLSDefinedTermAccess().getVLSDoubleQuoteAction_3_0()); }
5240 ()
5241 { after(grammarAccess.getVLSDefinedTermAccess().getVLSDoubleQuoteAction_3_0()); }
5242)
5243;
5244finally {
5245 restoreStackSize(stackSize);
5246}
5247
5248rule__VLSDefinedTerm__Group_3__1
5249 @init {
5250 int stackSize = keepStackSize();
5251 }
5252:
5253 rule__VLSDefinedTerm__Group_3__1__Impl
5254; 6102;
5255finally { 6103finally {
5256 restoreStackSize(stackSize); 6104 restoreStackSize(stackSize);
5257} 6105}
5258 6106
5259rule__VLSDefinedTerm__Group_3__1__Impl 6107rule__VampireModel__ConfirmationsAssignment_1
5260 @init { 6108 @init {
5261 int stackSize = keepStackSize(); 6109 int stackSize = keepStackSize();
5262 } 6110 }
5263: 6111:
5264( 6112 (
5265 { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1()); } 6113 { before(grammarAccess.getVampireModelAccess().getConfirmationsVLSConfirmationsParserRuleCall_1_0()); }
5266 (rule__VLSDefinedTerm__ValueAssignment_3_1) 6114 ruleVLSConfirmations
5267 { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1()); } 6115 { after(grammarAccess.getVampireModelAccess().getConfirmationsVLSConfirmationsParserRuleCall_1_0()); }
5268) 6116 )
5269; 6117;
5270finally { 6118finally {
5271 restoreStackSize(stackSize); 6119 restoreStackSize(stackSize);
5272} 6120}
5273 6121
5274 6122rule__VampireModel__FormulasAssignment_2
5275rule__VampireModel__IncludesAssignment_0
5276 @init { 6123 @init {
5277 int stackSize = keepStackSize(); 6124 int stackSize = keepStackSize();
5278 } 6125 }
5279: 6126:
5280 ( 6127 (
5281 { before(grammarAccess.getVampireModelAccess().getIncludesVLSIncludeParserRuleCall_0_0()); } 6128 { before(grammarAccess.getVampireModelAccess().getFormulasVLSFofFormulaParserRuleCall_2_0()); }
5282 ruleVLSInclude 6129 ruleVLSFofFormula
5283 { after(grammarAccess.getVampireModelAccess().getIncludesVLSIncludeParserRuleCall_0_0()); } 6130 { after(grammarAccess.getVampireModelAccess().getFormulasVLSFofFormulaParserRuleCall_2_0()); }
5284 ) 6131 )
5285; 6132;
5286finally { 6133finally {
5287 restoreStackSize(stackSize); 6134 restoreStackSize(stackSize);
5288} 6135}
5289 6136
5290rule__VampireModel__CommentsAssignment_1 6137rule__VampireModel__TfformulasAssignment_3
5291 @init { 6138 @init {
5292 int stackSize = keepStackSize(); 6139 int stackSize = keepStackSize();
5293 } 6140 }
5294: 6141:
5295 ( 6142 (
5296 { before(grammarAccess.getVampireModelAccess().getCommentsVLSCommentParserRuleCall_1_0()); } 6143 { before(grammarAccess.getVampireModelAccess().getTfformulasVLSTffFormulaParserRuleCall_3_0()); }
5297 ruleVLSComment 6144 ruleVLSTffFormula
5298 { after(grammarAccess.getVampireModelAccess().getCommentsVLSCommentParserRuleCall_1_0()); } 6145 { after(grammarAccess.getVampireModelAccess().getTfformulasVLSTffFormulaParserRuleCall_3_0()); }
5299 ) 6146 )
5300; 6147;
5301finally { 6148finally {
5302 restoreStackSize(stackSize); 6149 restoreStackSize(stackSize);
5303} 6150}
5304 6151
5305rule__VampireModel__ConfirmationsAssignment_2 6152rule__VLSComment__CommentAssignment
5306 @init { 6153 @init {
5307 int stackSize = keepStackSize(); 6154 int stackSize = keepStackSize();
5308 } 6155 }
5309: 6156:
5310 ( 6157 (
5311 { before(grammarAccess.getVampireModelAccess().getConfirmationsVLSConfirmationsParserRuleCall_2_0()); } 6158 { before(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); }
5312 ruleVLSConfirmations 6159 RULE_SINGLE_COMMENT
5313 { after(grammarAccess.getVampireModelAccess().getConfirmationsVLSConfirmationsParserRuleCall_2_0()); } 6160 { after(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_0()); }
5314 ) 6161 )
5315; 6162;
5316finally { 6163finally {
5317 restoreStackSize(stackSize); 6164 restoreStackSize(stackSize);
5318} 6165}
5319 6166
5320rule__VampireModel__FormulasAssignment_3 6167rule__VLSConfirmations__NameAssignment_2_3
5321 @init { 6168 @init {
5322 int stackSize = keepStackSize(); 6169 int stackSize = keepStackSize();
5323 } 6170 }
5324: 6171:
5325 ( 6172 (
5326 { before(grammarAccess.getVampireModelAccess().getFormulasVLSFofFormulaParserRuleCall_3_0()); } 6173 { before(grammarAccess.getVLSConfirmationsAccess().getNameLITERALTerminalRuleCall_2_3_0()); }
5327 ruleVLSFofFormula 6174 RULE_LITERAL
5328 { after(grammarAccess.getVampireModelAccess().getFormulasVLSFofFormulaParserRuleCall_3_0()); } 6175 { after(grammarAccess.getVLSConfirmationsAccess().getNameLITERALTerminalRuleCall_2_3_0()); }
5329 ) 6176 )
5330; 6177;
5331finally { 6178finally {
5332 restoreStackSize(stackSize); 6179 restoreStackSize(stackSize);
5333} 6180}
5334 6181
5335rule__VampireModel__TfformulasAssignment_4 6182rule__VLSFofFormula__NameAssignment_2
5336 @init { 6183 @init {
5337 int stackSize = keepStackSize(); 6184 int stackSize = keepStackSize();
5338 } 6185 }
5339: 6186:
5340 ( 6187 (
5341 { before(grammarAccess.getVampireModelAccess().getTfformulasVLSTffFormulaParserRuleCall_4_0()); } 6188 { before(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0()); }
5342 ruleVLSTffFormula 6189 (rule__VLSFofFormula__NameAlternatives_2_0)
5343 { after(grammarAccess.getVampireModelAccess().getTfformulasVLSTffFormulaParserRuleCall_4_0()); } 6190 { after(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0()); }
5344 ) 6191 )
5345; 6192;
5346finally { 6193finally {
5347 restoreStackSize(stackSize); 6194 restoreStackSize(stackSize);
5348} 6195}
5349 6196
5350rule__VLSInclude__FileNameAssignment_1 6197rule__VLSFofFormula__FofRoleAssignment_4
5351 @init { 6198 @init {
5352 int stackSize = keepStackSize(); 6199 int stackSize = keepStackSize();
5353 } 6200 }
5354: 6201:
5355 ( 6202 (
5356 { before(grammarAccess.getVLSIncludeAccess().getFileNameSINGLE_QUOTETerminalRuleCall_1_0()); } 6203 { before(grammarAccess.getVLSFofFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); }
5357 RULE_SINGLE_QUOTE 6204 ruleVLSRole
5358 { after(grammarAccess.getVLSIncludeAccess().getFileNameSINGLE_QUOTETerminalRuleCall_1_0()); } 6205 { after(grammarAccess.getVLSFofFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); }
5359 ) 6206 )
5360; 6207;
5361finally { 6208finally {
5362 restoreStackSize(stackSize); 6209 restoreStackSize(stackSize);
5363} 6210}
5364 6211
5365rule__VLSInclude__NamesAssignment_2_1 6212rule__VLSFofFormula__FofFormulaAssignment_6
5366 @init { 6213 @init {
5367 int stackSize = keepStackSize(); 6214 int stackSize = keepStackSize();
5368 } 6215 }
5369: 6216:
5370 ( 6217 (
5371 { before(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_1_0()); } 6218 { before(grammarAccess.getVLSFofFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); }
5372 ruleVLSName 6219 ruleVLSTerm
5373 { after(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_1_0()); } 6220 { after(grammarAccess.getVLSFofFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); }
5374 ) 6221 )
5375; 6222;
5376finally { 6223finally {
5377 restoreStackSize(stackSize); 6224 restoreStackSize(stackSize);
5378} 6225}
5379 6226
5380rule__VLSInclude__NamesAssignment_2_2_1 6227rule__VLSFofFormula__AnnotationsAssignment_7_1
5381 @init { 6228 @init {
5382 int stackSize = keepStackSize(); 6229 int stackSize = keepStackSize();
5383 } 6230 }
5384: 6231:
5385 ( 6232 (
5386 { before(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_2_1_0()); } 6233 { before(grammarAccess.getVLSFofFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); }
5387 ruleVLSName 6234 ruleVLSAnnotation
5388 { after(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_2_1_0()); } 6235 { after(grammarAccess.getVLSFofFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); }
5389 ) 6236 )
5390; 6237;
5391finally { 6238finally {
5392 restoreStackSize(stackSize); 6239 restoreStackSize(stackSize);
5393} 6240}
5394 6241
5395rule__VLSName__NameAssignment 6242rule__VLSTffFormula__NameAssignment_2
5396 @init { 6243 @init {
5397 int stackSize = keepStackSize(); 6244 int stackSize = keepStackSize();
5398 } 6245 }
5399: 6246:
5400 ( 6247 (
5401 { before(grammarAccess.getVLSNameAccess().getNameAlternatives_0()); } 6248 { before(grammarAccess.getVLSTffFormulaAccess().getNameVLSTffNameParserRuleCall_2_0()); }
5402 (rule__VLSName__NameAlternatives_0) 6249 ruleVLSTffName
5403 { after(grammarAccess.getVLSNameAccess().getNameAlternatives_0()); } 6250 { after(grammarAccess.getVLSTffFormulaAccess().getNameVLSTffNameParserRuleCall_2_0()); }
5404 ) 6251 )
5405; 6252;
5406finally { 6253finally {
5407 restoreStackSize(stackSize); 6254 restoreStackSize(stackSize);
5408} 6255}
5409 6256
5410rule__VLSComment__CommentAssignment_1 6257rule__VLSTffFormula__TffRoleAssignment_4
5411 @init { 6258 @init {
5412 int stackSize = keepStackSize(); 6259 int stackSize = keepStackSize();
5413 } 6260 }
5414: 6261:
5415 ( 6262 (
5416 { before(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); } 6263 { before(grammarAccess.getVLSTffFormulaAccess().getTffRoleVLSRoleParserRuleCall_4_0()); }
5417 RULE_SINGLE_COMMENT 6264 ruleVLSRole
5418 { after(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); } 6265 { after(grammarAccess.getVLSTffFormulaAccess().getTffRoleVLSRoleParserRuleCall_4_0()); }
5419 ) 6266 )
5420; 6267;
5421finally { 6268finally {
5422 restoreStackSize(stackSize); 6269 restoreStackSize(stackSize);
5423} 6270}
5424 6271
5425rule__VLSFofFormula__NameAssignment_2 6272rule__VLSTffFormula__FofFormulaAssignment_6
5426 @init { 6273 @init {
5427 int stackSize = keepStackSize(); 6274 int stackSize = keepStackSize();
5428 } 6275 }
5429: 6276:
5430 ( 6277 (
5431 { before(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0()); } 6278 { before(grammarAccess.getVLSTffFormulaAccess().getFofFormulaVLSTffTermParserRuleCall_6_0()); }
5432 (rule__VLSFofFormula__NameAlternatives_2_0) 6279 ruleVLSTffTerm
5433 { after(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0()); } 6280 { after(grammarAccess.getVLSTffFormulaAccess().getFofFormulaVLSTffTermParserRuleCall_6_0()); }
5434 ) 6281 )
5435; 6282;
5436finally { 6283finally {
5437 restoreStackSize(stackSize); 6284 restoreStackSize(stackSize);
5438} 6285}
5439 6286
5440rule__VLSFofFormula__FofRoleAssignment_4 6287rule__VLSTffFormula__AnnotationsAssignment_7_1
5441 @init { 6288 @init {
5442 int stackSize = keepStackSize(); 6289 int stackSize = keepStackSize();
5443 } 6290 }
5444: 6291:
5445 ( 6292 (
5446 { before(grammarAccess.getVLSFofFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); } 6293 { before(grammarAccess.getVLSTffFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); }
5447 ruleVLSRole 6294 ruleVLSAnnotation
5448 { after(grammarAccess.getVLSFofFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); } 6295 { after(grammarAccess.getVLSTffFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); }
5449 ) 6296 )
5450; 6297;
5451finally { 6298finally {
5452 restoreStackSize(stackSize); 6299 restoreStackSize(stackSize);
5453} 6300}
5454 6301
5455rule__VLSFofFormula__FofFormulaAssignment_6 6302rule__VLSAnnotation__NameAssignment_1
5456 @init { 6303 @init {
5457 int stackSize = keepStackSize(); 6304 int stackSize = keepStackSize();
5458 } 6305 }
5459: 6306:
5460 ( 6307 (
5461 { before(grammarAccess.getVLSFofFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); } 6308 { before(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0()); }
5462 ruleVLSTerm 6309 (rule__VLSAnnotation__NameAlternatives_1_0)
5463 { after(grammarAccess.getVLSFofFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); } 6310 { after(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0()); }
5464 ) 6311 )
5465; 6312;
5466finally { 6313finally {
5467 restoreStackSize(stackSize); 6314 restoreStackSize(stackSize);
5468} 6315}
5469 6316
5470rule__VLSFofFormula__AnnotationsAssignment_7_1 6317rule__VLSAnnotation__FollowupAssignment_2_1
5471 @init { 6318 @init {
5472 int stackSize = keepStackSize(); 6319 int stackSize = keepStackSize();
5473 } 6320 }
5474: 6321:
5475 ( 6322 (
5476 { before(grammarAccess.getVLSFofFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); } 6323 { before(grammarAccess.getVLSAnnotationAccess().getFollowupVLSAnnotationTermsParserRuleCall_2_1_0()); }
5477 ruleVLSAnnotation 6324 ruleVLSAnnotationTerms
5478 { after(grammarAccess.getVLSFofFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); } 6325 { after(grammarAccess.getVLSAnnotationAccess().getFollowupVLSAnnotationTermsParserRuleCall_2_1_0()); }
5479 ) 6326 )
5480; 6327;
5481finally { 6328finally {
5482 restoreStackSize(stackSize); 6329 restoreStackSize(stackSize);
5483} 6330}
5484 6331
5485rule__VLSTffFormula__NameAssignment_2 6332rule__VLSAnnotationTerms__TermsAssignment_0
5486 @init { 6333 @init {
5487 int stackSize = keepStackSize(); 6334 int stackSize = keepStackSize();
5488 } 6335 }
5489: 6336:
5490 ( 6337 (
5491 { before(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0()); } 6338 { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_0_0()); }
5492 (rule__VLSTffFormula__NameAlternatives_2_0) 6339 ruleVLSAnnotation
5493 { after(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0()); } 6340 { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_0_0()); }
5494 ) 6341 )
5495; 6342;
5496finally { 6343finally {
5497 restoreStackSize(stackSize); 6344 restoreStackSize(stackSize);
5498} 6345}
5499 6346
5500rule__VLSTffFormula__FofRoleAssignment_4 6347rule__VLSAnnotationTerms__TermsAssignment_1_1
5501 @init { 6348 @init {
5502 int stackSize = keepStackSize(); 6349 int stackSize = keepStackSize();
5503 } 6350 }
5504: 6351:
5505 ( 6352 (
5506 { before(grammarAccess.getVLSTffFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); } 6353 { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_1_1_0()); }
5507 ruleVLSRole 6354 ruleVLSAnnotation
5508 { after(grammarAccess.getVLSTffFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); } 6355 { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_1_1_0()); }
5509 ) 6356 )
5510; 6357;
5511finally { 6358finally {
5512 restoreStackSize(stackSize); 6359 restoreStackSize(stackSize);
5513} 6360}
5514 6361
5515rule__VLSTffFormula__FofFormulaAssignment_6 6362rule__VLSOtherDeclaration__TypeAssignment_2
5516 @init { 6363 @init {
5517 int stackSize = keepStackSize(); 6364 int stackSize = keepStackSize();
5518 } 6365 }
5519: 6366:
5520 ( 6367 (
5521 { before(grammarAccess.getVLSTffFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); } 6368 { before(grammarAccess.getVLSOtherDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); }
5522 ruleVLSTerm 6369 ruleVLSTypeDef
5523 { after(grammarAccess.getVLSTffFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); } 6370 { after(grammarAccess.getVLSOtherDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); }
5524 ) 6371 )
5525; 6372;
5526finally { 6373finally {
5527 restoreStackSize(stackSize); 6374 restoreStackSize(stackSize);
5528} 6375}
5529 6376
5530rule__VLSTffFormula__AnnotationsAssignment_7_1 6377rule__VLSVariableDeclaration__TypeAssignment_2
5531 @init { 6378 @init {
5532 int stackSize = keepStackSize(); 6379 int stackSize = keepStackSize();
5533 } 6380 }
5534: 6381:
5535 ( 6382 (
5536 { before(grammarAccess.getVLSTffFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); } 6383 { before(grammarAccess.getVLSVariableDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); }
5537 ruleVLSAnnotation 6384 ruleVLSTypeDef
5538 { after(grammarAccess.getVLSTffFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); } 6385 { after(grammarAccess.getVLSVariableDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0()); }
5539 ) 6386 )
5540; 6387;
5541finally { 6388finally {
5542 restoreStackSize(stackSize); 6389 restoreStackSize(stackSize);
5543} 6390}
5544 6391
5545rule__VLSAnnotation__NameAssignment_1 6392rule__VLSTypeDef__TypeSigAssignment_0
5546 @init { 6393 @init {
5547 int stackSize = keepStackSize(); 6394 int stackSize = keepStackSize();
5548 } 6395 }
5549: 6396:
5550 ( 6397 (
5551 { before(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0()); } 6398 { before(grammarAccess.getVLSTypeDefAccess().getTypeSigVLSUnitaryTermParserRuleCall_0_0()); }
5552 (rule__VLSAnnotation__NameAlternatives_1_0) 6399 ruleVLSUnitaryTerm
5553 { after(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0()); } 6400 { after(grammarAccess.getVLSTypeDefAccess().getTypeSigVLSUnitaryTermParserRuleCall_0_0()); }
5554 ) 6401 )
5555; 6402;
5556finally { 6403finally {
5557 restoreStackSize(stackSize); 6404 restoreStackSize(stackSize);
5558} 6405}
5559 6406
5560rule__VLSAnnotation__FollowupAssignment_2_1 6407rule__VLSTypeDef__MapsToAssignment_1_1
5561 @init { 6408 @init {
5562 int stackSize = keepStackSize(); 6409 int stackSize = keepStackSize();
5563 } 6410 }
5564: 6411:
5565 ( 6412 (
5566 { before(grammarAccess.getVLSAnnotationAccess().getFollowupVLSAnnotationTermsParserRuleCall_2_1_0()); } 6413 { before(grammarAccess.getVLSTypeDefAccess().getMapsToVLSAtomicConstantParserRuleCall_1_1_0()); }
5567 ruleVLSAnnotationTerms 6414 ruleVLSAtomicConstant
5568 { after(grammarAccess.getVLSAnnotationAccess().getFollowupVLSAnnotationTermsParserRuleCall_2_1_0()); } 6415 { after(grammarAccess.getVLSTypeDefAccess().getMapsToVLSAtomicConstantParserRuleCall_1_1_0()); }
5569 ) 6416 )
5570; 6417;
5571finally { 6418finally {
5572 restoreStackSize(stackSize); 6419 restoreStackSize(stackSize);
5573} 6420}
5574 6421
5575rule__VLSAnnotationTerms__TermsAssignment_0 6422rule__VLSUnitaryTerm__InitTypeAssignment_0
5576 @init { 6423 @init {
5577 int stackSize = keepStackSize(); 6424 int stackSize = keepStackSize();
5578 } 6425 }
5579: 6426:
5580 ( 6427 (
5581 { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_0_0()); } 6428 { before(grammarAccess.getVLSUnitaryTermAccess().getInitTypeVLSAtomicParserRuleCall_0_0()); }
5582 ruleVLSAnnotation 6429 ruleVLSAtomic
5583 { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_0_0()); } 6430 { after(grammarAccess.getVLSUnitaryTermAccess().getInitTypeVLSAtomicParserRuleCall_0_0()); }
5584 ) 6431 )
5585; 6432;
5586finally { 6433finally {
5587 restoreStackSize(stackSize); 6434 restoreStackSize(stackSize);
5588} 6435}
5589 6436
5590rule__VLSAnnotationTerms__TermsAssignment_1_1 6437rule__VLSUnitaryTerm__NextTypeAssignment_1_1
5591 @init { 6438 @init {
5592 int stackSize = keepStackSize(); 6439 int stackSize = keepStackSize();
5593 } 6440 }
5594: 6441:
5595 ( 6442 (
5596 { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_1_1_0()); } 6443 { before(grammarAccess.getVLSUnitaryTermAccess().getNextTypeVLSAtomicConstantParserRuleCall_1_1_0()); }
5597 ruleVLSAnnotation 6444 ruleVLSAtomicConstant
5598 { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_1_1_0()); } 6445 { after(grammarAccess.getVLSUnitaryTermAccess().getNextTypeVLSAtomicConstantParserRuleCall_1_1_0()); }
5599 ) 6446 )
5600; 6447;
5601finally { 6448finally {
@@ -5653,9 +6500,9 @@ rule__VLSUniversalQuantifier__VariablesAssignment_1_2
5653 } 6500 }
5654: 6501:
5655 ( 6502 (
5656 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); } 6503 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_2_0()); }
5657 ruleVLSVariable 6504 (rule__VLSUniversalQuantifier__VariablesAlternatives_1_2_0)
5658 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); } 6505 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_2_0()); }
5659 ) 6506 )
5660; 6507;
5661finally { 6508finally {
@@ -5668,9 +6515,9 @@ rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1
5668 } 6515 }
5669: 6516:
5670 ( 6517 (
5671 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); } 6518 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_3_1_0()); }
5672 ruleVLSVariable 6519 (rule__VLSUniversalQuantifier__VariablesAlternatives_1_3_1_0)
5673 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); } 6520 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAlternatives_1_3_1_0()); }
5674 ) 6521 )
5675; 6522;
5676finally { 6523finally {
@@ -5698,9 +6545,9 @@ rule__VLSExistentialQuantifier__VariablesAssignment_1_2
5698 } 6545 }
5699: 6546:
5700 ( 6547 (
5701 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); } 6548 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_2_0()); }
5702 ruleVLSVariable 6549 (rule__VLSExistentialQuantifier__VariablesAlternatives_1_2_0)
5703 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); } 6550 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_2_0()); }
5704 ) 6551 )
5705; 6552;
5706finally { 6553finally {
@@ -5713,9 +6560,9 @@ rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1
5713 } 6560 }
5714: 6561:
5715 ( 6562 (
5716 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); } 6563 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_3_1_0()); }
5717 ruleVLSVariable 6564 (rule__VLSExistentialQuantifier__VariablesAlternatives_1_3_1_0)
5718 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); } 6565 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAlternatives_1_3_1_0()); }
5719 ) 6566 )
5720; 6567;
5721finally { 6568finally {
@@ -5957,39 +6804,9 @@ rule__VLSDefinedTerm__ValueAssignment_1_1
5957 } 6804 }
5958: 6805:
5959 ( 6806 (
5960 { before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_REAL_IDTerminalRuleCall_1_1_0()); } 6807 { before(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_1_1_0()); }
5961 RULE_SIGNED_REAL_ID
5962 { after(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_REAL_IDTerminalRuleCall_1_1_0()); }
5963 )
5964;
5965finally {
5966 restoreStackSize(stackSize);
5967}
5968
5969rule__VLSDefinedTerm__ValueAssignment_2_1
5970 @init {
5971 int stackSize = keepStackSize();
5972 }
5973:
5974 (
5975 { before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_RAT_IDTerminalRuleCall_2_1_0()); }
5976 RULE_SIGNED_RAT_ID
5977 { after(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_RAT_IDTerminalRuleCall_2_1_0()); }
5978 )
5979;
5980finally {
5981 restoreStackSize(stackSize);
5982}
5983
5984rule__VLSDefinedTerm__ValueAssignment_3_1
5985 @init {
5986 int stackSize = keepStackSize();
5987 }
5988:
5989 (
5990 { before(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_3_1_0()); }
5991 RULE_DOUBLE_QUOTE 6808 RULE_DOUBLE_QUOTE
5992 { after(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_3_1_0()); } 6809 { after(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_1_1_0()); }
5993 ) 6810 )
5994; 6811;
5995finally { 6812finally {
@@ -6016,21 +6833,9 @@ RULE_LITERAL : ('0'|'1'..'9' RULE_INT?);
6016 6833
6017RULE_SIGNED_LITERAL : RULE_SIGN* RULE_LITERAL; 6834RULE_SIGNED_LITERAL : RULE_SIGN* RULE_LITERAL;
6018 6835
6019fragment RULE_UNSIGNED_REAL_FRAC_ID : RULE_LITERAL '.' RULE_INT; 6836RULE_SINGLE_COMMENT : '%' ~(('\n'|'\r'))* ('\r'? '\n')?;
6020 6837
6021fragment RULE_UNSIGNED_REAL_EXP_ID : (RULE_LITERAL|RULE_UNSIGNED_REAL_FRAC_ID) 'Ee' RULE_SIGN* RULE_INT; 6838RULE_ID : '^'? ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
6022
6023RULE_SIGNED_REAL_ID : RULE_SIGN* (RULE_UNSIGNED_REAL_FRAC_ID|RULE_UNSIGNED_REAL_EXP_ID);
6024
6025fragment RULE_UNSIGNED_RAT_ID : RULE_LITERAL '/' '1'..'9' RULE_INT?;
6026
6027RULE_SIGNED_RAT_ID : RULE_SIGN* RULE_UNSIGNED_RAT_ID;
6028
6029fragment RULE_ID : ~(('\n'|'\r'))*;
6030
6031fragment RULE_ANY_OTHER : RULE_ID;
6032
6033RULE_SINGLE_COMMENT : RULE_ANY_OTHER;
6034 6839
6035fragment RULE_INT : ('0'..'9')+; 6840fragment RULE_INT : ('0'..'9')+;
6036 6841
@@ -6041,3 +6846,5 @@ RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/';
6041RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?; 6846RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?;
6042 6847
6043RULE_WS : (' '|'\t'|'\r'|'\n')+; 6848RULE_WS : (' '|'\t'|'\r'|'\n')+;
6849
6850RULE_ANY_OTHER : .;
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-28 00:47:12 +0000