aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java293
1 files changed, 69 insertions, 224 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java
index 29a17f23..67be7b9a 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java
@@ -25,6 +25,7 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess;
25import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand; 25import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand;
26import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor; 26import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor;
27import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr; 27import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr;
28import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration;
28import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; 29import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies;
29import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; 30import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable;
30import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; 31import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
@@ -34,6 +35,7 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef;
34import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; 35import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation;
35import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; 36import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier;
36import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; 37import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
38import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration;
37import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSWarning; 39import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSWarning;
38import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor; 40import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor;
39import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 41import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
@@ -84,36 +86,8 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
84 sequence_VLSComment(context, (VLSComment) semanticObject); 86 sequence_VLSComment(context, (VLSComment) semanticObject);
85 return; 87 return;
86 case VampireLanguagePackage.VLS_CONSTANT: 88 case VampireLanguagePackage.VLS_CONSTANT:
87 if (rule == grammarAccess.getVLSTermRule() 89 sequence_VLSAtomicConstant(context, (VLSConstant) semanticObject);
88 || rule == grammarAccess.getVLSBinaryRule() 90 return;
89 || action == grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0()
90 || action == grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0()
91 || action == grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0()
92 || action == grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0()
93 || action == grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0()
94 || action == grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0()
95 || action == grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0()
96 || action == grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0()
97 || rule == grammarAccess.getVLSUnitaryFormulaRule()
98 || rule == grammarAccess.getVLSUnaryInfixRule()
99 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0()
100 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0()
101 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0()
102 || rule == grammarAccess.getVLSAtomicRule()
103 || rule == grammarAccess.getVLSAtomicConstantRule()) {
104 sequence_VLSAtomicConstant(context, (VLSConstant) semanticObject);
105 return;
106 }
107 else if (rule == grammarAccess.getVLSTffTermRule()) {
108 sequence_VLSAtomicConstant_VLSOtherDeclaration(context, (VLSConstant) semanticObject);
109 return;
110 }
111 else if (rule == grammarAccess.getVLSDeclarationRule()
112 || rule == grammarAccess.getVLSOtherDeclarationRule()) {
113 sequence_VLSAtomicConstant_VLSOtherDeclaration(context, (VLSConstant) semanticObject);
114 return;
115 }
116 else break;
117 case VampireLanguagePackage.VLS_DOUBLE_QUOTE: 91 case VampireLanguagePackage.VLS_DOUBLE_QUOTE:
118 sequence_VLSDefinedTerm(context, (VLSDoubleQuote) semanticObject); 92 sequence_VLSDefinedTerm(context, (VLSDoubleQuote) semanticObject);
119 return; 93 return;
@@ -127,36 +101,8 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
127 sequence_VLSExistentialQuantifier(context, (VLSExistentialQuantifier) semanticObject); 101 sequence_VLSExistentialQuantifier(context, (VLSExistentialQuantifier) semanticObject);
128 return; 102 return;
129 case VampireLanguagePackage.VLS_FALSE: 103 case VampireLanguagePackage.VLS_FALSE:
130 if (rule == grammarAccess.getVLSTermRule() 104 sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject);
131 || rule == grammarAccess.getVLSBinaryRule() 105 return;
132 || action == grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0()
133 || action == grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0()
134 || action == grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0()
135 || action == grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0()
136 || action == grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0()
137 || action == grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0()
138 || action == grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0()
139 || action == grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0()
140 || rule == grammarAccess.getVLSUnitaryFormulaRule()
141 || rule == grammarAccess.getVLSUnaryInfixRule()
142 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0()
143 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0()
144 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0()
145 || rule == grammarAccess.getVLSAtomicRule()
146 || rule == grammarAccess.getVLSAtomicConstantRule()) {
147 sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject);
148 return;
149 }
150 else if (rule == grammarAccess.getVLSTffTermRule()) {
151 sequence_VLSAtomicConstant_VLSOtherDeclaration(context, (VLSFalse) semanticObject);
152 return;
153 }
154 else if (rule == grammarAccess.getVLSDeclarationRule()
155 || rule == grammarAccess.getVLSOtherDeclarationRule()) {
156 sequence_VLSAtomicConstant_VLSOtherDeclaration(context, (VLSFalse) semanticObject);
157 return;
158 }
159 else break;
160 case VampireLanguagePackage.VLS_FINITE_MODEL: 106 case VampireLanguagePackage.VLS_FINITE_MODEL:
161 sequence_VLSConfirmations(context, (VLSFiniteModel) semanticObject); 107 sequence_VLSConfirmations(context, (VLSFiniteModel) semanticObject);
162 return; 108 return;
@@ -190,6 +136,9 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
190 case VampireLanguagePackage.VLS_OR: 136 case VampireLanguagePackage.VLS_OR:
191 sequence_VLSBinary(context, (VLSOr) semanticObject); 137 sequence_VLSBinary(context, (VLSOr) semanticObject);
192 return; 138 return;
139 case VampireLanguagePackage.VLS_OTHER_DECLARATION:
140 sequence_VLSOtherDeclaration(context, (VLSOtherDeclaration) semanticObject);
141 return;
193 case VampireLanguagePackage.VLS_REV_IMPLIES: 142 case VampireLanguagePackage.VLS_REV_IMPLIES:
194 sequence_VLSBinary(context, (VLSRevImplies) semanticObject); 143 sequence_VLSBinary(context, (VLSRevImplies) semanticObject);
195 return; 144 return;
@@ -200,36 +149,8 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
200 sequence_VLSTffFormula(context, (VLSTffFormula) semanticObject); 149 sequence_VLSTffFormula(context, (VLSTffFormula) semanticObject);
201 return; 150 return;
202 case VampireLanguagePackage.VLS_TRUE: 151 case VampireLanguagePackage.VLS_TRUE:
203 if (rule == grammarAccess.getVLSTffTermRule()) { 152 sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject);
204 sequence_VLSAtomicConstant_VLSOtherDeclaration(context, (VLSTrue) semanticObject); 153 return;
205 return;
206 }
207 else if (rule == grammarAccess.getVLSDeclarationRule()
208 || rule == grammarAccess.getVLSOtherDeclarationRule()) {
209 sequence_VLSAtomicConstant_VLSOtherDeclaration(context, (VLSTrue) semanticObject);
210 return;
211 }
212 else if (rule == grammarAccess.getVLSTermRule()
213 || rule == grammarAccess.getVLSBinaryRule()
214 || action == grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0()
215 || action == grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0()
216 || action == grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0()
217 || action == grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0()
218 || action == grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0()
219 || action == grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0()
220 || action == grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0()
221 || action == grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0()
222 || rule == grammarAccess.getVLSUnitaryFormulaRule()
223 || rule == grammarAccess.getVLSUnaryInfixRule()
224 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0()
225 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0()
226 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0()
227 || rule == grammarAccess.getVLSAtomicRule()
228 || rule == grammarAccess.getVLSAtomicConstantRule()) {
229 sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject);
230 return;
231 }
232 else break;
233 case VampireLanguagePackage.VLS_TRYING: 154 case VampireLanguagePackage.VLS_TRYING:
234 sequence_VLSConfirmations(context, (VLSTrying) semanticObject); 155 sequence_VLSConfirmations(context, (VLSTrying) semanticObject);
235 return; 156 return;
@@ -250,37 +171,11 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
250 sequence_VLSUniversalQuantifier(context, (VLSUniversalQuantifier) semanticObject); 171 sequence_VLSUniversalQuantifier(context, (VLSUniversalQuantifier) semanticObject);
251 return; 172 return;
252 case VampireLanguagePackage.VLS_VARIABLE: 173 case VampireLanguagePackage.VLS_VARIABLE:
253 if (rule == grammarAccess.getVLSTermRule() 174 sequence_VLSVariable(context, (VLSVariable) semanticObject);
254 || rule == grammarAccess.getVLSBinaryRule() 175 return;
255 || action == grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0() 176 case VampireLanguagePackage.VLS_VARIABLE_DECLARATION:
256 || action == grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0() 177 sequence_VLSVariableDeclaration(context, (VLSVariableDeclaration) semanticObject);
257 || action == grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0() 178 return;
258 || action == grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0()
259 || action == grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0()
260 || action == grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0()
261 || action == grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0()
262 || action == grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0()
263 || rule == grammarAccess.getVLSUnitaryFormulaRule()
264 || rule == grammarAccess.getVLSUnaryInfixRule()
265 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0()
266 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0()
267 || action == grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0()
268 || rule == grammarAccess.getVLSAtomicRule()
269 || rule == grammarAccess.getVLSVariableRule()
270 || rule == grammarAccess.getVLSFofTermRule()) {
271 sequence_VLSVariable(context, (VLSVariable) semanticObject);
272 return;
273 }
274 else if (rule == grammarAccess.getVLSTffTermRule()) {
275 sequence_VLSVariable_VLSVariableDeclaration(context, (VLSVariable) semanticObject);
276 return;
277 }
278 else if (rule == grammarAccess.getVLSDeclarationRule()
279 || rule == grammarAccess.getVLSVariableDeclarationRule()) {
280 sequence_VLSVariable_VLSVariableDeclaration(context, (VLSVariable) semanticObject);
281 return;
282 }
283 else break;
284 case VampireLanguagePackage.VLS_WARNING: 179 case VampireLanguagePackage.VLS_WARNING:
285 sequence_VLSConfirmations(context, (VLSWarning) semanticObject); 180 sequence_VLSConfirmations(context, (VLSWarning) semanticObject);
286 return; 181 return;
@@ -321,6 +216,7 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
321 216
322 /** 217 /**
323 * Contexts: 218 * Contexts:
219 * VLSTffTerm returns VLSConstant
324 * VLSTerm returns VLSConstant 220 * VLSTerm returns VLSConstant
325 * VLSBinary returns VLSConstant 221 * VLSBinary returns VLSConstant
326 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSConstant 222 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSConstant
@@ -349,6 +245,7 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
349 245
350 /** 246 /**
351 * Contexts: 247 * Contexts:
248 * VLSTffTerm returns VLSFalse
352 * VLSTerm returns VLSFalse 249 * VLSTerm returns VLSFalse
353 * VLSBinary returns VLSFalse 250 * VLSBinary returns VLSFalse
354 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSFalse 251 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSFalse
@@ -377,81 +274,7 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
377 274
378 /** 275 /**
379 * Contexts: 276 * Contexts:
380 * VLSTffTerm returns VLSConstant
381 *
382 * Constraint:
383 * ((name=LOWER_WORD_ID | name=SINGLE_QUOTE | name=DOLLAR_ID | name=DOUBLE_DOLLAR_ID | name=VLSRole) type=VLSTypeDef?)
384 */
385 protected void sequence_VLSAtomicConstant_VLSOtherDeclaration(ISerializationContext context, VLSConstant semanticObject) {
386 genericSequencer.createSequence(context, semanticObject);
387 }
388
389
390 // This method is commented out because it has the same signature as another method in this class.
391 // This is probably a bug in Xtext's serializer, please report it here:
392 // https://bugs.eclipse.org/bugs/enter_bug.cgi?product=TMF
393 //
394 // Contexts:
395 // VLSDeclaration returns VLSConstant
396 // VLSOtherDeclaration returns VLSConstant
397 //
398 // Constraint:
399 // ((name=LOWER_WORD_ID | name=SINGLE_QUOTE | name=DOLLAR_ID | name=DOUBLE_DOLLAR_ID | name=VLSRole) type=VLSTypeDef)
400 //
401 // protected void sequence_VLSAtomicConstant_VLSOtherDeclaration(ISerializationContext context, VLSConstant semanticObject) { }
402
403 /**
404 * Contexts:
405 * VLSTffTerm returns VLSFalse
406 *
407 * Constraint:
408 * type=VLSTypeDef?
409 */
410 protected void sequence_VLSAtomicConstant_VLSOtherDeclaration(ISerializationContext context, VLSFalse semanticObject) {
411 genericSequencer.createSequence(context, semanticObject);
412 }
413
414
415 // This method is commented out because it has the same signature as another method in this class.
416 // This is probably a bug in Xtext's serializer, please report it here:
417 // https://bugs.eclipse.org/bugs/enter_bug.cgi?product=TMF
418 //
419 // Contexts:
420 // VLSDeclaration returns VLSFalse
421 // VLSOtherDeclaration returns VLSFalse
422 //
423 // Constraint:
424 // type=VLSTypeDef
425 //
426 // protected void sequence_VLSAtomicConstant_VLSOtherDeclaration(ISerializationContext context, VLSFalse semanticObject) { }
427
428 /**
429 * Contexts:
430 * VLSTffTerm returns VLSTrue 277 * VLSTffTerm returns VLSTrue
431 *
432 * Constraint:
433 * type=VLSTypeDef?
434 */
435 protected void sequence_VLSAtomicConstant_VLSOtherDeclaration(ISerializationContext context, VLSTrue semanticObject) {
436 genericSequencer.createSequence(context, semanticObject);
437 }
438
439
440 // This method is commented out because it has the same signature as another method in this class.
441 // This is probably a bug in Xtext's serializer, please report it here:
442 // https://bugs.eclipse.org/bugs/enter_bug.cgi?product=TMF
443 //
444 // Contexts:
445 // VLSDeclaration returns VLSTrue
446 // VLSOtherDeclaration returns VLSTrue
447 //
448 // Constraint:
449 // type=VLSTypeDef
450 //
451 // protected void sequence_VLSAtomicConstant_VLSOtherDeclaration(ISerializationContext context, VLSTrue semanticObject) { }
452
453 /**
454 * Contexts:
455 * VLSTerm returns VLSTrue 278 * VLSTerm returns VLSTrue
456 * VLSBinary returns VLSTrue 279 * VLSBinary returns VLSTrue
457 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSTrue 280 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSTrue
@@ -959,8 +782,8 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
959 * Constraint: 782 * Constraint:
960 * ( 783 * (
961 * (variables+=VLSVariable | variables+=VLSVariableDeclaration) 784 * (variables+=VLSVariable | variables+=VLSVariableDeclaration)
962 * variables+=VLSVariable? 785 * variables+=VLSVariableDeclaration?
963 * (variables+=VLSVariableDeclaration? variables+=VLSVariable?)* 786 * (variables+=VLSVariable? variables+=VLSVariableDeclaration?)*
964 * operand=VLSUnitaryFormula 787 * operand=VLSUnitaryFormula
965 * ) 788 * )
966 */ 789 */
@@ -996,6 +819,29 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
996 819
997 /** 820 /**
998 * Contexts: 821 * Contexts:
822 * VLSTffTerm returns VLSOtherDeclaration
823 * VLSDeclaration returns VLSOtherDeclaration
824 * VLSOtherDeclaration returns VLSOtherDeclaration
825 *
826 * Constraint:
827 * (name=VLSAtomicConstant type=VLSTypeDef)
828 */
829 protected void sequence_VLSOtherDeclaration(ISerializationContext context, VLSOtherDeclaration semanticObject) {
830 if (errorAcceptor != null) {
831 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_OTHER_DECLARATION__NAME) == ValueTransient.YES)
832 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_OTHER_DECLARATION__NAME));
833 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DECLARATION__TYPE) == ValueTransient.YES)
834 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DECLARATION__TYPE));
835 }
836 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
837 feeder.accept(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0(), semanticObject.getName());
838 feeder.accept(grammarAccess.getVLSOtherDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0(), semanticObject.getType());
839 feeder.finish();
840 }
841
842
843 /**
844 * Contexts:
999 * VLSTffFormula returns VLSTffFormula 845 * VLSTffFormula returns VLSTffFormula
1000 * 846 *
1001 * Constraint: 847 * Constraint:
@@ -1178,8 +1024,8 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
1178 * Constraint: 1024 * Constraint:
1179 * ( 1025 * (
1180 * (variables+=VLSVariable | variables+=VLSVariableDeclaration) 1026 * (variables+=VLSVariable | variables+=VLSVariableDeclaration)
1181 * variables+=VLSVariableDeclaration? 1027 * variables+=VLSVariable?
1182 * (variables+=VLSVariable? variables+=VLSVariableDeclaration?)* 1028 * (variables+=VLSVariableDeclaration? variables+=VLSVariable?)*
1183 * operand=VLSUnitaryFormula 1029 * operand=VLSUnitaryFormula
1184 * ) 1030 * )
1185 */ 1031 */
@@ -1190,6 +1036,30 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
1190 1036
1191 /** 1037 /**
1192 * Contexts: 1038 * Contexts:
1039 * VLSTffTerm returns VLSVariableDeclaration
1040 * VLSDeclaration returns VLSVariableDeclaration
1041 * VLSVariableDeclaration returns VLSVariableDeclaration
1042 *
1043 * Constraint:
1044 * (name=VLSVariable type=VLSTypeDef)
1045 */
1046 protected void sequence_VLSVariableDeclaration(ISerializationContext context, VLSVariableDeclaration semanticObject) {
1047 if (errorAcceptor != null) {
1048 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_VARIABLE_DECLARATION__NAME) == ValueTransient.YES)
1049 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_VARIABLE_DECLARATION__NAME));
1050 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DECLARATION__TYPE) == ValueTransient.YES)
1051 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DECLARATION__TYPE));
1052 }
1053 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
1054 feeder.accept(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0(), semanticObject.getName());
1055 feeder.accept(grammarAccess.getVLSVariableDeclarationAccess().getTypeVLSTypeDefParserRuleCall_2_0(), semanticObject.getType());
1056 feeder.finish();
1057 }
1058
1059
1060 /**
1061 * Contexts:
1062 * VLSTffTerm returns VLSVariable
1193 * VLSTerm returns VLSVariable 1063 * VLSTerm returns VLSVariable
1194 * VLSBinary returns VLSVariable 1064 * VLSBinary returns VLSVariable
1195 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSVariable 1065 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSVariable
@@ -1225,31 +1095,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
1225 1095
1226 /** 1096 /**
1227 * Contexts: 1097 * Contexts:
1228 * VLSTffTerm returns VLSVariable
1229 *
1230 * Constraint:
1231 * (name=UPPER_WORD_ID type=VLSTypeDef?)
1232 */
1233 protected void sequence_VLSVariable_VLSVariableDeclaration(ISerializationContext context, VLSVariable semanticObject) {
1234 genericSequencer.createSequence(context, semanticObject);
1235 }
1236
1237
1238 // This method is commented out because it has the same signature as another method in this class.
1239 // This is probably a bug in Xtext's serializer, please report it here:
1240 // https://bugs.eclipse.org/bugs/enter_bug.cgi?product=TMF
1241 //
1242 // Contexts:
1243 // VLSDeclaration returns VLSVariable
1244 // VLSVariableDeclaration returns VLSVariable
1245 //
1246 // Constraint:
1247 // (name=UPPER_WORD_ID type=VLSTypeDef)
1248 //
1249 // protected void sequence_VLSVariable_VLSVariableDeclaration(ISerializationContext context, VLSVariable semanticObject) { }
1250
1251 /**
1252 * Contexts:
1253 * VampireModel returns VampireModel 1098 * VampireModel returns VampireModel
1254 * 1099 *
1255 * Constraint: 1100 * Constraint:
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-27 20:00:30 +0000