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