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