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.java1082
1 files changed, 1082 insertions, 0 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
new file mode 100644
index 00000000..d763a193
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java
@@ -0,0 +1,1082 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.serializer;
5
6import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant;
12import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote;
13import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality;
14import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent;
15import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier;
16import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse;
17import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel;
18import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
19import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction;
20import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof;
21import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies;
22import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
23import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality;
24import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt;
25import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess;
26import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName;
27import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand;
28import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor;
29import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr;
30import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational;
31import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal;
32import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies;
33import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable;
34import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
35import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue;
36import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying;
37import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation;
38import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier;
39import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
40import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor;
41import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
42import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
43import com.google.inject.Inject;
44import java.util.Set;
45import org.eclipse.emf.ecore.EObject;
46import org.eclipse.emf.ecore.EPackage;
47import org.eclipse.xtext.Action;
48import org.eclipse.xtext.Parameter;
49import org.eclipse.xtext.ParserRule;
50import org.eclipse.xtext.serializer.ISerializationContext;
51import org.eclipse.xtext.serializer.acceptor.SequenceFeeder;
52import org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer;
53import org.eclipse.xtext.serializer.sequencer.ITransientValueService.ValueTransient;
54
55@SuppressWarnings("all")
56public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemanticSequencer {
57
58 @Inject
59 private VampireLanguageGrammarAccess grammarAccess;
60
61 @Override
62 public void sequence(ISerializationContext context, EObject semanticObject) {
63 EPackage epackage = semanticObject.eClass().getEPackage();
64 ParserRule rule = context.getParserRule();
65 Action action = context.getAssignedAction();
66 Set<Parameter> parameters = context.getEnabledBooleanParameters();
67 if (epackage == VampireLanguagePackage.eINSTANCE)
68 switch (semanticObject.eClass().getClassifierID()) {
69 case VampireLanguagePackage.VLS_AND:
70 sequence_VLSBinary(context, (VLSAnd) semanticObject);
71 return;
72 case VampireLanguagePackage.VLS_ANNOTATION:
73 if (rule == grammarAccess.getVLSAnnotationTermsRule()) {
74 sequence_VLSAnnotationTerms(context, (VLSAnnotation) semanticObject);
75 return;
76 }
77 else if (rule == grammarAccess.getVLSAnnotationRule()) {
78 sequence_VLSAnnotation(context, (VLSAnnotation) semanticObject);
79 return;
80 }
81 else break;
82 case VampireLanguagePackage.VLS_ASSIGNMENT:
83 sequence_VLSUnaryInfix(context, (VLSAssignment) semanticObject);
84 return;
85 case VampireLanguagePackage.VLS_COMMENT:
86 sequence_VLSComment(context, (VLSComment) semanticObject);
87 return;
88 case VampireLanguagePackage.VLS_CONSTANT:
89 sequence_VLSAtomicConstant(context, (VLSConstant) semanticObject);
90 return;
91 case VampireLanguagePackage.VLS_DOUBLE_QUOTE:
92 sequence_VLSDefinedTerm(context, (VLSDoubleQuote) semanticObject);
93 return;
94 case VampireLanguagePackage.VLS_EQUALITY:
95 sequence_VLSUnaryInfix(context, (VLSEquality) semanticObject);
96 return;
97 case VampireLanguagePackage.VLS_EQUIVALENT:
98 sequence_VLSBinary(context, (VLSEquivalent) semanticObject);
99 return;
100 case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER:
101 sequence_VLSExistentialQuantifier(context, (VLSExistentialQuantifier) semanticObject);
102 return;
103 case VampireLanguagePackage.VLS_FALSE:
104 sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject);
105 return;
106 case VampireLanguagePackage.VLS_FINITE_MODEL:
107 sequence_VLSFiniteModel(context, (VLSFiniteModel) semanticObject);
108 return;
109 case VampireLanguagePackage.VLS_FOF_FORMULA:
110 sequence_VLSFofFormula(context, (VLSFofFormula) semanticObject);
111 return;
112 case VampireLanguagePackage.VLS_FUNCTION:
113 sequence_VLSAtomicFunction(context, (VLSFunction) semanticObject);
114 return;
115 case VampireLanguagePackage.VLS_FUNCTION_FOF:
116 sequence_VLSFunctionFof(context, (VLSFunctionFof) semanticObject);
117 return;
118 case VampireLanguagePackage.VLS_IMPLIES:
119 sequence_VLSBinary(context, (VLSImplies) semanticObject);
120 return;
121 case VampireLanguagePackage.VLS_INCLUDE:
122 sequence_VLSInclude(context, (VLSInclude) semanticObject);
123 return;
124 case VampireLanguagePackage.VLS_INEQUALITY:
125 sequence_VLSUnaryInfix(context, (VLSInequality) semanticObject);
126 return;
127 case VampireLanguagePackage.VLS_INT:
128 sequence_VLSDefinedTerm(context, (VLSInt) semanticObject);
129 return;
130 case VampireLanguagePackage.VLS_LESS:
131 sequence_VLSAtomicFunction(context, (VLSLess) semanticObject);
132 return;
133 case VampireLanguagePackage.VLS_NAME:
134 sequence_VLSName(context, (VLSName) semanticObject);
135 return;
136 case VampireLanguagePackage.VLS_NAND:
137 sequence_VLSBinary(context, (VLSNand) semanticObject);
138 return;
139 case VampireLanguagePackage.VLS_NOR:
140 sequence_VLSBinary(context, (VLSNor) semanticObject);
141 return;
142 case VampireLanguagePackage.VLS_OR:
143 sequence_VLSBinary(context, (VLSOr) semanticObject);
144 return;
145 case VampireLanguagePackage.VLS_RATIONAL:
146 sequence_VLSDefinedTerm(context, (VLSRational) semanticObject);
147 return;
148 case VampireLanguagePackage.VLS_REAL:
149 sequence_VLSDefinedTerm(context, (VLSReal) semanticObject);
150 return;
151 case VampireLanguagePackage.VLS_REV_IMPLIES:
152 sequence_VLSBinary(context, (VLSRevImplies) semanticObject);
153 return;
154 case VampireLanguagePackage.VLS_SATISFIABLE:
155 sequence_VLSSatisfiable(context, (VLSSatisfiable) semanticObject);
156 return;
157 case VampireLanguagePackage.VLS_TFF_FORMULA:
158 sequence_VLSTffFormula(context, (VLSTffFormula) semanticObject);
159 return;
160 case VampireLanguagePackage.VLS_TRUE:
161 sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject);
162 return;
163 case VampireLanguagePackage.VLS_TRYING:
164 sequence_VLSTrying(context, (VLSTrying) semanticObject);
165 return;
166 case VampireLanguagePackage.VLS_UNARY_NEGATION:
167 sequence_VLSUnaryNegation(context, (VLSUnaryNegation) semanticObject);
168 return;
169 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER:
170 sequence_VLSUniversalQuantifier(context, (VLSUniversalQuantifier) semanticObject);
171 return;
172 case VampireLanguagePackage.VLS_VARIABLE:
173 sequence_VLSVariable(context, (VLSVariable) semanticObject);
174 return;
175 case VampireLanguagePackage.VLS_XNOR:
176 sequence_VLSBinary(context, (VLSXnor) semanticObject);
177 return;
178 case VampireLanguagePackage.VAMPIRE_MODEL:
179 sequence_VampireModel(context, (VampireModel) semanticObject);
180 return;
181 }
182 if (errorAcceptor != null)
183 errorAcceptor.accept(diagnosticProvider.createInvalidContextOrTypeDiagnostic(semanticObject, context));
184 }
185
186 /**
187 * Contexts:
188 * VLSAnnotationTerms returns VLSAnnotation
189 *
190 * Constraint:
191 * (terms+=VLSAnnotation terms+=VLSAnnotation*)
192 */
193 protected void sequence_VLSAnnotationTerms(ISerializationContext context, VLSAnnotation semanticObject) {
194 genericSequencer.createSequence(context, semanticObject);
195 }
196
197
198 /**
199 * Contexts:
200 * VLSAnnotation returns VLSAnnotation
201 *
202 * Constraint:
203 * (((name=LOWER_WORD_ID | name=SINGLE_QUOTE | name=VLSRole) followup=VLSAnnotationTerms) | followup=VLSAnnotationTerms)?
204 */
205 protected void sequence_VLSAnnotation(ISerializationContext context, VLSAnnotation semanticObject) {
206 genericSequencer.createSequence(context, semanticObject);
207 }
208
209
210 /**
211 * Contexts:
212 * VLSTerm returns VLSConstant
213 * VLSBinary returns VLSConstant
214 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSConstant
215 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSConstant
216 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSConstant
217 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSConstant
218 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSConstant
219 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSConstant
220 * VLSBinary.VLSAnd_1_1_0 returns VLSConstant
221 * VLSBinary.VLSOr_1_2_0 returns VLSConstant
222 * VLSUnitaryFormula returns VLSConstant
223 * VLSUnaryInfix returns VLSConstant
224 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSConstant
225 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSConstant
226 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSConstant
227 * VLSAtomic returns VLSConstant
228 * VLSAtomicConstant returns VLSConstant
229 *
230 * Constraint:
231 * (name=LOWER_WORD_ID | name=SINGLE_QUOTE | name=DOLLAR_ID | name=DOUBLE_DOLLAR_ID | name=VLSRole)
232 */
233 protected void sequence_VLSAtomicConstant(ISerializationContext context, VLSConstant semanticObject) {
234 genericSequencer.createSequence(context, semanticObject);
235 }
236
237
238 /**
239 * Contexts:
240 * VLSTerm returns VLSFalse
241 * VLSBinary returns VLSFalse
242 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSFalse
243 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSFalse
244 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSFalse
245 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSFalse
246 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSFalse
247 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSFalse
248 * VLSBinary.VLSAnd_1_1_0 returns VLSFalse
249 * VLSBinary.VLSOr_1_2_0 returns VLSFalse
250 * VLSUnitaryFormula returns VLSFalse
251 * VLSUnaryInfix returns VLSFalse
252 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSFalse
253 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSFalse
254 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSFalse
255 * VLSAtomic returns VLSFalse
256 * VLSAtomicConstant returns VLSFalse
257 *
258 * Constraint:
259 * {VLSFalse}
260 */
261 protected void sequence_VLSAtomicConstant(ISerializationContext context, VLSFalse semanticObject) {
262 genericSequencer.createSequence(context, semanticObject);
263 }
264
265
266 /**
267 * Contexts:
268 * VLSTerm returns VLSTrue
269 * VLSBinary returns VLSTrue
270 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSTrue
271 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSTrue
272 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSTrue
273 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSTrue
274 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSTrue
275 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSTrue
276 * VLSBinary.VLSAnd_1_1_0 returns VLSTrue
277 * VLSBinary.VLSOr_1_2_0 returns VLSTrue
278 * VLSUnitaryFormula returns VLSTrue
279 * VLSUnaryInfix returns VLSTrue
280 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSTrue
281 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSTrue
282 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSTrue
283 * VLSAtomic returns VLSTrue
284 * VLSAtomicConstant returns VLSTrue
285 *
286 * Constraint:
287 * {VLSTrue}
288 */
289 protected void sequence_VLSAtomicConstant(ISerializationContext context, VLSTrue semanticObject) {
290 genericSequencer.createSequence(context, semanticObject);
291 }
292
293
294 /**
295 * Contexts:
296 * VLSTerm returns VLSFunction
297 * VLSBinary returns VLSFunction
298 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSFunction
299 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSFunction
300 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSFunction
301 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSFunction
302 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSFunction
303 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSFunction
304 * VLSBinary.VLSAnd_1_1_0 returns VLSFunction
305 * VLSBinary.VLSOr_1_2_0 returns VLSFunction
306 * VLSUnitaryFormula returns VLSFunction
307 * VLSUnaryInfix returns VLSFunction
308 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSFunction
309 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSFunction
310 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSFunction
311 * VLSAtomic returns VLSFunction
312 * VLSAtomicFunction returns VLSFunction
313 *
314 * Constraint:
315 * (
316 * (constant=LOWER_WORD_ID | constant=SINGLE_QUOTE | constant=DOLLAR_ID | constant=DOUBLE_DOLLAR_ID | constant=VLSRole)
317 * terms+=VLSFofTerm
318 * terms+=VLSFofTerm*
319 * )
320 */
321 protected void sequence_VLSAtomicFunction(ISerializationContext context, VLSFunction semanticObject) {
322 genericSequencer.createSequence(context, semanticObject);
323 }
324
325
326 /**
327 * Contexts:
328 * VLSTerm returns VLSLess
329 * VLSBinary returns VLSLess
330 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSLess
331 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSLess
332 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSLess
333 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSLess
334 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSLess
335 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSLess
336 * VLSBinary.VLSAnd_1_1_0 returns VLSLess
337 * VLSBinary.VLSOr_1_2_0 returns VLSLess
338 * VLSUnitaryFormula returns VLSLess
339 * VLSUnaryInfix returns VLSLess
340 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSLess
341 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSLess
342 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSLess
343 * VLSAtomic returns VLSLess
344 * VLSAtomicFunction returns VLSLess
345 *
346 * Constraint:
347 * (name='$less' terms+=VLSFofTerm terms+=VLSFofTerm)
348 */
349 protected void sequence_VLSAtomicFunction(ISerializationContext context, VLSLess semanticObject) {
350 genericSequencer.createSequence(context, semanticObject);
351 }
352
353
354 /**
355 * Contexts:
356 * VLSTerm returns VLSAnd
357 * VLSBinary returns VLSAnd
358 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSAnd
359 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSAnd
360 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSAnd
361 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSAnd
362 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSAnd
363 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSAnd
364 * VLSBinary.VLSAnd_1_1_0 returns VLSAnd
365 * VLSBinary.VLSOr_1_2_0 returns VLSAnd
366 * VLSUnitaryFormula returns VLSAnd
367 *
368 * Constraint:
369 * (left=VLSBinary_VLSAnd_1_1_0 right=VLSUnitaryFormula)
370 */
371 protected void sequence_VLSBinary(ISerializationContext context, VLSAnd semanticObject) {
372 if (errorAcceptor != null) {
373 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_AND__LEFT) == ValueTransient.YES)
374 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_AND__LEFT));
375 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_AND__RIGHT) == ValueTransient.YES)
376 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_AND__RIGHT));
377 }
378 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
379 feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0(), semanticObject.getLeft());
380 feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0(), semanticObject.getRight());
381 feeder.finish();
382 }
383
384
385 /**
386 * Contexts:
387 * VLSTerm returns VLSEquivalent
388 * VLSBinary returns VLSEquivalent
389 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSEquivalent
390 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSEquivalent
391 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSEquivalent
392 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSEquivalent
393 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSEquivalent
394 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSEquivalent
395 * VLSBinary.VLSAnd_1_1_0 returns VLSEquivalent
396 * VLSBinary.VLSOr_1_2_0 returns VLSEquivalent
397 * VLSUnitaryFormula returns VLSEquivalent
398 *
399 * Constraint:
400 * (left=VLSBinary_VLSEquivalent_1_0_0_0_0 right=VLSUnitaryFormula)
401 */
402 protected void sequence_VLSBinary(ISerializationContext context, VLSEquivalent semanticObject) {
403 if (errorAcceptor != null) {
404 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_EQUIVALENT__LEFT) == ValueTransient.YES)
405 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_EQUIVALENT__LEFT));
406 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_EQUIVALENT__RIGHT) == ValueTransient.YES)
407 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_EQUIVALENT__RIGHT));
408 }
409 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
410 feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0(), semanticObject.getLeft());
411 feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
412 feeder.finish();
413 }
414
415
416 /**
417 * Contexts:
418 * VLSTerm returns VLSImplies
419 * VLSBinary returns VLSImplies
420 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSImplies
421 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSImplies
422 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSImplies
423 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSImplies
424 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSImplies
425 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSImplies
426 * VLSBinary.VLSAnd_1_1_0 returns VLSImplies
427 * VLSBinary.VLSOr_1_2_0 returns VLSImplies
428 * VLSUnitaryFormula returns VLSImplies
429 *
430 * Constraint:
431 * (left=VLSBinary_VLSImplies_1_0_0_1_0 right=VLSUnitaryFormula)
432 */
433 protected void sequence_VLSBinary(ISerializationContext context, VLSImplies semanticObject) {
434 if (errorAcceptor != null) {
435 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_IMPLIES__LEFT) == ValueTransient.YES)
436 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_IMPLIES__LEFT));
437 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_IMPLIES__RIGHT) == ValueTransient.YES)
438 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_IMPLIES__RIGHT));
439 }
440 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
441 feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0(), semanticObject.getLeft());
442 feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
443 feeder.finish();
444 }
445
446
447 /**
448 * Contexts:
449 * VLSTerm returns VLSNand
450 * VLSBinary returns VLSNand
451 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSNand
452 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSNand
453 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSNand
454 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSNand
455 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSNand
456 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSNand
457 * VLSBinary.VLSAnd_1_1_0 returns VLSNand
458 * VLSBinary.VLSOr_1_2_0 returns VLSNand
459 * VLSUnitaryFormula returns VLSNand
460 *
461 * Constraint:
462 * (left=VLSBinary_VLSNand_1_0_0_5_0 right=VLSUnitaryFormula)
463 */
464 protected void sequence_VLSBinary(ISerializationContext context, VLSNand semanticObject) {
465 if (errorAcceptor != null) {
466 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_NAND__LEFT) == ValueTransient.YES)
467 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_NAND__LEFT));
468 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_NAND__RIGHT) == ValueTransient.YES)
469 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_NAND__RIGHT));
470 }
471 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
472 feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0(), semanticObject.getLeft());
473 feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
474 feeder.finish();
475 }
476
477
478 /**
479 * Contexts:
480 * VLSTerm returns VLSNor
481 * VLSBinary returns VLSNor
482 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSNor
483 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSNor
484 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSNor
485 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSNor
486 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSNor
487 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSNor
488 * VLSBinary.VLSAnd_1_1_0 returns VLSNor
489 * VLSBinary.VLSOr_1_2_0 returns VLSNor
490 * VLSUnitaryFormula returns VLSNor
491 *
492 * Constraint:
493 * (left=VLSBinary_VLSNor_1_0_0_4_0 right=VLSUnitaryFormula)
494 */
495 protected void sequence_VLSBinary(ISerializationContext context, VLSNor semanticObject) {
496 if (errorAcceptor != null) {
497 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_NOR__LEFT) == ValueTransient.YES)
498 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_NOR__LEFT));
499 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_NOR__RIGHT) == ValueTransient.YES)
500 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_NOR__RIGHT));
501 }
502 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
503 feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0(), semanticObject.getLeft());
504 feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
505 feeder.finish();
506 }
507
508
509 /**
510 * Contexts:
511 * VLSTerm returns VLSOr
512 * VLSBinary returns VLSOr
513 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSOr
514 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSOr
515 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSOr
516 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSOr
517 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSOr
518 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSOr
519 * VLSBinary.VLSAnd_1_1_0 returns VLSOr
520 * VLSBinary.VLSOr_1_2_0 returns VLSOr
521 * VLSUnitaryFormula returns VLSOr
522 *
523 * Constraint:
524 * (left=VLSBinary_VLSOr_1_2_0 right=VLSUnitaryFormula)
525 */
526 protected void sequence_VLSBinary(ISerializationContext context, VLSOr semanticObject) {
527 if (errorAcceptor != null) {
528 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_OR__LEFT) == ValueTransient.YES)
529 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_OR__LEFT));
530 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_OR__RIGHT) == ValueTransient.YES)
531 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_OR__RIGHT));
532 }
533 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
534 feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0(), semanticObject.getLeft());
535 feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0(), semanticObject.getRight());
536 feeder.finish();
537 }
538
539
540 /**
541 * Contexts:
542 * VLSTerm returns VLSRevImplies
543 * VLSBinary returns VLSRevImplies
544 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSRevImplies
545 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSRevImplies
546 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSRevImplies
547 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSRevImplies
548 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSRevImplies
549 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSRevImplies
550 * VLSBinary.VLSAnd_1_1_0 returns VLSRevImplies
551 * VLSBinary.VLSOr_1_2_0 returns VLSRevImplies
552 * VLSUnitaryFormula returns VLSRevImplies
553 *
554 * Constraint:
555 * (left=VLSBinary_VLSRevImplies_1_0_0_2_0 right=VLSUnitaryFormula)
556 */
557 protected void sequence_VLSBinary(ISerializationContext context, VLSRevImplies semanticObject) {
558 if (errorAcceptor != null) {
559 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_REV_IMPLIES__LEFT) == ValueTransient.YES)
560 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_REV_IMPLIES__LEFT));
561 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_REV_IMPLIES__RIGHT) == ValueTransient.YES)
562 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_REV_IMPLIES__RIGHT));
563 }
564 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
565 feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0(), semanticObject.getLeft());
566 feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
567 feeder.finish();
568 }
569
570
571 /**
572 * Contexts:
573 * VLSTerm returns VLSXnor
574 * VLSBinary returns VLSXnor
575 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSXnor
576 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSXnor
577 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSXnor
578 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSXnor
579 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSXnor
580 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSXnor
581 * VLSBinary.VLSAnd_1_1_0 returns VLSXnor
582 * VLSBinary.VLSOr_1_2_0 returns VLSXnor
583 * VLSUnitaryFormula returns VLSXnor
584 *
585 * Constraint:
586 * (left=VLSBinary_VLSXnor_1_0_0_3_0 right=VLSUnitaryFormula)
587 */
588 protected void sequence_VLSBinary(ISerializationContext context, VLSXnor semanticObject) {
589 if (errorAcceptor != null) {
590 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_XNOR__LEFT) == ValueTransient.YES)
591 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_XNOR__LEFT));
592 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_XNOR__RIGHT) == ValueTransient.YES)
593 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_XNOR__RIGHT));
594 }
595 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
596 feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0(), semanticObject.getLeft());
597 feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
598 feeder.finish();
599 }
600
601
602 /**
603 * Contexts:
604 * VLSComment returns VLSComment
605 *
606 * Constraint:
607 * comment=SINGLE_COMMENT
608 */
609 protected void sequence_VLSComment(ISerializationContext context, VLSComment semanticObject) {
610 if (errorAcceptor != null) {
611 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_COMMENT__COMMENT) == ValueTransient.YES)
612 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_COMMENT__COMMENT));
613 }
614 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
615 feeder.accept(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0(), semanticObject.getComment());
616 feeder.finish();
617 }
618
619
620 /**
621 * Contexts:
622 * VLSTerm returns VLSDoubleQuote
623 * VLSBinary returns VLSDoubleQuote
624 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSDoubleQuote
625 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSDoubleQuote
626 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSDoubleQuote
627 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSDoubleQuote
628 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSDoubleQuote
629 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSDoubleQuote
630 * VLSBinary.VLSAnd_1_1_0 returns VLSDoubleQuote
631 * VLSBinary.VLSOr_1_2_0 returns VLSDoubleQuote
632 * VLSUnitaryFormula returns VLSDoubleQuote
633 * VLSUnaryInfix returns VLSDoubleQuote
634 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSDoubleQuote
635 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSDoubleQuote
636 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSDoubleQuote
637 * VLSAtomic returns VLSDoubleQuote
638 * VLSFofTerm returns VLSDoubleQuote
639 * VLSDefinedTerm returns VLSDoubleQuote
640 *
641 * Constraint:
642 * value=DOUBLE_QUOTE
643 */
644 protected void sequence_VLSDefinedTerm(ISerializationContext context, VLSDoubleQuote semanticObject) {
645 if (errorAcceptor != null) {
646 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE) == ValueTransient.YES)
647 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE));
648 }
649 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
650 feeder.accept(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_3_1_0(), semanticObject.getValue());
651 feeder.finish();
652 }
653
654
655 /**
656 * Contexts:
657 * VLSTerm returns VLSInt
658 * VLSBinary returns VLSInt
659 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSInt
660 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSInt
661 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSInt
662 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSInt
663 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSInt
664 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSInt
665 * VLSBinary.VLSAnd_1_1_0 returns VLSInt
666 * VLSBinary.VLSOr_1_2_0 returns VLSInt
667 * VLSUnitaryFormula returns VLSInt
668 * VLSUnaryInfix returns VLSInt
669 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSInt
670 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSInt
671 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSInt
672 * VLSAtomic returns VLSInt
673 * VLSFofTerm returns VLSInt
674 * VLSDefinedTerm returns VLSInt
675 *
676 * Constraint:
677 * value=SIGNED_LITERAL
678 */
679 protected void sequence_VLSDefinedTerm(ISerializationContext context, VLSInt semanticObject) {
680 if (errorAcceptor != null) {
681 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE) == ValueTransient.YES)
682 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE));
683 }
684 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
685 feeder.accept(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_LITERALTerminalRuleCall_0_1_0(), semanticObject.getValue());
686 feeder.finish();
687 }
688
689
690 /**
691 * Contexts:
692 * VLSTerm returns VLSRational
693 * VLSBinary returns VLSRational
694 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSRational
695 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSRational
696 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSRational
697 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSRational
698 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSRational
699 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSRational
700 * VLSBinary.VLSAnd_1_1_0 returns VLSRational
701 * VLSBinary.VLSOr_1_2_0 returns VLSRational
702 * VLSUnitaryFormula returns VLSRational
703 * VLSUnaryInfix returns VLSRational
704 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSRational
705 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSRational
706 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSRational
707 * VLSAtomic returns VLSRational
708 * VLSFofTerm returns VLSRational
709 * VLSDefinedTerm returns VLSRational
710 *
711 * Constraint:
712 * value=SIGNED_RAT_ID
713 */
714 protected void sequence_VLSDefinedTerm(ISerializationContext context, VLSRational semanticObject) {
715 if (errorAcceptor != null) {
716 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE) == ValueTransient.YES)
717 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE));
718 }
719 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
720 feeder.accept(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_RAT_IDTerminalRuleCall_2_1_0(), semanticObject.getValue());
721 feeder.finish();
722 }
723
724
725 /**
726 * Contexts:
727 * VLSTerm returns VLSReal
728 * VLSBinary returns VLSReal
729 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSReal
730 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSReal
731 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSReal
732 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSReal
733 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSReal
734 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSReal
735 * VLSBinary.VLSAnd_1_1_0 returns VLSReal
736 * VLSBinary.VLSOr_1_2_0 returns VLSReal
737 * VLSUnitaryFormula returns VLSReal
738 * VLSUnaryInfix returns VLSReal
739 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSReal
740 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSReal
741 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSReal
742 * VLSAtomic returns VLSReal
743 * VLSFofTerm returns VLSReal
744 * VLSDefinedTerm returns VLSReal
745 *
746 * Constraint:
747 * value=SIGNED_REAL_ID
748 */
749 protected void sequence_VLSDefinedTerm(ISerializationContext context, VLSReal semanticObject) {
750 if (errorAcceptor != null) {
751 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE) == ValueTransient.YES)
752 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE));
753 }
754 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
755 feeder.accept(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_REAL_IDTerminalRuleCall_1_1_0(), semanticObject.getValue());
756 feeder.finish();
757 }
758
759
760 /**
761 * Contexts:
762 * VLSTerm returns VLSExistentialQuantifier
763 * VLSBinary returns VLSExistentialQuantifier
764 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSExistentialQuantifier
765 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSExistentialQuantifier
766 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSExistentialQuantifier
767 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSExistentialQuantifier
768 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSExistentialQuantifier
769 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSExistentialQuantifier
770 * VLSBinary.VLSAnd_1_1_0 returns VLSExistentialQuantifier
771 * VLSBinary.VLSOr_1_2_0 returns VLSExistentialQuantifier
772 * VLSUnitaryFormula returns VLSExistentialQuantifier
773 * VLSExistentialQuantifier returns VLSExistentialQuantifier
774 *
775 * Constraint:
776 * (variables+=VLSVariable variables+=VLSVariable* operand=VLSUnitaryFormula)
777 */
778 protected void sequence_VLSExistentialQuantifier(ISerializationContext context, VLSExistentialQuantifier semanticObject) {
779 genericSequencer.createSequence(context, semanticObject);
780 }
781
782
783 /**
784 * Contexts:
785 * VLSFiniteModel returns VLSFiniteModel
786 *
787 * Constraint:
788 * {VLSFiniteModel}
789 */
790 protected void sequence_VLSFiniteModel(ISerializationContext context, VLSFiniteModel semanticObject) {
791 genericSequencer.createSequence(context, semanticObject);
792 }
793
794
795 /**
796 * Contexts:
797 * VLSFofFormula returns VLSFofFormula
798 *
799 * Constraint:
800 * ((name=LOWER_WORD_ID | name=SIGNED_LITERAL | name=SINGLE_QUOTE) fofRole=VLSRole fofFormula=VLSTerm annotations=VLSAnnotation?)
801 */
802 protected void sequence_VLSFofFormula(ISerializationContext context, VLSFofFormula semanticObject) {
803 genericSequencer.createSequence(context, semanticObject);
804 }
805
806
807 /**
808 * Contexts:
809 * VLSFofTerm returns VLSFunctionFof
810 * VLSFunctionFof returns VLSFunctionFof
811 *
812 * Constraint:
813 * ((functor=LOWER_WORD_ID | functor=SINGLE_QUOTE | functor=DOLLAR_ID | functor=DOUBLE_DOLLAR_ID) (terms+=VLSFofTerm terms+=VLSFofTerm*)?)
814 */
815 protected void sequence_VLSFunctionFof(ISerializationContext context, VLSFunctionFof semanticObject) {
816 genericSequencer.createSequence(context, semanticObject);
817 }
818
819
820 /**
821 * Contexts:
822 * VLSInclude returns VLSInclude
823 *
824 * Constraint:
825 * (fileName=SINGLE_QUOTE (names+=VLSName names+=VLSName*)?)
826 */
827 protected void sequence_VLSInclude(ISerializationContext context, VLSInclude semanticObject) {
828 genericSequencer.createSequence(context, semanticObject);
829 }
830
831
832 /**
833 * Contexts:
834 * VLSName returns VLSName
835 *
836 * Constraint:
837 * (name=LOWER_WORD_ID | name=SINGLE_QUOTE | name=LITERAL | name=SIGNED_LITERAL)
838 */
839 protected void sequence_VLSName(ISerializationContext context, VLSName semanticObject) {
840 genericSequencer.createSequence(context, semanticObject);
841 }
842
843
844 /**
845 * Contexts:
846 * VLSConfirmations returns VLSSatisfiable
847 * VLSSatisfiable returns VLSSatisfiable
848 *
849 * Constraint:
850 * {VLSSatisfiable}
851 */
852 protected void sequence_VLSSatisfiable(ISerializationContext context, VLSSatisfiable semanticObject) {
853 genericSequencer.createSequence(context, semanticObject);
854 }
855
856
857 /**
858 * Contexts:
859 * VLSTffFormula returns VLSTffFormula
860 *
861 * Constraint:
862 * ((name=LOWER_WORD_ID | name=SIGNED_LITERAL | name=SINGLE_QUOTE) fofRole=VLSRole fofFormula=VLSTerm annotations=VLSAnnotation?)
863 */
864 protected void sequence_VLSTffFormula(ISerializationContext context, VLSTffFormula semanticObject) {
865 genericSequencer.createSequence(context, semanticObject);
866 }
867
868
869 /**
870 * Contexts:
871 * VLSTrying returns VLSTrying
872 *
873 * Constraint:
874 * name=LITERAL
875 */
876 protected void sequence_VLSTrying(ISerializationContext context, VLSTrying semanticObject) {
877 if (errorAcceptor != null) {
878 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME) == ValueTransient.YES)
879 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME));
880 }
881 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
882 feeder.accept(grammarAccess.getVLSTryingAccess().getNameLITERALTerminalRuleCall_2_0(), semanticObject.getName());
883 feeder.finish();
884 }
885
886
887 /**
888 * Contexts:
889 * VLSTerm returns VLSAssignment
890 * VLSBinary returns VLSAssignment
891 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSAssignment
892 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSAssignment
893 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSAssignment
894 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSAssignment
895 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSAssignment
896 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSAssignment
897 * VLSBinary.VLSAnd_1_1_0 returns VLSAssignment
898 * VLSBinary.VLSOr_1_2_0 returns VLSAssignment
899 * VLSUnitaryFormula returns VLSAssignment
900 * VLSUnaryInfix returns VLSAssignment
901 *
902 * Constraint:
903 * (left=VLSUnaryInfix_VLSAssignment_1_0_2_0 right=VLSAtomic)
904 */
905 protected void sequence_VLSUnaryInfix(ISerializationContext context, VLSAssignment semanticObject) {
906 if (errorAcceptor != null) {
907 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_ASSIGNMENT__LEFT) == ValueTransient.YES)
908 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_ASSIGNMENT__LEFT));
909 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_ASSIGNMENT__RIGHT) == ValueTransient.YES)
910 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_ASSIGNMENT__RIGHT));
911 }
912 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
913 feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0(), semanticObject.getLeft());
914 feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0(), semanticObject.getRight());
915 feeder.finish();
916 }
917
918
919 /**
920 * Contexts:
921 * VLSTerm returns VLSEquality
922 * VLSBinary returns VLSEquality
923 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSEquality
924 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSEquality
925 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSEquality
926 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSEquality
927 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSEquality
928 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSEquality
929 * VLSBinary.VLSAnd_1_1_0 returns VLSEquality
930 * VLSBinary.VLSOr_1_2_0 returns VLSEquality
931 * VLSUnitaryFormula returns VLSEquality
932 * VLSUnaryInfix returns VLSEquality
933 *
934 * Constraint:
935 * (left=VLSUnaryInfix_VLSEquality_1_0_1_0 right=VLSAtomic)
936 */
937 protected void sequence_VLSUnaryInfix(ISerializationContext context, VLSEquality semanticObject) {
938 if (errorAcceptor != null) {
939 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_EQUALITY__LEFT) == ValueTransient.YES)
940 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_EQUALITY__LEFT));
941 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_EQUALITY__RIGHT) == ValueTransient.YES)
942 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_EQUALITY__RIGHT));
943 }
944 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
945 feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0(), semanticObject.getLeft());
946 feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0(), semanticObject.getRight());
947 feeder.finish();
948 }
949
950
951 /**
952 * Contexts:
953 * VLSTerm returns VLSInequality
954 * VLSBinary returns VLSInequality
955 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSInequality
956 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSInequality
957 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSInequality
958 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSInequality
959 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSInequality
960 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSInequality
961 * VLSBinary.VLSAnd_1_1_0 returns VLSInequality
962 * VLSBinary.VLSOr_1_2_0 returns VLSInequality
963 * VLSUnitaryFormula returns VLSInequality
964 * VLSUnaryInfix returns VLSInequality
965 *
966 * Constraint:
967 * (left=VLSUnaryInfix_VLSInequality_1_0_0_0 right=VLSAtomic)
968 */
969 protected void sequence_VLSUnaryInfix(ISerializationContext context, VLSInequality semanticObject) {
970 if (errorAcceptor != null) {
971 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_INEQUALITY__LEFT) == ValueTransient.YES)
972 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_INEQUALITY__LEFT));
973 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_INEQUALITY__RIGHT) == ValueTransient.YES)
974 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_INEQUALITY__RIGHT));
975 }
976 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
977 feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0(), semanticObject.getLeft());
978 feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0(), semanticObject.getRight());
979 feeder.finish();
980 }
981
982
983 /**
984 * Contexts:
985 * VLSTerm returns VLSUnaryNegation
986 * VLSBinary returns VLSUnaryNegation
987 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSUnaryNegation
988 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSUnaryNegation
989 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSUnaryNegation
990 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSUnaryNegation
991 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSUnaryNegation
992 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSUnaryNegation
993 * VLSBinary.VLSAnd_1_1_0 returns VLSUnaryNegation
994 * VLSBinary.VLSOr_1_2_0 returns VLSUnaryNegation
995 * VLSUnitaryFormula returns VLSUnaryNegation
996 * VLSUnaryNegation returns VLSUnaryNegation
997 *
998 * Constraint:
999 * operand=VLSUnitaryFormula
1000 */
1001 protected void sequence_VLSUnaryNegation(ISerializationContext context, VLSUnaryNegation semanticObject) {
1002 if (errorAcceptor != null) {
1003 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_UNARY_NEGATION__OPERAND) == ValueTransient.YES)
1004 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_UNARY_NEGATION__OPERAND));
1005 }
1006 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
1007 feeder.accept(grammarAccess.getVLSUnaryNegationAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0(), semanticObject.getOperand());
1008 feeder.finish();
1009 }
1010
1011
1012 /**
1013 * Contexts:
1014 * VLSTerm returns VLSUniversalQuantifier
1015 * VLSBinary returns VLSUniversalQuantifier
1016 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSUniversalQuantifier
1017 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSUniversalQuantifier
1018 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSUniversalQuantifier
1019 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSUniversalQuantifier
1020 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSUniversalQuantifier
1021 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSUniversalQuantifier
1022 * VLSBinary.VLSAnd_1_1_0 returns VLSUniversalQuantifier
1023 * VLSBinary.VLSOr_1_2_0 returns VLSUniversalQuantifier
1024 * VLSUnitaryFormula returns VLSUniversalQuantifier
1025 * VLSUniversalQuantifier returns VLSUniversalQuantifier
1026 *
1027 * Constraint:
1028 * (variables+=VLSVariable variables+=VLSVariable* operand=VLSUnitaryFormula)
1029 */
1030 protected void sequence_VLSUniversalQuantifier(ISerializationContext context, VLSUniversalQuantifier semanticObject) {
1031 genericSequencer.createSequence(context, semanticObject);
1032 }
1033
1034
1035 /**
1036 * Contexts:
1037 * VLSTerm returns VLSVariable
1038 * VLSBinary returns VLSVariable
1039 * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSVariable
1040 * VLSBinary.VLSImplies_1_0_0_1_0 returns VLSVariable
1041 * VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSVariable
1042 * VLSBinary.VLSXnor_1_0_0_3_0 returns VLSVariable
1043 * VLSBinary.VLSNor_1_0_0_4_0 returns VLSVariable
1044 * VLSBinary.VLSNand_1_0_0_5_0 returns VLSVariable
1045 * VLSBinary.VLSAnd_1_1_0 returns VLSVariable
1046 * VLSBinary.VLSOr_1_2_0 returns VLSVariable
1047 * VLSUnitaryFormula returns VLSVariable
1048 * VLSUnaryInfix returns VLSVariable
1049 * VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSVariable
1050 * VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSVariable
1051 * VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSVariable
1052 * VLSAtomic returns VLSVariable
1053 * VLSVariable returns VLSVariable
1054 * VLSFofTerm returns VLSVariable
1055 *
1056 * Constraint:
1057 * name=UPPER_WORD_ID
1058 */
1059 protected void sequence_VLSVariable(ISerializationContext context, VLSVariable semanticObject) {
1060 if (errorAcceptor != null) {
1061 if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_VARIABLE__NAME) == ValueTransient.YES)
1062 errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_VARIABLE__NAME));
1063 }
1064 SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
1065 feeder.accept(grammarAccess.getVLSVariableAccess().getNameUPPER_WORD_IDTerminalRuleCall_0(), semanticObject.getName());
1066 feeder.finish();
1067 }
1068
1069
1070 /**
1071 * Contexts:
1072 * VampireModel returns VampireModel
1073 *
1074 * Constraint:
1075 * (includes+=VLSInclude | comments+=VLSComment | confirmations+=VLSConfirmations | formulas+=VLSFofFormula | tfformulas+=VLSTffFormula)+
1076 */
1077 protected void sequence_VampireModel(ISerializationContext context, VampireModel semanticObject) {
1078 genericSequencer.createSequence(context, semanticObject);
1079 }
1080
1081
1082}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-05 22:55:15 +0000