diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer')
2 files changed, 2449 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java new file mode 100644 index 00000000..b46c4575 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSemanticSequencer.java | |||
@@ -0,0 +1,2235 @@ | |||
1 | /* | ||
2 | * generated by Xtext | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.serializer; | ||
5 | |||
6 | import com.google.inject.Inject; | ||
7 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSAnd; | ||
8 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSCardinality; | ||
9 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct; | ||
10 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument; | ||
11 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumDeclaration; | ||
12 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumLiteral; | ||
13 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEquals; | ||
14 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFactDeclaration; | ||
15 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration; | ||
16 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall; | ||
17 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionDefinition; | ||
18 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIden; | ||
19 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIff; | ||
20 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl; | ||
21 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInt; | ||
22 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntScope; | ||
23 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntersection; | ||
24 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInverseRelation; | ||
25 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSJoin; | ||
26 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLeq; | ||
27 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLess; | ||
28 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMeq; | ||
29 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMinus; | ||
30 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMore; | ||
31 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNone; | ||
32 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNot; | ||
33 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNotEquals; | ||
34 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumberLiteral; | ||
35 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOr; | ||
36 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOverride; | ||
37 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSPlus; | ||
38 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx; | ||
39 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionLeft; | ||
40 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionRight; | ||
41 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference; | ||
42 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReflectiveTransitiveClosure; | ||
43 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDefinition; | ||
44 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand; | ||
45 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope; | ||
46 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody; | ||
47 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration; | ||
48 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset; | ||
49 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum; | ||
50 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUnaryMinus; | ||
51 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUniv; | ||
52 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration; | ||
53 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlSTransitiveClosure; | ||
54 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; | ||
55 | import hu.bme.mit.inf.dslreasoner.services.AlloyLanguageGrammarAccess; | ||
56 | import java.util.Set; | ||
57 | import org.eclipse.emf.ecore.EObject; | ||
58 | import org.eclipse.emf.ecore.EPackage; | ||
59 | import org.eclipse.xtext.Action; | ||
60 | import org.eclipse.xtext.Parameter; | ||
61 | import org.eclipse.xtext.ParserRule; | ||
62 | import org.eclipse.xtext.serializer.ISerializationContext; | ||
63 | import org.eclipse.xtext.serializer.acceptor.SequenceFeeder; | ||
64 | import org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer; | ||
65 | import org.eclipse.xtext.serializer.sequencer.ITransientValueService.ValueTransient; | ||
66 | |||
67 | @SuppressWarnings("all") | ||
68 | public class AlloyLanguageSemanticSequencer extends AbstractDelegatingSemanticSequencer { | ||
69 | |||
70 | @Inject | ||
71 | private AlloyLanguageGrammarAccess grammarAccess; | ||
72 | |||
73 | @Override | ||
74 | public void sequence(ISerializationContext context, EObject semanticObject) { | ||
75 | EPackage epackage = semanticObject.eClass().getEPackage(); | ||
76 | ParserRule rule = context.getParserRule(); | ||
77 | Action action = context.getAssignedAction(); | ||
78 | Set<Parameter> parameters = context.getEnabledBooleanParameters(); | ||
79 | if (epackage == AlloyLanguagePackage.eINSTANCE) | ||
80 | switch (semanticObject.eClass().getClassifierID()) { | ||
81 | case AlloyLanguagePackage.ALS_AND: | ||
82 | sequence_ALSAnd(context, (ALSAnd) semanticObject); | ||
83 | return; | ||
84 | case AlloyLanguagePackage.ALS_CARDINALITY: | ||
85 | sequence_ALSPreficed(context, (ALSCardinality) semanticObject); | ||
86 | return; | ||
87 | case AlloyLanguagePackage.ALS_DIRECT_PRODUCT: | ||
88 | sequence_ALSDirectProduct(context, (ALSDirectProduct) semanticObject); | ||
89 | return; | ||
90 | case AlloyLanguagePackage.ALS_DOCUMENT: | ||
91 | sequence_ALSDocument(context, (ALSDocument) semanticObject); | ||
92 | return; | ||
93 | case AlloyLanguagePackage.ALS_ENUM_DECLARATION: | ||
94 | sequence_ALSEnumDeclaration(context, (ALSEnumDeclaration) semanticObject); | ||
95 | return; | ||
96 | case AlloyLanguagePackage.ALS_ENUM_LITERAL: | ||
97 | sequence_ALSEnumLiteral(context, (ALSEnumLiteral) semanticObject); | ||
98 | return; | ||
99 | case AlloyLanguagePackage.ALS_EQUALS: | ||
100 | sequence_ALSComparison(context, (ALSEquals) semanticObject); | ||
101 | return; | ||
102 | case AlloyLanguagePackage.ALS_FACT_DECLARATION: | ||
103 | sequence_ALSFactDeclaration(context, (ALSFactDeclaration) semanticObject); | ||
104 | return; | ||
105 | case AlloyLanguagePackage.ALS_FIELD_DECLARATION: | ||
106 | sequence_ALSFieldDeclaration(context, (ALSFieldDeclaration) semanticObject); | ||
107 | return; | ||
108 | case AlloyLanguagePackage.ALS_FUNCTION_CALL: | ||
109 | sequence_ALSPreficed(context, (ALSFunctionCall) semanticObject); | ||
110 | return; | ||
111 | case AlloyLanguagePackage.ALS_FUNCTION_DEFINITION: | ||
112 | sequence_ALSFunctionDefinition(context, (ALSFunctionDefinition) semanticObject); | ||
113 | return; | ||
114 | case AlloyLanguagePackage.ALS_IDEN: | ||
115 | sequence_ALSBasicRelationTerm(context, (ALSIden) semanticObject); | ||
116 | return; | ||
117 | case AlloyLanguagePackage.ALS_IFF: | ||
118 | sequence_ALSIff(context, (ALSIff) semanticObject); | ||
119 | return; | ||
120 | case AlloyLanguagePackage.ALS_IMPL: | ||
121 | sequence_ALSImpl(context, (ALSImpl) semanticObject); | ||
122 | return; | ||
123 | case AlloyLanguagePackage.ALS_INT: | ||
124 | sequence_ALSBasicRelationTerm(context, (ALSInt) semanticObject); | ||
125 | return; | ||
126 | case AlloyLanguagePackage.ALS_INT_SCOPE: | ||
127 | sequence_ALSIntScope(context, (ALSIntScope) semanticObject); | ||
128 | return; | ||
129 | case AlloyLanguagePackage.ALS_INTERSECTION: | ||
130 | sequence_ALSIntersection(context, (ALSIntersection) semanticObject); | ||
131 | return; | ||
132 | case AlloyLanguagePackage.ALS_INVERSE_RELATION: | ||
133 | sequence_ALSPreficed(context, (ALSInverseRelation) semanticObject); | ||
134 | return; | ||
135 | case AlloyLanguagePackage.ALS_JOIN: | ||
136 | sequence_ALSJoin(context, (ALSJoin) semanticObject); | ||
137 | return; | ||
138 | case AlloyLanguagePackage.ALS_LEQ: | ||
139 | sequence_ALSComparison(context, (ALSLeq) semanticObject); | ||
140 | return; | ||
141 | case AlloyLanguagePackage.ALS_LESS: | ||
142 | sequence_ALSComparison(context, (ALSLess) semanticObject); | ||
143 | return; | ||
144 | case AlloyLanguagePackage.ALS_MEQ: | ||
145 | sequence_ALSComparison(context, (ALSMeq) semanticObject); | ||
146 | return; | ||
147 | case AlloyLanguagePackage.ALS_MINUS: | ||
148 | sequence_ALSMinus(context, (ALSMinus) semanticObject); | ||
149 | return; | ||
150 | case AlloyLanguagePackage.ALS_MORE: | ||
151 | sequence_ALSComparison(context, (ALSMore) semanticObject); | ||
152 | return; | ||
153 | case AlloyLanguagePackage.ALS_NONE: | ||
154 | sequence_ALSBasicRelationTerm(context, (ALSNone) semanticObject); | ||
155 | return; | ||
156 | case AlloyLanguagePackage.ALS_NOT: | ||
157 | sequence_ALSPreficed(context, (ALSNot) semanticObject); | ||
158 | return; | ||
159 | case AlloyLanguagePackage.ALS_NOT_EQUALS: | ||
160 | sequence_ALSComparison(context, (ALSNotEquals) semanticObject); | ||
161 | return; | ||
162 | case AlloyLanguagePackage.ALS_NUMBER_LITERAL: | ||
163 | sequence_ALSBasicRelationTerm(context, (ALSNumberLiteral) semanticObject); | ||
164 | return; | ||
165 | case AlloyLanguagePackage.ALS_OR: | ||
166 | sequence_ALSOr(context, (ALSOr) semanticObject); | ||
167 | return; | ||
168 | case AlloyLanguagePackage.ALS_OVERRIDE: | ||
169 | sequence_ALSOverride(context, (ALSOverride) semanticObject); | ||
170 | return; | ||
171 | case AlloyLanguagePackage.ALS_PLUS: | ||
172 | sequence_ALSPlus(context, (ALSPlus) semanticObject); | ||
173 | return; | ||
174 | case AlloyLanguagePackage.ALS_QUANTIFIED_EX: | ||
175 | sequence_ALSQuantified(context, (ALSQuantifiedEx) semanticObject); | ||
176 | return; | ||
177 | case AlloyLanguagePackage.ALS_RANGE_RESTRICTION_LEFT: | ||
178 | sequence_ALSRangeRestrictionLeft(context, (ALSRangeRestrictionLeft) semanticObject); | ||
179 | return; | ||
180 | case AlloyLanguagePackage.ALS_RANGE_RESTRICTION_RIGHT: | ||
181 | sequence_ALSRangeRestrictionRight(context, (ALSRangeRestrictionRight) semanticObject); | ||
182 | return; | ||
183 | case AlloyLanguagePackage.ALS_REFERENCE: | ||
184 | sequence_ALSBasicRelationTerm(context, (ALSReference) semanticObject); | ||
185 | return; | ||
186 | case AlloyLanguagePackage.ALS_REFLECTIVE_TRANSITIVE_CLOSURE: | ||
187 | sequence_ALSPreficed(context, (ALSReflectiveTransitiveClosure) semanticObject); | ||
188 | return; | ||
189 | case AlloyLanguagePackage.ALS_RELATION_DEFINITION: | ||
190 | sequence_ALSRelationDefinition(context, (ALSRelationDefinition) semanticObject); | ||
191 | return; | ||
192 | case AlloyLanguagePackage.ALS_RUN_COMMAND: | ||
193 | sequence_ALSRunCommand(context, (ALSRunCommand) semanticObject); | ||
194 | return; | ||
195 | case AlloyLanguagePackage.ALS_SIG_SCOPE: | ||
196 | sequence_ALSSigScope(context, (ALSSigScope) semanticObject); | ||
197 | return; | ||
198 | case AlloyLanguagePackage.ALS_SIGNATURE_BODY: | ||
199 | sequence_ALSSignatureBody(context, (ALSSignatureBody) semanticObject); | ||
200 | return; | ||
201 | case AlloyLanguagePackage.ALS_SIGNATURE_DECLARATION: | ||
202 | sequence_ALSSignatureDeclaration(context, (ALSSignatureDeclaration) semanticObject); | ||
203 | return; | ||
204 | case AlloyLanguagePackage.ALS_SUBSET: | ||
205 | sequence_ALSComparison(context, (ALSSubset) semanticObject); | ||
206 | return; | ||
207 | case AlloyLanguagePackage.ALS_SUM: | ||
208 | sequence_ALSPreficed(context, (ALSSum) semanticObject); | ||
209 | return; | ||
210 | case AlloyLanguagePackage.ALS_UNARY_MINUS: | ||
211 | sequence_ALSPreficed(context, (ALSUnaryMinus) semanticObject); | ||
212 | return; | ||
213 | case AlloyLanguagePackage.ALS_UNIV: | ||
214 | sequence_ALSBasicRelationTerm(context, (ALSUniv) semanticObject); | ||
215 | return; | ||
216 | case AlloyLanguagePackage.ALS_VARIABLE_DECLARATION: | ||
217 | sequence_ALSVariableDeclaration(context, (ALSVariableDeclaration) semanticObject); | ||
218 | return; | ||
219 | case AlloyLanguagePackage.AL_STRANSITIVE_CLOSURE: | ||
220 | sequence_ALSPreficed(context, (AlSTransitiveClosure) semanticObject); | ||
221 | return; | ||
222 | } | ||
223 | if (errorAcceptor != null) | ||
224 | errorAcceptor.accept(diagnosticProvider.createInvalidContextOrTypeDiagnostic(semanticObject, context)); | ||
225 | } | ||
226 | |||
227 | /** | ||
228 | * Contexts: | ||
229 | * ALSTerm returns ALSAnd | ||
230 | * ALSQuantified returns ALSAnd | ||
231 | * ALSOr returns ALSAnd | ||
232 | * ALSOr.ALSOr_1_0 returns ALSAnd | ||
233 | * ALSIff returns ALSAnd | ||
234 | * ALSIff.ALSIff_1_0 returns ALSAnd | ||
235 | * ALSImpl returns ALSAnd | ||
236 | * ALSImpl.ALSImpl_1_0 returns ALSAnd | ||
237 | * ALSAnd returns ALSAnd | ||
238 | * ALSAnd.ALSAnd_1_0 returns ALSAnd | ||
239 | * ALSComparison returns ALSAnd | ||
240 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSAnd | ||
241 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSAnd | ||
242 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSAnd | ||
243 | * ALSComparison.ALSLess_1_0_3_0 returns ALSAnd | ||
244 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSAnd | ||
245 | * ALSComparison.ALSMore_1_0_5_0 returns ALSAnd | ||
246 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSAnd | ||
247 | * ALSOverride returns ALSAnd | ||
248 | * ALSOverride.ALSOverride_1_0 returns ALSAnd | ||
249 | * ALSRangeRestrictionRight returns ALSAnd | ||
250 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSAnd | ||
251 | * ALSRangeRestrictionLeft returns ALSAnd | ||
252 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSAnd | ||
253 | * ALSJoin returns ALSAnd | ||
254 | * ALSJoin.ALSJoin_1_0 returns ALSAnd | ||
255 | * ALSMinus returns ALSAnd | ||
256 | * ALSMinus.ALSMinus_1_0 returns ALSAnd | ||
257 | * ALSPlus returns ALSAnd | ||
258 | * ALSPlus.ALSPlus_1_0 returns ALSAnd | ||
259 | * ALSIntersection returns ALSAnd | ||
260 | * ALSIntersection.ALSIntersection_1_0 returns ALSAnd | ||
261 | * ALSDirectProduct returns ALSAnd | ||
262 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSAnd | ||
263 | * ALSPreficed returns ALSAnd | ||
264 | * ALSBasicRelationTerm returns ALSAnd | ||
265 | * | ||
266 | * Constraint: | ||
267 | * (leftOperand=ALSAnd_ALSAnd_1_0 rightOperand=ALSComparison) | ||
268 | */ | ||
269 | protected void sequence_ALSAnd(ISerializationContext context, ALSAnd semanticObject) { | ||
270 | if (errorAcceptor != null) { | ||
271 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_AND__LEFT_OPERAND) == ValueTransient.YES) | ||
272 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_AND__LEFT_OPERAND)); | ||
273 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_AND__RIGHT_OPERAND) == ValueTransient.YES) | ||
274 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_AND__RIGHT_OPERAND)); | ||
275 | } | ||
276 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
277 | feeder.accept(grammarAccess.getALSAndAccess().getALSAndLeftOperandAction_1_0(), semanticObject.getLeftOperand()); | ||
278 | feeder.accept(grammarAccess.getALSAndAccess().getRightOperandALSComparisonParserRuleCall_1_2_0(), semanticObject.getRightOperand()); | ||
279 | feeder.finish(); | ||
280 | } | ||
281 | |||
282 | |||
283 | /** | ||
284 | * Contexts: | ||
285 | * ALSTerm returns ALSIden | ||
286 | * ALSQuantified returns ALSIden | ||
287 | * ALSOr returns ALSIden | ||
288 | * ALSOr.ALSOr_1_0 returns ALSIden | ||
289 | * ALSIff returns ALSIden | ||
290 | * ALSIff.ALSIff_1_0 returns ALSIden | ||
291 | * ALSImpl returns ALSIden | ||
292 | * ALSImpl.ALSImpl_1_0 returns ALSIden | ||
293 | * ALSAnd returns ALSIden | ||
294 | * ALSAnd.ALSAnd_1_0 returns ALSIden | ||
295 | * ALSComparison returns ALSIden | ||
296 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSIden | ||
297 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSIden | ||
298 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSIden | ||
299 | * ALSComparison.ALSLess_1_0_3_0 returns ALSIden | ||
300 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSIden | ||
301 | * ALSComparison.ALSMore_1_0_5_0 returns ALSIden | ||
302 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSIden | ||
303 | * ALSOverride returns ALSIden | ||
304 | * ALSOverride.ALSOverride_1_0 returns ALSIden | ||
305 | * ALSRangeRestrictionRight returns ALSIden | ||
306 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSIden | ||
307 | * ALSRangeRestrictionLeft returns ALSIden | ||
308 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSIden | ||
309 | * ALSJoin returns ALSIden | ||
310 | * ALSJoin.ALSJoin_1_0 returns ALSIden | ||
311 | * ALSMinus returns ALSIden | ||
312 | * ALSMinus.ALSMinus_1_0 returns ALSIden | ||
313 | * ALSPlus returns ALSIden | ||
314 | * ALSPlus.ALSPlus_1_0 returns ALSIden | ||
315 | * ALSIntersection returns ALSIden | ||
316 | * ALSIntersection.ALSIntersection_1_0 returns ALSIden | ||
317 | * ALSDirectProduct returns ALSIden | ||
318 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSIden | ||
319 | * ALSPreficed returns ALSIden | ||
320 | * ALSBasicRelationTerm returns ALSIden | ||
321 | * | ||
322 | * Constraint: | ||
323 | * {ALSIden} | ||
324 | */ | ||
325 | protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSIden semanticObject) { | ||
326 | genericSequencer.createSequence(context, semanticObject); | ||
327 | } | ||
328 | |||
329 | |||
330 | /** | ||
331 | * Contexts: | ||
332 | * ALSTerm returns ALSInt | ||
333 | * ALSQuantified returns ALSInt | ||
334 | * ALSOr returns ALSInt | ||
335 | * ALSOr.ALSOr_1_0 returns ALSInt | ||
336 | * ALSIff returns ALSInt | ||
337 | * ALSIff.ALSIff_1_0 returns ALSInt | ||
338 | * ALSImpl returns ALSInt | ||
339 | * ALSImpl.ALSImpl_1_0 returns ALSInt | ||
340 | * ALSAnd returns ALSInt | ||
341 | * ALSAnd.ALSAnd_1_0 returns ALSInt | ||
342 | * ALSComparison returns ALSInt | ||
343 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSInt | ||
344 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSInt | ||
345 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSInt | ||
346 | * ALSComparison.ALSLess_1_0_3_0 returns ALSInt | ||
347 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSInt | ||
348 | * ALSComparison.ALSMore_1_0_5_0 returns ALSInt | ||
349 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSInt | ||
350 | * ALSOverride returns ALSInt | ||
351 | * ALSOverride.ALSOverride_1_0 returns ALSInt | ||
352 | * ALSRangeRestrictionRight returns ALSInt | ||
353 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSInt | ||
354 | * ALSRangeRestrictionLeft returns ALSInt | ||
355 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSInt | ||
356 | * ALSJoin returns ALSInt | ||
357 | * ALSJoin.ALSJoin_1_0 returns ALSInt | ||
358 | * ALSMinus returns ALSInt | ||
359 | * ALSMinus.ALSMinus_1_0 returns ALSInt | ||
360 | * ALSPlus returns ALSInt | ||
361 | * ALSPlus.ALSPlus_1_0 returns ALSInt | ||
362 | * ALSIntersection returns ALSInt | ||
363 | * ALSIntersection.ALSIntersection_1_0 returns ALSInt | ||
364 | * ALSDirectProduct returns ALSInt | ||
365 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSInt | ||
366 | * ALSPreficed returns ALSInt | ||
367 | * ALSBasicRelationTerm returns ALSInt | ||
368 | * | ||
369 | * Constraint: | ||
370 | * {ALSInt} | ||
371 | */ | ||
372 | protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSInt semanticObject) { | ||
373 | genericSequencer.createSequence(context, semanticObject); | ||
374 | } | ||
375 | |||
376 | |||
377 | /** | ||
378 | * Contexts: | ||
379 | * ALSTerm returns ALSNone | ||
380 | * ALSQuantified returns ALSNone | ||
381 | * ALSOr returns ALSNone | ||
382 | * ALSOr.ALSOr_1_0 returns ALSNone | ||
383 | * ALSIff returns ALSNone | ||
384 | * ALSIff.ALSIff_1_0 returns ALSNone | ||
385 | * ALSImpl returns ALSNone | ||
386 | * ALSImpl.ALSImpl_1_0 returns ALSNone | ||
387 | * ALSAnd returns ALSNone | ||
388 | * ALSAnd.ALSAnd_1_0 returns ALSNone | ||
389 | * ALSComparison returns ALSNone | ||
390 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSNone | ||
391 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSNone | ||
392 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSNone | ||
393 | * ALSComparison.ALSLess_1_0_3_0 returns ALSNone | ||
394 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSNone | ||
395 | * ALSComparison.ALSMore_1_0_5_0 returns ALSNone | ||
396 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSNone | ||
397 | * ALSOverride returns ALSNone | ||
398 | * ALSOverride.ALSOverride_1_0 returns ALSNone | ||
399 | * ALSRangeRestrictionRight returns ALSNone | ||
400 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSNone | ||
401 | * ALSRangeRestrictionLeft returns ALSNone | ||
402 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSNone | ||
403 | * ALSJoin returns ALSNone | ||
404 | * ALSJoin.ALSJoin_1_0 returns ALSNone | ||
405 | * ALSMinus returns ALSNone | ||
406 | * ALSMinus.ALSMinus_1_0 returns ALSNone | ||
407 | * ALSPlus returns ALSNone | ||
408 | * ALSPlus.ALSPlus_1_0 returns ALSNone | ||
409 | * ALSIntersection returns ALSNone | ||
410 | * ALSIntersection.ALSIntersection_1_0 returns ALSNone | ||
411 | * ALSDirectProduct returns ALSNone | ||
412 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSNone | ||
413 | * ALSPreficed returns ALSNone | ||
414 | * ALSBasicRelationTerm returns ALSNone | ||
415 | * | ||
416 | * Constraint: | ||
417 | * {ALSNone} | ||
418 | */ | ||
419 | protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSNone semanticObject) { | ||
420 | genericSequencer.createSequence(context, semanticObject); | ||
421 | } | ||
422 | |||
423 | |||
424 | /** | ||
425 | * Contexts: | ||
426 | * ALSTerm returns ALSNumberLiteral | ||
427 | * ALSQuantified returns ALSNumberLiteral | ||
428 | * ALSOr returns ALSNumberLiteral | ||
429 | * ALSOr.ALSOr_1_0 returns ALSNumberLiteral | ||
430 | * ALSIff returns ALSNumberLiteral | ||
431 | * ALSIff.ALSIff_1_0 returns ALSNumberLiteral | ||
432 | * ALSImpl returns ALSNumberLiteral | ||
433 | * ALSImpl.ALSImpl_1_0 returns ALSNumberLiteral | ||
434 | * ALSAnd returns ALSNumberLiteral | ||
435 | * ALSAnd.ALSAnd_1_0 returns ALSNumberLiteral | ||
436 | * ALSComparison returns ALSNumberLiteral | ||
437 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSNumberLiteral | ||
438 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSNumberLiteral | ||
439 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSNumberLiteral | ||
440 | * ALSComparison.ALSLess_1_0_3_0 returns ALSNumberLiteral | ||
441 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSNumberLiteral | ||
442 | * ALSComparison.ALSMore_1_0_5_0 returns ALSNumberLiteral | ||
443 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSNumberLiteral | ||
444 | * ALSOverride returns ALSNumberLiteral | ||
445 | * ALSOverride.ALSOverride_1_0 returns ALSNumberLiteral | ||
446 | * ALSRangeRestrictionRight returns ALSNumberLiteral | ||
447 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSNumberLiteral | ||
448 | * ALSRangeRestrictionLeft returns ALSNumberLiteral | ||
449 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSNumberLiteral | ||
450 | * ALSJoin returns ALSNumberLiteral | ||
451 | * ALSJoin.ALSJoin_1_0 returns ALSNumberLiteral | ||
452 | * ALSMinus returns ALSNumberLiteral | ||
453 | * ALSMinus.ALSMinus_1_0 returns ALSNumberLiteral | ||
454 | * ALSPlus returns ALSNumberLiteral | ||
455 | * ALSPlus.ALSPlus_1_0 returns ALSNumberLiteral | ||
456 | * ALSIntersection returns ALSNumberLiteral | ||
457 | * ALSIntersection.ALSIntersection_1_0 returns ALSNumberLiteral | ||
458 | * ALSDirectProduct returns ALSNumberLiteral | ||
459 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSNumberLiteral | ||
460 | * ALSPreficed returns ALSNumberLiteral | ||
461 | * ALSBasicRelationTerm returns ALSNumberLiteral | ||
462 | * | ||
463 | * Constraint: | ||
464 | * value=INT | ||
465 | */ | ||
466 | protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSNumberLiteral semanticObject) { | ||
467 | if (errorAcceptor != null) { | ||
468 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_NUMBER_LITERAL__VALUE) == ValueTransient.YES) | ||
469 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_NUMBER_LITERAL__VALUE)); | ||
470 | } | ||
471 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
472 | feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getValueINTTerminalRuleCall_5_1_0(), semanticObject.getValue()); | ||
473 | feeder.finish(); | ||
474 | } | ||
475 | |||
476 | |||
477 | /** | ||
478 | * Contexts: | ||
479 | * ALSTerm returns ALSReference | ||
480 | * ALSQuantified returns ALSReference | ||
481 | * ALSOr returns ALSReference | ||
482 | * ALSOr.ALSOr_1_0 returns ALSReference | ||
483 | * ALSIff returns ALSReference | ||
484 | * ALSIff.ALSIff_1_0 returns ALSReference | ||
485 | * ALSImpl returns ALSReference | ||
486 | * ALSImpl.ALSImpl_1_0 returns ALSReference | ||
487 | * ALSAnd returns ALSReference | ||
488 | * ALSAnd.ALSAnd_1_0 returns ALSReference | ||
489 | * ALSComparison returns ALSReference | ||
490 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSReference | ||
491 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSReference | ||
492 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSReference | ||
493 | * ALSComparison.ALSLess_1_0_3_0 returns ALSReference | ||
494 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSReference | ||
495 | * ALSComparison.ALSMore_1_0_5_0 returns ALSReference | ||
496 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSReference | ||
497 | * ALSOverride returns ALSReference | ||
498 | * ALSOverride.ALSOverride_1_0 returns ALSReference | ||
499 | * ALSRangeRestrictionRight returns ALSReference | ||
500 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSReference | ||
501 | * ALSRangeRestrictionLeft returns ALSReference | ||
502 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSReference | ||
503 | * ALSJoin returns ALSReference | ||
504 | * ALSJoin.ALSJoin_1_0 returns ALSReference | ||
505 | * ALSMinus returns ALSReference | ||
506 | * ALSMinus.ALSMinus_1_0 returns ALSReference | ||
507 | * ALSPlus returns ALSReference | ||
508 | * ALSPlus.ALSPlus_1_0 returns ALSReference | ||
509 | * ALSIntersection returns ALSReference | ||
510 | * ALSIntersection.ALSIntersection_1_0 returns ALSReference | ||
511 | * ALSDirectProduct returns ALSReference | ||
512 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSReference | ||
513 | * ALSPreficed returns ALSReference | ||
514 | * ALSBasicRelationTerm returns ALSReference | ||
515 | * | ||
516 | * Constraint: | ||
517 | * referred=[ALSRelationDeclaration|ID] | ||
518 | */ | ||
519 | protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSReference semanticObject) { | ||
520 | if (errorAcceptor != null) { | ||
521 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED) == ValueTransient.YES) | ||
522 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED)); | ||
523 | } | ||
524 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
525 | feeder.accept(grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationIDTerminalRuleCall_4_1_0_1(), semanticObject.eGet(AlloyLanguagePackage.Literals.ALS_REFERENCE__REFERRED, false)); | ||
526 | feeder.finish(); | ||
527 | } | ||
528 | |||
529 | |||
530 | /** | ||
531 | * Contexts: | ||
532 | * ALSTerm returns ALSUniv | ||
533 | * ALSQuantified returns ALSUniv | ||
534 | * ALSOr returns ALSUniv | ||
535 | * ALSOr.ALSOr_1_0 returns ALSUniv | ||
536 | * ALSIff returns ALSUniv | ||
537 | * ALSIff.ALSIff_1_0 returns ALSUniv | ||
538 | * ALSImpl returns ALSUniv | ||
539 | * ALSImpl.ALSImpl_1_0 returns ALSUniv | ||
540 | * ALSAnd returns ALSUniv | ||
541 | * ALSAnd.ALSAnd_1_0 returns ALSUniv | ||
542 | * ALSComparison returns ALSUniv | ||
543 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSUniv | ||
544 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSUniv | ||
545 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSUniv | ||
546 | * ALSComparison.ALSLess_1_0_3_0 returns ALSUniv | ||
547 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSUniv | ||
548 | * ALSComparison.ALSMore_1_0_5_0 returns ALSUniv | ||
549 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSUniv | ||
550 | * ALSOverride returns ALSUniv | ||
551 | * ALSOverride.ALSOverride_1_0 returns ALSUniv | ||
552 | * ALSRangeRestrictionRight returns ALSUniv | ||
553 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSUniv | ||
554 | * ALSRangeRestrictionLeft returns ALSUniv | ||
555 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSUniv | ||
556 | * ALSJoin returns ALSUniv | ||
557 | * ALSJoin.ALSJoin_1_0 returns ALSUniv | ||
558 | * ALSMinus returns ALSUniv | ||
559 | * ALSMinus.ALSMinus_1_0 returns ALSUniv | ||
560 | * ALSPlus returns ALSUniv | ||
561 | * ALSPlus.ALSPlus_1_0 returns ALSUniv | ||
562 | * ALSIntersection returns ALSUniv | ||
563 | * ALSIntersection.ALSIntersection_1_0 returns ALSUniv | ||
564 | * ALSDirectProduct returns ALSUniv | ||
565 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSUniv | ||
566 | * ALSPreficed returns ALSUniv | ||
567 | * ALSBasicRelationTerm returns ALSUniv | ||
568 | * | ||
569 | * Constraint: | ||
570 | * {ALSUniv} | ||
571 | */ | ||
572 | protected void sequence_ALSBasicRelationTerm(ISerializationContext context, ALSUniv semanticObject) { | ||
573 | genericSequencer.createSequence(context, semanticObject); | ||
574 | } | ||
575 | |||
576 | |||
577 | /** | ||
578 | * Contexts: | ||
579 | * ALSTerm returns ALSEquals | ||
580 | * ALSQuantified returns ALSEquals | ||
581 | * ALSOr returns ALSEquals | ||
582 | * ALSOr.ALSOr_1_0 returns ALSEquals | ||
583 | * ALSIff returns ALSEquals | ||
584 | * ALSIff.ALSIff_1_0 returns ALSEquals | ||
585 | * ALSImpl returns ALSEquals | ||
586 | * ALSImpl.ALSImpl_1_0 returns ALSEquals | ||
587 | * ALSAnd returns ALSEquals | ||
588 | * ALSAnd.ALSAnd_1_0 returns ALSEquals | ||
589 | * ALSComparison returns ALSEquals | ||
590 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSEquals | ||
591 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSEquals | ||
592 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSEquals | ||
593 | * ALSComparison.ALSLess_1_0_3_0 returns ALSEquals | ||
594 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSEquals | ||
595 | * ALSComparison.ALSMore_1_0_5_0 returns ALSEquals | ||
596 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSEquals | ||
597 | * ALSOverride returns ALSEquals | ||
598 | * ALSOverride.ALSOverride_1_0 returns ALSEquals | ||
599 | * ALSRangeRestrictionRight returns ALSEquals | ||
600 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSEquals | ||
601 | * ALSRangeRestrictionLeft returns ALSEquals | ||
602 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSEquals | ||
603 | * ALSJoin returns ALSEquals | ||
604 | * ALSJoin.ALSJoin_1_0 returns ALSEquals | ||
605 | * ALSMinus returns ALSEquals | ||
606 | * ALSMinus.ALSMinus_1_0 returns ALSEquals | ||
607 | * ALSPlus returns ALSEquals | ||
608 | * ALSPlus.ALSPlus_1_0 returns ALSEquals | ||
609 | * ALSIntersection returns ALSEquals | ||
610 | * ALSIntersection.ALSIntersection_1_0 returns ALSEquals | ||
611 | * ALSDirectProduct returns ALSEquals | ||
612 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSEquals | ||
613 | * ALSPreficed returns ALSEquals | ||
614 | * ALSBasicRelationTerm returns ALSEquals | ||
615 | * | ||
616 | * Constraint: | ||
617 | * (leftOperand=ALSComparison_ALSEquals_1_0_0_0 rightOperand=ALSOverride) | ||
618 | */ | ||
619 | protected void sequence_ALSComparison(ISerializationContext context, ALSEquals semanticObject) { | ||
620 | if (errorAcceptor != null) { | ||
621 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_EQUALS__LEFT_OPERAND) == ValueTransient.YES) | ||
622 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_EQUALS__LEFT_OPERAND)); | ||
623 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_EQUALS__RIGHT_OPERAND) == ValueTransient.YES) | ||
624 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_EQUALS__RIGHT_OPERAND)); | ||
625 | } | ||
626 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
627 | feeder.accept(grammarAccess.getALSComparisonAccess().getALSEqualsLeftOperandAction_1_0_0_0(), semanticObject.getLeftOperand()); | ||
628 | feeder.accept(grammarAccess.getALSComparisonAccess().getRightOperandALSOverrideParserRuleCall_1_1_0(), semanticObject.getRightOperand()); | ||
629 | feeder.finish(); | ||
630 | } | ||
631 | |||
632 | |||
633 | /** | ||
634 | * Contexts: | ||
635 | * ALSTerm returns ALSLeq | ||
636 | * ALSQuantified returns ALSLeq | ||
637 | * ALSOr returns ALSLeq | ||
638 | * ALSOr.ALSOr_1_0 returns ALSLeq | ||
639 | * ALSIff returns ALSLeq | ||
640 | * ALSIff.ALSIff_1_0 returns ALSLeq | ||
641 | * ALSImpl returns ALSLeq | ||
642 | * ALSImpl.ALSImpl_1_0 returns ALSLeq | ||
643 | * ALSAnd returns ALSLeq | ||
644 | * ALSAnd.ALSAnd_1_0 returns ALSLeq | ||
645 | * ALSComparison returns ALSLeq | ||
646 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSLeq | ||
647 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSLeq | ||
648 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSLeq | ||
649 | * ALSComparison.ALSLess_1_0_3_0 returns ALSLeq | ||
650 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSLeq | ||
651 | * ALSComparison.ALSMore_1_0_5_0 returns ALSLeq | ||
652 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSLeq | ||
653 | * ALSOverride returns ALSLeq | ||
654 | * ALSOverride.ALSOverride_1_0 returns ALSLeq | ||
655 | * ALSRangeRestrictionRight returns ALSLeq | ||
656 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSLeq | ||
657 | * ALSRangeRestrictionLeft returns ALSLeq | ||
658 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSLeq | ||
659 | * ALSJoin returns ALSLeq | ||
660 | * ALSJoin.ALSJoin_1_0 returns ALSLeq | ||
661 | * ALSMinus returns ALSLeq | ||
662 | * ALSMinus.ALSMinus_1_0 returns ALSLeq | ||
663 | * ALSPlus returns ALSLeq | ||
664 | * ALSPlus.ALSPlus_1_0 returns ALSLeq | ||
665 | * ALSIntersection returns ALSLeq | ||
666 | * ALSIntersection.ALSIntersection_1_0 returns ALSLeq | ||
667 | * ALSDirectProduct returns ALSLeq | ||
668 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSLeq | ||
669 | * ALSPreficed returns ALSLeq | ||
670 | * ALSBasicRelationTerm returns ALSLeq | ||
671 | * | ||
672 | * Constraint: | ||
673 | * (leftOperand=ALSComparison_ALSLeq_1_0_4_0 rightOperand=ALSOverride) | ||
674 | */ | ||
675 | protected void sequence_ALSComparison(ISerializationContext context, ALSLeq semanticObject) { | ||
676 | if (errorAcceptor != null) { | ||
677 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_LEQ__LEFT_OPERAND) == ValueTransient.YES) | ||
678 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_LEQ__LEFT_OPERAND)); | ||
679 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_LEQ__RIGHT_OPERAND) == ValueTransient.YES) | ||
680 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_LEQ__RIGHT_OPERAND)); | ||
681 | } | ||
682 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
683 | feeder.accept(grammarAccess.getALSComparisonAccess().getALSLeqLeftOperandAction_1_0_4_0(), semanticObject.getLeftOperand()); | ||
684 | feeder.accept(grammarAccess.getALSComparisonAccess().getRightOperandALSOverrideParserRuleCall_1_1_0(), semanticObject.getRightOperand()); | ||
685 | feeder.finish(); | ||
686 | } | ||
687 | |||
688 | |||
689 | /** | ||
690 | * Contexts: | ||
691 | * ALSTerm returns ALSLess | ||
692 | * ALSQuantified returns ALSLess | ||
693 | * ALSOr returns ALSLess | ||
694 | * ALSOr.ALSOr_1_0 returns ALSLess | ||
695 | * ALSIff returns ALSLess | ||
696 | * ALSIff.ALSIff_1_0 returns ALSLess | ||
697 | * ALSImpl returns ALSLess | ||
698 | * ALSImpl.ALSImpl_1_0 returns ALSLess | ||
699 | * ALSAnd returns ALSLess | ||
700 | * ALSAnd.ALSAnd_1_0 returns ALSLess | ||
701 | * ALSComparison returns ALSLess | ||
702 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSLess | ||
703 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSLess | ||
704 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSLess | ||
705 | * ALSComparison.ALSLess_1_0_3_0 returns ALSLess | ||
706 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSLess | ||
707 | * ALSComparison.ALSMore_1_0_5_0 returns ALSLess | ||
708 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSLess | ||
709 | * ALSOverride returns ALSLess | ||
710 | * ALSOverride.ALSOverride_1_0 returns ALSLess | ||
711 | * ALSRangeRestrictionRight returns ALSLess | ||
712 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSLess | ||
713 | * ALSRangeRestrictionLeft returns ALSLess | ||
714 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSLess | ||
715 | * ALSJoin returns ALSLess | ||
716 | * ALSJoin.ALSJoin_1_0 returns ALSLess | ||
717 | * ALSMinus returns ALSLess | ||
718 | * ALSMinus.ALSMinus_1_0 returns ALSLess | ||
719 | * ALSPlus returns ALSLess | ||
720 | * ALSPlus.ALSPlus_1_0 returns ALSLess | ||
721 | * ALSIntersection returns ALSLess | ||
722 | * ALSIntersection.ALSIntersection_1_0 returns ALSLess | ||
723 | * ALSDirectProduct returns ALSLess | ||
724 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSLess | ||
725 | * ALSPreficed returns ALSLess | ||
726 | * ALSBasicRelationTerm returns ALSLess | ||
727 | * | ||
728 | * Constraint: | ||
729 | * (leftOperand=ALSComparison_ALSLess_1_0_3_0 rightOperand=ALSOverride) | ||
730 | */ | ||
731 | protected void sequence_ALSComparison(ISerializationContext context, ALSLess semanticObject) { | ||
732 | if (errorAcceptor != null) { | ||
733 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_LESS__LEFT_OPERAND) == ValueTransient.YES) | ||
734 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_LESS__LEFT_OPERAND)); | ||
735 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_LESS__RIGHT_OPERAND) == ValueTransient.YES) | ||
736 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_LESS__RIGHT_OPERAND)); | ||
737 | } | ||
738 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
739 | feeder.accept(grammarAccess.getALSComparisonAccess().getALSLessLeftOperandAction_1_0_3_0(), semanticObject.getLeftOperand()); | ||
740 | feeder.accept(grammarAccess.getALSComparisonAccess().getRightOperandALSOverrideParserRuleCall_1_1_0(), semanticObject.getRightOperand()); | ||
741 | feeder.finish(); | ||
742 | } | ||
743 | |||
744 | |||
745 | /** | ||
746 | * Contexts: | ||
747 | * ALSTerm returns ALSMeq | ||
748 | * ALSQuantified returns ALSMeq | ||
749 | * ALSOr returns ALSMeq | ||
750 | * ALSOr.ALSOr_1_0 returns ALSMeq | ||
751 | * ALSIff returns ALSMeq | ||
752 | * ALSIff.ALSIff_1_0 returns ALSMeq | ||
753 | * ALSImpl returns ALSMeq | ||
754 | * ALSImpl.ALSImpl_1_0 returns ALSMeq | ||
755 | * ALSAnd returns ALSMeq | ||
756 | * ALSAnd.ALSAnd_1_0 returns ALSMeq | ||
757 | * ALSComparison returns ALSMeq | ||
758 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSMeq | ||
759 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSMeq | ||
760 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSMeq | ||
761 | * ALSComparison.ALSLess_1_0_3_0 returns ALSMeq | ||
762 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSMeq | ||
763 | * ALSComparison.ALSMore_1_0_5_0 returns ALSMeq | ||
764 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSMeq | ||
765 | * ALSOverride returns ALSMeq | ||
766 | * ALSOverride.ALSOverride_1_0 returns ALSMeq | ||
767 | * ALSRangeRestrictionRight returns ALSMeq | ||
768 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSMeq | ||
769 | * ALSRangeRestrictionLeft returns ALSMeq | ||
770 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSMeq | ||
771 | * ALSJoin returns ALSMeq | ||
772 | * ALSJoin.ALSJoin_1_0 returns ALSMeq | ||
773 | * ALSMinus returns ALSMeq | ||
774 | * ALSMinus.ALSMinus_1_0 returns ALSMeq | ||
775 | * ALSPlus returns ALSMeq | ||
776 | * ALSPlus.ALSPlus_1_0 returns ALSMeq | ||
777 | * ALSIntersection returns ALSMeq | ||
778 | * ALSIntersection.ALSIntersection_1_0 returns ALSMeq | ||
779 | * ALSDirectProduct returns ALSMeq | ||
780 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSMeq | ||
781 | * ALSPreficed returns ALSMeq | ||
782 | * ALSBasicRelationTerm returns ALSMeq | ||
783 | * | ||
784 | * Constraint: | ||
785 | * (leftOperand=ALSComparison_ALSMeq_1_0_6_0 rightOperand=ALSOverride) | ||
786 | */ | ||
787 | protected void sequence_ALSComparison(ISerializationContext context, ALSMeq semanticObject) { | ||
788 | if (errorAcceptor != null) { | ||
789 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_MEQ__LEFT_OPERAND) == ValueTransient.YES) | ||
790 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_MEQ__LEFT_OPERAND)); | ||
791 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_MEQ__RIGHT_OPERAND) == ValueTransient.YES) | ||
792 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_MEQ__RIGHT_OPERAND)); | ||
793 | } | ||
794 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
795 | feeder.accept(grammarAccess.getALSComparisonAccess().getALSMeqLeftOperandAction_1_0_6_0(), semanticObject.getLeftOperand()); | ||
796 | feeder.accept(grammarAccess.getALSComparisonAccess().getRightOperandALSOverrideParserRuleCall_1_1_0(), semanticObject.getRightOperand()); | ||
797 | feeder.finish(); | ||
798 | } | ||
799 | |||
800 | |||
801 | /** | ||
802 | * Contexts: | ||
803 | * ALSTerm returns ALSMore | ||
804 | * ALSQuantified returns ALSMore | ||
805 | * ALSOr returns ALSMore | ||
806 | * ALSOr.ALSOr_1_0 returns ALSMore | ||
807 | * ALSIff returns ALSMore | ||
808 | * ALSIff.ALSIff_1_0 returns ALSMore | ||
809 | * ALSImpl returns ALSMore | ||
810 | * ALSImpl.ALSImpl_1_0 returns ALSMore | ||
811 | * ALSAnd returns ALSMore | ||
812 | * ALSAnd.ALSAnd_1_0 returns ALSMore | ||
813 | * ALSComparison returns ALSMore | ||
814 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSMore | ||
815 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSMore | ||
816 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSMore | ||
817 | * ALSComparison.ALSLess_1_0_3_0 returns ALSMore | ||
818 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSMore | ||
819 | * ALSComparison.ALSMore_1_0_5_0 returns ALSMore | ||
820 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSMore | ||
821 | * ALSOverride returns ALSMore | ||
822 | * ALSOverride.ALSOverride_1_0 returns ALSMore | ||
823 | * ALSRangeRestrictionRight returns ALSMore | ||
824 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSMore | ||
825 | * ALSRangeRestrictionLeft returns ALSMore | ||
826 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSMore | ||
827 | * ALSJoin returns ALSMore | ||
828 | * ALSJoin.ALSJoin_1_0 returns ALSMore | ||
829 | * ALSMinus returns ALSMore | ||
830 | * ALSMinus.ALSMinus_1_0 returns ALSMore | ||
831 | * ALSPlus returns ALSMore | ||
832 | * ALSPlus.ALSPlus_1_0 returns ALSMore | ||
833 | * ALSIntersection returns ALSMore | ||
834 | * ALSIntersection.ALSIntersection_1_0 returns ALSMore | ||
835 | * ALSDirectProduct returns ALSMore | ||
836 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSMore | ||
837 | * ALSPreficed returns ALSMore | ||
838 | * ALSBasicRelationTerm returns ALSMore | ||
839 | * | ||
840 | * Constraint: | ||
841 | * (leftOperand=ALSComparison_ALSMore_1_0_5_0 rightOperand=ALSOverride) | ||
842 | */ | ||
843 | protected void sequence_ALSComparison(ISerializationContext context, ALSMore semanticObject) { | ||
844 | if (errorAcceptor != null) { | ||
845 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_MORE__LEFT_OPERAND) == ValueTransient.YES) | ||
846 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_MORE__LEFT_OPERAND)); | ||
847 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_MORE__RIGHT_OPERAND) == ValueTransient.YES) | ||
848 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_MORE__RIGHT_OPERAND)); | ||
849 | } | ||
850 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
851 | feeder.accept(grammarAccess.getALSComparisonAccess().getALSMoreLeftOperandAction_1_0_5_0(), semanticObject.getLeftOperand()); | ||
852 | feeder.accept(grammarAccess.getALSComparisonAccess().getRightOperandALSOverrideParserRuleCall_1_1_0(), semanticObject.getRightOperand()); | ||
853 | feeder.finish(); | ||
854 | } | ||
855 | |||
856 | |||
857 | /** | ||
858 | * Contexts: | ||
859 | * ALSTerm returns ALSNotEquals | ||
860 | * ALSQuantified returns ALSNotEquals | ||
861 | * ALSOr returns ALSNotEquals | ||
862 | * ALSOr.ALSOr_1_0 returns ALSNotEquals | ||
863 | * ALSIff returns ALSNotEquals | ||
864 | * ALSIff.ALSIff_1_0 returns ALSNotEquals | ||
865 | * ALSImpl returns ALSNotEquals | ||
866 | * ALSImpl.ALSImpl_1_0 returns ALSNotEquals | ||
867 | * ALSAnd returns ALSNotEquals | ||
868 | * ALSAnd.ALSAnd_1_0 returns ALSNotEquals | ||
869 | * ALSComparison returns ALSNotEquals | ||
870 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSNotEquals | ||
871 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSNotEquals | ||
872 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSNotEquals | ||
873 | * ALSComparison.ALSLess_1_0_3_0 returns ALSNotEquals | ||
874 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSNotEquals | ||
875 | * ALSComparison.ALSMore_1_0_5_0 returns ALSNotEquals | ||
876 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSNotEquals | ||
877 | * ALSOverride returns ALSNotEquals | ||
878 | * ALSOverride.ALSOverride_1_0 returns ALSNotEquals | ||
879 | * ALSRangeRestrictionRight returns ALSNotEquals | ||
880 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSNotEquals | ||
881 | * ALSRangeRestrictionLeft returns ALSNotEquals | ||
882 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSNotEquals | ||
883 | * ALSJoin returns ALSNotEquals | ||
884 | * ALSJoin.ALSJoin_1_0 returns ALSNotEquals | ||
885 | * ALSMinus returns ALSNotEquals | ||
886 | * ALSMinus.ALSMinus_1_0 returns ALSNotEquals | ||
887 | * ALSPlus returns ALSNotEquals | ||
888 | * ALSPlus.ALSPlus_1_0 returns ALSNotEquals | ||
889 | * ALSIntersection returns ALSNotEquals | ||
890 | * ALSIntersection.ALSIntersection_1_0 returns ALSNotEquals | ||
891 | * ALSDirectProduct returns ALSNotEquals | ||
892 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSNotEquals | ||
893 | * ALSPreficed returns ALSNotEquals | ||
894 | * ALSBasicRelationTerm returns ALSNotEquals | ||
895 | * | ||
896 | * Constraint: | ||
897 | * (leftOperand=ALSComparison_ALSNotEquals_1_0_1_0 rightOperand=ALSOverride) | ||
898 | */ | ||
899 | protected void sequence_ALSComparison(ISerializationContext context, ALSNotEquals semanticObject) { | ||
900 | if (errorAcceptor != null) { | ||
901 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_NOT_EQUALS__LEFT_OPERAND) == ValueTransient.YES) | ||
902 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_NOT_EQUALS__LEFT_OPERAND)); | ||
903 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_NOT_EQUALS__RIGHT_OPERAND) == ValueTransient.YES) | ||
904 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_NOT_EQUALS__RIGHT_OPERAND)); | ||
905 | } | ||
906 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
907 | feeder.accept(grammarAccess.getALSComparisonAccess().getALSNotEqualsLeftOperandAction_1_0_1_0(), semanticObject.getLeftOperand()); | ||
908 | feeder.accept(grammarAccess.getALSComparisonAccess().getRightOperandALSOverrideParserRuleCall_1_1_0(), semanticObject.getRightOperand()); | ||
909 | feeder.finish(); | ||
910 | } | ||
911 | |||
912 | |||
913 | /** | ||
914 | * Contexts: | ||
915 | * ALSTerm returns ALSSubset | ||
916 | * ALSQuantified returns ALSSubset | ||
917 | * ALSOr returns ALSSubset | ||
918 | * ALSOr.ALSOr_1_0 returns ALSSubset | ||
919 | * ALSIff returns ALSSubset | ||
920 | * ALSIff.ALSIff_1_0 returns ALSSubset | ||
921 | * ALSImpl returns ALSSubset | ||
922 | * ALSImpl.ALSImpl_1_0 returns ALSSubset | ||
923 | * ALSAnd returns ALSSubset | ||
924 | * ALSAnd.ALSAnd_1_0 returns ALSSubset | ||
925 | * ALSComparison returns ALSSubset | ||
926 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSSubset | ||
927 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSSubset | ||
928 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSSubset | ||
929 | * ALSComparison.ALSLess_1_0_3_0 returns ALSSubset | ||
930 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSSubset | ||
931 | * ALSComparison.ALSMore_1_0_5_0 returns ALSSubset | ||
932 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSSubset | ||
933 | * ALSOverride returns ALSSubset | ||
934 | * ALSOverride.ALSOverride_1_0 returns ALSSubset | ||
935 | * ALSRangeRestrictionRight returns ALSSubset | ||
936 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSSubset | ||
937 | * ALSRangeRestrictionLeft returns ALSSubset | ||
938 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSSubset | ||
939 | * ALSJoin returns ALSSubset | ||
940 | * ALSJoin.ALSJoin_1_0 returns ALSSubset | ||
941 | * ALSMinus returns ALSSubset | ||
942 | * ALSMinus.ALSMinus_1_0 returns ALSSubset | ||
943 | * ALSPlus returns ALSSubset | ||
944 | * ALSPlus.ALSPlus_1_0 returns ALSSubset | ||
945 | * ALSIntersection returns ALSSubset | ||
946 | * ALSIntersection.ALSIntersection_1_0 returns ALSSubset | ||
947 | * ALSDirectProduct returns ALSSubset | ||
948 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSSubset | ||
949 | * ALSPreficed returns ALSSubset | ||
950 | * ALSBasicRelationTerm returns ALSSubset | ||
951 | * | ||
952 | * Constraint: | ||
953 | * (leftOperand=ALSComparison_ALSSubset_1_0_2_0 rightOperand=ALSOverride) | ||
954 | */ | ||
955 | protected void sequence_ALSComparison(ISerializationContext context, ALSSubset semanticObject) { | ||
956 | if (errorAcceptor != null) { | ||
957 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_SUBSET__LEFT_OPERAND) == ValueTransient.YES) | ||
958 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_SUBSET__LEFT_OPERAND)); | ||
959 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_SUBSET__RIGHT_OPERAND) == ValueTransient.YES) | ||
960 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_SUBSET__RIGHT_OPERAND)); | ||
961 | } | ||
962 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
963 | feeder.accept(grammarAccess.getALSComparisonAccess().getALSSubsetLeftOperandAction_1_0_2_0(), semanticObject.getLeftOperand()); | ||
964 | feeder.accept(grammarAccess.getALSComparisonAccess().getRightOperandALSOverrideParserRuleCall_1_1_0(), semanticObject.getRightOperand()); | ||
965 | feeder.finish(); | ||
966 | } | ||
967 | |||
968 | |||
969 | /** | ||
970 | * Contexts: | ||
971 | * ALSTerm returns ALSDirectProduct | ||
972 | * ALSQuantified returns ALSDirectProduct | ||
973 | * ALSOr returns ALSDirectProduct | ||
974 | * ALSOr.ALSOr_1_0 returns ALSDirectProduct | ||
975 | * ALSIff returns ALSDirectProduct | ||
976 | * ALSIff.ALSIff_1_0 returns ALSDirectProduct | ||
977 | * ALSImpl returns ALSDirectProduct | ||
978 | * ALSImpl.ALSImpl_1_0 returns ALSDirectProduct | ||
979 | * ALSAnd returns ALSDirectProduct | ||
980 | * ALSAnd.ALSAnd_1_0 returns ALSDirectProduct | ||
981 | * ALSComparison returns ALSDirectProduct | ||
982 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSDirectProduct | ||
983 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSDirectProduct | ||
984 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSDirectProduct | ||
985 | * ALSComparison.ALSLess_1_0_3_0 returns ALSDirectProduct | ||
986 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSDirectProduct | ||
987 | * ALSComparison.ALSMore_1_0_5_0 returns ALSDirectProduct | ||
988 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSDirectProduct | ||
989 | * ALSOverride returns ALSDirectProduct | ||
990 | * ALSOverride.ALSOverride_1_0 returns ALSDirectProduct | ||
991 | * ALSRangeRestrictionRight returns ALSDirectProduct | ||
992 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSDirectProduct | ||
993 | * ALSRangeRestrictionLeft returns ALSDirectProduct | ||
994 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSDirectProduct | ||
995 | * ALSJoin returns ALSDirectProduct | ||
996 | * ALSJoin.ALSJoin_1_0 returns ALSDirectProduct | ||
997 | * ALSMinus returns ALSDirectProduct | ||
998 | * ALSMinus.ALSMinus_1_0 returns ALSDirectProduct | ||
999 | * ALSPlus returns ALSDirectProduct | ||
1000 | * ALSPlus.ALSPlus_1_0 returns ALSDirectProduct | ||
1001 | * ALSIntersection returns ALSDirectProduct | ||
1002 | * ALSIntersection.ALSIntersection_1_0 returns ALSDirectProduct | ||
1003 | * ALSDirectProduct returns ALSDirectProduct | ||
1004 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSDirectProduct | ||
1005 | * ALSPreficed returns ALSDirectProduct | ||
1006 | * ALSBasicRelationTerm returns ALSDirectProduct | ||
1007 | * | ||
1008 | * Constraint: | ||
1009 | * (leftOperand=ALSDirectProduct_ALSDirectProduct_1_0 leftMultiplicit=ALSMultiplicity? rightMultiplicit=ALSMultiplicity? rightOperand=ALSPreficed) | ||
1010 | */ | ||
1011 | protected void sequence_ALSDirectProduct(ISerializationContext context, ALSDirectProduct semanticObject) { | ||
1012 | genericSequencer.createSequence(context, semanticObject); | ||
1013 | } | ||
1014 | |||
1015 | |||
1016 | /** | ||
1017 | * Contexts: | ||
1018 | * ALSDocument returns ALSDocument | ||
1019 | * | ||
1020 | * Constraint: | ||
1021 | * ( | ||
1022 | * ( | ||
1023 | * enumDeclarations+=ALSEnumDeclaration | | ||
1024 | * signatureBodies+=ALSSignatureBody | | ||
1025 | * functionDefinitions+=ALSFunctionDefinition | | ||
1026 | * relationDefinitions+=ALSRelationDefinition | | ||
1027 | * factDeclarations+=ALSFactDeclaration | ||
1028 | * )+ | ||
1029 | * runCommand=ALSRunCommand | ||
1030 | * ) | ||
1031 | */ | ||
1032 | protected void sequence_ALSDocument(ISerializationContext context, ALSDocument semanticObject) { | ||
1033 | genericSequencer.createSequence(context, semanticObject); | ||
1034 | } | ||
1035 | |||
1036 | |||
1037 | /** | ||
1038 | * Contexts: | ||
1039 | * ALSRelationDeclaration returns ALSEnumDeclaration | ||
1040 | * ALSTypeDeclaration returns ALSEnumDeclaration | ||
1041 | * ALSEnumDeclaration returns ALSEnumDeclaration | ||
1042 | * | ||
1043 | * Constraint: | ||
1044 | * (name=ALSID literal+=ALSEnumLiteral literal+=ALSEnumLiteral*) | ||
1045 | */ | ||
1046 | protected void sequence_ALSEnumDeclaration(ISerializationContext context, ALSEnumDeclaration semanticObject) { | ||
1047 | genericSequencer.createSequence(context, semanticObject); | ||
1048 | } | ||
1049 | |||
1050 | |||
1051 | /** | ||
1052 | * Contexts: | ||
1053 | * ALSRelationDeclaration returns ALSEnumLiteral | ||
1054 | * ALSEnumLiteral returns ALSEnumLiteral | ||
1055 | * | ||
1056 | * Constraint: | ||
1057 | * name=ALSID | ||
1058 | */ | ||
1059 | protected void sequence_ALSEnumLiteral(ISerializationContext context, ALSEnumLiteral semanticObject) { | ||
1060 | if (errorAcceptor != null) { | ||
1061 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_RELATION_DECLARATION__NAME) == ValueTransient.YES) | ||
1062 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_RELATION_DECLARATION__NAME)); | ||
1063 | } | ||
1064 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1065 | feeder.accept(grammarAccess.getALSEnumLiteralAccess().getNameALSIDParserRuleCall_0(), semanticObject.getName()); | ||
1066 | feeder.finish(); | ||
1067 | } | ||
1068 | |||
1069 | |||
1070 | /** | ||
1071 | * Contexts: | ||
1072 | * ALSFactDeclaration returns ALSFactDeclaration | ||
1073 | * | ||
1074 | * Constraint: | ||
1075 | * (name=ALSID? term=ALSTerm) | ||
1076 | */ | ||
1077 | protected void sequence_ALSFactDeclaration(ISerializationContext context, ALSFactDeclaration semanticObject) { | ||
1078 | genericSequencer.createSequence(context, semanticObject); | ||
1079 | } | ||
1080 | |||
1081 | |||
1082 | /** | ||
1083 | * Contexts: | ||
1084 | * ALSRelationDeclaration returns ALSFieldDeclaration | ||
1085 | * ALSFieldDeclaration returns ALSFieldDeclaration | ||
1086 | * | ||
1087 | * Constraint: | ||
1088 | * (name=ALSID multiplicity=ALSMultiplicity? type=ALSTerm) | ||
1089 | */ | ||
1090 | protected void sequence_ALSFieldDeclaration(ISerializationContext context, ALSFieldDeclaration semanticObject) { | ||
1091 | genericSequencer.createSequence(context, semanticObject); | ||
1092 | } | ||
1093 | |||
1094 | |||
1095 | /** | ||
1096 | * Contexts: | ||
1097 | * ALSDefinition returns ALSFunctionDefinition | ||
1098 | * ALSFunctionDefinition returns ALSFunctionDefinition | ||
1099 | * | ||
1100 | * Constraint: | ||
1101 | * (name=ALSID variables+=ALSVariableDeclaration variables+=ALSVariableDeclaration* type=ALSTerm value=ALSTerm) | ||
1102 | */ | ||
1103 | protected void sequence_ALSFunctionDefinition(ISerializationContext context, ALSFunctionDefinition semanticObject) { | ||
1104 | genericSequencer.createSequence(context, semanticObject); | ||
1105 | } | ||
1106 | |||
1107 | |||
1108 | /** | ||
1109 | * Contexts: | ||
1110 | * ALSTerm returns ALSIff | ||
1111 | * ALSQuantified returns ALSIff | ||
1112 | * ALSOr returns ALSIff | ||
1113 | * ALSOr.ALSOr_1_0 returns ALSIff | ||
1114 | * ALSIff returns ALSIff | ||
1115 | * ALSIff.ALSIff_1_0 returns ALSIff | ||
1116 | * ALSImpl returns ALSIff | ||
1117 | * ALSImpl.ALSImpl_1_0 returns ALSIff | ||
1118 | * ALSAnd returns ALSIff | ||
1119 | * ALSAnd.ALSAnd_1_0 returns ALSIff | ||
1120 | * ALSComparison returns ALSIff | ||
1121 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSIff | ||
1122 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSIff | ||
1123 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSIff | ||
1124 | * ALSComparison.ALSLess_1_0_3_0 returns ALSIff | ||
1125 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSIff | ||
1126 | * ALSComparison.ALSMore_1_0_5_0 returns ALSIff | ||
1127 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSIff | ||
1128 | * ALSOverride returns ALSIff | ||
1129 | * ALSOverride.ALSOverride_1_0 returns ALSIff | ||
1130 | * ALSRangeRestrictionRight returns ALSIff | ||
1131 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSIff | ||
1132 | * ALSRangeRestrictionLeft returns ALSIff | ||
1133 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSIff | ||
1134 | * ALSJoin returns ALSIff | ||
1135 | * ALSJoin.ALSJoin_1_0 returns ALSIff | ||
1136 | * ALSMinus returns ALSIff | ||
1137 | * ALSMinus.ALSMinus_1_0 returns ALSIff | ||
1138 | * ALSPlus returns ALSIff | ||
1139 | * ALSPlus.ALSPlus_1_0 returns ALSIff | ||
1140 | * ALSIntersection returns ALSIff | ||
1141 | * ALSIntersection.ALSIntersection_1_0 returns ALSIff | ||
1142 | * ALSDirectProduct returns ALSIff | ||
1143 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSIff | ||
1144 | * ALSPreficed returns ALSIff | ||
1145 | * ALSBasicRelationTerm returns ALSIff | ||
1146 | * | ||
1147 | * Constraint: | ||
1148 | * (leftOperand=ALSIff_ALSIff_1_0 rightOperand=ALSImpl) | ||
1149 | */ | ||
1150 | protected void sequence_ALSIff(ISerializationContext context, ALSIff semanticObject) { | ||
1151 | if (errorAcceptor != null) { | ||
1152 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_IFF__LEFT_OPERAND) == ValueTransient.YES) | ||
1153 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_IFF__LEFT_OPERAND)); | ||
1154 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_IFF__RIGHT_OPERAND) == ValueTransient.YES) | ||
1155 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_IFF__RIGHT_OPERAND)); | ||
1156 | } | ||
1157 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1158 | feeder.accept(grammarAccess.getALSIffAccess().getALSIffLeftOperandAction_1_0(), semanticObject.getLeftOperand()); | ||
1159 | feeder.accept(grammarAccess.getALSIffAccess().getRightOperandALSImplParserRuleCall_1_2_0(), semanticObject.getRightOperand()); | ||
1160 | feeder.finish(); | ||
1161 | } | ||
1162 | |||
1163 | |||
1164 | /** | ||
1165 | * Contexts: | ||
1166 | * ALSTerm returns ALSImpl | ||
1167 | * ALSQuantified returns ALSImpl | ||
1168 | * ALSOr returns ALSImpl | ||
1169 | * ALSOr.ALSOr_1_0 returns ALSImpl | ||
1170 | * ALSIff returns ALSImpl | ||
1171 | * ALSIff.ALSIff_1_0 returns ALSImpl | ||
1172 | * ALSImpl returns ALSImpl | ||
1173 | * ALSImpl.ALSImpl_1_0 returns ALSImpl | ||
1174 | * ALSAnd returns ALSImpl | ||
1175 | * ALSAnd.ALSAnd_1_0 returns ALSImpl | ||
1176 | * ALSComparison returns ALSImpl | ||
1177 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSImpl | ||
1178 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSImpl | ||
1179 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSImpl | ||
1180 | * ALSComparison.ALSLess_1_0_3_0 returns ALSImpl | ||
1181 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSImpl | ||
1182 | * ALSComparison.ALSMore_1_0_5_0 returns ALSImpl | ||
1183 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSImpl | ||
1184 | * ALSOverride returns ALSImpl | ||
1185 | * ALSOverride.ALSOverride_1_0 returns ALSImpl | ||
1186 | * ALSRangeRestrictionRight returns ALSImpl | ||
1187 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSImpl | ||
1188 | * ALSRangeRestrictionLeft returns ALSImpl | ||
1189 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSImpl | ||
1190 | * ALSJoin returns ALSImpl | ||
1191 | * ALSJoin.ALSJoin_1_0 returns ALSImpl | ||
1192 | * ALSMinus returns ALSImpl | ||
1193 | * ALSMinus.ALSMinus_1_0 returns ALSImpl | ||
1194 | * ALSPlus returns ALSImpl | ||
1195 | * ALSPlus.ALSPlus_1_0 returns ALSImpl | ||
1196 | * ALSIntersection returns ALSImpl | ||
1197 | * ALSIntersection.ALSIntersection_1_0 returns ALSImpl | ||
1198 | * ALSDirectProduct returns ALSImpl | ||
1199 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSImpl | ||
1200 | * ALSPreficed returns ALSImpl | ||
1201 | * ALSBasicRelationTerm returns ALSImpl | ||
1202 | * | ||
1203 | * Constraint: | ||
1204 | * (leftOperand=ALSImpl_ALSImpl_1_0 rightOperand=ALSAnd elseOperand=ALSAnd?) | ||
1205 | */ | ||
1206 | protected void sequence_ALSImpl(ISerializationContext context, ALSImpl semanticObject) { | ||
1207 | genericSequencer.createSequence(context, semanticObject); | ||
1208 | } | ||
1209 | |||
1210 | |||
1211 | /** | ||
1212 | * Contexts: | ||
1213 | * ALSTypeScope returns ALSIntScope | ||
1214 | * ALSIntScope returns ALSIntScope | ||
1215 | * | ||
1216 | * Constraint: | ||
1217 | * number=INT | ||
1218 | */ | ||
1219 | protected void sequence_ALSIntScope(ISerializationContext context, ALSIntScope semanticObject) { | ||
1220 | if (errorAcceptor != null) { | ||
1221 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_TYPE_SCOPE__NUMBER) == ValueTransient.YES) | ||
1222 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_TYPE_SCOPE__NUMBER)); | ||
1223 | } | ||
1224 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1225 | feeder.accept(grammarAccess.getALSIntScopeAccess().getNumberINTTerminalRuleCall_0_0(), semanticObject.getNumber()); | ||
1226 | feeder.finish(); | ||
1227 | } | ||
1228 | |||
1229 | |||
1230 | /** | ||
1231 | * Contexts: | ||
1232 | * ALSTerm returns ALSIntersection | ||
1233 | * ALSQuantified returns ALSIntersection | ||
1234 | * ALSOr returns ALSIntersection | ||
1235 | * ALSOr.ALSOr_1_0 returns ALSIntersection | ||
1236 | * ALSIff returns ALSIntersection | ||
1237 | * ALSIff.ALSIff_1_0 returns ALSIntersection | ||
1238 | * ALSImpl returns ALSIntersection | ||
1239 | * ALSImpl.ALSImpl_1_0 returns ALSIntersection | ||
1240 | * ALSAnd returns ALSIntersection | ||
1241 | * ALSAnd.ALSAnd_1_0 returns ALSIntersection | ||
1242 | * ALSComparison returns ALSIntersection | ||
1243 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSIntersection | ||
1244 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSIntersection | ||
1245 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSIntersection | ||
1246 | * ALSComparison.ALSLess_1_0_3_0 returns ALSIntersection | ||
1247 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSIntersection | ||
1248 | * ALSComparison.ALSMore_1_0_5_0 returns ALSIntersection | ||
1249 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSIntersection | ||
1250 | * ALSOverride returns ALSIntersection | ||
1251 | * ALSOverride.ALSOverride_1_0 returns ALSIntersection | ||
1252 | * ALSRangeRestrictionRight returns ALSIntersection | ||
1253 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSIntersection | ||
1254 | * ALSRangeRestrictionLeft returns ALSIntersection | ||
1255 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSIntersection | ||
1256 | * ALSJoin returns ALSIntersection | ||
1257 | * ALSJoin.ALSJoin_1_0 returns ALSIntersection | ||
1258 | * ALSMinus returns ALSIntersection | ||
1259 | * ALSMinus.ALSMinus_1_0 returns ALSIntersection | ||
1260 | * ALSPlus returns ALSIntersection | ||
1261 | * ALSPlus.ALSPlus_1_0 returns ALSIntersection | ||
1262 | * ALSIntersection returns ALSIntersection | ||
1263 | * ALSIntersection.ALSIntersection_1_0 returns ALSIntersection | ||
1264 | * ALSDirectProduct returns ALSIntersection | ||
1265 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSIntersection | ||
1266 | * ALSPreficed returns ALSIntersection | ||
1267 | * ALSBasicRelationTerm returns ALSIntersection | ||
1268 | * | ||
1269 | * Constraint: | ||
1270 | * (leftOperand=ALSIntersection_ALSIntersection_1_0 rightOperand=ALSDirectProduct) | ||
1271 | */ | ||
1272 | protected void sequence_ALSIntersection(ISerializationContext context, ALSIntersection semanticObject) { | ||
1273 | if (errorAcceptor != null) { | ||
1274 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_INTERSECTION__LEFT_OPERAND) == ValueTransient.YES) | ||
1275 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_INTERSECTION__LEFT_OPERAND)); | ||
1276 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_INTERSECTION__RIGHT_OPERAND) == ValueTransient.YES) | ||
1277 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_INTERSECTION__RIGHT_OPERAND)); | ||
1278 | } | ||
1279 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1280 | feeder.accept(grammarAccess.getALSIntersectionAccess().getALSIntersectionLeftOperandAction_1_0(), semanticObject.getLeftOperand()); | ||
1281 | feeder.accept(grammarAccess.getALSIntersectionAccess().getRightOperandALSDirectProductParserRuleCall_1_2_0(), semanticObject.getRightOperand()); | ||
1282 | feeder.finish(); | ||
1283 | } | ||
1284 | |||
1285 | |||
1286 | /** | ||
1287 | * Contexts: | ||
1288 | * ALSTerm returns ALSJoin | ||
1289 | * ALSQuantified returns ALSJoin | ||
1290 | * ALSOr returns ALSJoin | ||
1291 | * ALSOr.ALSOr_1_0 returns ALSJoin | ||
1292 | * ALSIff returns ALSJoin | ||
1293 | * ALSIff.ALSIff_1_0 returns ALSJoin | ||
1294 | * ALSImpl returns ALSJoin | ||
1295 | * ALSImpl.ALSImpl_1_0 returns ALSJoin | ||
1296 | * ALSAnd returns ALSJoin | ||
1297 | * ALSAnd.ALSAnd_1_0 returns ALSJoin | ||
1298 | * ALSComparison returns ALSJoin | ||
1299 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSJoin | ||
1300 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSJoin | ||
1301 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSJoin | ||
1302 | * ALSComparison.ALSLess_1_0_3_0 returns ALSJoin | ||
1303 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSJoin | ||
1304 | * ALSComparison.ALSMore_1_0_5_0 returns ALSJoin | ||
1305 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSJoin | ||
1306 | * ALSOverride returns ALSJoin | ||
1307 | * ALSOverride.ALSOverride_1_0 returns ALSJoin | ||
1308 | * ALSRangeRestrictionRight returns ALSJoin | ||
1309 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSJoin | ||
1310 | * ALSRangeRestrictionLeft returns ALSJoin | ||
1311 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSJoin | ||
1312 | * ALSJoin returns ALSJoin | ||
1313 | * ALSJoin.ALSJoin_1_0 returns ALSJoin | ||
1314 | * ALSMinus returns ALSJoin | ||
1315 | * ALSMinus.ALSMinus_1_0 returns ALSJoin | ||
1316 | * ALSPlus returns ALSJoin | ||
1317 | * ALSPlus.ALSPlus_1_0 returns ALSJoin | ||
1318 | * ALSIntersection returns ALSJoin | ||
1319 | * ALSIntersection.ALSIntersection_1_0 returns ALSJoin | ||
1320 | * ALSDirectProduct returns ALSJoin | ||
1321 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSJoin | ||
1322 | * ALSPreficed returns ALSJoin | ||
1323 | * ALSBasicRelationTerm returns ALSJoin | ||
1324 | * | ||
1325 | * Constraint: | ||
1326 | * (leftOperand=ALSJoin_ALSJoin_1_0 rightOperand=ALSMinus) | ||
1327 | */ | ||
1328 | protected void sequence_ALSJoin(ISerializationContext context, ALSJoin semanticObject) { | ||
1329 | if (errorAcceptor != null) { | ||
1330 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_JOIN__LEFT_OPERAND) == ValueTransient.YES) | ||
1331 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_JOIN__LEFT_OPERAND)); | ||
1332 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_JOIN__RIGHT_OPERAND) == ValueTransient.YES) | ||
1333 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_JOIN__RIGHT_OPERAND)); | ||
1334 | } | ||
1335 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1336 | feeder.accept(grammarAccess.getALSJoinAccess().getALSJoinLeftOperandAction_1_0(), semanticObject.getLeftOperand()); | ||
1337 | feeder.accept(grammarAccess.getALSJoinAccess().getRightOperandALSMinusParserRuleCall_1_2_0(), semanticObject.getRightOperand()); | ||
1338 | feeder.finish(); | ||
1339 | } | ||
1340 | |||
1341 | |||
1342 | /** | ||
1343 | * Contexts: | ||
1344 | * ALSTerm returns ALSMinus | ||
1345 | * ALSQuantified returns ALSMinus | ||
1346 | * ALSOr returns ALSMinus | ||
1347 | * ALSOr.ALSOr_1_0 returns ALSMinus | ||
1348 | * ALSIff returns ALSMinus | ||
1349 | * ALSIff.ALSIff_1_0 returns ALSMinus | ||
1350 | * ALSImpl returns ALSMinus | ||
1351 | * ALSImpl.ALSImpl_1_0 returns ALSMinus | ||
1352 | * ALSAnd returns ALSMinus | ||
1353 | * ALSAnd.ALSAnd_1_0 returns ALSMinus | ||
1354 | * ALSComparison returns ALSMinus | ||
1355 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSMinus | ||
1356 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSMinus | ||
1357 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSMinus | ||
1358 | * ALSComparison.ALSLess_1_0_3_0 returns ALSMinus | ||
1359 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSMinus | ||
1360 | * ALSComparison.ALSMore_1_0_5_0 returns ALSMinus | ||
1361 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSMinus | ||
1362 | * ALSOverride returns ALSMinus | ||
1363 | * ALSOverride.ALSOverride_1_0 returns ALSMinus | ||
1364 | * ALSRangeRestrictionRight returns ALSMinus | ||
1365 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSMinus | ||
1366 | * ALSRangeRestrictionLeft returns ALSMinus | ||
1367 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSMinus | ||
1368 | * ALSJoin returns ALSMinus | ||
1369 | * ALSJoin.ALSJoin_1_0 returns ALSMinus | ||
1370 | * ALSMinus returns ALSMinus | ||
1371 | * ALSMinus.ALSMinus_1_0 returns ALSMinus | ||
1372 | * ALSPlus returns ALSMinus | ||
1373 | * ALSPlus.ALSPlus_1_0 returns ALSMinus | ||
1374 | * ALSIntersection returns ALSMinus | ||
1375 | * ALSIntersection.ALSIntersection_1_0 returns ALSMinus | ||
1376 | * ALSDirectProduct returns ALSMinus | ||
1377 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSMinus | ||
1378 | * ALSPreficed returns ALSMinus | ||
1379 | * ALSBasicRelationTerm returns ALSMinus | ||
1380 | * | ||
1381 | * Constraint: | ||
1382 | * (leftOperand=ALSMinus_ALSMinus_1_0 rightOperand=ALSPlus) | ||
1383 | */ | ||
1384 | protected void sequence_ALSMinus(ISerializationContext context, ALSMinus semanticObject) { | ||
1385 | if (errorAcceptor != null) { | ||
1386 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_MINUS__LEFT_OPERAND) == ValueTransient.YES) | ||
1387 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_MINUS__LEFT_OPERAND)); | ||
1388 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_MINUS__RIGHT_OPERAND) == ValueTransient.YES) | ||
1389 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_MINUS__RIGHT_OPERAND)); | ||
1390 | } | ||
1391 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1392 | feeder.accept(grammarAccess.getALSMinusAccess().getALSMinusLeftOperandAction_1_0(), semanticObject.getLeftOperand()); | ||
1393 | feeder.accept(grammarAccess.getALSMinusAccess().getRightOperandALSPlusParserRuleCall_1_2_0(), semanticObject.getRightOperand()); | ||
1394 | feeder.finish(); | ||
1395 | } | ||
1396 | |||
1397 | |||
1398 | /** | ||
1399 | * Contexts: | ||
1400 | * ALSTerm returns ALSOr | ||
1401 | * ALSQuantified returns ALSOr | ||
1402 | * ALSOr returns ALSOr | ||
1403 | * ALSOr.ALSOr_1_0 returns ALSOr | ||
1404 | * ALSIff returns ALSOr | ||
1405 | * ALSIff.ALSIff_1_0 returns ALSOr | ||
1406 | * ALSImpl returns ALSOr | ||
1407 | * ALSImpl.ALSImpl_1_0 returns ALSOr | ||
1408 | * ALSAnd returns ALSOr | ||
1409 | * ALSAnd.ALSAnd_1_0 returns ALSOr | ||
1410 | * ALSComparison returns ALSOr | ||
1411 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSOr | ||
1412 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSOr | ||
1413 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSOr | ||
1414 | * ALSComparison.ALSLess_1_0_3_0 returns ALSOr | ||
1415 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSOr | ||
1416 | * ALSComparison.ALSMore_1_0_5_0 returns ALSOr | ||
1417 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSOr | ||
1418 | * ALSOverride returns ALSOr | ||
1419 | * ALSOverride.ALSOverride_1_0 returns ALSOr | ||
1420 | * ALSRangeRestrictionRight returns ALSOr | ||
1421 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSOr | ||
1422 | * ALSRangeRestrictionLeft returns ALSOr | ||
1423 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSOr | ||
1424 | * ALSJoin returns ALSOr | ||
1425 | * ALSJoin.ALSJoin_1_0 returns ALSOr | ||
1426 | * ALSMinus returns ALSOr | ||
1427 | * ALSMinus.ALSMinus_1_0 returns ALSOr | ||
1428 | * ALSPlus returns ALSOr | ||
1429 | * ALSPlus.ALSPlus_1_0 returns ALSOr | ||
1430 | * ALSIntersection returns ALSOr | ||
1431 | * ALSIntersection.ALSIntersection_1_0 returns ALSOr | ||
1432 | * ALSDirectProduct returns ALSOr | ||
1433 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSOr | ||
1434 | * ALSPreficed returns ALSOr | ||
1435 | * ALSBasicRelationTerm returns ALSOr | ||
1436 | * | ||
1437 | * Constraint: | ||
1438 | * (leftOperand=ALSOr_ALSOr_1_0 rightOperand=ALSIff) | ||
1439 | */ | ||
1440 | protected void sequence_ALSOr(ISerializationContext context, ALSOr semanticObject) { | ||
1441 | if (errorAcceptor != null) { | ||
1442 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_OR__LEFT_OPERAND) == ValueTransient.YES) | ||
1443 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_OR__LEFT_OPERAND)); | ||
1444 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_OR__RIGHT_OPERAND) == ValueTransient.YES) | ||
1445 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_OR__RIGHT_OPERAND)); | ||
1446 | } | ||
1447 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1448 | feeder.accept(grammarAccess.getALSOrAccess().getALSOrLeftOperandAction_1_0(), semanticObject.getLeftOperand()); | ||
1449 | feeder.accept(grammarAccess.getALSOrAccess().getRightOperandALSIffParserRuleCall_1_2_0(), semanticObject.getRightOperand()); | ||
1450 | feeder.finish(); | ||
1451 | } | ||
1452 | |||
1453 | |||
1454 | /** | ||
1455 | * Contexts: | ||
1456 | * ALSTerm returns ALSOverride | ||
1457 | * ALSQuantified returns ALSOverride | ||
1458 | * ALSOr returns ALSOverride | ||
1459 | * ALSOr.ALSOr_1_0 returns ALSOverride | ||
1460 | * ALSIff returns ALSOverride | ||
1461 | * ALSIff.ALSIff_1_0 returns ALSOverride | ||
1462 | * ALSImpl returns ALSOverride | ||
1463 | * ALSImpl.ALSImpl_1_0 returns ALSOverride | ||
1464 | * ALSAnd returns ALSOverride | ||
1465 | * ALSAnd.ALSAnd_1_0 returns ALSOverride | ||
1466 | * ALSComparison returns ALSOverride | ||
1467 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSOverride | ||
1468 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSOverride | ||
1469 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSOverride | ||
1470 | * ALSComparison.ALSLess_1_0_3_0 returns ALSOverride | ||
1471 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSOverride | ||
1472 | * ALSComparison.ALSMore_1_0_5_0 returns ALSOverride | ||
1473 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSOverride | ||
1474 | * ALSOverride returns ALSOverride | ||
1475 | * ALSOverride.ALSOverride_1_0 returns ALSOverride | ||
1476 | * ALSRangeRestrictionRight returns ALSOverride | ||
1477 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSOverride | ||
1478 | * ALSRangeRestrictionLeft returns ALSOverride | ||
1479 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSOverride | ||
1480 | * ALSJoin returns ALSOverride | ||
1481 | * ALSJoin.ALSJoin_1_0 returns ALSOverride | ||
1482 | * ALSMinus returns ALSOverride | ||
1483 | * ALSMinus.ALSMinus_1_0 returns ALSOverride | ||
1484 | * ALSPlus returns ALSOverride | ||
1485 | * ALSPlus.ALSPlus_1_0 returns ALSOverride | ||
1486 | * ALSIntersection returns ALSOverride | ||
1487 | * ALSIntersection.ALSIntersection_1_0 returns ALSOverride | ||
1488 | * ALSDirectProduct returns ALSOverride | ||
1489 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSOverride | ||
1490 | * ALSPreficed returns ALSOverride | ||
1491 | * ALSBasicRelationTerm returns ALSOverride | ||
1492 | * | ||
1493 | * Constraint: | ||
1494 | * (leftOperand=ALSOverride_ALSOverride_1_0 rightOperand=ALSRangeRestrictionRight) | ||
1495 | */ | ||
1496 | protected void sequence_ALSOverride(ISerializationContext context, ALSOverride semanticObject) { | ||
1497 | if (errorAcceptor != null) { | ||
1498 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_OVERRIDE__LEFT_OPERAND) == ValueTransient.YES) | ||
1499 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_OVERRIDE__LEFT_OPERAND)); | ||
1500 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_OVERRIDE__RIGHT_OPERAND) == ValueTransient.YES) | ||
1501 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_OVERRIDE__RIGHT_OPERAND)); | ||
1502 | } | ||
1503 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1504 | feeder.accept(grammarAccess.getALSOverrideAccess().getALSOverrideLeftOperandAction_1_0(), semanticObject.getLeftOperand()); | ||
1505 | feeder.accept(grammarAccess.getALSOverrideAccess().getRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0(), semanticObject.getRightOperand()); | ||
1506 | feeder.finish(); | ||
1507 | } | ||
1508 | |||
1509 | |||
1510 | /** | ||
1511 | * Contexts: | ||
1512 | * ALSTerm returns ALSPlus | ||
1513 | * ALSQuantified returns ALSPlus | ||
1514 | * ALSOr returns ALSPlus | ||
1515 | * ALSOr.ALSOr_1_0 returns ALSPlus | ||
1516 | * ALSIff returns ALSPlus | ||
1517 | * ALSIff.ALSIff_1_0 returns ALSPlus | ||
1518 | * ALSImpl returns ALSPlus | ||
1519 | * ALSImpl.ALSImpl_1_0 returns ALSPlus | ||
1520 | * ALSAnd returns ALSPlus | ||
1521 | * ALSAnd.ALSAnd_1_0 returns ALSPlus | ||
1522 | * ALSComparison returns ALSPlus | ||
1523 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSPlus | ||
1524 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSPlus | ||
1525 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSPlus | ||
1526 | * ALSComparison.ALSLess_1_0_3_0 returns ALSPlus | ||
1527 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSPlus | ||
1528 | * ALSComparison.ALSMore_1_0_5_0 returns ALSPlus | ||
1529 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSPlus | ||
1530 | * ALSOverride returns ALSPlus | ||
1531 | * ALSOverride.ALSOverride_1_0 returns ALSPlus | ||
1532 | * ALSRangeRestrictionRight returns ALSPlus | ||
1533 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSPlus | ||
1534 | * ALSRangeRestrictionLeft returns ALSPlus | ||
1535 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSPlus | ||
1536 | * ALSJoin returns ALSPlus | ||
1537 | * ALSJoin.ALSJoin_1_0 returns ALSPlus | ||
1538 | * ALSMinus returns ALSPlus | ||
1539 | * ALSMinus.ALSMinus_1_0 returns ALSPlus | ||
1540 | * ALSPlus returns ALSPlus | ||
1541 | * ALSPlus.ALSPlus_1_0 returns ALSPlus | ||
1542 | * ALSIntersection returns ALSPlus | ||
1543 | * ALSIntersection.ALSIntersection_1_0 returns ALSPlus | ||
1544 | * ALSDirectProduct returns ALSPlus | ||
1545 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSPlus | ||
1546 | * ALSPreficed returns ALSPlus | ||
1547 | * ALSBasicRelationTerm returns ALSPlus | ||
1548 | * | ||
1549 | * Constraint: | ||
1550 | * (leftOperand=ALSPlus_ALSPlus_1_0 rightOperand=ALSIntersection) | ||
1551 | */ | ||
1552 | protected void sequence_ALSPlus(ISerializationContext context, ALSPlus semanticObject) { | ||
1553 | if (errorAcceptor != null) { | ||
1554 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_PLUS__LEFT_OPERAND) == ValueTransient.YES) | ||
1555 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_PLUS__LEFT_OPERAND)); | ||
1556 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_PLUS__RIGHT_OPERAND) == ValueTransient.YES) | ||
1557 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_PLUS__RIGHT_OPERAND)); | ||
1558 | } | ||
1559 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1560 | feeder.accept(grammarAccess.getALSPlusAccess().getALSPlusLeftOperandAction_1_0(), semanticObject.getLeftOperand()); | ||
1561 | feeder.accept(grammarAccess.getALSPlusAccess().getRightOperandALSIntersectionParserRuleCall_1_2_0(), semanticObject.getRightOperand()); | ||
1562 | feeder.finish(); | ||
1563 | } | ||
1564 | |||
1565 | |||
1566 | /** | ||
1567 | * Contexts: | ||
1568 | * ALSTerm returns ALSCardinality | ||
1569 | * ALSQuantified returns ALSCardinality | ||
1570 | * ALSOr returns ALSCardinality | ||
1571 | * ALSOr.ALSOr_1_0 returns ALSCardinality | ||
1572 | * ALSIff returns ALSCardinality | ||
1573 | * ALSIff.ALSIff_1_0 returns ALSCardinality | ||
1574 | * ALSImpl returns ALSCardinality | ||
1575 | * ALSImpl.ALSImpl_1_0 returns ALSCardinality | ||
1576 | * ALSAnd returns ALSCardinality | ||
1577 | * ALSAnd.ALSAnd_1_0 returns ALSCardinality | ||
1578 | * ALSComparison returns ALSCardinality | ||
1579 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSCardinality | ||
1580 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSCardinality | ||
1581 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSCardinality | ||
1582 | * ALSComparison.ALSLess_1_0_3_0 returns ALSCardinality | ||
1583 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSCardinality | ||
1584 | * ALSComparison.ALSMore_1_0_5_0 returns ALSCardinality | ||
1585 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSCardinality | ||
1586 | * ALSOverride returns ALSCardinality | ||
1587 | * ALSOverride.ALSOverride_1_0 returns ALSCardinality | ||
1588 | * ALSRangeRestrictionRight returns ALSCardinality | ||
1589 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSCardinality | ||
1590 | * ALSRangeRestrictionLeft returns ALSCardinality | ||
1591 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSCardinality | ||
1592 | * ALSJoin returns ALSCardinality | ||
1593 | * ALSJoin.ALSJoin_1_0 returns ALSCardinality | ||
1594 | * ALSMinus returns ALSCardinality | ||
1595 | * ALSMinus.ALSMinus_1_0 returns ALSCardinality | ||
1596 | * ALSPlus returns ALSCardinality | ||
1597 | * ALSPlus.ALSPlus_1_0 returns ALSCardinality | ||
1598 | * ALSIntersection returns ALSCardinality | ||
1599 | * ALSIntersection.ALSIntersection_1_0 returns ALSCardinality | ||
1600 | * ALSDirectProduct returns ALSCardinality | ||
1601 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSCardinality | ||
1602 | * ALSPreficed returns ALSCardinality | ||
1603 | * ALSBasicRelationTerm returns ALSCardinality | ||
1604 | * | ||
1605 | * Constraint: | ||
1606 | * operand=ALSBasicRelationTerm | ||
1607 | */ | ||
1608 | protected void sequence_ALSPreficed(ISerializationContext context, ALSCardinality semanticObject) { | ||
1609 | if (errorAcceptor != null) { | ||
1610 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_CARDINALITY__OPERAND) == ValueTransient.YES) | ||
1611 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_CARDINALITY__OPERAND)); | ||
1612 | } | ||
1613 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1614 | feeder.accept(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_4_2_0(), semanticObject.getOperand()); | ||
1615 | feeder.finish(); | ||
1616 | } | ||
1617 | |||
1618 | |||
1619 | /** | ||
1620 | * Contexts: | ||
1621 | * ALSTerm returns ALSFunctionCall | ||
1622 | * ALSQuantified returns ALSFunctionCall | ||
1623 | * ALSOr returns ALSFunctionCall | ||
1624 | * ALSOr.ALSOr_1_0 returns ALSFunctionCall | ||
1625 | * ALSIff returns ALSFunctionCall | ||
1626 | * ALSIff.ALSIff_1_0 returns ALSFunctionCall | ||
1627 | * ALSImpl returns ALSFunctionCall | ||
1628 | * ALSImpl.ALSImpl_1_0 returns ALSFunctionCall | ||
1629 | * ALSAnd returns ALSFunctionCall | ||
1630 | * ALSAnd.ALSAnd_1_0 returns ALSFunctionCall | ||
1631 | * ALSComparison returns ALSFunctionCall | ||
1632 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSFunctionCall | ||
1633 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSFunctionCall | ||
1634 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSFunctionCall | ||
1635 | * ALSComparison.ALSLess_1_0_3_0 returns ALSFunctionCall | ||
1636 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSFunctionCall | ||
1637 | * ALSComparison.ALSMore_1_0_5_0 returns ALSFunctionCall | ||
1638 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSFunctionCall | ||
1639 | * ALSOverride returns ALSFunctionCall | ||
1640 | * ALSOverride.ALSOverride_1_0 returns ALSFunctionCall | ||
1641 | * ALSRangeRestrictionRight returns ALSFunctionCall | ||
1642 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSFunctionCall | ||
1643 | * ALSRangeRestrictionLeft returns ALSFunctionCall | ||
1644 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSFunctionCall | ||
1645 | * ALSJoin returns ALSFunctionCall | ||
1646 | * ALSJoin.ALSJoin_1_0 returns ALSFunctionCall | ||
1647 | * ALSMinus returns ALSFunctionCall | ||
1648 | * ALSMinus.ALSMinus_1_0 returns ALSFunctionCall | ||
1649 | * ALSPlus returns ALSFunctionCall | ||
1650 | * ALSPlus.ALSPlus_1_0 returns ALSFunctionCall | ||
1651 | * ALSIntersection returns ALSFunctionCall | ||
1652 | * ALSIntersection.ALSIntersection_1_0 returns ALSFunctionCall | ||
1653 | * ALSDirectProduct returns ALSFunctionCall | ||
1654 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSFunctionCall | ||
1655 | * ALSPreficed returns ALSFunctionCall | ||
1656 | * ALSBasicRelationTerm returns ALSFunctionCall | ||
1657 | * | ||
1658 | * Constraint: | ||
1659 | * ((referredDefinition=[ALSDefinition|ID] | referredNumericOperator=ALSNumericOperator) params+=ALSTerm params+=ALSTerm*) | ||
1660 | */ | ||
1661 | protected void sequence_ALSPreficed(ISerializationContext context, ALSFunctionCall semanticObject) { | ||
1662 | genericSequencer.createSequence(context, semanticObject); | ||
1663 | } | ||
1664 | |||
1665 | |||
1666 | /** | ||
1667 | * Contexts: | ||
1668 | * ALSTerm returns ALSInverseRelation | ||
1669 | * ALSQuantified returns ALSInverseRelation | ||
1670 | * ALSOr returns ALSInverseRelation | ||
1671 | * ALSOr.ALSOr_1_0 returns ALSInverseRelation | ||
1672 | * ALSIff returns ALSInverseRelation | ||
1673 | * ALSIff.ALSIff_1_0 returns ALSInverseRelation | ||
1674 | * ALSImpl returns ALSInverseRelation | ||
1675 | * ALSImpl.ALSImpl_1_0 returns ALSInverseRelation | ||
1676 | * ALSAnd returns ALSInverseRelation | ||
1677 | * ALSAnd.ALSAnd_1_0 returns ALSInverseRelation | ||
1678 | * ALSComparison returns ALSInverseRelation | ||
1679 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSInverseRelation | ||
1680 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSInverseRelation | ||
1681 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSInverseRelation | ||
1682 | * ALSComparison.ALSLess_1_0_3_0 returns ALSInverseRelation | ||
1683 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSInverseRelation | ||
1684 | * ALSComparison.ALSMore_1_0_5_0 returns ALSInverseRelation | ||
1685 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSInverseRelation | ||
1686 | * ALSOverride returns ALSInverseRelation | ||
1687 | * ALSOverride.ALSOverride_1_0 returns ALSInverseRelation | ||
1688 | * ALSRangeRestrictionRight returns ALSInverseRelation | ||
1689 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSInverseRelation | ||
1690 | * ALSRangeRestrictionLeft returns ALSInverseRelation | ||
1691 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSInverseRelation | ||
1692 | * ALSJoin returns ALSInverseRelation | ||
1693 | * ALSJoin.ALSJoin_1_0 returns ALSInverseRelation | ||
1694 | * ALSMinus returns ALSInverseRelation | ||
1695 | * ALSMinus.ALSMinus_1_0 returns ALSInverseRelation | ||
1696 | * ALSPlus returns ALSInverseRelation | ||
1697 | * ALSPlus.ALSPlus_1_0 returns ALSInverseRelation | ||
1698 | * ALSIntersection returns ALSInverseRelation | ||
1699 | * ALSIntersection.ALSIntersection_1_0 returns ALSInverseRelation | ||
1700 | * ALSDirectProduct returns ALSInverseRelation | ||
1701 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSInverseRelation | ||
1702 | * ALSPreficed returns ALSInverseRelation | ||
1703 | * ALSBasicRelationTerm returns ALSInverseRelation | ||
1704 | * | ||
1705 | * Constraint: | ||
1706 | * operand=ALSBasicRelationTerm | ||
1707 | */ | ||
1708 | protected void sequence_ALSPreficed(ISerializationContext context, ALSInverseRelation semanticObject) { | ||
1709 | if (errorAcceptor != null) { | ||
1710 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_INVERSE_RELATION__OPERAND) == ValueTransient.YES) | ||
1711 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_INVERSE_RELATION__OPERAND)); | ||
1712 | } | ||
1713 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1714 | feeder.accept(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_1_2_0(), semanticObject.getOperand()); | ||
1715 | feeder.finish(); | ||
1716 | } | ||
1717 | |||
1718 | |||
1719 | /** | ||
1720 | * Contexts: | ||
1721 | * ALSTerm returns ALSNot | ||
1722 | * ALSQuantified returns ALSNot | ||
1723 | * ALSOr returns ALSNot | ||
1724 | * ALSOr.ALSOr_1_0 returns ALSNot | ||
1725 | * ALSIff returns ALSNot | ||
1726 | * ALSIff.ALSIff_1_0 returns ALSNot | ||
1727 | * ALSImpl returns ALSNot | ||
1728 | * ALSImpl.ALSImpl_1_0 returns ALSNot | ||
1729 | * ALSAnd returns ALSNot | ||
1730 | * ALSAnd.ALSAnd_1_0 returns ALSNot | ||
1731 | * ALSComparison returns ALSNot | ||
1732 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSNot | ||
1733 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSNot | ||
1734 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSNot | ||
1735 | * ALSComparison.ALSLess_1_0_3_0 returns ALSNot | ||
1736 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSNot | ||
1737 | * ALSComparison.ALSMore_1_0_5_0 returns ALSNot | ||
1738 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSNot | ||
1739 | * ALSOverride returns ALSNot | ||
1740 | * ALSOverride.ALSOverride_1_0 returns ALSNot | ||
1741 | * ALSRangeRestrictionRight returns ALSNot | ||
1742 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSNot | ||
1743 | * ALSRangeRestrictionLeft returns ALSNot | ||
1744 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSNot | ||
1745 | * ALSJoin returns ALSNot | ||
1746 | * ALSJoin.ALSJoin_1_0 returns ALSNot | ||
1747 | * ALSMinus returns ALSNot | ||
1748 | * ALSMinus.ALSMinus_1_0 returns ALSNot | ||
1749 | * ALSPlus returns ALSNot | ||
1750 | * ALSPlus.ALSPlus_1_0 returns ALSNot | ||
1751 | * ALSIntersection returns ALSNot | ||
1752 | * ALSIntersection.ALSIntersection_1_0 returns ALSNot | ||
1753 | * ALSDirectProduct returns ALSNot | ||
1754 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSNot | ||
1755 | * ALSPreficed returns ALSNot | ||
1756 | * ALSBasicRelationTerm returns ALSNot | ||
1757 | * | ||
1758 | * Constraint: | ||
1759 | * operand=ALSBasicRelationTerm | ||
1760 | */ | ||
1761 | protected void sequence_ALSPreficed(ISerializationContext context, ALSNot semanticObject) { | ||
1762 | if (errorAcceptor != null) { | ||
1763 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_NOT__OPERAND) == ValueTransient.YES) | ||
1764 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_NOT__OPERAND)); | ||
1765 | } | ||
1766 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1767 | feeder.accept(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_0_2_0(), semanticObject.getOperand()); | ||
1768 | feeder.finish(); | ||
1769 | } | ||
1770 | |||
1771 | |||
1772 | /** | ||
1773 | * Contexts: | ||
1774 | * ALSTerm returns ALSReflectiveTransitiveClosure | ||
1775 | * ALSQuantified returns ALSReflectiveTransitiveClosure | ||
1776 | * ALSOr returns ALSReflectiveTransitiveClosure | ||
1777 | * ALSOr.ALSOr_1_0 returns ALSReflectiveTransitiveClosure | ||
1778 | * ALSIff returns ALSReflectiveTransitiveClosure | ||
1779 | * ALSIff.ALSIff_1_0 returns ALSReflectiveTransitiveClosure | ||
1780 | * ALSImpl returns ALSReflectiveTransitiveClosure | ||
1781 | * ALSImpl.ALSImpl_1_0 returns ALSReflectiveTransitiveClosure | ||
1782 | * ALSAnd returns ALSReflectiveTransitiveClosure | ||
1783 | * ALSAnd.ALSAnd_1_0 returns ALSReflectiveTransitiveClosure | ||
1784 | * ALSComparison returns ALSReflectiveTransitiveClosure | ||
1785 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSReflectiveTransitiveClosure | ||
1786 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSReflectiveTransitiveClosure | ||
1787 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSReflectiveTransitiveClosure | ||
1788 | * ALSComparison.ALSLess_1_0_3_0 returns ALSReflectiveTransitiveClosure | ||
1789 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSReflectiveTransitiveClosure | ||
1790 | * ALSComparison.ALSMore_1_0_5_0 returns ALSReflectiveTransitiveClosure | ||
1791 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSReflectiveTransitiveClosure | ||
1792 | * ALSOverride returns ALSReflectiveTransitiveClosure | ||
1793 | * ALSOverride.ALSOverride_1_0 returns ALSReflectiveTransitiveClosure | ||
1794 | * ALSRangeRestrictionRight returns ALSReflectiveTransitiveClosure | ||
1795 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSReflectiveTransitiveClosure | ||
1796 | * ALSRangeRestrictionLeft returns ALSReflectiveTransitiveClosure | ||
1797 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSReflectiveTransitiveClosure | ||
1798 | * ALSJoin returns ALSReflectiveTransitiveClosure | ||
1799 | * ALSJoin.ALSJoin_1_0 returns ALSReflectiveTransitiveClosure | ||
1800 | * ALSMinus returns ALSReflectiveTransitiveClosure | ||
1801 | * ALSMinus.ALSMinus_1_0 returns ALSReflectiveTransitiveClosure | ||
1802 | * ALSPlus returns ALSReflectiveTransitiveClosure | ||
1803 | * ALSPlus.ALSPlus_1_0 returns ALSReflectiveTransitiveClosure | ||
1804 | * ALSIntersection returns ALSReflectiveTransitiveClosure | ||
1805 | * ALSIntersection.ALSIntersection_1_0 returns ALSReflectiveTransitiveClosure | ||
1806 | * ALSDirectProduct returns ALSReflectiveTransitiveClosure | ||
1807 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSReflectiveTransitiveClosure | ||
1808 | * ALSPreficed returns ALSReflectiveTransitiveClosure | ||
1809 | * ALSBasicRelationTerm returns ALSReflectiveTransitiveClosure | ||
1810 | * | ||
1811 | * Constraint: | ||
1812 | * operand=ALSBasicRelationTerm | ||
1813 | */ | ||
1814 | protected void sequence_ALSPreficed(ISerializationContext context, ALSReflectiveTransitiveClosure semanticObject) { | ||
1815 | if (errorAcceptor != null) { | ||
1816 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_REFLECTIVE_TRANSITIVE_CLOSURE__OPERAND) == ValueTransient.YES) | ||
1817 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_REFLECTIVE_TRANSITIVE_CLOSURE__OPERAND)); | ||
1818 | } | ||
1819 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1820 | feeder.accept(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_3_2_0(), semanticObject.getOperand()); | ||
1821 | feeder.finish(); | ||
1822 | } | ||
1823 | |||
1824 | |||
1825 | /** | ||
1826 | * Contexts: | ||
1827 | * ALSTerm returns ALSSum | ||
1828 | * ALSQuantified returns ALSSum | ||
1829 | * ALSOr returns ALSSum | ||
1830 | * ALSOr.ALSOr_1_0 returns ALSSum | ||
1831 | * ALSIff returns ALSSum | ||
1832 | * ALSIff.ALSIff_1_0 returns ALSSum | ||
1833 | * ALSImpl returns ALSSum | ||
1834 | * ALSImpl.ALSImpl_1_0 returns ALSSum | ||
1835 | * ALSAnd returns ALSSum | ||
1836 | * ALSAnd.ALSAnd_1_0 returns ALSSum | ||
1837 | * ALSComparison returns ALSSum | ||
1838 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSSum | ||
1839 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSSum | ||
1840 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSSum | ||
1841 | * ALSComparison.ALSLess_1_0_3_0 returns ALSSum | ||
1842 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSSum | ||
1843 | * ALSComparison.ALSMore_1_0_5_0 returns ALSSum | ||
1844 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSSum | ||
1845 | * ALSOverride returns ALSSum | ||
1846 | * ALSOverride.ALSOverride_1_0 returns ALSSum | ||
1847 | * ALSRangeRestrictionRight returns ALSSum | ||
1848 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSSum | ||
1849 | * ALSRangeRestrictionLeft returns ALSSum | ||
1850 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSSum | ||
1851 | * ALSJoin returns ALSSum | ||
1852 | * ALSJoin.ALSJoin_1_0 returns ALSSum | ||
1853 | * ALSMinus returns ALSSum | ||
1854 | * ALSMinus.ALSMinus_1_0 returns ALSSum | ||
1855 | * ALSPlus returns ALSSum | ||
1856 | * ALSPlus.ALSPlus_1_0 returns ALSSum | ||
1857 | * ALSIntersection returns ALSSum | ||
1858 | * ALSIntersection.ALSIntersection_1_0 returns ALSSum | ||
1859 | * ALSDirectProduct returns ALSSum | ||
1860 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSSum | ||
1861 | * ALSPreficed returns ALSSum | ||
1862 | * ALSBasicRelationTerm returns ALSSum | ||
1863 | * | ||
1864 | * Constraint: | ||
1865 | * (variables+=ALSVariableDeclaration variables+=ALSVariableDeclaration* expression=ALSTerm) | ||
1866 | */ | ||
1867 | protected void sequence_ALSPreficed(ISerializationContext context, ALSSum semanticObject) { | ||
1868 | genericSequencer.createSequence(context, semanticObject); | ||
1869 | } | ||
1870 | |||
1871 | |||
1872 | /** | ||
1873 | * Contexts: | ||
1874 | * ALSTerm returns ALSUnaryMinus | ||
1875 | * ALSQuantified returns ALSUnaryMinus | ||
1876 | * ALSOr returns ALSUnaryMinus | ||
1877 | * ALSOr.ALSOr_1_0 returns ALSUnaryMinus | ||
1878 | * ALSIff returns ALSUnaryMinus | ||
1879 | * ALSIff.ALSIff_1_0 returns ALSUnaryMinus | ||
1880 | * ALSImpl returns ALSUnaryMinus | ||
1881 | * ALSImpl.ALSImpl_1_0 returns ALSUnaryMinus | ||
1882 | * ALSAnd returns ALSUnaryMinus | ||
1883 | * ALSAnd.ALSAnd_1_0 returns ALSUnaryMinus | ||
1884 | * ALSComparison returns ALSUnaryMinus | ||
1885 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSUnaryMinus | ||
1886 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSUnaryMinus | ||
1887 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSUnaryMinus | ||
1888 | * ALSComparison.ALSLess_1_0_3_0 returns ALSUnaryMinus | ||
1889 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSUnaryMinus | ||
1890 | * ALSComparison.ALSMore_1_0_5_0 returns ALSUnaryMinus | ||
1891 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSUnaryMinus | ||
1892 | * ALSOverride returns ALSUnaryMinus | ||
1893 | * ALSOverride.ALSOverride_1_0 returns ALSUnaryMinus | ||
1894 | * ALSRangeRestrictionRight returns ALSUnaryMinus | ||
1895 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSUnaryMinus | ||
1896 | * ALSRangeRestrictionLeft returns ALSUnaryMinus | ||
1897 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSUnaryMinus | ||
1898 | * ALSJoin returns ALSUnaryMinus | ||
1899 | * ALSJoin.ALSJoin_1_0 returns ALSUnaryMinus | ||
1900 | * ALSMinus returns ALSUnaryMinus | ||
1901 | * ALSMinus.ALSMinus_1_0 returns ALSUnaryMinus | ||
1902 | * ALSPlus returns ALSUnaryMinus | ||
1903 | * ALSPlus.ALSPlus_1_0 returns ALSUnaryMinus | ||
1904 | * ALSIntersection returns ALSUnaryMinus | ||
1905 | * ALSIntersection.ALSIntersection_1_0 returns ALSUnaryMinus | ||
1906 | * ALSDirectProduct returns ALSUnaryMinus | ||
1907 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSUnaryMinus | ||
1908 | * ALSPreficed returns ALSUnaryMinus | ||
1909 | * ALSBasicRelationTerm returns ALSUnaryMinus | ||
1910 | * | ||
1911 | * Constraint: | ||
1912 | * operand=ALSBasicRelationTerm | ||
1913 | */ | ||
1914 | protected void sequence_ALSPreficed(ISerializationContext context, ALSUnaryMinus semanticObject) { | ||
1915 | if (errorAcceptor != null) { | ||
1916 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_UNARY_MINUS__OPERAND) == ValueTransient.YES) | ||
1917 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_UNARY_MINUS__OPERAND)); | ||
1918 | } | ||
1919 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1920 | feeder.accept(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_5_2_0(), semanticObject.getOperand()); | ||
1921 | feeder.finish(); | ||
1922 | } | ||
1923 | |||
1924 | |||
1925 | /** | ||
1926 | * Contexts: | ||
1927 | * ALSTerm returns AlSTransitiveClosure | ||
1928 | * ALSQuantified returns AlSTransitiveClosure | ||
1929 | * ALSOr returns AlSTransitiveClosure | ||
1930 | * ALSOr.ALSOr_1_0 returns AlSTransitiveClosure | ||
1931 | * ALSIff returns AlSTransitiveClosure | ||
1932 | * ALSIff.ALSIff_1_0 returns AlSTransitiveClosure | ||
1933 | * ALSImpl returns AlSTransitiveClosure | ||
1934 | * ALSImpl.ALSImpl_1_0 returns AlSTransitiveClosure | ||
1935 | * ALSAnd returns AlSTransitiveClosure | ||
1936 | * ALSAnd.ALSAnd_1_0 returns AlSTransitiveClosure | ||
1937 | * ALSComparison returns AlSTransitiveClosure | ||
1938 | * ALSComparison.ALSEquals_1_0_0_0 returns AlSTransitiveClosure | ||
1939 | * ALSComparison.ALSNotEquals_1_0_1_0 returns AlSTransitiveClosure | ||
1940 | * ALSComparison.ALSSubset_1_0_2_0 returns AlSTransitiveClosure | ||
1941 | * ALSComparison.ALSLess_1_0_3_0 returns AlSTransitiveClosure | ||
1942 | * ALSComparison.ALSLeq_1_0_4_0 returns AlSTransitiveClosure | ||
1943 | * ALSComparison.ALSMore_1_0_5_0 returns AlSTransitiveClosure | ||
1944 | * ALSComparison.ALSMeq_1_0_6_0 returns AlSTransitiveClosure | ||
1945 | * ALSOverride returns AlSTransitiveClosure | ||
1946 | * ALSOverride.ALSOverride_1_0 returns AlSTransitiveClosure | ||
1947 | * ALSRangeRestrictionRight returns AlSTransitiveClosure | ||
1948 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns AlSTransitiveClosure | ||
1949 | * ALSRangeRestrictionLeft returns AlSTransitiveClosure | ||
1950 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns AlSTransitiveClosure | ||
1951 | * ALSJoin returns AlSTransitiveClosure | ||
1952 | * ALSJoin.ALSJoin_1_0 returns AlSTransitiveClosure | ||
1953 | * ALSMinus returns AlSTransitiveClosure | ||
1954 | * ALSMinus.ALSMinus_1_0 returns AlSTransitiveClosure | ||
1955 | * ALSPlus returns AlSTransitiveClosure | ||
1956 | * ALSPlus.ALSPlus_1_0 returns AlSTransitiveClosure | ||
1957 | * ALSIntersection returns AlSTransitiveClosure | ||
1958 | * ALSIntersection.ALSIntersection_1_0 returns AlSTransitiveClosure | ||
1959 | * ALSDirectProduct returns AlSTransitiveClosure | ||
1960 | * ALSDirectProduct.ALSDirectProduct_1_0 returns AlSTransitiveClosure | ||
1961 | * ALSPreficed returns AlSTransitiveClosure | ||
1962 | * ALSBasicRelationTerm returns AlSTransitiveClosure | ||
1963 | * | ||
1964 | * Constraint: | ||
1965 | * operand=ALSBasicRelationTerm | ||
1966 | */ | ||
1967 | protected void sequence_ALSPreficed(ISerializationContext context, AlSTransitiveClosure semanticObject) { | ||
1968 | if (errorAcceptor != null) { | ||
1969 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.AL_STRANSITIVE_CLOSURE__OPERAND) == ValueTransient.YES) | ||
1970 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.AL_STRANSITIVE_CLOSURE__OPERAND)); | ||
1971 | } | ||
1972 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1973 | feeder.accept(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_2_2_0(), semanticObject.getOperand()); | ||
1974 | feeder.finish(); | ||
1975 | } | ||
1976 | |||
1977 | |||
1978 | /** | ||
1979 | * Contexts: | ||
1980 | * ALSTerm returns ALSQuantifiedEx | ||
1981 | * ALSQuantified returns ALSQuantifiedEx | ||
1982 | * ALSOr returns ALSQuantifiedEx | ||
1983 | * ALSOr.ALSOr_1_0 returns ALSQuantifiedEx | ||
1984 | * ALSIff returns ALSQuantifiedEx | ||
1985 | * ALSIff.ALSIff_1_0 returns ALSQuantifiedEx | ||
1986 | * ALSImpl returns ALSQuantifiedEx | ||
1987 | * ALSImpl.ALSImpl_1_0 returns ALSQuantifiedEx | ||
1988 | * ALSAnd returns ALSQuantifiedEx | ||
1989 | * ALSAnd.ALSAnd_1_0 returns ALSQuantifiedEx | ||
1990 | * ALSComparison returns ALSQuantifiedEx | ||
1991 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSQuantifiedEx | ||
1992 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSQuantifiedEx | ||
1993 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSQuantifiedEx | ||
1994 | * ALSComparison.ALSLess_1_0_3_0 returns ALSQuantifiedEx | ||
1995 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSQuantifiedEx | ||
1996 | * ALSComparison.ALSMore_1_0_5_0 returns ALSQuantifiedEx | ||
1997 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSQuantifiedEx | ||
1998 | * ALSOverride returns ALSQuantifiedEx | ||
1999 | * ALSOverride.ALSOverride_1_0 returns ALSQuantifiedEx | ||
2000 | * ALSRangeRestrictionRight returns ALSQuantifiedEx | ||
2001 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSQuantifiedEx | ||
2002 | * ALSRangeRestrictionLeft returns ALSQuantifiedEx | ||
2003 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSQuantifiedEx | ||
2004 | * ALSJoin returns ALSQuantifiedEx | ||
2005 | * ALSJoin.ALSJoin_1_0 returns ALSQuantifiedEx | ||
2006 | * ALSMinus returns ALSQuantifiedEx | ||
2007 | * ALSMinus.ALSMinus_1_0 returns ALSQuantifiedEx | ||
2008 | * ALSPlus returns ALSQuantifiedEx | ||
2009 | * ALSPlus.ALSPlus_1_0 returns ALSQuantifiedEx | ||
2010 | * ALSIntersection returns ALSQuantifiedEx | ||
2011 | * ALSIntersection.ALSIntersection_1_0 returns ALSQuantifiedEx | ||
2012 | * ALSDirectProduct returns ALSQuantifiedEx | ||
2013 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSQuantifiedEx | ||
2014 | * ALSPreficed returns ALSQuantifiedEx | ||
2015 | * ALSBasicRelationTerm returns ALSQuantifiedEx | ||
2016 | * | ||
2017 | * Constraint: | ||
2018 | * (type=ALSMultiplicity disj?='disj'? variables+=ALSVariableDeclaration variables+=ALSVariableDeclaration* expression=ALSTerm) | ||
2019 | */ | ||
2020 | protected void sequence_ALSQuantified(ISerializationContext context, ALSQuantifiedEx semanticObject) { | ||
2021 | genericSequencer.createSequence(context, semanticObject); | ||
2022 | } | ||
2023 | |||
2024 | |||
2025 | /** | ||
2026 | * Contexts: | ||
2027 | * ALSTerm returns ALSRangeRestrictionLeft | ||
2028 | * ALSQuantified returns ALSRangeRestrictionLeft | ||
2029 | * ALSOr returns ALSRangeRestrictionLeft | ||
2030 | * ALSOr.ALSOr_1_0 returns ALSRangeRestrictionLeft | ||
2031 | * ALSIff returns ALSRangeRestrictionLeft | ||
2032 | * ALSIff.ALSIff_1_0 returns ALSRangeRestrictionLeft | ||
2033 | * ALSImpl returns ALSRangeRestrictionLeft | ||
2034 | * ALSImpl.ALSImpl_1_0 returns ALSRangeRestrictionLeft | ||
2035 | * ALSAnd returns ALSRangeRestrictionLeft | ||
2036 | * ALSAnd.ALSAnd_1_0 returns ALSRangeRestrictionLeft | ||
2037 | * ALSComparison returns ALSRangeRestrictionLeft | ||
2038 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSRangeRestrictionLeft | ||
2039 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSRangeRestrictionLeft | ||
2040 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSRangeRestrictionLeft | ||
2041 | * ALSComparison.ALSLess_1_0_3_0 returns ALSRangeRestrictionLeft | ||
2042 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSRangeRestrictionLeft | ||
2043 | * ALSComparison.ALSMore_1_0_5_0 returns ALSRangeRestrictionLeft | ||
2044 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSRangeRestrictionLeft | ||
2045 | * ALSOverride returns ALSRangeRestrictionLeft | ||
2046 | * ALSOverride.ALSOverride_1_0 returns ALSRangeRestrictionLeft | ||
2047 | * ALSRangeRestrictionRight returns ALSRangeRestrictionLeft | ||
2048 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSRangeRestrictionLeft | ||
2049 | * ALSRangeRestrictionLeft returns ALSRangeRestrictionLeft | ||
2050 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSRangeRestrictionLeft | ||
2051 | * ALSJoin returns ALSRangeRestrictionLeft | ||
2052 | * ALSJoin.ALSJoin_1_0 returns ALSRangeRestrictionLeft | ||
2053 | * ALSMinus returns ALSRangeRestrictionLeft | ||
2054 | * ALSMinus.ALSMinus_1_0 returns ALSRangeRestrictionLeft | ||
2055 | * ALSPlus returns ALSRangeRestrictionLeft | ||
2056 | * ALSPlus.ALSPlus_1_0 returns ALSRangeRestrictionLeft | ||
2057 | * ALSIntersection returns ALSRangeRestrictionLeft | ||
2058 | * ALSIntersection.ALSIntersection_1_0 returns ALSRangeRestrictionLeft | ||
2059 | * ALSDirectProduct returns ALSRangeRestrictionLeft | ||
2060 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSRangeRestrictionLeft | ||
2061 | * ALSPreficed returns ALSRangeRestrictionLeft | ||
2062 | * ALSBasicRelationTerm returns ALSRangeRestrictionLeft | ||
2063 | * | ||
2064 | * Constraint: | ||
2065 | * (filter=ALSRangeRestrictionLeft_ALSRangeRestrictionLeft_1_0 relation=ALSJoin) | ||
2066 | */ | ||
2067 | protected void sequence_ALSRangeRestrictionLeft(ISerializationContext context, ALSRangeRestrictionLeft semanticObject) { | ||
2068 | if (errorAcceptor != null) { | ||
2069 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_RANGE_RESTRICTION_LEFT__FILTER) == ValueTransient.YES) | ||
2070 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_RANGE_RESTRICTION_LEFT__FILTER)); | ||
2071 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_RANGE_RESTRICTION_LEFT__RELATION) == ValueTransient.YES) | ||
2072 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_RANGE_RESTRICTION_LEFT__RELATION)); | ||
2073 | } | ||
2074 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
2075 | feeder.accept(grammarAccess.getALSRangeRestrictionLeftAccess().getALSRangeRestrictionLeftFilterAction_1_0(), semanticObject.getFilter()); | ||
2076 | feeder.accept(grammarAccess.getALSRangeRestrictionLeftAccess().getRelationALSJoinParserRuleCall_1_2_0(), semanticObject.getRelation()); | ||
2077 | feeder.finish(); | ||
2078 | } | ||
2079 | |||
2080 | |||
2081 | /** | ||
2082 | * Contexts: | ||
2083 | * ALSTerm returns ALSRangeRestrictionRight | ||
2084 | * ALSQuantified returns ALSRangeRestrictionRight | ||
2085 | * ALSOr returns ALSRangeRestrictionRight | ||
2086 | * ALSOr.ALSOr_1_0 returns ALSRangeRestrictionRight | ||
2087 | * ALSIff returns ALSRangeRestrictionRight | ||
2088 | * ALSIff.ALSIff_1_0 returns ALSRangeRestrictionRight | ||
2089 | * ALSImpl returns ALSRangeRestrictionRight | ||
2090 | * ALSImpl.ALSImpl_1_0 returns ALSRangeRestrictionRight | ||
2091 | * ALSAnd returns ALSRangeRestrictionRight | ||
2092 | * ALSAnd.ALSAnd_1_0 returns ALSRangeRestrictionRight | ||
2093 | * ALSComparison returns ALSRangeRestrictionRight | ||
2094 | * ALSComparison.ALSEquals_1_0_0_0 returns ALSRangeRestrictionRight | ||
2095 | * ALSComparison.ALSNotEquals_1_0_1_0 returns ALSRangeRestrictionRight | ||
2096 | * ALSComparison.ALSSubset_1_0_2_0 returns ALSRangeRestrictionRight | ||
2097 | * ALSComparison.ALSLess_1_0_3_0 returns ALSRangeRestrictionRight | ||
2098 | * ALSComparison.ALSLeq_1_0_4_0 returns ALSRangeRestrictionRight | ||
2099 | * ALSComparison.ALSMore_1_0_5_0 returns ALSRangeRestrictionRight | ||
2100 | * ALSComparison.ALSMeq_1_0_6_0 returns ALSRangeRestrictionRight | ||
2101 | * ALSOverride returns ALSRangeRestrictionRight | ||
2102 | * ALSOverride.ALSOverride_1_0 returns ALSRangeRestrictionRight | ||
2103 | * ALSRangeRestrictionRight returns ALSRangeRestrictionRight | ||
2104 | * ALSRangeRestrictionRight.ALSRangeRestrictionRight_1_0 returns ALSRangeRestrictionRight | ||
2105 | * ALSRangeRestrictionLeft returns ALSRangeRestrictionRight | ||
2106 | * ALSRangeRestrictionLeft.ALSRangeRestrictionLeft_1_0 returns ALSRangeRestrictionRight | ||
2107 | * ALSJoin returns ALSRangeRestrictionRight | ||
2108 | * ALSJoin.ALSJoin_1_0 returns ALSRangeRestrictionRight | ||
2109 | * ALSMinus returns ALSRangeRestrictionRight | ||
2110 | * ALSMinus.ALSMinus_1_0 returns ALSRangeRestrictionRight | ||
2111 | * ALSPlus returns ALSRangeRestrictionRight | ||
2112 | * ALSPlus.ALSPlus_1_0 returns ALSRangeRestrictionRight | ||
2113 | * ALSIntersection returns ALSRangeRestrictionRight | ||
2114 | * ALSIntersection.ALSIntersection_1_0 returns ALSRangeRestrictionRight | ||
2115 | * ALSDirectProduct returns ALSRangeRestrictionRight | ||
2116 | * ALSDirectProduct.ALSDirectProduct_1_0 returns ALSRangeRestrictionRight | ||
2117 | * ALSPreficed returns ALSRangeRestrictionRight | ||
2118 | * ALSBasicRelationTerm returns ALSRangeRestrictionRight | ||
2119 | * | ||
2120 | * Constraint: | ||
2121 | * (relation=ALSRangeRestrictionRight_ALSRangeRestrictionRight_1_0 filter=ALSRangeRestrictionLeft) | ||
2122 | */ | ||
2123 | protected void sequence_ALSRangeRestrictionRight(ISerializationContext context, ALSRangeRestrictionRight semanticObject) { | ||
2124 | if (errorAcceptor != null) { | ||
2125 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_RANGE_RESTRICTION_RIGHT__RELATION) == ValueTransient.YES) | ||
2126 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_RANGE_RESTRICTION_RIGHT__RELATION)); | ||
2127 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_RANGE_RESTRICTION_RIGHT__FILTER) == ValueTransient.YES) | ||
2128 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_RANGE_RESTRICTION_RIGHT__FILTER)); | ||
2129 | } | ||
2130 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
2131 | feeder.accept(grammarAccess.getALSRangeRestrictionRightAccess().getALSRangeRestrictionRightRelationAction_1_0(), semanticObject.getRelation()); | ||
2132 | feeder.accept(grammarAccess.getALSRangeRestrictionRightAccess().getFilterALSRangeRestrictionLeftParserRuleCall_1_2_0(), semanticObject.getFilter()); | ||
2133 | feeder.finish(); | ||
2134 | } | ||
2135 | |||
2136 | |||
2137 | /** | ||
2138 | * Contexts: | ||
2139 | * ALSDefinition returns ALSRelationDefinition | ||
2140 | * ALSRelationDefinition returns ALSRelationDefinition | ||
2141 | * | ||
2142 | * Constraint: | ||
2143 | * (name=ALSID variables+=ALSVariableDeclaration variables+=ALSVariableDeclaration* value=ALSTerm) | ||
2144 | */ | ||
2145 | protected void sequence_ALSRelationDefinition(ISerializationContext context, ALSRelationDefinition semanticObject) { | ||
2146 | genericSequencer.createSequence(context, semanticObject); | ||
2147 | } | ||
2148 | |||
2149 | |||
2150 | /** | ||
2151 | * Contexts: | ||
2152 | * ALSRunCommand returns ALSRunCommand | ||
2153 | * | ||
2154 | * Constraint: | ||
2155 | * (typeScopes+=ALSTypeScope typeScopes+=ALSTypeScope*)? | ||
2156 | */ | ||
2157 | protected void sequence_ALSRunCommand(ISerializationContext context, ALSRunCommand semanticObject) { | ||
2158 | genericSequencer.createSequence(context, semanticObject); | ||
2159 | } | ||
2160 | |||
2161 | |||
2162 | /** | ||
2163 | * Contexts: | ||
2164 | * ALSTypeScope returns ALSSigScope | ||
2165 | * ALSSigScope returns ALSSigScope | ||
2166 | * | ||
2167 | * Constraint: | ||
2168 | * (exactly?='exactly'? number=INT type=[ALSSignatureDeclaration|ID]) | ||
2169 | */ | ||
2170 | protected void sequence_ALSSigScope(ISerializationContext context, ALSSigScope semanticObject) { | ||
2171 | genericSequencer.createSequence(context, semanticObject); | ||
2172 | } | ||
2173 | |||
2174 | |||
2175 | /** | ||
2176 | * Contexts: | ||
2177 | * ALSSignatureBody returns ALSSignatureBody | ||
2178 | * | ||
2179 | * Constraint: | ||
2180 | * ( | ||
2181 | * (multiplicity=ALSMultiplicity | abstract?='abstract')* | ||
2182 | * declarations+=ALSSignatureDeclaration | ||
2183 | * declarations+=ALSSignatureDeclaration* | ||
2184 | * (supertype=[ALSSignatureDeclaration|ID] | (superset+=[ALSSignatureDeclaration|ID] superset+=[ALSSignatureDeclaration|ID]*))? | ||
2185 | * (fields+=ALSFieldDeclaration fields+=ALSFieldDeclaration*)? | ||
2186 | * ) | ||
2187 | */ | ||
2188 | protected void sequence_ALSSignatureBody(ISerializationContext context, ALSSignatureBody semanticObject) { | ||
2189 | genericSequencer.createSequence(context, semanticObject); | ||
2190 | } | ||
2191 | |||
2192 | |||
2193 | /** | ||
2194 | * Contexts: | ||
2195 | * ALSRelationDeclaration returns ALSSignatureDeclaration | ||
2196 | * ALSTypeDeclaration returns ALSSignatureDeclaration | ||
2197 | * ALSSignatureDeclaration returns ALSSignatureDeclaration | ||
2198 | * | ||
2199 | * Constraint: | ||
2200 | * name=ALSID | ||
2201 | */ | ||
2202 | protected void sequence_ALSSignatureDeclaration(ISerializationContext context, ALSSignatureDeclaration semanticObject) { | ||
2203 | if (errorAcceptor != null) { | ||
2204 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_RELATION_DECLARATION__NAME) == ValueTransient.YES) | ||
2205 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_RELATION_DECLARATION__NAME)); | ||
2206 | } | ||
2207 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
2208 | feeder.accept(grammarAccess.getALSSignatureDeclarationAccess().getNameALSIDParserRuleCall_0(), semanticObject.getName()); | ||
2209 | feeder.finish(); | ||
2210 | } | ||
2211 | |||
2212 | |||
2213 | /** | ||
2214 | * Contexts: | ||
2215 | * ALSRelationDeclaration returns ALSVariableDeclaration | ||
2216 | * ALSVariableDeclaration returns ALSVariableDeclaration | ||
2217 | * | ||
2218 | * Constraint: | ||
2219 | * (name=ALSID range=ALSTerm) | ||
2220 | */ | ||
2221 | protected void sequence_ALSVariableDeclaration(ISerializationContext context, ALSVariableDeclaration semanticObject) { | ||
2222 | if (errorAcceptor != null) { | ||
2223 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_RELATION_DECLARATION__NAME) == ValueTransient.YES) | ||
2224 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_RELATION_DECLARATION__NAME)); | ||
2225 | if (transientValues.isValueTransient(semanticObject, AlloyLanguagePackage.Literals.ALS_VARIABLE_DECLARATION__RANGE) == ValueTransient.YES) | ||
2226 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, AlloyLanguagePackage.Literals.ALS_VARIABLE_DECLARATION__RANGE)); | ||
2227 | } | ||
2228 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
2229 | feeder.accept(grammarAccess.getALSVariableDeclarationAccess().getNameALSIDParserRuleCall_0_0(), semanticObject.getName()); | ||
2230 | feeder.accept(grammarAccess.getALSVariableDeclarationAccess().getRangeALSTermParserRuleCall_2_0(), semanticObject.getRange()); | ||
2231 | feeder.finish(); | ||
2232 | } | ||
2233 | |||
2234 | |||
2235 | } | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java new file mode 100644 index 00000000..4c1eaf02 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java | |||
@@ -0,0 +1,214 @@ | |||
1 | /* | ||
2 | * generated by Xtext | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.serializer; | ||
5 | |||
6 | import com.google.inject.Inject; | ||
7 | import hu.bme.mit.inf.dslreasoner.services.AlloyLanguageGrammarAccess; | ||
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.AlternativeAlias; | ||
15 | import org.eclipse.xtext.serializer.analysis.GrammarAlias.TokenAlias; | ||
16 | import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable; | ||
17 | import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynTransition; | ||
18 | import org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer; | ||
19 | |||
20 | @SuppressWarnings("all") | ||
21 | public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer { | ||
22 | |||
23 | protected AlloyLanguageGrammarAccess grammarAccess; | ||
24 | protected AbstractElementAlias match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1; | ||
25 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a; | ||
26 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p; | ||
27 | protected AbstractElementAlias match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0; | ||
28 | protected AbstractElementAlias match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1; | ||
29 | protected AbstractElementAlias match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0; | ||
30 | protected AbstractElementAlias match_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1; | ||
31 | |||
32 | @Inject | ||
33 | protected void init(IGrammarAccess access) { | ||
34 | grammarAccess = (AlloyLanguageGrammarAccess) access; | ||
35 | match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAmpersandAmpersandKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAndKeyword_1_1_1())); | ||
36 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a = new TokenAlias(true, true, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_6_0()); | ||
37 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p = new TokenAlias(true, false, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_6_0()); | ||
38 | match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSIffAccess().getIffKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSIffAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0())); | ||
39 | match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSImplAccess().getEqualsSignGreaterThanSignKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSImplAccess().getImpliesKeyword_1_1_1())); | ||
40 | match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSOrAccess().getOrKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSOrAccess().getVerticalLineVerticalLineKeyword_1_1_0())); | ||
41 | match_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSPreficedAccess().getExclamationMarkKeyword_0_1_0_0()), new TokenAlias(false, false, grammarAccess.getALSPreficedAccess().getNotKeyword_0_1_0_1())); | ||
42 | } | ||
43 | |||
44 | @Override | ||
45 | protected String getUnassignedRuleCallToken(EObject semanticObject, RuleCall ruleCall, INode node) { | ||
46 | return ""; | ||
47 | } | ||
48 | |||
49 | |||
50 | @Override | ||
51 | protected void emitUnassignedTokens(EObject semanticObject, ISynTransition transition, INode fromNode, INode toNode) { | ||
52 | if (transition.getAmbiguousSyntaxes().isEmpty()) return; | ||
53 | List<INode> transitionNodes = collectNodes(fromNode, toNode); | ||
54 | for (AbstractElementAlias syntax : transition.getAmbiguousSyntaxes()) { | ||
55 | List<INode> syntaxNodes = getNodesFor(transitionNodes, syntax); | ||
56 | if (match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1.equals(syntax)) | ||
57 | emit_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1(semanticObject, getLastNavigableState(), syntaxNodes); | ||
58 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a.equals(syntax)) | ||
59 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a(semanticObject, getLastNavigableState(), syntaxNodes); | ||
60 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p.equals(syntax)) | ||
61 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p(semanticObject, getLastNavigableState(), syntaxNodes); | ||
62 | else if (match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0.equals(syntax)) | ||
63 | emit_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0(semanticObject, getLastNavigableState(), syntaxNodes); | ||
64 | else if (match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1.equals(syntax)) | ||
65 | emit_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1(semanticObject, getLastNavigableState(), syntaxNodes); | ||
66 | else if (match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0.equals(syntax)) | ||
67 | emit_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0(semanticObject, getLastNavigableState(), syntaxNodes); | ||
68 | else if (match_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1.equals(syntax)) | ||
69 | emit_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1(semanticObject, getLastNavigableState(), syntaxNodes); | ||
70 | else acceptNodes(getLastNavigableState(), syntaxNodes); | ||
71 | } | ||
72 | } | ||
73 | |||
74 | /** | ||
75 | * Ambiguous syntax: | ||
76 | * 'and' | '&&' | ||
77 | * | ||
78 | * This ambiguous syntax occurs at: | ||
79 | * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison | ||
80 | */ | ||
81 | protected void emit_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
82 | acceptNodes(transition, nodes); | ||
83 | } | ||
84 | |||
85 | /** | ||
86 | * Ambiguous syntax: | ||
87 | * '('* | ||
88 | * | ||
89 | * This ambiguous syntax occurs at: | ||
90 | * (rule start) (ambiguity) '#' operand=ALSBasicRelationTerm | ||
91 | * (rule start) (ambiguity) '*' operand=ALSBasicRelationTerm | ||
92 | * (rule start) (ambiguity) '-' operand=ALSBasicRelationTerm | ||
93 | * (rule start) (ambiguity) 'Int' (rule start) | ||
94 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm | ||
95 | * (rule start) (ambiguity) 'iden' (rule start) | ||
96 | * (rule start) (ambiguity) 'none' (rule start) | ||
97 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration | ||
98 | * (rule start) (ambiguity) 'univ' (rule start) | ||
99 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm | ||
100 | * (rule start) (ambiguity) ('!' | 'not') operand=ALSBasicRelationTerm | ||
101 | * (rule start) (ambiguity) referred=[ALSRelationDeclaration|ID] | ||
102 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] | ||
103 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator | ||
104 | * (rule start) (ambiguity) type=ALSMultiplicity | ||
105 | * (rule start) (ambiguity) value=INT | ||
106 | * (rule start) (ambiguity) {ALSAnd.leftOperand=} | ||
107 | * (rule start) (ambiguity) {ALSDirectProduct.leftOperand=} | ||
108 | * (rule start) (ambiguity) {ALSEquals.leftOperand=} | ||
109 | * (rule start) (ambiguity) {ALSIff.leftOperand=} | ||
110 | * (rule start) (ambiguity) {ALSImpl.leftOperand=} | ||
111 | * (rule start) (ambiguity) {ALSIntersection.leftOperand=} | ||
112 | * (rule start) (ambiguity) {ALSJoin.leftOperand=} | ||
113 | * (rule start) (ambiguity) {ALSLeq.leftOperand=} | ||
114 | * (rule start) (ambiguity) {ALSLess.leftOperand=} | ||
115 | * (rule start) (ambiguity) {ALSMeq.leftOperand=} | ||
116 | * (rule start) (ambiguity) {ALSMinus.leftOperand=} | ||
117 | * (rule start) (ambiguity) {ALSMore.leftOperand=} | ||
118 | * (rule start) (ambiguity) {ALSNotEquals.leftOperand=} | ||
119 | * (rule start) (ambiguity) {ALSOr.leftOperand=} | ||
120 | * (rule start) (ambiguity) {ALSOverride.leftOperand=} | ||
121 | * (rule start) (ambiguity) {ALSPlus.leftOperand=} | ||
122 | * (rule start) (ambiguity) {ALSRangeRestrictionLeft.filter=} | ||
123 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} | ||
124 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} | ||
125 | */ | ||
126 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
127 | acceptNodes(transition, nodes); | ||
128 | } | ||
129 | |||
130 | /** | ||
131 | * Ambiguous syntax: | ||
132 | * '('+ | ||
133 | * | ||
134 | * This ambiguous syntax occurs at: | ||
135 | * (rule start) (ambiguity) '#' operand=ALSBasicRelationTerm | ||
136 | * (rule start) (ambiguity) '*' operand=ALSBasicRelationTerm | ||
137 | * (rule start) (ambiguity) '-' operand=ALSBasicRelationTerm | ||
138 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm | ||
139 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration | ||
140 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm | ||
141 | * (rule start) (ambiguity) ('!' | 'not') operand=ALSBasicRelationTerm | ||
142 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] | ||
143 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator | ||
144 | * (rule start) (ambiguity) type=ALSMultiplicity | ||
145 | * (rule start) (ambiguity) {ALSAnd.leftOperand=} | ||
146 | * (rule start) (ambiguity) {ALSDirectProduct.leftOperand=} | ||
147 | * (rule start) (ambiguity) {ALSEquals.leftOperand=} | ||
148 | * (rule start) (ambiguity) {ALSIff.leftOperand=} | ||
149 | * (rule start) (ambiguity) {ALSImpl.leftOperand=} | ||
150 | * (rule start) (ambiguity) {ALSIntersection.leftOperand=} | ||
151 | * (rule start) (ambiguity) {ALSJoin.leftOperand=} | ||
152 | * (rule start) (ambiguity) {ALSLeq.leftOperand=} | ||
153 | * (rule start) (ambiguity) {ALSLess.leftOperand=} | ||
154 | * (rule start) (ambiguity) {ALSMeq.leftOperand=} | ||
155 | * (rule start) (ambiguity) {ALSMinus.leftOperand=} | ||
156 | * (rule start) (ambiguity) {ALSMore.leftOperand=} | ||
157 | * (rule start) (ambiguity) {ALSNotEquals.leftOperand=} | ||
158 | * (rule start) (ambiguity) {ALSOr.leftOperand=} | ||
159 | * (rule start) (ambiguity) {ALSOverride.leftOperand=} | ||
160 | * (rule start) (ambiguity) {ALSPlus.leftOperand=} | ||
161 | * (rule start) (ambiguity) {ALSRangeRestrictionLeft.filter=} | ||
162 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} | ||
163 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} | ||
164 | */ | ||
165 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
166 | acceptNodes(transition, nodes); | ||
167 | } | ||
168 | |||
169 | /** | ||
170 | * Ambiguous syntax: | ||
171 | * 'iff' | '<=>' | ||
172 | * | ||
173 | * This ambiguous syntax occurs at: | ||
174 | * {ALSIff.leftOperand=} (ambiguity) rightOperand=ALSImpl | ||
175 | */ | ||
176 | protected void emit_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
177 | acceptNodes(transition, nodes); | ||
178 | } | ||
179 | |||
180 | /** | ||
181 | * Ambiguous syntax: | ||
182 | * '=>' | 'implies' | ||
183 | * | ||
184 | * This ambiguous syntax occurs at: | ||
185 | * {ALSImpl.leftOperand=} (ambiguity) rightOperand=ALSAnd | ||
186 | */ | ||
187 | protected void emit_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
188 | acceptNodes(transition, nodes); | ||
189 | } | ||
190 | |||
191 | /** | ||
192 | * Ambiguous syntax: | ||
193 | * '||' | 'or' | ||
194 | * | ||
195 | * This ambiguous syntax occurs at: | ||
196 | * {ALSOr.leftOperand=} (ambiguity) rightOperand=ALSIff | ||
197 | */ | ||
198 | protected void emit_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
199 | acceptNodes(transition, nodes); | ||
200 | } | ||
201 | |||
202 | /** | ||
203 | * Ambiguous syntax: | ||
204 | * '!' | 'not' | ||
205 | * | ||
206 | * This ambiguous syntax occurs at: | ||
207 | * (rule start) '('* (ambiguity) operand=ALSBasicRelationTerm | ||
208 | * (rule start) '('+ (ambiguity) operand=ALSBasicRelationTerm | ||
209 | */ | ||
210 | protected void emit_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
211 | acceptNodes(transition, nodes); | ||
212 | } | ||
213 | |||
214 | } | ||