diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer')
2 files changed, 402 insertions, 123 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java index 5cb73796..dc93975f 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSemanticSequencer.java | |||
@@ -10,37 +10,42 @@ import org.eclipse.emf.ecore.EPackage; | |||
10 | import org.eclipse.viatra.solver.language.services.SolverLanguageGrammarAccess; | 10 | import org.eclipse.viatra.solver.language.services.SolverLanguageGrammarAccess; |
11 | import org.eclipse.viatra.solver.language.solverLanguage.Aggregation; | 11 | import org.eclipse.viatra.solver.language.solverLanguage.Aggregation; |
12 | import org.eclipse.viatra.solver.language.solverLanguage.ArgumentList; | 12 | import org.eclipse.viatra.solver.language.solverLanguage.ArgumentList; |
13 | import org.eclipse.viatra.solver.language.solverLanguage.Assertion; | ||
14 | import org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression; | 13 | import org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression; |
15 | import org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity; | 14 | import org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity; |
16 | import org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition; | 15 | import org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition; |
17 | import org.eclipse.viatra.solver.language.solverLanguage.Call; | 16 | import org.eclipse.viatra.solver.language.solverLanguage.Call; |
18 | import org.eclipse.viatra.solver.language.solverLanguage.Case; | 17 | import org.eclipse.viatra.solver.language.solverLanguage.Case; |
18 | import org.eclipse.viatra.solver.language.solverLanguage.CastExpression; | ||
19 | import org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition; | 19 | import org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition; |
20 | import org.eclipse.viatra.solver.language.solverLanguage.Comparison; | 20 | import org.eclipse.viatra.solver.language.solverLanguage.Comparison; |
21 | import org.eclipse.viatra.solver.language.solverLanguage.Conjunction; | 21 | import org.eclipse.viatra.solver.language.solverLanguage.Conjunction; |
22 | import org.eclipse.viatra.solver.language.solverLanguage.Count; | ||
23 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition; | 22 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition; |
24 | import org.eclipse.viatra.solver.language.solverLanguage.Disjunction; | 23 | import org.eclipse.viatra.solver.language.solverLanguage.Disjunction; |
25 | import org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral; | 24 | import org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral; |
26 | import org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity; | 25 | import org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity; |
27 | import org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition; | 26 | import org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition; |
28 | import org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument; | 27 | import org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument; |
28 | import org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition; | ||
29 | import org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition; | ||
29 | import org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition; | 30 | import org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition; |
30 | import org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition; | 31 | import org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition; |
31 | import org.eclipse.viatra.solver.language.solverLanguage.IfElse; | 32 | import org.eclipse.viatra.solver.language.solverLanguage.IfElse; |
32 | import org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral; | 33 | import org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral; |
34 | import org.eclipse.viatra.solver.language.solverLanguage.Interpretation; | ||
33 | import org.eclipse.viatra.solver.language.solverLanguage.Interval; | 35 | import org.eclipse.viatra.solver.language.solverLanguage.Interval; |
36 | import org.eclipse.viatra.solver.language.solverLanguage.Let; | ||
37 | import org.eclipse.viatra.solver.language.solverLanguage.LetBinding; | ||
38 | import org.eclipse.viatra.solver.language.solverLanguage.LocalVariables; | ||
34 | import org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral; | 39 | import org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral; |
35 | import org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition; | 40 | import org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition; |
36 | import org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity; | 41 | import org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity; |
37 | import org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition; | 42 | import org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition; |
38 | import org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition; | 43 | import org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition; |
39 | import org.eclipse.viatra.solver.language.solverLanguage.NamedElement; | ||
40 | import org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral; | 44 | import org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral; |
41 | import org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition; | 45 | import org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition; |
42 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition; | 46 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition; |
43 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | 47 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; |
48 | import org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression; | ||
44 | import org.eclipse.viatra.solver.language.solverLanguage.Reference; | 49 | import org.eclipse.viatra.solver.language.solverLanguage.Reference; |
45 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | 50 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; |
46 | import org.eclipse.viatra.solver.language.solverLanguage.StarArgument; | 51 | import org.eclipse.viatra.solver.language.solverLanguage.StarArgument; |
@@ -50,6 +55,7 @@ import org.eclipse.viatra.solver.language.solverLanguage.TypedArgument; | |||
50 | import org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument; | 55 | import org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument; |
51 | import org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression; | 56 | import org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression; |
52 | import org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition; | 57 | import org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition; |
58 | import org.eclipse.viatra.solver.language.solverLanguage.Variable; | ||
53 | import org.eclipse.xtext.Action; | 59 | import org.eclipse.xtext.Action; |
54 | import org.eclipse.xtext.Parameter; | 60 | import org.eclipse.xtext.Parameter; |
55 | import org.eclipse.xtext.ParserRule; | 61 | import org.eclipse.xtext.ParserRule; |
@@ -78,11 +84,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
78 | case SolverLanguagePackage.ARGUMENT_LIST: | 84 | case SolverLanguagePackage.ARGUMENT_LIST: |
79 | sequence_ArgumentList(context, (ArgumentList) semanticObject); | 85 | sequence_ArgumentList(context, (ArgumentList) semanticObject); |
80 | return; | 86 | return; |
81 | case SolverLanguagePackage.ASSERTION: | ||
82 | sequence_AssertionOrDefinition(context, (Assertion) semanticObject); | ||
83 | return; | ||
84 | case SolverLanguagePackage.BINARY_EXPRESSION: | 87 | case SolverLanguagePackage.BINARY_EXPRESSION: |
85 | sequence_AdditiveExpression_ExponentialExpression_MultiplicativeExpression(context, (BinaryExpression) semanticObject); | 88 | sequence_AdditiveExpression_ExponentialExpression_ImplicationExpression_MultiplicativeExpression(context, (BinaryExpression) semanticObject); |
86 | return; | 89 | return; |
87 | case SolverLanguagePackage.BOUNDED_MULTIPLICITY: | 90 | case SolverLanguagePackage.BOUNDED_MULTIPLICITY: |
88 | sequence_BoundedMultiplicity(context, (BoundedMultiplicity) semanticObject); | 91 | sequence_BoundedMultiplicity(context, (BoundedMultiplicity) semanticObject); |
@@ -103,6 +106,9 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
103 | return; | 106 | return; |
104 | } | 107 | } |
105 | else break; | 108 | else break; |
109 | case SolverLanguagePackage.CAST_EXPRESSION: | ||
110 | sequence_CastExpression(context, (CastExpression) semanticObject); | ||
111 | return; | ||
106 | case SolverLanguagePackage.CLASS_DEFINITION: | 112 | case SolverLanguagePackage.CLASS_DEFINITION: |
107 | sequence_ClassDefinition(context, (ClassDefinition) semanticObject); | 113 | sequence_ClassDefinition(context, (ClassDefinition) semanticObject); |
108 | return; | 114 | return; |
@@ -112,9 +118,6 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
112 | case SolverLanguagePackage.CONJUNCTION: | 118 | case SolverLanguagePackage.CONJUNCTION: |
113 | sequence_ConjunctiveExpression(context, (Conjunction) semanticObject); | 119 | sequence_ConjunctiveExpression(context, (Conjunction) semanticObject); |
114 | return; | 120 | return; |
115 | case SolverLanguagePackage.COUNT: | ||
116 | sequence_Count(context, (Count) semanticObject); | ||
117 | return; | ||
118 | case SolverLanguagePackage.DEFAULT_DEFINITION: | 121 | case SolverLanguagePackage.DEFAULT_DEFINITION: |
119 | sequence_DefaultDefinition(context, (DefaultDefinition) semanticObject); | 122 | sequence_DefaultDefinition(context, (DefaultDefinition) semanticObject); |
120 | return; | 123 | return; |
@@ -133,6 +136,12 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
133 | case SolverLanguagePackage.EXPRESSION_ARGUMENT: | 136 | case SolverLanguagePackage.EXPRESSION_ARGUMENT: |
134 | sequence_ExpressionArgument(context, (ExpressionArgument) semanticObject); | 137 | sequence_ExpressionArgument(context, (ExpressionArgument) semanticObject); |
135 | return; | 138 | return; |
139 | case SolverLanguagePackage.EXTERN_AGGREGATOR_DEFINITION: | ||
140 | sequence_ExternAggregatorDefinition(context, (ExternAggregatorDefinition) semanticObject); | ||
141 | return; | ||
142 | case SolverLanguagePackage.EXTERN_DATATYPE_DEFINITION: | ||
143 | sequence_ExternDatatypeDefinition(context, (ExternDatatypeDefinition) semanticObject); | ||
144 | return; | ||
136 | case SolverLanguagePackage.EXTERN_METRIC_DEFINITION: | 145 | case SolverLanguagePackage.EXTERN_METRIC_DEFINITION: |
137 | sequence_ExternMetricDefinition(context, (ExternMetricDefinition) semanticObject); | 146 | sequence_ExternMetricDefinition(context, (ExternMetricDefinition) semanticObject); |
138 | return; | 147 | return; |
@@ -145,9 +154,21 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
145 | case SolverLanguagePackage.INFINITY_LITERAL: | 154 | case SolverLanguagePackage.INFINITY_LITERAL: |
146 | sequence_InfinityLiteral(context, (InfinityLiteral) semanticObject); | 155 | sequence_InfinityLiteral(context, (InfinityLiteral) semanticObject); |
147 | return; | 156 | return; |
157 | case SolverLanguagePackage.INTERPRETATION: | ||
158 | sequence_AssertionOrDefinition(context, (Interpretation) semanticObject); | ||
159 | return; | ||
148 | case SolverLanguagePackage.INTERVAL: | 160 | case SolverLanguagePackage.INTERVAL: |
149 | sequence_Interval(context, (Interval) semanticObject); | 161 | sequence_Interval(context, (Interval) semanticObject); |
150 | return; | 162 | return; |
163 | case SolverLanguagePackage.LET: | ||
164 | sequence_Let(context, (Let) semanticObject); | ||
165 | return; | ||
166 | case SolverLanguagePackage.LET_BINDING: | ||
167 | sequence_LetBinding(context, (LetBinding) semanticObject); | ||
168 | return; | ||
169 | case SolverLanguagePackage.LOCAL_VARIABLES: | ||
170 | sequence_LocalVariables(context, (LocalVariables) semanticObject); | ||
171 | return; | ||
151 | case SolverLanguagePackage.LOGIC_LITERAL: | 172 | case SolverLanguagePackage.LOGIC_LITERAL: |
152 | sequence_LogicLiteral(context, (LogicLiteral) semanticObject); | 173 | sequence_LogicLiteral(context, (LogicLiteral) semanticObject); |
153 | return; | 174 | return; |
@@ -174,9 +195,6 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
174 | return; | 195 | return; |
175 | } | 196 | } |
176 | else break; | 197 | else break; |
177 | case SolverLanguagePackage.NAMED_ELEMENT: | ||
178 | sequence_NamedElement(context, (NamedElement) semanticObject); | ||
179 | return; | ||
180 | case SolverLanguagePackage.NUMERIC_LITERAL: | 198 | case SolverLanguagePackage.NUMERIC_LITERAL: |
181 | sequence_NumericLiteral(context, (NumericLiteral) semanticObject); | 199 | sequence_NumericLiteral(context, (NumericLiteral) semanticObject); |
182 | return; | 200 | return; |
@@ -200,6 +218,9 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
200 | case SolverLanguagePackage.PROBLEM: | 218 | case SolverLanguagePackage.PROBLEM: |
201 | sequence_Problem(context, (Problem) semanticObject); | 219 | sequence_Problem(context, (Problem) semanticObject); |
202 | return; | 220 | return; |
221 | case SolverLanguagePackage.QUANTIFIED_EXPRESSION: | ||
222 | sequence_QuantifiedExpression(context, (QuantifiedExpression) semanticObject); | ||
223 | return; | ||
203 | case SolverLanguagePackage.REFERENCE: | 224 | case SolverLanguagePackage.REFERENCE: |
204 | sequence_Reference(context, (Reference) semanticObject); | 225 | sequence_Reference(context, (Reference) semanticObject); |
205 | return; | 226 | return; |
@@ -224,6 +245,9 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
224 | case SolverLanguagePackage.UNNAMED_ERROR_PREDIATE_DEFINITION: | 245 | case SolverLanguagePackage.UNNAMED_ERROR_PREDIATE_DEFINITION: |
225 | sequence_UnnamedErrorPrediateDefinition(context, (UnnamedErrorPrediateDefinition) semanticObject); | 246 | sequence_UnnamedErrorPrediateDefinition(context, (UnnamedErrorPrediateDefinition) semanticObject); |
226 | return; | 247 | return; |
248 | case SolverLanguagePackage.VARIABLE: | ||
249 | sequence_Variable(context, (Variable) semanticObject); | ||
250 | return; | ||
227 | } | 251 | } |
228 | if (errorAcceptor != null) | 252 | if (errorAcceptor != null) |
229 | errorAcceptor.accept(diagnosticProvider.createInvalidContextOrTypeDiagnostic(semanticObject, context)); | 253 | errorAcceptor.accept(diagnosticProvider.createInvalidContextOrTypeDiagnostic(semanticObject, context)); |
@@ -231,10 +255,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
231 | 255 | ||
232 | /** | 256 | /** |
233 | * Contexts: | 257 | * Contexts: |
234 | * AssertionOrDefinition.Assertion_1_0_0 returns BinaryExpression | 258 | * Statement returns BinaryExpression |
259 | * AssertionOrDefinition returns BinaryExpression | ||
260 | * AssertionOrDefinition.Interpretation_1_0_0 returns BinaryExpression | ||
235 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns BinaryExpression | 261 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns BinaryExpression |
236 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns BinaryExpression | 262 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns BinaryExpression |
237 | * Expression returns BinaryExpression | 263 | * Expression returns BinaryExpression |
264 | * ImplicationExpression returns BinaryExpression | ||
265 | * ImplicationExpression.BinaryExpression_1_0 returns BinaryExpression | ||
238 | * DisjunctiveExpression returns BinaryExpression | 266 | * DisjunctiveExpression returns BinaryExpression |
239 | * DisjunctiveExpression.Disjunction_1_0_0 returns BinaryExpression | 267 | * DisjunctiveExpression.Disjunction_1_0_0 returns BinaryExpression |
240 | * DisjunctiveExpression.Case_1_1_0 returns BinaryExpression | 268 | * DisjunctiveExpression.Case_1_1_0 returns BinaryExpression |
@@ -248,28 +276,35 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
248 | * MultiplicativeExpression.BinaryExpression_1_0 returns BinaryExpression | 276 | * MultiplicativeExpression.BinaryExpression_1_0 returns BinaryExpression |
249 | * ExponentialExpression returns BinaryExpression | 277 | * ExponentialExpression returns BinaryExpression |
250 | * ExponentialExpression.BinaryExpression_1_0 returns BinaryExpression | 278 | * ExponentialExpression.BinaryExpression_1_0 returns BinaryExpression |
279 | * CastExpression returns BinaryExpression | ||
280 | * CastExpression.CastExpression_1_0 returns BinaryExpression | ||
251 | * UnaryExpression returns BinaryExpression | 281 | * UnaryExpression returns BinaryExpression |
252 | * AggregationExpression returns BinaryExpression | 282 | * AggregationExpression returns BinaryExpression |
253 | * AtomicExpression returns BinaryExpression | 283 | * AtomicExpression returns BinaryExpression |
254 | * | 284 | * |
255 | * Constraint: | 285 | * Constraint: |
256 | * ( | 286 | * ( |
287 | * (left=ImplicationExpression_BinaryExpression_1_0 op=ImplicationOperator right=ImplicationExpression) | | ||
257 | * (left=AdditiveExpression_BinaryExpression_1_0 op=AdditiveBinaryOperator right=MultiplicativeExpression) | | 288 | * (left=AdditiveExpression_BinaryExpression_1_0 op=AdditiveBinaryOperator right=MultiplicativeExpression) | |
258 | * (left=MultiplicativeExpression_BinaryExpression_1_0 op=MultiplicativeBinaryOperator right=ExponentialExpression) | | 289 | * (left=MultiplicativeExpression_BinaryExpression_1_0 op=MultiplicativeBinaryOperator right=ExponentialExpression) | |
259 | * (left=ExponentialExpression_BinaryExpression_1_0 op=ExponentialOp right=ExponentialExpression) | 290 | * (left=ExponentialExpression_BinaryExpression_1_0 op=ExponentialOp right=CastExpression) |
260 | * ) | 291 | * ) |
261 | */ | 292 | */ |
262 | protected void sequence_AdditiveExpression_ExponentialExpression_MultiplicativeExpression(ISerializationContext context, BinaryExpression semanticObject) { | 293 | protected void sequence_AdditiveExpression_ExponentialExpression_ImplicationExpression_MultiplicativeExpression(ISerializationContext context, BinaryExpression semanticObject) { |
263 | genericSequencer.createSequence(context, semanticObject); | 294 | genericSequencer.createSequence(context, semanticObject); |
264 | } | 295 | } |
265 | 296 | ||
266 | 297 | ||
267 | /** | 298 | /** |
268 | * Contexts: | 299 | * Contexts: |
269 | * AssertionOrDefinition.Assertion_1_0_0 returns Aggregation | 300 | * Statement returns Aggregation |
301 | * AssertionOrDefinition returns Aggregation | ||
302 | * AssertionOrDefinition.Interpretation_1_0_0 returns Aggregation | ||
270 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Aggregation | 303 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Aggregation |
271 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Aggregation | 304 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Aggregation |
272 | * Expression returns Aggregation | 305 | * Expression returns Aggregation |
306 | * ImplicationExpression returns Aggregation | ||
307 | * ImplicationExpression.BinaryExpression_1_0 returns Aggregation | ||
273 | * DisjunctiveExpression returns Aggregation | 308 | * DisjunctiveExpression returns Aggregation |
274 | * DisjunctiveExpression.Disjunction_1_0_0 returns Aggregation | 309 | * DisjunctiveExpression.Disjunction_1_0_0 returns Aggregation |
275 | * DisjunctiveExpression.Case_1_1_0 returns Aggregation | 310 | * DisjunctiveExpression.Case_1_1_0 returns Aggregation |
@@ -283,28 +318,18 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
283 | * MultiplicativeExpression.BinaryExpression_1_0 returns Aggregation | 318 | * MultiplicativeExpression.BinaryExpression_1_0 returns Aggregation |
284 | * ExponentialExpression returns Aggregation | 319 | * ExponentialExpression returns Aggregation |
285 | * ExponentialExpression.BinaryExpression_1_0 returns Aggregation | 320 | * ExponentialExpression.BinaryExpression_1_0 returns Aggregation |
321 | * CastExpression returns Aggregation | ||
322 | * CastExpression.CastExpression_1_0 returns Aggregation | ||
286 | * UnaryExpression returns Aggregation | 323 | * UnaryExpression returns Aggregation |
287 | * AggregationExpression returns Aggregation | 324 | * AggregationExpression returns Aggregation |
288 | * Aggregation returns Aggregation | 325 | * Aggregation returns Aggregation |
289 | * AtomicExpression returns Aggregation | 326 | * AtomicExpression returns Aggregation |
290 | * | 327 | * |
291 | * Constraint: | 328 | * Constraint: |
292 | * (op=AggregationOp body=Expression condition=Expression) | 329 | * (op=[NamedElement|QualifiedName] localVariables=LocalVariables? body=Expression condition=Expression?) |
293 | */ | 330 | */ |
294 | protected void sequence_Aggregation(ISerializationContext context, Aggregation semanticObject) { | 331 | protected void sequence_Aggregation(ISerializationContext context, Aggregation semanticObject) { |
295 | if (errorAcceptor != null) { | 332 | genericSequencer.createSequence(context, semanticObject); |
296 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.AGGREGATION__OP) == ValueTransient.YES) | ||
297 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.AGGREGATION__OP)); | ||
298 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.AGGREGATION__BODY) == ValueTransient.YES) | ||
299 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.AGGREGATION__BODY)); | ||
300 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.AGGREGATION__CONDITION) == ValueTransient.YES) | ||
301 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.AGGREGATION__CONDITION)); | ||
302 | } | ||
303 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
304 | feeder.accept(grammarAccess.getAggregationAccess().getOpAggregationOpEnumRuleCall_0_0(), semanticObject.getOp()); | ||
305 | feeder.accept(grammarAccess.getAggregationAccess().getBodyExpressionParserRuleCall_2_0(), semanticObject.getBody()); | ||
306 | feeder.accept(grammarAccess.getAggregationAccess().getConditionExpressionParserRuleCall_4_0(), semanticObject.getCondition()); | ||
307 | feeder.finish(); | ||
308 | } | 333 | } |
309 | 334 | ||
310 | 335 | ||
@@ -322,14 +347,23 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
322 | 347 | ||
323 | /** | 348 | /** |
324 | * Contexts: | 349 | * Contexts: |
325 | * Statement returns Assertion | 350 | * Statement returns Interpretation |
326 | * AssertionOrDefinition returns Assertion | 351 | * AssertionOrDefinition returns Interpretation |
327 | * | 352 | * |
328 | * Constraint: | 353 | * Constraint: |
329 | * (body=AssertionOrDefinition_Assertion_1_0_0 range=Expression?) | 354 | * (body=AssertionOrDefinition_Interpretation_1_0_0 range=Expression) |
330 | */ | 355 | */ |
331 | protected void sequence_AssertionOrDefinition(ISerializationContext context, Assertion semanticObject) { | 356 | protected void sequence_AssertionOrDefinition(ISerializationContext context, Interpretation semanticObject) { |
332 | genericSequencer.createSequence(context, semanticObject); | 357 | if (errorAcceptor != null) { |
358 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.INTERPRETATION__BODY) == ValueTransient.YES) | ||
359 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.INTERPRETATION__BODY)); | ||
360 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.INTERPRETATION__RANGE) == ValueTransient.YES) | ||
361 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.INTERPRETATION__RANGE)); | ||
362 | } | ||
363 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
364 | feeder.accept(grammarAccess.getAssertionOrDefinitionAccess().getInterpretationBodyAction_1_0_0(), semanticObject.getBody()); | ||
365 | feeder.accept(grammarAccess.getAssertionOrDefinitionAccess().getRangeExpressionParserRuleCall_1_0_2_0(), semanticObject.getRange()); | ||
366 | feeder.finish(); | ||
333 | } | 367 | } |
334 | 368 | ||
335 | 369 | ||
@@ -359,7 +393,7 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
359 | * Statement returns MetricDefinition | 393 | * Statement returns MetricDefinition |
360 | * | 394 | * |
361 | * Constraint: | 395 | * Constraint: |
362 | * ((head=AssertionOrDefinition_MetricDefinition_1_2_0 body=Expression) | (type=MetricType head=Expression body=Expression)) | 396 | * ((head=AssertionOrDefinition_MetricDefinition_1_2_0 body=Expression) | (type=[NamedElement|QualifiedName] head=Call body=Expression)) |
363 | */ | 397 | */ |
364 | protected void sequence_AssertionOrDefinition_MetricDefinition(ISerializationContext context, MetricDefinition semanticObject) { | 398 | protected void sequence_AssertionOrDefinition_MetricDefinition(ISerializationContext context, MetricDefinition semanticObject) { |
365 | genericSequencer.createSequence(context, semanticObject); | 399 | genericSequencer.createSequence(context, semanticObject); |
@@ -440,10 +474,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
440 | 474 | ||
441 | /** | 475 | /** |
442 | * Contexts: | 476 | * Contexts: |
443 | * AssertionOrDefinition.Assertion_1_0_0 returns Call | 477 | * Statement returns Call |
478 | * AssertionOrDefinition returns Call | ||
479 | * AssertionOrDefinition.Interpretation_1_0_0 returns Call | ||
444 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Call | 480 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Call |
445 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Call | 481 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Call |
446 | * Expression returns Call | 482 | * Expression returns Call |
483 | * ImplicationExpression returns Call | ||
484 | * ImplicationExpression.BinaryExpression_1_0 returns Call | ||
447 | * DisjunctiveExpression returns Call | 485 | * DisjunctiveExpression returns Call |
448 | * DisjunctiveExpression.Disjunction_1_0_0 returns Call | 486 | * DisjunctiveExpression.Disjunction_1_0_0 returns Call |
449 | * DisjunctiveExpression.Case_1_1_0 returns Call | 487 | * DisjunctiveExpression.Case_1_1_0 returns Call |
@@ -457,6 +495,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
457 | * MultiplicativeExpression.BinaryExpression_1_0 returns Call | 495 | * MultiplicativeExpression.BinaryExpression_1_0 returns Call |
458 | * ExponentialExpression returns Call | 496 | * ExponentialExpression returns Call |
459 | * ExponentialExpression.BinaryExpression_1_0 returns Call | 497 | * ExponentialExpression.BinaryExpression_1_0 returns Call |
498 | * CastExpression returns Call | ||
499 | * CastExpression.CastExpression_1_0 returns Call | ||
460 | * UnaryExpression returns Call | 500 | * UnaryExpression returns Call |
461 | * AggregationExpression returns Call | 501 | * AggregationExpression returns Call |
462 | * AtomicExpression returns Call | 502 | * AtomicExpression returns Call |
@@ -497,6 +537,52 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
497 | 537 | ||
498 | /** | 538 | /** |
499 | * Contexts: | 539 | * Contexts: |
540 | * Statement returns CastExpression | ||
541 | * AssertionOrDefinition returns CastExpression | ||
542 | * AssertionOrDefinition.Interpretation_1_0_0 returns CastExpression | ||
543 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns CastExpression | ||
544 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns CastExpression | ||
545 | * Expression returns CastExpression | ||
546 | * ImplicationExpression returns CastExpression | ||
547 | * ImplicationExpression.BinaryExpression_1_0 returns CastExpression | ||
548 | * DisjunctiveExpression returns CastExpression | ||
549 | * DisjunctiveExpression.Disjunction_1_0_0 returns CastExpression | ||
550 | * DisjunctiveExpression.Case_1_1_0 returns CastExpression | ||
551 | * ConjunctiveExpression returns CastExpression | ||
552 | * ConjunctiveExpression.Conjunction_1_0 returns CastExpression | ||
553 | * ComparisonExpression returns CastExpression | ||
554 | * ComparisonExpression.Comparison_1_0 returns CastExpression | ||
555 | * AdditiveExpression returns CastExpression | ||
556 | * AdditiveExpression.BinaryExpression_1_0 returns CastExpression | ||
557 | * MultiplicativeExpression returns CastExpression | ||
558 | * MultiplicativeExpression.BinaryExpression_1_0 returns CastExpression | ||
559 | * ExponentialExpression returns CastExpression | ||
560 | * ExponentialExpression.BinaryExpression_1_0 returns CastExpression | ||
561 | * CastExpression returns CastExpression | ||
562 | * CastExpression.CastExpression_1_0 returns CastExpression | ||
563 | * UnaryExpression returns CastExpression | ||
564 | * AggregationExpression returns CastExpression | ||
565 | * AtomicExpression returns CastExpression | ||
566 | * | ||
567 | * Constraint: | ||
568 | * (body=CastExpression_CastExpression_1_0 type=[NamedElement|QualifiedName]) | ||
569 | */ | ||
570 | protected void sequence_CastExpression(ISerializationContext context, CastExpression semanticObject) { | ||
571 | if (errorAcceptor != null) { | ||
572 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.CAST_EXPRESSION__BODY) == ValueTransient.YES) | ||
573 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.CAST_EXPRESSION__BODY)); | ||
574 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.CAST_EXPRESSION__TYPE) == ValueTransient.YES) | ||
575 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.CAST_EXPRESSION__TYPE)); | ||
576 | } | ||
577 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
578 | feeder.accept(grammarAccess.getCastExpressionAccess().getCastExpressionBodyAction_1_0(), semanticObject.getBody()); | ||
579 | feeder.accept(grammarAccess.getCastExpressionAccess().getTypeNamedElementQualifiedNameParserRuleCall_1_2_0_1(), semanticObject.eGet(SolverLanguagePackage.Literals.CAST_EXPRESSION__TYPE, false)); | ||
580 | feeder.finish(); | ||
581 | } | ||
582 | |||
583 | |||
584 | /** | ||
585 | * Contexts: | ||
500 | * Statement returns ClassDefinition | 586 | * Statement returns ClassDefinition |
501 | * ClassDefinition returns ClassDefinition | 587 | * ClassDefinition returns ClassDefinition |
502 | * | 588 | * |
@@ -515,10 +601,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
515 | 601 | ||
516 | /** | 602 | /** |
517 | * Contexts: | 603 | * Contexts: |
518 | * AssertionOrDefinition.Assertion_1_0_0 returns Comparison | 604 | * Statement returns Comparison |
605 | * AssertionOrDefinition returns Comparison | ||
606 | * AssertionOrDefinition.Interpretation_1_0_0 returns Comparison | ||
519 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Comparison | 607 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Comparison |
520 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Comparison | 608 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Comparison |
521 | * Expression returns Comparison | 609 | * Expression returns Comparison |
610 | * ImplicationExpression returns Comparison | ||
611 | * ImplicationExpression.BinaryExpression_1_0 returns Comparison | ||
522 | * DisjunctiveExpression returns Comparison | 612 | * DisjunctiveExpression returns Comparison |
523 | * DisjunctiveExpression.Disjunction_1_0_0 returns Comparison | 613 | * DisjunctiveExpression.Disjunction_1_0_0 returns Comparison |
524 | * DisjunctiveExpression.Case_1_1_0 returns Comparison | 614 | * DisjunctiveExpression.Case_1_1_0 returns Comparison |
@@ -532,6 +622,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
532 | * MultiplicativeExpression.BinaryExpression_1_0 returns Comparison | 622 | * MultiplicativeExpression.BinaryExpression_1_0 returns Comparison |
533 | * ExponentialExpression returns Comparison | 623 | * ExponentialExpression returns Comparison |
534 | * ExponentialExpression.BinaryExpression_1_0 returns Comparison | 624 | * ExponentialExpression.BinaryExpression_1_0 returns Comparison |
625 | * CastExpression returns Comparison | ||
626 | * CastExpression.CastExpression_1_0 returns Comparison | ||
535 | * UnaryExpression returns Comparison | 627 | * UnaryExpression returns Comparison |
536 | * AggregationExpression returns Comparison | 628 | * AggregationExpression returns Comparison |
537 | * AtomicExpression returns Comparison | 629 | * AtomicExpression returns Comparison |
@@ -558,10 +650,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
558 | 650 | ||
559 | /** | 651 | /** |
560 | * Contexts: | 652 | * Contexts: |
561 | * AssertionOrDefinition.Assertion_1_0_0 returns Conjunction | 653 | * Statement returns Conjunction |
654 | * AssertionOrDefinition returns Conjunction | ||
655 | * AssertionOrDefinition.Interpretation_1_0_0 returns Conjunction | ||
562 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Conjunction | 656 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Conjunction |
563 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Conjunction | 657 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Conjunction |
564 | * Expression returns Conjunction | 658 | * Expression returns Conjunction |
659 | * ImplicationExpression returns Conjunction | ||
660 | * ImplicationExpression.BinaryExpression_1_0 returns Conjunction | ||
565 | * DisjunctiveExpression returns Conjunction | 661 | * DisjunctiveExpression returns Conjunction |
566 | * DisjunctiveExpression.Disjunction_1_0_0 returns Conjunction | 662 | * DisjunctiveExpression.Disjunction_1_0_0 returns Conjunction |
567 | * DisjunctiveExpression.Case_1_1_0 returns Conjunction | 663 | * DisjunctiveExpression.Case_1_1_0 returns Conjunction |
@@ -575,6 +671,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
575 | * MultiplicativeExpression.BinaryExpression_1_0 returns Conjunction | 671 | * MultiplicativeExpression.BinaryExpression_1_0 returns Conjunction |
576 | * ExponentialExpression returns Conjunction | 672 | * ExponentialExpression returns Conjunction |
577 | * ExponentialExpression.BinaryExpression_1_0 returns Conjunction | 673 | * ExponentialExpression.BinaryExpression_1_0 returns Conjunction |
674 | * CastExpression returns Conjunction | ||
675 | * CastExpression.CastExpression_1_0 returns Conjunction | ||
578 | * UnaryExpression returns Conjunction | 676 | * UnaryExpression returns Conjunction |
579 | * AggregationExpression returns Conjunction | 677 | * AggregationExpression returns Conjunction |
580 | * AtomicExpression returns Conjunction | 678 | * AtomicExpression returns Conjunction |
@@ -589,44 +687,6 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
589 | 687 | ||
590 | /** | 688 | /** |
591 | * Contexts: | 689 | * Contexts: |
592 | * AssertionOrDefinition.Assertion_1_0_0 returns Count | ||
593 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Count | ||
594 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Count | ||
595 | * Expression returns Count | ||
596 | * DisjunctiveExpression returns Count | ||
597 | * DisjunctiveExpression.Disjunction_1_0_0 returns Count | ||
598 | * DisjunctiveExpression.Case_1_1_0 returns Count | ||
599 | * ConjunctiveExpression returns Count | ||
600 | * ConjunctiveExpression.Conjunction_1_0 returns Count | ||
601 | * ComparisonExpression returns Count | ||
602 | * ComparisonExpression.Comparison_1_0 returns Count | ||
603 | * AdditiveExpression returns Count | ||
604 | * AdditiveExpression.BinaryExpression_1_0 returns Count | ||
605 | * MultiplicativeExpression returns Count | ||
606 | * MultiplicativeExpression.BinaryExpression_1_0 returns Count | ||
607 | * ExponentialExpression returns Count | ||
608 | * ExponentialExpression.BinaryExpression_1_0 returns Count | ||
609 | * UnaryExpression returns Count | ||
610 | * AggregationExpression returns Count | ||
611 | * Count returns Count | ||
612 | * AtomicExpression returns Count | ||
613 | * | ||
614 | * Constraint: | ||
615 | * body=Expression | ||
616 | */ | ||
617 | protected void sequence_Count(ISerializationContext context, Count semanticObject) { | ||
618 | if (errorAcceptor != null) { | ||
619 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.COUNT__BODY) == ValueTransient.YES) | ||
620 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.COUNT__BODY)); | ||
621 | } | ||
622 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
623 | feeder.accept(grammarAccess.getCountAccess().getBodyExpressionParserRuleCall_2_0(), semanticObject.getBody()); | ||
624 | feeder.finish(); | ||
625 | } | ||
626 | |||
627 | |||
628 | /** | ||
629 | * Contexts: | ||
630 | * Statement returns DefaultDefinition | 690 | * Statement returns DefaultDefinition |
631 | * DefaultDefinition returns DefaultDefinition | 691 | * DefaultDefinition returns DefaultDefinition |
632 | * | 692 | * |
@@ -649,10 +709,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
649 | 709 | ||
650 | /** | 710 | /** |
651 | * Contexts: | 711 | * Contexts: |
652 | * AssertionOrDefinition.Assertion_1_0_0 returns Disjunction | 712 | * Statement returns Disjunction |
713 | * AssertionOrDefinition returns Disjunction | ||
714 | * AssertionOrDefinition.Interpretation_1_0_0 returns Disjunction | ||
653 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Disjunction | 715 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Disjunction |
654 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Disjunction | 716 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Disjunction |
655 | * Expression returns Disjunction | 717 | * Expression returns Disjunction |
718 | * ImplicationExpression returns Disjunction | ||
719 | * ImplicationExpression.BinaryExpression_1_0 returns Disjunction | ||
656 | * DisjunctiveExpression returns Disjunction | 720 | * DisjunctiveExpression returns Disjunction |
657 | * DisjunctiveExpression.Disjunction_1_0_0 returns Disjunction | 721 | * DisjunctiveExpression.Disjunction_1_0_0 returns Disjunction |
658 | * DisjunctiveExpression.Case_1_1_0 returns Disjunction | 722 | * DisjunctiveExpression.Case_1_1_0 returns Disjunction |
@@ -666,6 +730,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
666 | * MultiplicativeExpression.BinaryExpression_1_0 returns Disjunction | 730 | * MultiplicativeExpression.BinaryExpression_1_0 returns Disjunction |
667 | * ExponentialExpression returns Disjunction | 731 | * ExponentialExpression returns Disjunction |
668 | * ExponentialExpression.BinaryExpression_1_0 returns Disjunction | 732 | * ExponentialExpression.BinaryExpression_1_0 returns Disjunction |
733 | * CastExpression returns Disjunction | ||
734 | * CastExpression.CastExpression_1_0 returns Disjunction | ||
669 | * UnaryExpression returns Disjunction | 735 | * UnaryExpression returns Disjunction |
670 | * AggregationExpression returns Disjunction | 736 | * AggregationExpression returns Disjunction |
671 | * AtomicExpression returns Disjunction | 737 | * AtomicExpression returns Disjunction |
@@ -680,10 +746,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
680 | 746 | ||
681 | /** | 747 | /** |
682 | * Contexts: | 748 | * Contexts: |
683 | * AssertionOrDefinition.Assertion_1_0_0 returns Switch | 749 | * Statement returns Switch |
750 | * AssertionOrDefinition returns Switch | ||
751 | * AssertionOrDefinition.Interpretation_1_0_0 returns Switch | ||
684 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Switch | 752 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Switch |
685 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Switch | 753 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Switch |
686 | * Expression returns Switch | 754 | * Expression returns Switch |
755 | * ImplicationExpression returns Switch | ||
756 | * ImplicationExpression.BinaryExpression_1_0 returns Switch | ||
687 | * DisjunctiveExpression returns Switch | 757 | * DisjunctiveExpression returns Switch |
688 | * DisjunctiveExpression.Disjunction_1_0_0 returns Switch | 758 | * DisjunctiveExpression.Disjunction_1_0_0 returns Switch |
689 | * DisjunctiveExpression.Case_1_1_0 returns Switch | 759 | * DisjunctiveExpression.Case_1_1_0 returns Switch |
@@ -697,6 +767,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
697 | * MultiplicativeExpression.BinaryExpression_1_0 returns Switch | 767 | * MultiplicativeExpression.BinaryExpression_1_0 returns Switch |
698 | * ExponentialExpression returns Switch | 768 | * ExponentialExpression returns Switch |
699 | * ExponentialExpression.BinaryExpression_1_0 returns Switch | 769 | * ExponentialExpression.BinaryExpression_1_0 returns Switch |
770 | * CastExpression returns Switch | ||
771 | * CastExpression.CastExpression_1_0 returns Switch | ||
700 | * UnaryExpression returns Switch | 772 | * UnaryExpression returns Switch |
701 | * AggregationExpression returns Switch | 773 | * AggregationExpression returns Switch |
702 | * AtomicExpression returns Switch | 774 | * AtomicExpression returns Switch |
@@ -732,10 +804,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
732 | 804 | ||
733 | /** | 805 | /** |
734 | * Contexts: | 806 | * Contexts: |
735 | * AssertionOrDefinition.Assertion_1_0_0 returns EmptyIntervalLiteral | 807 | * Statement returns EmptyIntervalLiteral |
808 | * AssertionOrDefinition returns EmptyIntervalLiteral | ||
809 | * AssertionOrDefinition.Interpretation_1_0_0 returns EmptyIntervalLiteral | ||
736 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns EmptyIntervalLiteral | 810 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns EmptyIntervalLiteral |
737 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns EmptyIntervalLiteral | 811 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns EmptyIntervalLiteral |
738 | * Expression returns EmptyIntervalLiteral | 812 | * Expression returns EmptyIntervalLiteral |
813 | * ImplicationExpression returns EmptyIntervalLiteral | ||
814 | * ImplicationExpression.BinaryExpression_1_0 returns EmptyIntervalLiteral | ||
739 | * DisjunctiveExpression returns EmptyIntervalLiteral | 815 | * DisjunctiveExpression returns EmptyIntervalLiteral |
740 | * DisjunctiveExpression.Disjunction_1_0_0 returns EmptyIntervalLiteral | 816 | * DisjunctiveExpression.Disjunction_1_0_0 returns EmptyIntervalLiteral |
741 | * DisjunctiveExpression.Case_1_1_0 returns EmptyIntervalLiteral | 817 | * DisjunctiveExpression.Case_1_1_0 returns EmptyIntervalLiteral |
@@ -749,6 +825,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
749 | * MultiplicativeExpression.BinaryExpression_1_0 returns EmptyIntervalLiteral | 825 | * MultiplicativeExpression.BinaryExpression_1_0 returns EmptyIntervalLiteral |
750 | * ExponentialExpression returns EmptyIntervalLiteral | 826 | * ExponentialExpression returns EmptyIntervalLiteral |
751 | * ExponentialExpression.BinaryExpression_1_0 returns EmptyIntervalLiteral | 827 | * ExponentialExpression.BinaryExpression_1_0 returns EmptyIntervalLiteral |
828 | * CastExpression returns EmptyIntervalLiteral | ||
829 | * CastExpression.CastExpression_1_0 returns EmptyIntervalLiteral | ||
752 | * UnaryExpression returns EmptyIntervalLiteral | 830 | * UnaryExpression returns EmptyIntervalLiteral |
753 | * AggregationExpression returns EmptyIntervalLiteral | 831 | * AggregationExpression returns EmptyIntervalLiteral |
754 | * AtomicExpression returns EmptyIntervalLiteral | 832 | * AtomicExpression returns EmptyIntervalLiteral |
@@ -826,22 +904,63 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
826 | 904 | ||
827 | /** | 905 | /** |
828 | * Contexts: | 906 | * Contexts: |
907 | * Statement returns ExternAggregatorDefinition | ||
908 | * ExternAggregatorDefinition returns ExternAggregatorDefinition | ||
909 | * | ||
910 | * Constraint: | ||
911 | * (type=[NamedElement|QualifiedName] name=QualifiedName inputType=[NamedElement|QualifiedName]) | ||
912 | */ | ||
913 | protected void sequence_ExternAggregatorDefinition(ISerializationContext context, ExternAggregatorDefinition semanticObject) { | ||
914 | if (errorAcceptor != null) { | ||
915 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_AGGREGATOR_DEFINITION__TYPE) == ValueTransient.YES) | ||
916 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_AGGREGATOR_DEFINITION__TYPE)); | ||
917 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_AGGREGATOR_DEFINITION__NAME) == ValueTransient.YES) | ||
918 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_AGGREGATOR_DEFINITION__NAME)); | ||
919 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_AGGREGATOR_DEFINITION__INPUT_TYPE) == ValueTransient.YES) | ||
920 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_AGGREGATOR_DEFINITION__INPUT_TYPE)); | ||
921 | } | ||
922 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
923 | feeder.accept(grammarAccess.getExternAggregatorDefinitionAccess().getTypeNamedElementQualifiedNameParserRuleCall_1_0_1(), semanticObject.eGet(SolverLanguagePackage.Literals.EXTERN_AGGREGATOR_DEFINITION__TYPE, false)); | ||
924 | feeder.accept(grammarAccess.getExternAggregatorDefinitionAccess().getNameQualifiedNameParserRuleCall_2_0(), semanticObject.getName()); | ||
925 | feeder.accept(grammarAccess.getExternAggregatorDefinitionAccess().getInputTypeNamedElementQualifiedNameParserRuleCall_4_0_1(), semanticObject.eGet(SolverLanguagePackage.Literals.EXTERN_AGGREGATOR_DEFINITION__INPUT_TYPE, false)); | ||
926 | feeder.finish(); | ||
927 | } | ||
928 | |||
929 | |||
930 | /** | ||
931 | * Contexts: | ||
932 | * Statement returns ExternDatatypeDefinition | ||
933 | * ExternDatatypeDefinition returns ExternDatatypeDefinition | ||
934 | * | ||
935 | * Constraint: | ||
936 | * (name=QualifiedName supertypes+=[NamedElement|QualifiedName] supertypes+=[NamedElement|QualifiedName]*) | ||
937 | */ | ||
938 | protected void sequence_ExternDatatypeDefinition(ISerializationContext context, ExternDatatypeDefinition semanticObject) { | ||
939 | genericSequencer.createSequence(context, semanticObject); | ||
940 | } | ||
941 | |||
942 | |||
943 | /** | ||
944 | * Contexts: | ||
829 | * Statement returns ExternMetricDefinition | 945 | * Statement returns ExternMetricDefinition |
830 | * ExternMetricDefinition returns ExternMetricDefinition | 946 | * ExternMetricDefinition returns ExternMetricDefinition |
831 | * | 947 | * |
832 | * Constraint: | 948 | * Constraint: |
833 | * (type=MetricType head=Call) | 949 | * (type=[NamedElement|QualifiedName] name=QualifiedName argumentList=ArgumentList) |
834 | */ | 950 | */ |
835 | protected void sequence_ExternMetricDefinition(ISerializationContext context, ExternMetricDefinition semanticObject) { | 951 | protected void sequence_ExternMetricDefinition(ISerializationContext context, ExternMetricDefinition semanticObject) { |
836 | if (errorAcceptor != null) { | 952 | if (errorAcceptor != null) { |
837 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__TYPE) == ValueTransient.YES) | 953 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__TYPE) == ValueTransient.YES) |
838 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__TYPE)); | 954 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__TYPE)); |
839 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__HEAD) == ValueTransient.YES) | 955 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__NAME) == ValueTransient.YES) |
840 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__HEAD)); | 956 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__NAME)); |
957 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__ARGUMENT_LIST) == ValueTransient.YES) | ||
958 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__ARGUMENT_LIST)); | ||
841 | } | 959 | } |
842 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | 960 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); |
843 | feeder.accept(grammarAccess.getExternMetricDefinitionAccess().getTypeMetricTypeEnumRuleCall_1_0(), semanticObject.getType()); | 961 | feeder.accept(grammarAccess.getExternMetricDefinitionAccess().getTypeNamedElementQualifiedNameParserRuleCall_1_0_1(), semanticObject.eGet(SolverLanguagePackage.Literals.EXTERN_METRIC_DEFINITION__TYPE, false)); |
844 | feeder.accept(grammarAccess.getExternMetricDefinitionAccess().getHeadCallParserRuleCall_2_0(), semanticObject.getHead()); | 962 | feeder.accept(grammarAccess.getExternMetricDefinitionAccess().getNameQualifiedNameParserRuleCall_2_0(), semanticObject.getName()); |
963 | feeder.accept(grammarAccess.getExternMetricDefinitionAccess().getArgumentListArgumentListParserRuleCall_3_0(), semanticObject.getArgumentList()); | ||
845 | feeder.finish(); | 964 | feeder.finish(); |
846 | } | 965 | } |
847 | 966 | ||
@@ -852,26 +971,33 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
852 | * ExternPredicateDefinition returns ExternPredicateDefinition | 971 | * ExternPredicateDefinition returns ExternPredicateDefinition |
853 | * | 972 | * |
854 | * Constraint: | 973 | * Constraint: |
855 | * head=Call | 974 | * (name=QualifiedName argumentList=ArgumentList) |
856 | */ | 975 | */ |
857 | protected void sequence_ExternPredicateDefinition(ISerializationContext context, ExternPredicateDefinition semanticObject) { | 976 | protected void sequence_ExternPredicateDefinition(ISerializationContext context, ExternPredicateDefinition semanticObject) { |
858 | if (errorAcceptor != null) { | 977 | if (errorAcceptor != null) { |
859 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_PREDICATE_DEFINITION__HEAD) == ValueTransient.YES) | 978 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_PREDICATE_DEFINITION__NAME) == ValueTransient.YES) |
860 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_PREDICATE_DEFINITION__HEAD)); | 979 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_PREDICATE_DEFINITION__NAME)); |
980 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.EXTERN_PREDICATE_DEFINITION__ARGUMENT_LIST) == ValueTransient.YES) | ||
981 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.EXTERN_PREDICATE_DEFINITION__ARGUMENT_LIST)); | ||
861 | } | 982 | } |
862 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | 983 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); |
863 | feeder.accept(grammarAccess.getExternPredicateDefinitionAccess().getHeadCallParserRuleCall_1_0(), semanticObject.getHead()); | 984 | feeder.accept(grammarAccess.getExternPredicateDefinitionAccess().getNameQualifiedNameParserRuleCall_1_0(), semanticObject.getName()); |
985 | feeder.accept(grammarAccess.getExternPredicateDefinitionAccess().getArgumentListArgumentListParserRuleCall_2_0(), semanticObject.getArgumentList()); | ||
864 | feeder.finish(); | 986 | feeder.finish(); |
865 | } | 987 | } |
866 | 988 | ||
867 | 989 | ||
868 | /** | 990 | /** |
869 | * Contexts: | 991 | * Contexts: |
870 | * AssertionOrDefinition.Assertion_1_0_0 returns IfElse | 992 | * Statement returns IfElse |
993 | * AssertionOrDefinition returns IfElse | ||
994 | * AssertionOrDefinition.Interpretation_1_0_0 returns IfElse | ||
871 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns IfElse | 995 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns IfElse |
872 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns IfElse | 996 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns IfElse |
873 | * Expression returns IfElse | 997 | * Expression returns IfElse |
874 | * IfElse returns IfElse | 998 | * IfElse returns IfElse |
999 | * ImplicationExpression returns IfElse | ||
1000 | * ImplicationExpression.BinaryExpression_1_0 returns IfElse | ||
875 | * DisjunctiveExpression returns IfElse | 1001 | * DisjunctiveExpression returns IfElse |
876 | * DisjunctiveExpression.Disjunction_1_0_0 returns IfElse | 1002 | * DisjunctiveExpression.Disjunction_1_0_0 returns IfElse |
877 | * DisjunctiveExpression.Case_1_1_0 returns IfElse | 1003 | * DisjunctiveExpression.Case_1_1_0 returns IfElse |
@@ -885,6 +1011,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
885 | * MultiplicativeExpression.BinaryExpression_1_0 returns IfElse | 1011 | * MultiplicativeExpression.BinaryExpression_1_0 returns IfElse |
886 | * ExponentialExpression returns IfElse | 1012 | * ExponentialExpression returns IfElse |
887 | * ExponentialExpression.BinaryExpression_1_0 returns IfElse | 1013 | * ExponentialExpression.BinaryExpression_1_0 returns IfElse |
1014 | * CastExpression returns IfElse | ||
1015 | * CastExpression.CastExpression_1_0 returns IfElse | ||
888 | * UnaryExpression returns IfElse | 1016 | * UnaryExpression returns IfElse |
889 | * AggregationExpression returns IfElse | 1017 | * AggregationExpression returns IfElse |
890 | * AtomicExpression returns IfElse | 1018 | * AtomicExpression returns IfElse |
@@ -911,10 +1039,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
911 | 1039 | ||
912 | /** | 1040 | /** |
913 | * Contexts: | 1041 | * Contexts: |
914 | * AssertionOrDefinition.Assertion_1_0_0 returns InfinityLiteral | 1042 | * Statement returns InfinityLiteral |
1043 | * AssertionOrDefinition returns InfinityLiteral | ||
1044 | * AssertionOrDefinition.Interpretation_1_0_0 returns InfinityLiteral | ||
915 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns InfinityLiteral | 1045 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns InfinityLiteral |
916 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns InfinityLiteral | 1046 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns InfinityLiteral |
917 | * Expression returns InfinityLiteral | 1047 | * Expression returns InfinityLiteral |
1048 | * ImplicationExpression returns InfinityLiteral | ||
1049 | * ImplicationExpression.BinaryExpression_1_0 returns InfinityLiteral | ||
918 | * DisjunctiveExpression returns InfinityLiteral | 1050 | * DisjunctiveExpression returns InfinityLiteral |
919 | * DisjunctiveExpression.Disjunction_1_0_0 returns InfinityLiteral | 1051 | * DisjunctiveExpression.Disjunction_1_0_0 returns InfinityLiteral |
920 | * DisjunctiveExpression.Case_1_1_0 returns InfinityLiteral | 1052 | * DisjunctiveExpression.Case_1_1_0 returns InfinityLiteral |
@@ -928,6 +1060,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
928 | * MultiplicativeExpression.BinaryExpression_1_0 returns InfinityLiteral | 1060 | * MultiplicativeExpression.BinaryExpression_1_0 returns InfinityLiteral |
929 | * ExponentialExpression returns InfinityLiteral | 1061 | * ExponentialExpression returns InfinityLiteral |
930 | * ExponentialExpression.BinaryExpression_1_0 returns InfinityLiteral | 1062 | * ExponentialExpression.BinaryExpression_1_0 returns InfinityLiteral |
1063 | * CastExpression returns InfinityLiteral | ||
1064 | * CastExpression.CastExpression_1_0 returns InfinityLiteral | ||
931 | * UnaryExpression returns InfinityLiteral | 1065 | * UnaryExpression returns InfinityLiteral |
932 | * AggregationExpression returns InfinityLiteral | 1066 | * AggregationExpression returns InfinityLiteral |
933 | * AtomicExpression returns InfinityLiteral | 1067 | * AtomicExpression returns InfinityLiteral |
@@ -944,10 +1078,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
944 | 1078 | ||
945 | /** | 1079 | /** |
946 | * Contexts: | 1080 | * Contexts: |
947 | * AssertionOrDefinition.Assertion_1_0_0 returns Interval | 1081 | * Statement returns Interval |
1082 | * AssertionOrDefinition returns Interval | ||
1083 | * AssertionOrDefinition.Interpretation_1_0_0 returns Interval | ||
948 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Interval | 1084 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Interval |
949 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Interval | 1085 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Interval |
950 | * Expression returns Interval | 1086 | * Expression returns Interval |
1087 | * ImplicationExpression returns Interval | ||
1088 | * ImplicationExpression.BinaryExpression_1_0 returns Interval | ||
951 | * DisjunctiveExpression returns Interval | 1089 | * DisjunctiveExpression returns Interval |
952 | * DisjunctiveExpression.Disjunction_1_0_0 returns Interval | 1090 | * DisjunctiveExpression.Disjunction_1_0_0 returns Interval |
953 | * DisjunctiveExpression.Case_1_1_0 returns Interval | 1091 | * DisjunctiveExpression.Case_1_1_0 returns Interval |
@@ -961,6 +1099,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
961 | * MultiplicativeExpression.BinaryExpression_1_0 returns Interval | 1099 | * MultiplicativeExpression.BinaryExpression_1_0 returns Interval |
962 | * ExponentialExpression returns Interval | 1100 | * ExponentialExpression returns Interval |
963 | * ExponentialExpression.BinaryExpression_1_0 returns Interval | 1101 | * ExponentialExpression.BinaryExpression_1_0 returns Interval |
1102 | * CastExpression returns Interval | ||
1103 | * CastExpression.CastExpression_1_0 returns Interval | ||
964 | * UnaryExpression returns Interval | 1104 | * UnaryExpression returns Interval |
965 | * AggregationExpression returns Interval | 1105 | * AggregationExpression returns Interval |
966 | * AtomicExpression returns Interval | 1106 | * AtomicExpression returns Interval |
@@ -985,10 +1125,85 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
985 | 1125 | ||
986 | /** | 1126 | /** |
987 | * Contexts: | 1127 | * Contexts: |
988 | * AssertionOrDefinition.Assertion_1_0_0 returns LogicLiteral | 1128 | * LetBinding returns LetBinding |
1129 | * | ||
1130 | * Constraint: | ||
1131 | * (variable=Variable value=AdditiveExpression) | ||
1132 | */ | ||
1133 | protected void sequence_LetBinding(ISerializationContext context, LetBinding semanticObject) { | ||
1134 | if (errorAcceptor != null) { | ||
1135 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.LET_BINDING__VARIABLE) == ValueTransient.YES) | ||
1136 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.LET_BINDING__VARIABLE)); | ||
1137 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.LET_BINDING__VALUE) == ValueTransient.YES) | ||
1138 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.LET_BINDING__VALUE)); | ||
1139 | } | ||
1140 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1141 | feeder.accept(grammarAccess.getLetBindingAccess().getVariableVariableParserRuleCall_0_0(), semanticObject.getVariable()); | ||
1142 | feeder.accept(grammarAccess.getLetBindingAccess().getValueAdditiveExpressionParserRuleCall_2_0(), semanticObject.getValue()); | ||
1143 | feeder.finish(); | ||
1144 | } | ||
1145 | |||
1146 | |||
1147 | /** | ||
1148 | * Contexts: | ||
1149 | * Statement returns Let | ||
1150 | * AssertionOrDefinition returns Let | ||
1151 | * AssertionOrDefinition.Interpretation_1_0_0 returns Let | ||
1152 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Let | ||
1153 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Let | ||
1154 | * Expression returns Let | ||
1155 | * Let returns Let | ||
1156 | * ImplicationExpression returns Let | ||
1157 | * ImplicationExpression.BinaryExpression_1_0 returns Let | ||
1158 | * DisjunctiveExpression returns Let | ||
1159 | * DisjunctiveExpression.Disjunction_1_0_0 returns Let | ||
1160 | * DisjunctiveExpression.Case_1_1_0 returns Let | ||
1161 | * ConjunctiveExpression returns Let | ||
1162 | * ConjunctiveExpression.Conjunction_1_0 returns Let | ||
1163 | * ComparisonExpression returns Let | ||
1164 | * ComparisonExpression.Comparison_1_0 returns Let | ||
1165 | * AdditiveExpression returns Let | ||
1166 | * AdditiveExpression.BinaryExpression_1_0 returns Let | ||
1167 | * MultiplicativeExpression returns Let | ||
1168 | * MultiplicativeExpression.BinaryExpression_1_0 returns Let | ||
1169 | * ExponentialExpression returns Let | ||
1170 | * ExponentialExpression.BinaryExpression_1_0 returns Let | ||
1171 | * CastExpression returns Let | ||
1172 | * CastExpression.CastExpression_1_0 returns Let | ||
1173 | * UnaryExpression returns Let | ||
1174 | * AggregationExpression returns Let | ||
1175 | * AtomicExpression returns Let | ||
1176 | * | ||
1177 | * Constraint: | ||
1178 | * (bindings+=LetBinding bindings+=LetBinding* body=Expression) | ||
1179 | */ | ||
1180 | protected void sequence_Let(ISerializationContext context, Let semanticObject) { | ||
1181 | genericSequencer.createSequence(context, semanticObject); | ||
1182 | } | ||
1183 | |||
1184 | |||
1185 | /** | ||
1186 | * Contexts: | ||
1187 | * LocalVariables returns LocalVariables | ||
1188 | * | ||
1189 | * Constraint: | ||
1190 | * (variables+=Variable variables+=Variable*)? | ||
1191 | */ | ||
1192 | protected void sequence_LocalVariables(ISerializationContext context, LocalVariables semanticObject) { | ||
1193 | genericSequencer.createSequence(context, semanticObject); | ||
1194 | } | ||
1195 | |||
1196 | |||
1197 | /** | ||
1198 | * Contexts: | ||
1199 | * Statement returns LogicLiteral | ||
1200 | * AssertionOrDefinition returns LogicLiteral | ||
1201 | * AssertionOrDefinition.Interpretation_1_0_0 returns LogicLiteral | ||
989 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns LogicLiteral | 1202 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns LogicLiteral |
990 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns LogicLiteral | 1203 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns LogicLiteral |
991 | * Expression returns LogicLiteral | 1204 | * Expression returns LogicLiteral |
1205 | * ImplicationExpression returns LogicLiteral | ||
1206 | * ImplicationExpression.BinaryExpression_1_0 returns LogicLiteral | ||
992 | * DisjunctiveExpression returns LogicLiteral | 1207 | * DisjunctiveExpression returns LogicLiteral |
993 | * DisjunctiveExpression.Disjunction_1_0_0 returns LogicLiteral | 1208 | * DisjunctiveExpression.Disjunction_1_0_0 returns LogicLiteral |
994 | * DisjunctiveExpression.Case_1_1_0 returns LogicLiteral | 1209 | * DisjunctiveExpression.Case_1_1_0 returns LogicLiteral |
@@ -1002,6 +1217,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1002 | * MultiplicativeExpression.BinaryExpression_1_0 returns LogicLiteral | 1217 | * MultiplicativeExpression.BinaryExpression_1_0 returns LogicLiteral |
1003 | * ExponentialExpression returns LogicLiteral | 1218 | * ExponentialExpression returns LogicLiteral |
1004 | * ExponentialExpression.BinaryExpression_1_0 returns LogicLiteral | 1219 | * ExponentialExpression.BinaryExpression_1_0 returns LogicLiteral |
1220 | * CastExpression returns LogicLiteral | ||
1221 | * CastExpression.CastExpression_1_0 returns LogicLiteral | ||
1005 | * UnaryExpression returns LogicLiteral | 1222 | * UnaryExpression returns LogicLiteral |
1006 | * AggregationExpression returns LogicLiteral | 1223 | * AggregationExpression returns LogicLiteral |
1007 | * AtomicExpression returns LogicLiteral | 1224 | * AtomicExpression returns LogicLiteral |
@@ -1066,7 +1283,7 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1066 | * MetricDefinition returns MetricDefinition | 1283 | * MetricDefinition returns MetricDefinition |
1067 | * | 1284 | * |
1068 | * Constraint: | 1285 | * Constraint: |
1069 | * (type=MetricType head=Expression body=Expression) | 1286 | * (type=[NamedElement|QualifiedName] head=Call body=Expression) |
1070 | */ | 1287 | */ |
1071 | protected void sequence_MetricDefinition(ISerializationContext context, MetricDefinition semanticObject) { | 1288 | protected void sequence_MetricDefinition(ISerializationContext context, MetricDefinition semanticObject) { |
1072 | if (errorAcceptor != null) { | 1289 | if (errorAcceptor != null) { |
@@ -1078,8 +1295,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1078 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.METRIC_DEFINITION__BODY)); | 1295 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.METRIC_DEFINITION__BODY)); |
1079 | } | 1296 | } |
1080 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | 1297 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); |
1081 | feeder.accept(grammarAccess.getMetricDefinitionAccess().getTypeMetricTypeEnumRuleCall_0_0(), semanticObject.getType()); | 1298 | feeder.accept(grammarAccess.getMetricDefinitionAccess().getTypeNamedElementQualifiedNameParserRuleCall_0_0_1(), semanticObject.eGet(SolverLanguagePackage.Literals.METRIC_DEFINITION__TYPE, false)); |
1082 | feeder.accept(grammarAccess.getMetricDefinitionAccess().getHeadExpressionParserRuleCall_1_0(), semanticObject.getHead()); | 1299 | feeder.accept(grammarAccess.getMetricDefinitionAccess().getHeadCallParserRuleCall_1_0(), semanticObject.getHead()); |
1083 | feeder.accept(grammarAccess.getMetricDefinitionAccess().getBodyExpressionParserRuleCall_3_0(), semanticObject.getBody()); | 1300 | feeder.accept(grammarAccess.getMetricDefinitionAccess().getBodyExpressionParserRuleCall_3_0(), semanticObject.getBody()); |
1084 | feeder.finish(); | 1301 | feeder.finish(); |
1085 | } | 1302 | } |
@@ -1087,28 +1304,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1087 | 1304 | ||
1088 | /** | 1305 | /** |
1089 | * Contexts: | 1306 | * Contexts: |
1090 | * NamedElement returns NamedElement | 1307 | * Statement returns NumericLiteral |
1091 | * | 1308 | * AssertionOrDefinition returns NumericLiteral |
1092 | * Constraint: | 1309 | * AssertionOrDefinition.Interpretation_1_0_0 returns NumericLiteral |
1093 | * name=QualifiedName | ||
1094 | */ | ||
1095 | protected void sequence_NamedElement(ISerializationContext context, NamedElement semanticObject) { | ||
1096 | if (errorAcceptor != null) { | ||
1097 | if (transientValues.isValueTransient(semanticObject, SolverLanguagePackage.Literals.NAMED_ELEMENT__NAME) == ValueTransient.YES) | ||
1098 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, SolverLanguagePackage.Literals.NAMED_ELEMENT__NAME)); | ||
1099 | } | ||
1100 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
1101 | feeder.accept(grammarAccess.getNamedElementAccess().getNameQualifiedNameParserRuleCall_0(), semanticObject.getName()); | ||
1102 | feeder.finish(); | ||
1103 | } | ||
1104 | |||
1105 | |||
1106 | /** | ||
1107 | * Contexts: | ||
1108 | * AssertionOrDefinition.Assertion_1_0_0 returns NumericLiteral | ||
1109 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns NumericLiteral | 1310 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns NumericLiteral |
1110 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns NumericLiteral | 1311 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns NumericLiteral |
1111 | * Expression returns NumericLiteral | 1312 | * Expression returns NumericLiteral |
1313 | * ImplicationExpression returns NumericLiteral | ||
1314 | * ImplicationExpression.BinaryExpression_1_0 returns NumericLiteral | ||
1112 | * DisjunctiveExpression returns NumericLiteral | 1315 | * DisjunctiveExpression returns NumericLiteral |
1113 | * DisjunctiveExpression.Disjunction_1_0_0 returns NumericLiteral | 1316 | * DisjunctiveExpression.Disjunction_1_0_0 returns NumericLiteral |
1114 | * DisjunctiveExpression.Case_1_1_0 returns NumericLiteral | 1317 | * DisjunctiveExpression.Case_1_1_0 returns NumericLiteral |
@@ -1122,6 +1325,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1122 | * MultiplicativeExpression.BinaryExpression_1_0 returns NumericLiteral | 1325 | * MultiplicativeExpression.BinaryExpression_1_0 returns NumericLiteral |
1123 | * ExponentialExpression returns NumericLiteral | 1326 | * ExponentialExpression returns NumericLiteral |
1124 | * ExponentialExpression.BinaryExpression_1_0 returns NumericLiteral | 1327 | * ExponentialExpression.BinaryExpression_1_0 returns NumericLiteral |
1328 | * CastExpression returns NumericLiteral | ||
1329 | * CastExpression.CastExpression_1_0 returns NumericLiteral | ||
1125 | * UnaryExpression returns NumericLiteral | 1330 | * UnaryExpression returns NumericLiteral |
1126 | * AggregationExpression returns NumericLiteral | 1331 | * AggregationExpression returns NumericLiteral |
1127 | * AtomicExpression returns NumericLiteral | 1332 | * AtomicExpression returns NumericLiteral |
@@ -1190,10 +1395,52 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1190 | 1395 | ||
1191 | /** | 1396 | /** |
1192 | * Contexts: | 1397 | * Contexts: |
1193 | * AssertionOrDefinition.Assertion_1_0_0 returns Reference | 1398 | * Statement returns QuantifiedExpression |
1399 | * AssertionOrDefinition returns QuantifiedExpression | ||
1400 | * AssertionOrDefinition.Interpretation_1_0_0 returns QuantifiedExpression | ||
1401 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns QuantifiedExpression | ||
1402 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns QuantifiedExpression | ||
1403 | * Expression returns QuantifiedExpression | ||
1404 | * ImplicationExpression returns QuantifiedExpression | ||
1405 | * ImplicationExpression.BinaryExpression_1_0 returns QuantifiedExpression | ||
1406 | * DisjunctiveExpression returns QuantifiedExpression | ||
1407 | * DisjunctiveExpression.Disjunction_1_0_0 returns QuantifiedExpression | ||
1408 | * DisjunctiveExpression.Case_1_1_0 returns QuantifiedExpression | ||
1409 | * ConjunctiveExpression returns QuantifiedExpression | ||
1410 | * ConjunctiveExpression.Conjunction_1_0 returns QuantifiedExpression | ||
1411 | * ComparisonExpression returns QuantifiedExpression | ||
1412 | * ComparisonExpression.Comparison_1_0 returns QuantifiedExpression | ||
1413 | * AdditiveExpression returns QuantifiedExpression | ||
1414 | * AdditiveExpression.BinaryExpression_1_0 returns QuantifiedExpression | ||
1415 | * MultiplicativeExpression returns QuantifiedExpression | ||
1416 | * MultiplicativeExpression.BinaryExpression_1_0 returns QuantifiedExpression | ||
1417 | * ExponentialExpression returns QuantifiedExpression | ||
1418 | * ExponentialExpression.BinaryExpression_1_0 returns QuantifiedExpression | ||
1419 | * CastExpression returns QuantifiedExpression | ||
1420 | * CastExpression.CastExpression_1_0 returns QuantifiedExpression | ||
1421 | * UnaryExpression returns QuantifiedExpression | ||
1422 | * AggregationExpression returns QuantifiedExpression | ||
1423 | * QuantifiedExpression returns QuantifiedExpression | ||
1424 | * AtomicExpression returns QuantifiedExpression | ||
1425 | * | ||
1426 | * Constraint: | ||
1427 | * (quantifier=Quantifier localVariables=LocalVariables? body=Expression) | ||
1428 | */ | ||
1429 | protected void sequence_QuantifiedExpression(ISerializationContext context, QuantifiedExpression semanticObject) { | ||
1430 | genericSequencer.createSequence(context, semanticObject); | ||
1431 | } | ||
1432 | |||
1433 | |||
1434 | /** | ||
1435 | * Contexts: | ||
1436 | * Statement returns Reference | ||
1437 | * AssertionOrDefinition returns Reference | ||
1438 | * AssertionOrDefinition.Interpretation_1_0_0 returns Reference | ||
1194 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Reference | 1439 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns Reference |
1195 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Reference | 1440 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns Reference |
1196 | * Expression returns Reference | 1441 | * Expression returns Reference |
1442 | * ImplicationExpression returns Reference | ||
1443 | * ImplicationExpression.BinaryExpression_1_0 returns Reference | ||
1197 | * DisjunctiveExpression returns Reference | 1444 | * DisjunctiveExpression returns Reference |
1198 | * DisjunctiveExpression.Disjunction_1_0_0 returns Reference | 1445 | * DisjunctiveExpression.Disjunction_1_0_0 returns Reference |
1199 | * DisjunctiveExpression.Case_1_1_0 returns Reference | 1446 | * DisjunctiveExpression.Case_1_1_0 returns Reference |
@@ -1207,6 +1454,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1207 | * MultiplicativeExpression.BinaryExpression_1_0 returns Reference | 1454 | * MultiplicativeExpression.BinaryExpression_1_0 returns Reference |
1208 | * ExponentialExpression returns Reference | 1455 | * ExponentialExpression returns Reference |
1209 | * ExponentialExpression.BinaryExpression_1_0 returns Reference | 1456 | * ExponentialExpression.BinaryExpression_1_0 returns Reference |
1457 | * CastExpression returns Reference | ||
1458 | * CastExpression.CastExpression_1_0 returns Reference | ||
1210 | * UnaryExpression returns Reference | 1459 | * UnaryExpression returns Reference |
1211 | * AggregationExpression returns Reference | 1460 | * AggregationExpression returns Reference |
1212 | * AtomicExpression returns Reference | 1461 | * AtomicExpression returns Reference |
@@ -1241,10 +1490,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1241 | 1490 | ||
1242 | /** | 1491 | /** |
1243 | * Contexts: | 1492 | * Contexts: |
1244 | * AssertionOrDefinition.Assertion_1_0_0 returns StringLiteral | 1493 | * Statement returns StringLiteral |
1494 | * AssertionOrDefinition returns StringLiteral | ||
1495 | * AssertionOrDefinition.Interpretation_1_0_0 returns StringLiteral | ||
1245 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns StringLiteral | 1496 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns StringLiteral |
1246 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns StringLiteral | 1497 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns StringLiteral |
1247 | * Expression returns StringLiteral | 1498 | * Expression returns StringLiteral |
1499 | * ImplicationExpression returns StringLiteral | ||
1500 | * ImplicationExpression.BinaryExpression_1_0 returns StringLiteral | ||
1248 | * DisjunctiveExpression returns StringLiteral | 1501 | * DisjunctiveExpression returns StringLiteral |
1249 | * DisjunctiveExpression.Disjunction_1_0_0 returns StringLiteral | 1502 | * DisjunctiveExpression.Disjunction_1_0_0 returns StringLiteral |
1250 | * DisjunctiveExpression.Case_1_1_0 returns StringLiteral | 1503 | * DisjunctiveExpression.Case_1_1_0 returns StringLiteral |
@@ -1258,6 +1511,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1258 | * MultiplicativeExpression.BinaryExpression_1_0 returns StringLiteral | 1511 | * MultiplicativeExpression.BinaryExpression_1_0 returns StringLiteral |
1259 | * ExponentialExpression returns StringLiteral | 1512 | * ExponentialExpression returns StringLiteral |
1260 | * ExponentialExpression.BinaryExpression_1_0 returns StringLiteral | 1513 | * ExponentialExpression.BinaryExpression_1_0 returns StringLiteral |
1514 | * CastExpression returns StringLiteral | ||
1515 | * CastExpression.CastExpression_1_0 returns StringLiteral | ||
1261 | * UnaryExpression returns StringLiteral | 1516 | * UnaryExpression returns StringLiteral |
1262 | * AggregationExpression returns StringLiteral | 1517 | * AggregationExpression returns StringLiteral |
1263 | * AtomicExpression returns StringLiteral | 1518 | * AtomicExpression returns StringLiteral |
@@ -1321,10 +1576,14 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1321 | 1576 | ||
1322 | /** | 1577 | /** |
1323 | * Contexts: | 1578 | * Contexts: |
1324 | * AssertionOrDefinition.Assertion_1_0_0 returns UnaryExpression | 1579 | * Statement returns UnaryExpression |
1580 | * AssertionOrDefinition returns UnaryExpression | ||
1581 | * AssertionOrDefinition.Interpretation_1_0_0 returns UnaryExpression | ||
1325 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns UnaryExpression | 1582 | * AssertionOrDefinition.PredicateDefinition_1_1_0 returns UnaryExpression |
1326 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns UnaryExpression | 1583 | * AssertionOrDefinition.MetricDefinition_1_2_0 returns UnaryExpression |
1327 | * Expression returns UnaryExpression | 1584 | * Expression returns UnaryExpression |
1585 | * ImplicationExpression returns UnaryExpression | ||
1586 | * ImplicationExpression.BinaryExpression_1_0 returns UnaryExpression | ||
1328 | * DisjunctiveExpression returns UnaryExpression | 1587 | * DisjunctiveExpression returns UnaryExpression |
1329 | * DisjunctiveExpression.Disjunction_1_0_0 returns UnaryExpression | 1588 | * DisjunctiveExpression.Disjunction_1_0_0 returns UnaryExpression |
1330 | * DisjunctiveExpression.Case_1_1_0 returns UnaryExpression | 1589 | * DisjunctiveExpression.Case_1_1_0 returns UnaryExpression |
@@ -1338,6 +1597,8 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1338 | * MultiplicativeExpression.BinaryExpression_1_0 returns UnaryExpression | 1597 | * MultiplicativeExpression.BinaryExpression_1_0 returns UnaryExpression |
1339 | * ExponentialExpression returns UnaryExpression | 1598 | * ExponentialExpression returns UnaryExpression |
1340 | * ExponentialExpression.BinaryExpression_1_0 returns UnaryExpression | 1599 | * ExponentialExpression.BinaryExpression_1_0 returns UnaryExpression |
1600 | * CastExpression returns UnaryExpression | ||
1601 | * CastExpression.CastExpression_1_0 returns UnaryExpression | ||
1341 | * UnaryExpression returns UnaryExpression | 1602 | * UnaryExpression returns UnaryExpression |
1342 | * AggregationExpression returns UnaryExpression | 1603 | * AggregationExpression returns UnaryExpression |
1343 | * AtomicExpression returns UnaryExpression | 1604 | * AtomicExpression returns UnaryExpression |
@@ -1381,4 +1642,16 @@ public class SolverLanguageSemanticSequencer extends AbstractDelegatingSemanticS | |||
1381 | } | 1642 | } |
1382 | 1643 | ||
1383 | 1644 | ||
1645 | /** | ||
1646 | * Contexts: | ||
1647 | * Variable returns Variable | ||
1648 | * | ||
1649 | * Constraint: | ||
1650 | * (type=[NamedElement|QualifiedName]? name=ID) | ||
1651 | */ | ||
1652 | protected void sequence_Variable(ISerializationContext context, Variable semanticObject) { | ||
1653 | genericSequencer.createSequence(context, semanticObject); | ||
1654 | } | ||
1655 | |||
1656 | |||
1384 | } | 1657 | } |
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java index 1fa1a820..8b187721 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java | |||
@@ -83,18 +83,22 @@ public class SolverLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
83 | * | 83 | * |
84 | * This ambiguous syntax occurs at: | 84 | * This ambiguous syntax occurs at: |
85 | * (rule start) (ambiguity) '[' lowerBound=Expression | 85 | * (rule start) (ambiguity) '[' lowerBound=Expression |
86 | * (rule start) (ambiguity) 'count' '{' body=Expression | ||
87 | * (rule start) (ambiguity) 'empty' (rule start) | 86 | * (rule start) (ambiguity) 'empty' (rule start) |
87 | * (rule start) (ambiguity) 'empty' FULL_STOP (rule start) | ||
88 | * (rule start) (ambiguity) 'if' condition=Expression | 88 | * (rule start) (ambiguity) 'if' condition=Expression |
89 | * (rule start) (ambiguity) 'inf' (rule start) | 89 | * (rule start) (ambiguity) 'inf' (rule start) |
90 | * (rule start) (ambiguity) 'inf' FULL_STOP (rule start) | ||
91 | * (rule start) (ambiguity) 'let' bindings+=LetBinding | ||
90 | * (rule start) (ambiguity) functor=Reference | 92 | * (rule start) (ambiguity) functor=Reference |
91 | * (rule start) (ambiguity) op=AggregationOp | ||
92 | * (rule start) (ambiguity) op=UnaryOp | 93 | * (rule start) (ambiguity) op=UnaryOp |
94 | * (rule start) (ambiguity) op=[NamedElement|QualifiedName] | ||
95 | * (rule start) (ambiguity) quantifier=Quantifier | ||
93 | * (rule start) (ambiguity) referred=[NamedElement|QualifiedName] | 96 | * (rule start) (ambiguity) referred=[NamedElement|QualifiedName] |
94 | * (rule start) (ambiguity) value=LogicValue | 97 | * (rule start) (ambiguity) value=LogicValue |
95 | * (rule start) (ambiguity) value=Real | 98 | * (rule start) (ambiguity) value=Real |
96 | * (rule start) (ambiguity) value=STRING | 99 | * (rule start) (ambiguity) value=STRING |
97 | * (rule start) (ambiguity) {BinaryExpression.left=} | 100 | * (rule start) (ambiguity) {BinaryExpression.left=} |
101 | * (rule start) (ambiguity) {CastExpression.body=} | ||
98 | * (rule start) (ambiguity) {Comparison.left=} | 102 | * (rule start) (ambiguity) {Comparison.left=} |
99 | * (rule start) (ambiguity) {Conjunction.children+=} | 103 | * (rule start) (ambiguity) {Conjunction.children+=} |
100 | * (rule start) (ambiguity) {Disjunction.children+=} | 104 | * (rule start) (ambiguity) {Disjunction.children+=} |
@@ -109,11 +113,13 @@ public class SolverLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
109 | * '('+ | 113 | * '('+ |
110 | * | 114 | * |
111 | * This ambiguous syntax occurs at: | 115 | * This ambiguous syntax occurs at: |
112 | * (rule start) (ambiguity) 'count' '{' body=Expression | ||
113 | * (rule start) (ambiguity) 'if' condition=Expression | 116 | * (rule start) (ambiguity) 'if' condition=Expression |
114 | * (rule start) (ambiguity) op=AggregationOp | 117 | * (rule start) (ambiguity) 'let' bindings+=LetBinding |
115 | * (rule start) (ambiguity) op=UnaryOp | 118 | * (rule start) (ambiguity) op=UnaryOp |
119 | * (rule start) (ambiguity) op=[NamedElement|QualifiedName] | ||
120 | * (rule start) (ambiguity) quantifier=Quantifier | ||
116 | * (rule start) (ambiguity) {BinaryExpression.left=} | 121 | * (rule start) (ambiguity) {BinaryExpression.left=} |
122 | * (rule start) (ambiguity) {CastExpression.body=} | ||
117 | * (rule start) (ambiguity) {Comparison.left=} | 123 | * (rule start) (ambiguity) {Comparison.left=} |
118 | * (rule start) (ambiguity) {Conjunction.children+=} | 124 | * (rule start) (ambiguity) {Conjunction.children+=} |
119 | * (rule start) (ambiguity) {Disjunction.children+=} | 125 | * (rule start) (ambiguity) {Disjunction.children+=} |