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