diff options
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.java | 1011 |
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 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.serializer; | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation; | ||
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment; | ||
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; | ||
11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant; | ||
12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote; | ||
13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; | ||
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; | ||
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | ||
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; | ||
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | ||
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | ||
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; | ||
20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies; | ||
21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude; | ||
22 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; | ||
23 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt; | ||
24 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess; | ||
25 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName; | ||
26 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand; | ||
27 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor; | ||
28 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr; | ||
29 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; | ||
30 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; | ||
31 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; | ||
32 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; | ||
33 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; | ||
34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | ||
35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | ||
36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor; | ||
37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | ||
38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; | ||
39 | import com.google.inject.Inject; | ||
40 | import java.util.Set; | ||
41 | import org.eclipse.emf.ecore.EObject; | ||
42 | import org.eclipse.emf.ecore.EPackage; | ||
43 | import org.eclipse.xtext.Action; | ||
44 | import org.eclipse.xtext.Parameter; | ||
45 | import org.eclipse.xtext.ParserRule; | ||
46 | import org.eclipse.xtext.serializer.ISerializationContext; | ||
47 | import org.eclipse.xtext.serializer.acceptor.SequenceFeeder; | ||
48 | import org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer; | ||
49 | import org.eclipse.xtext.serializer.sequencer.ITransientValueService.ValueTransient; | ||
50 | |||
51 | @SuppressWarnings("all") | ||
52 | public 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 | } | ||