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