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