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