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