diff options
author | 2020-05-08 21:02:33 +0200 | |
---|---|---|
committer | 2020-05-08 21:02:33 +0200 | |
commit | 771e3773bb7ebbf6712724cb2b248467c9cc2e3c (patch) | |
tree | b1724af24b9c583b2780c7a2fe76e76fd174359d /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.g | |
parent | Update solver language grammar (diff) | |
download | VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.gz VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.zst VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.zip |
Synthetic tokens for solver language
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.g')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.g | 3839 |
1 files changed, 3839 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.g b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.g new file mode 100644 index 00000000..6cd0341f --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.g | |||
@@ -0,0 +1,3839 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | parser grammar InternalSolverLanguageParser; | ||
5 | |||
6 | options { | ||
7 | tokenVocab=InternalSolverLanguageLexer; | ||
8 | superClass=AbstractInternalAntlrParser; | ||
9 | } | ||
10 | |||
11 | @header { | ||
12 | package org.eclipse.viatra.solver.language.parser.antlr.internal; | ||
13 | |||
14 | import org.eclipse.xtext.*; | ||
15 | import org.eclipse.xtext.parser.*; | ||
16 | import org.eclipse.xtext.parser.impl.*; | ||
17 | import org.eclipse.emf.ecore.util.EcoreUtil; | ||
18 | import org.eclipse.emf.ecore.EObject; | ||
19 | import org.eclipse.emf.common.util.Enumerator; | ||
20 | import org.eclipse.xtext.parser.antlr.AbstractInternalAntlrParser; | ||
21 | import org.eclipse.xtext.parser.antlr.XtextTokenStream; | ||
22 | import org.eclipse.xtext.parser.antlr.XtextTokenStream.HiddenTokens; | ||
23 | import org.eclipse.xtext.parser.antlr.AntlrDatatypeRuleToken; | ||
24 | import org.eclipse.viatra.solver.language.services.SolverLanguageGrammarAccess; | ||
25 | |||
26 | } | ||
27 | |||
28 | @members { | ||
29 | |||
30 | private SolverLanguageGrammarAccess grammarAccess; | ||
31 | |||
32 | public InternalSolverLanguageParser(TokenStream input, SolverLanguageGrammarAccess grammarAccess) { | ||
33 | this(input); | ||
34 | this.grammarAccess = grammarAccess; | ||
35 | registerRules(grammarAccess.getGrammar()); | ||
36 | } | ||
37 | |||
38 | @Override | ||
39 | protected String getFirstRuleName() { | ||
40 | return "Problem"; | ||
41 | } | ||
42 | |||
43 | @Override | ||
44 | protected SolverLanguageGrammarAccess getGrammarAccess() { | ||
45 | return grammarAccess; | ||
46 | } | ||
47 | |||
48 | } | ||
49 | |||
50 | @rulecatch { | ||
51 | catch (RecognitionException re) { | ||
52 | recover(input,re); | ||
53 | appendSkippedTokens(); | ||
54 | } | ||
55 | } | ||
56 | |||
57 | // Entry rule entryRuleProblem | ||
58 | entryRuleProblem returns [EObject current=null]: | ||
59 | { newCompositeNode(grammarAccess.getProblemRule()); } | ||
60 | iv_ruleProblem=ruleProblem | ||
61 | { $current=$iv_ruleProblem.current; } | ||
62 | EOF; | ||
63 | |||
64 | // Rule Problem | ||
65 | ruleProblem returns [EObject current=null] | ||
66 | @init { | ||
67 | enterRule(); | ||
68 | } | ||
69 | @after { | ||
70 | leaveRule(); | ||
71 | }: | ||
72 | ( | ||
73 | ( | ||
74 | { | ||
75 | newCompositeNode(grammarAccess.getProblemAccess().getStatementsStatementParserRuleCall_0()); | ||
76 | } | ||
77 | lv_statements_0_0=ruleStatement | ||
78 | { | ||
79 | if ($current==null) { | ||
80 | $current = createModelElementForParent(grammarAccess.getProblemRule()); | ||
81 | } | ||
82 | add( | ||
83 | $current, | ||
84 | "statements", | ||
85 | lv_statements_0_0, | ||
86 | "org.eclipse.viatra.solver.language.SolverLanguage.Statement"); | ||
87 | afterParserOrEnumRuleCall(); | ||
88 | } | ||
89 | ) | ||
90 | )* | ||
91 | ; | ||
92 | |||
93 | // Entry rule entryRuleStatement | ||
94 | entryRuleStatement returns [EObject current=null]: | ||
95 | { newCompositeNode(grammarAccess.getStatementRule()); } | ||
96 | iv_ruleStatement=ruleStatement | ||
97 | { $current=$iv_ruleStatement.current; } | ||
98 | EOF; | ||
99 | |||
100 | // Rule Statement | ||
101 | ruleStatement returns [EObject current=null] | ||
102 | @init { | ||
103 | enterRule(); | ||
104 | } | ||
105 | @after { | ||
106 | leaveRule(); | ||
107 | }: | ||
108 | ( | ||
109 | ( | ||
110 | { | ||
111 | newCompositeNode(grammarAccess.getStatementAccess().getAssertionOrDefinitionParserRuleCall_0_0()); | ||
112 | } | ||
113 | this_AssertionOrDefinition_0=ruleAssertionOrDefinition | ||
114 | { | ||
115 | $current = $this_AssertionOrDefinition_0.current; | ||
116 | afterParserOrEnumRuleCall(); | ||
117 | } | ||
118 | | | ||
119 | { | ||
120 | newCompositeNode(grammarAccess.getStatementAccess().getPredicateDefinitionParserRuleCall_0_1()); | ||
121 | } | ||
122 | this_PredicateDefinition_1=rulePredicateDefinition | ||
123 | { | ||
124 | $current = $this_PredicateDefinition_1.current; | ||
125 | afterParserOrEnumRuleCall(); | ||
126 | } | ||
127 | | | ||
128 | { | ||
129 | newCompositeNode(grammarAccess.getStatementAccess().getUnnamedErrorPrediateDefinitionParserRuleCall_0_2()); | ||
130 | } | ||
131 | this_UnnamedErrorPrediateDefinition_2=ruleUnnamedErrorPrediateDefinition | ||
132 | { | ||
133 | $current = $this_UnnamedErrorPrediateDefinition_2.current; | ||
134 | afterParserOrEnumRuleCall(); | ||
135 | } | ||
136 | | | ||
137 | { | ||
138 | newCompositeNode(grammarAccess.getStatementAccess().getDefaultDefinitionParserRuleCall_0_3()); | ||
139 | } | ||
140 | this_DefaultDefinition_3=ruleDefaultDefinition | ||
141 | { | ||
142 | $current = $this_DefaultDefinition_3.current; | ||
143 | afterParserOrEnumRuleCall(); | ||
144 | } | ||
145 | | | ||
146 | { | ||
147 | newCompositeNode(grammarAccess.getStatementAccess().getExternPredicateDefinitionParserRuleCall_0_4()); | ||
148 | } | ||
149 | this_ExternPredicateDefinition_4=ruleExternPredicateDefinition | ||
150 | { | ||
151 | $current = $this_ExternPredicateDefinition_4.current; | ||
152 | afterParserOrEnumRuleCall(); | ||
153 | } | ||
154 | | | ||
155 | { | ||
156 | newCompositeNode(grammarAccess.getStatementAccess().getMetricDefinitionParserRuleCall_0_5()); | ||
157 | } | ||
158 | this_MetricDefinition_5=ruleMetricDefinition | ||
159 | { | ||
160 | $current = $this_MetricDefinition_5.current; | ||
161 | afterParserOrEnumRuleCall(); | ||
162 | } | ||
163 | | | ||
164 | { | ||
165 | newCompositeNode(grammarAccess.getStatementAccess().getExternMetricDefinitionParserRuleCall_0_6()); | ||
166 | } | ||
167 | this_ExternMetricDefinition_6=ruleExternMetricDefinition | ||
168 | { | ||
169 | $current = $this_ExternMetricDefinition_6.current; | ||
170 | afterParserOrEnumRuleCall(); | ||
171 | } | ||
172 | | | ||
173 | { | ||
174 | newCompositeNode(grammarAccess.getStatementAccess().getClassDefinitionParserRuleCall_0_7()); | ||
175 | } | ||
176 | this_ClassDefinition_7=ruleClassDefinition | ||
177 | { | ||
178 | $current = $this_ClassDefinition_7.current; | ||
179 | afterParserOrEnumRuleCall(); | ||
180 | } | ||
181 | | | ||
182 | { | ||
183 | newCompositeNode(grammarAccess.getStatementAccess().getScopeDefinitionParserRuleCall_0_8()); | ||
184 | } | ||
185 | this_ScopeDefinition_8=ruleScopeDefinition | ||
186 | { | ||
187 | $current = $this_ScopeDefinition_8.current; | ||
188 | afterParserOrEnumRuleCall(); | ||
189 | } | ||
190 | | | ||
191 | { | ||
192 | newCompositeNode(grammarAccess.getStatementAccess().getObjectiveDefinitionParserRuleCall_0_9()); | ||
193 | } | ||
194 | this_ObjectiveDefinition_9=ruleObjectiveDefinition | ||
195 | { | ||
196 | $current = $this_ObjectiveDefinition_9.current; | ||
197 | afterParserOrEnumRuleCall(); | ||
198 | } | ||
199 | ) | ||
200 | this_FULL_STOP_10=RULE_FULL_STOP | ||
201 | { | ||
202 | newLeafNode(this_FULL_STOP_10, grammarAccess.getStatementAccess().getFULL_STOPTerminalRuleCall_1()); | ||
203 | } | ||
204 | ) | ||
205 | ; | ||
206 | |||
207 | // Entry rule entryRuleAssertionOrDefinition | ||
208 | entryRuleAssertionOrDefinition returns [EObject current=null]: | ||
209 | { newCompositeNode(grammarAccess.getAssertionOrDefinitionRule()); } | ||
210 | iv_ruleAssertionOrDefinition=ruleAssertionOrDefinition | ||
211 | { $current=$iv_ruleAssertionOrDefinition.current; } | ||
212 | EOF; | ||
213 | |||
214 | // Rule AssertionOrDefinition | ||
215 | ruleAssertionOrDefinition returns [EObject current=null] | ||
216 | @init { | ||
217 | enterRule(); | ||
218 | } | ||
219 | @after { | ||
220 | leaveRule(); | ||
221 | }: | ||
222 | ( | ||
223 | { | ||
224 | newCompositeNode(grammarAccess.getAssertionOrDefinitionAccess().getExpressionParserRuleCall_0()); | ||
225 | } | ||
226 | this_Expression_0=ruleExpression | ||
227 | { | ||
228 | $current = $this_Expression_0.current; | ||
229 | afterParserOrEnumRuleCall(); | ||
230 | } | ||
231 | ( | ||
232 | ( | ||
233 | ( | ||
234 | { | ||
235 | $current = forceCreateModelElementAndSet( | ||
236 | grammarAccess.getAssertionOrDefinitionAccess().getAssertionBodyAction_1_0_0(), | ||
237 | $current); | ||
238 | } | ||
239 | ) | ||
240 | ( | ||
241 | otherlv_2=Colon | ||
242 | { | ||
243 | newLeafNode(otherlv_2, grammarAccess.getAssertionOrDefinitionAccess().getColonKeyword_1_0_1_0()); | ||
244 | } | ||
245 | ( | ||
246 | ( | ||
247 | { | ||
248 | newCompositeNode(grammarAccess.getAssertionOrDefinitionAccess().getRangeExpressionParserRuleCall_1_0_1_1_0()); | ||
249 | } | ||
250 | lv_range_3_0=ruleExpression | ||
251 | { | ||
252 | if ($current==null) { | ||
253 | $current = createModelElementForParent(grammarAccess.getAssertionOrDefinitionRule()); | ||
254 | } | ||
255 | set( | ||
256 | $current, | ||
257 | "range", | ||
258 | lv_range_3_0, | ||
259 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
260 | afterParserOrEnumRuleCall(); | ||
261 | } | ||
262 | ) | ||
263 | ) | ||
264 | )? | ||
265 | ) | ||
266 | | | ||
267 | ( | ||
268 | ( | ||
269 | { | ||
270 | $current = forceCreateModelElementAndSet( | ||
271 | grammarAccess.getAssertionOrDefinitionAccess().getPredicateDefinitionHeadAction_1_1_0(), | ||
272 | $current); | ||
273 | } | ||
274 | ) | ||
275 | otherlv_5=ColonHyphenMinus | ||
276 | { | ||
277 | newLeafNode(otherlv_5, grammarAccess.getAssertionOrDefinitionAccess().getColonHyphenMinusKeyword_1_1_1()); | ||
278 | } | ||
279 | ( | ||
280 | ( | ||
281 | { | ||
282 | newCompositeNode(grammarAccess.getAssertionOrDefinitionAccess().getBodyExpressionParserRuleCall_1_1_2_0()); | ||
283 | } | ||
284 | lv_body_6_0=ruleExpression | ||
285 | { | ||
286 | if ($current==null) { | ||
287 | $current = createModelElementForParent(grammarAccess.getAssertionOrDefinitionRule()); | ||
288 | } | ||
289 | set( | ||
290 | $current, | ||
291 | "body", | ||
292 | lv_body_6_0, | ||
293 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
294 | afterParserOrEnumRuleCall(); | ||
295 | } | ||
296 | ) | ||
297 | ) | ||
298 | ) | ||
299 | | | ||
300 | ( | ||
301 | ( | ||
302 | { | ||
303 | $current = forceCreateModelElementAndSet( | ||
304 | grammarAccess.getAssertionOrDefinitionAccess().getMetricDefinitionHeadAction_1_2_0(), | ||
305 | $current); | ||
306 | } | ||
307 | ) | ||
308 | otherlv_8=EqualsSign | ||
309 | { | ||
310 | newLeafNode(otherlv_8, grammarAccess.getAssertionOrDefinitionAccess().getEqualsSignKeyword_1_2_1()); | ||
311 | } | ||
312 | ( | ||
313 | ( | ||
314 | { | ||
315 | newCompositeNode(grammarAccess.getAssertionOrDefinitionAccess().getBodyExpressionParserRuleCall_1_2_2_0()); | ||
316 | } | ||
317 | lv_body_9_0=ruleExpression | ||
318 | { | ||
319 | if ($current==null) { | ||
320 | $current = createModelElementForParent(grammarAccess.getAssertionOrDefinitionRule()); | ||
321 | } | ||
322 | set( | ||
323 | $current, | ||
324 | "body", | ||
325 | lv_body_9_0, | ||
326 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
327 | afterParserOrEnumRuleCall(); | ||
328 | } | ||
329 | ) | ||
330 | ) | ||
331 | ) | ||
332 | ) | ||
333 | ) | ||
334 | ; | ||
335 | |||
336 | // Entry rule entryRulePredicateDefinition | ||
337 | entryRulePredicateDefinition returns [EObject current=null]: | ||
338 | { newCompositeNode(grammarAccess.getPredicateDefinitionRule()); } | ||
339 | iv_rulePredicateDefinition=rulePredicateDefinition | ||
340 | { $current=$iv_rulePredicateDefinition.current; } | ||
341 | EOF; | ||
342 | |||
343 | // Rule PredicateDefinition | ||
344 | rulePredicateDefinition returns [EObject current=null] | ||
345 | @init { | ||
346 | enterRule(); | ||
347 | } | ||
348 | @after { | ||
349 | leaveRule(); | ||
350 | }: | ||
351 | ( | ||
352 | ( | ||
353 | ( | ||
354 | ( | ||
355 | ( | ||
356 | lv_functional_0_0=Functional | ||
357 | { | ||
358 | newLeafNode(lv_functional_0_0, grammarAccess.getPredicateDefinitionAccess().getFunctionalFunctionalKeyword_0_0_0_0()); | ||
359 | } | ||
360 | { | ||
361 | if ($current==null) { | ||
362 | $current = createModelElement(grammarAccess.getPredicateDefinitionRule()); | ||
363 | } | ||
364 | setWithLastConsumed($current, "functional", true, "functional"); | ||
365 | } | ||
366 | ) | ||
367 | ) | ||
368 | ( | ||
369 | ( | ||
370 | lv_error_1_0=Error | ||
371 | { | ||
372 | newLeafNode(lv_error_1_0, grammarAccess.getPredicateDefinitionAccess().getErrorErrorKeyword_0_0_1_0()); | ||
373 | } | ||
374 | { | ||
375 | if ($current==null) { | ||
376 | $current = createModelElement(grammarAccess.getPredicateDefinitionRule()); | ||
377 | } | ||
378 | setWithLastConsumed($current, "error", true, "error"); | ||
379 | } | ||
380 | ) | ||
381 | )? | ||
382 | ) | ||
383 | | | ||
384 | ( | ||
385 | ( | ||
386 | ( | ||
387 | lv_error_2_0=Error | ||
388 | { | ||
389 | newLeafNode(lv_error_2_0, grammarAccess.getPredicateDefinitionAccess().getErrorErrorKeyword_0_1_0_0()); | ||
390 | } | ||
391 | { | ||
392 | if ($current==null) { | ||
393 | $current = createModelElement(grammarAccess.getPredicateDefinitionRule()); | ||
394 | } | ||
395 | setWithLastConsumed($current, "error", true, "error"); | ||
396 | } | ||
397 | ) | ||
398 | ) | ||
399 | ( | ||
400 | ( | ||
401 | lv_functional_3_0=Functional | ||
402 | { | ||
403 | newLeafNode(lv_functional_3_0, grammarAccess.getPredicateDefinitionAccess().getFunctionalFunctionalKeyword_0_1_1_0()); | ||
404 | } | ||
405 | { | ||
406 | if ($current==null) { | ||
407 | $current = createModelElement(grammarAccess.getPredicateDefinitionRule()); | ||
408 | } | ||
409 | setWithLastConsumed($current, "functional", true, "functional"); | ||
410 | } | ||
411 | ) | ||
412 | )? | ||
413 | ) | ||
414 | ) | ||
415 | ( | ||
416 | ( | ||
417 | { | ||
418 | newCompositeNode(grammarAccess.getPredicateDefinitionAccess().getHeadCallParserRuleCall_1_0()); | ||
419 | } | ||
420 | lv_head_4_0=ruleCall | ||
421 | { | ||
422 | if ($current==null) { | ||
423 | $current = createModelElementForParent(grammarAccess.getPredicateDefinitionRule()); | ||
424 | } | ||
425 | set( | ||
426 | $current, | ||
427 | "head", | ||
428 | lv_head_4_0, | ||
429 | "org.eclipse.viatra.solver.language.SolverLanguage.Call"); | ||
430 | afterParserOrEnumRuleCall(); | ||
431 | } | ||
432 | ) | ||
433 | ) | ||
434 | otherlv_5=ColonHyphenMinus | ||
435 | { | ||
436 | newLeafNode(otherlv_5, grammarAccess.getPredicateDefinitionAccess().getColonHyphenMinusKeyword_2()); | ||
437 | } | ||
438 | ( | ||
439 | ( | ||
440 | { | ||
441 | newCompositeNode(grammarAccess.getPredicateDefinitionAccess().getBodyExpressionParserRuleCall_3_0()); | ||
442 | } | ||
443 | lv_body_6_0=ruleExpression | ||
444 | { | ||
445 | if ($current==null) { | ||
446 | $current = createModelElementForParent(grammarAccess.getPredicateDefinitionRule()); | ||
447 | } | ||
448 | set( | ||
449 | $current, | ||
450 | "body", | ||
451 | lv_body_6_0, | ||
452 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
453 | afterParserOrEnumRuleCall(); | ||
454 | } | ||
455 | ) | ||
456 | ) | ||
457 | ) | ||
458 | ; | ||
459 | |||
460 | // Entry rule entryRuleUnnamedErrorPrediateDefinition | ||
461 | entryRuleUnnamedErrorPrediateDefinition returns [EObject current=null]: | ||
462 | { newCompositeNode(grammarAccess.getUnnamedErrorPrediateDefinitionRule()); } | ||
463 | iv_ruleUnnamedErrorPrediateDefinition=ruleUnnamedErrorPrediateDefinition | ||
464 | { $current=$iv_ruleUnnamedErrorPrediateDefinition.current; } | ||
465 | EOF; | ||
466 | |||
467 | // Rule UnnamedErrorPrediateDefinition | ||
468 | ruleUnnamedErrorPrediateDefinition returns [EObject current=null] | ||
469 | @init { | ||
470 | enterRule(); | ||
471 | } | ||
472 | @after { | ||
473 | leaveRule(); | ||
474 | }: | ||
475 | ( | ||
476 | otherlv_0=Error | ||
477 | { | ||
478 | newLeafNode(otherlv_0, grammarAccess.getUnnamedErrorPrediateDefinitionAccess().getErrorKeyword_0()); | ||
479 | } | ||
480 | ( | ||
481 | ( | ||
482 | { | ||
483 | newCompositeNode(grammarAccess.getUnnamedErrorPrediateDefinitionAccess().getArgumentListArgumentListParserRuleCall_1_0()); | ||
484 | } | ||
485 | lv_argumentList_1_0=ruleArgumentList | ||
486 | { | ||
487 | if ($current==null) { | ||
488 | $current = createModelElementForParent(grammarAccess.getUnnamedErrorPrediateDefinitionRule()); | ||
489 | } | ||
490 | set( | ||
491 | $current, | ||
492 | "argumentList", | ||
493 | lv_argumentList_1_0, | ||
494 | "org.eclipse.viatra.solver.language.SolverLanguage.ArgumentList"); | ||
495 | afterParserOrEnumRuleCall(); | ||
496 | } | ||
497 | ) | ||
498 | ) | ||
499 | otherlv_2=ColonHyphenMinus | ||
500 | { | ||
501 | newLeafNode(otherlv_2, grammarAccess.getUnnamedErrorPrediateDefinitionAccess().getColonHyphenMinusKeyword_2()); | ||
502 | } | ||
503 | ( | ||
504 | ( | ||
505 | { | ||
506 | newCompositeNode(grammarAccess.getUnnamedErrorPrediateDefinitionAccess().getBodyExpressionParserRuleCall_3_0()); | ||
507 | } | ||
508 | lv_body_3_0=ruleExpression | ||
509 | { | ||
510 | if ($current==null) { | ||
511 | $current = createModelElementForParent(grammarAccess.getUnnamedErrorPrediateDefinitionRule()); | ||
512 | } | ||
513 | set( | ||
514 | $current, | ||
515 | "body", | ||
516 | lv_body_3_0, | ||
517 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
518 | afterParserOrEnumRuleCall(); | ||
519 | } | ||
520 | ) | ||
521 | ) | ||
522 | ) | ||
523 | ; | ||
524 | |||
525 | // Entry rule entryRuleDefaultDefinition | ||
526 | entryRuleDefaultDefinition returns [EObject current=null]: | ||
527 | { newCompositeNode(grammarAccess.getDefaultDefinitionRule()); } | ||
528 | iv_ruleDefaultDefinition=ruleDefaultDefinition | ||
529 | { $current=$iv_ruleDefaultDefinition.current; } | ||
530 | EOF; | ||
531 | |||
532 | // Rule DefaultDefinition | ||
533 | ruleDefaultDefinition returns [EObject current=null] | ||
534 | @init { | ||
535 | enterRule(); | ||
536 | } | ||
537 | @after { | ||
538 | leaveRule(); | ||
539 | }: | ||
540 | ( | ||
541 | otherlv_0=Default | ||
542 | { | ||
543 | newLeafNode(otherlv_0, grammarAccess.getDefaultDefinitionAccess().getDefaultKeyword_0()); | ||
544 | } | ||
545 | ( | ||
546 | ( | ||
547 | { | ||
548 | newCompositeNode(grammarAccess.getDefaultDefinitionAccess().getHeadCallParserRuleCall_1_0()); | ||
549 | } | ||
550 | lv_head_1_0=ruleCall | ||
551 | { | ||
552 | if ($current==null) { | ||
553 | $current = createModelElementForParent(grammarAccess.getDefaultDefinitionRule()); | ||
554 | } | ||
555 | set( | ||
556 | $current, | ||
557 | "head", | ||
558 | lv_head_1_0, | ||
559 | "org.eclipse.viatra.solver.language.SolverLanguage.Call"); | ||
560 | afterParserOrEnumRuleCall(); | ||
561 | } | ||
562 | ) | ||
563 | ) | ||
564 | otherlv_2=Colon | ||
565 | { | ||
566 | newLeafNode(otherlv_2, grammarAccess.getDefaultDefinitionAccess().getColonKeyword_2()); | ||
567 | } | ||
568 | ( | ||
569 | ( | ||
570 | { | ||
571 | newCompositeNode(grammarAccess.getDefaultDefinitionAccess().getRangeExpressionParserRuleCall_3_0()); | ||
572 | } | ||
573 | lv_range_3_0=ruleExpression | ||
574 | { | ||
575 | if ($current==null) { | ||
576 | $current = createModelElementForParent(grammarAccess.getDefaultDefinitionRule()); | ||
577 | } | ||
578 | set( | ||
579 | $current, | ||
580 | "range", | ||
581 | lv_range_3_0, | ||
582 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
583 | afterParserOrEnumRuleCall(); | ||
584 | } | ||
585 | ) | ||
586 | ) | ||
587 | ) | ||
588 | ; | ||
589 | |||
590 | // Entry rule entryRuleExternPredicateDefinition | ||
591 | entryRuleExternPredicateDefinition returns [EObject current=null]: | ||
592 | { newCompositeNode(grammarAccess.getExternPredicateDefinitionRule()); } | ||
593 | iv_ruleExternPredicateDefinition=ruleExternPredicateDefinition | ||
594 | { $current=$iv_ruleExternPredicateDefinition.current; } | ||
595 | EOF; | ||
596 | |||
597 | // Rule ExternPredicateDefinition | ||
598 | ruleExternPredicateDefinition returns [EObject current=null] | ||
599 | @init { | ||
600 | enterRule(); | ||
601 | } | ||
602 | @after { | ||
603 | leaveRule(); | ||
604 | }: | ||
605 | ( | ||
606 | otherlv_0=Extern | ||
607 | { | ||
608 | newLeafNode(otherlv_0, grammarAccess.getExternPredicateDefinitionAccess().getExternKeyword_0()); | ||
609 | } | ||
610 | ( | ||
611 | ( | ||
612 | { | ||
613 | newCompositeNode(grammarAccess.getExternPredicateDefinitionAccess().getHeadCallParserRuleCall_1_0()); | ||
614 | } | ||
615 | lv_head_1_0=ruleCall | ||
616 | { | ||
617 | if ($current==null) { | ||
618 | $current = createModelElementForParent(grammarAccess.getExternPredicateDefinitionRule()); | ||
619 | } | ||
620 | set( | ||
621 | $current, | ||
622 | "head", | ||
623 | lv_head_1_0, | ||
624 | "org.eclipse.viatra.solver.language.SolverLanguage.Call"); | ||
625 | afterParserOrEnumRuleCall(); | ||
626 | } | ||
627 | ) | ||
628 | ) | ||
629 | ) | ||
630 | ; | ||
631 | |||
632 | // Entry rule entryRuleMetricDefinition | ||
633 | entryRuleMetricDefinition returns [EObject current=null]: | ||
634 | { newCompositeNode(grammarAccess.getMetricDefinitionRule()); } | ||
635 | iv_ruleMetricDefinition=ruleMetricDefinition | ||
636 | { $current=$iv_ruleMetricDefinition.current; } | ||
637 | EOF; | ||
638 | |||
639 | // Rule MetricDefinition | ||
640 | ruleMetricDefinition returns [EObject current=null] | ||
641 | @init { | ||
642 | enterRule(); | ||
643 | } | ||
644 | @after { | ||
645 | leaveRule(); | ||
646 | }: | ||
647 | ( | ||
648 | ( | ||
649 | ( | ||
650 | { | ||
651 | newCompositeNode(grammarAccess.getMetricDefinitionAccess().getTypeMetricTypeEnumRuleCall_0_0()); | ||
652 | } | ||
653 | lv_type_0_0=ruleMetricType | ||
654 | { | ||
655 | if ($current==null) { | ||
656 | $current = createModelElementForParent(grammarAccess.getMetricDefinitionRule()); | ||
657 | } | ||
658 | set( | ||
659 | $current, | ||
660 | "type", | ||
661 | lv_type_0_0, | ||
662 | "org.eclipse.viatra.solver.language.SolverLanguage.MetricType"); | ||
663 | afterParserOrEnumRuleCall(); | ||
664 | } | ||
665 | ) | ||
666 | ) | ||
667 | ( | ||
668 | ( | ||
669 | { | ||
670 | newCompositeNode(grammarAccess.getMetricDefinitionAccess().getHeadExpressionParserRuleCall_1_0()); | ||
671 | } | ||
672 | lv_head_1_0=ruleExpression | ||
673 | { | ||
674 | if ($current==null) { | ||
675 | $current = createModelElementForParent(grammarAccess.getMetricDefinitionRule()); | ||
676 | } | ||
677 | set( | ||
678 | $current, | ||
679 | "head", | ||
680 | lv_head_1_0, | ||
681 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
682 | afterParserOrEnumRuleCall(); | ||
683 | } | ||
684 | ) | ||
685 | ) | ||
686 | otherlv_2=EqualsSign | ||
687 | { | ||
688 | newLeafNode(otherlv_2, grammarAccess.getMetricDefinitionAccess().getEqualsSignKeyword_2()); | ||
689 | } | ||
690 | ( | ||
691 | ( | ||
692 | { | ||
693 | newCompositeNode(grammarAccess.getMetricDefinitionAccess().getBodyExpressionParserRuleCall_3_0()); | ||
694 | } | ||
695 | lv_body_3_0=ruleExpression | ||
696 | { | ||
697 | if ($current==null) { | ||
698 | $current = createModelElementForParent(grammarAccess.getMetricDefinitionRule()); | ||
699 | } | ||
700 | set( | ||
701 | $current, | ||
702 | "body", | ||
703 | lv_body_3_0, | ||
704 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
705 | afterParserOrEnumRuleCall(); | ||
706 | } | ||
707 | ) | ||
708 | ) | ||
709 | ) | ||
710 | ; | ||
711 | |||
712 | // Entry rule entryRuleExternMetricDefinition | ||
713 | entryRuleExternMetricDefinition returns [EObject current=null]: | ||
714 | { newCompositeNode(grammarAccess.getExternMetricDefinitionRule()); } | ||
715 | iv_ruleExternMetricDefinition=ruleExternMetricDefinition | ||
716 | { $current=$iv_ruleExternMetricDefinition.current; } | ||
717 | EOF; | ||
718 | |||
719 | // Rule ExternMetricDefinition | ||
720 | ruleExternMetricDefinition returns [EObject current=null] | ||
721 | @init { | ||
722 | enterRule(); | ||
723 | } | ||
724 | @after { | ||
725 | leaveRule(); | ||
726 | }: | ||
727 | ( | ||
728 | otherlv_0=Extern | ||
729 | { | ||
730 | newLeafNode(otherlv_0, grammarAccess.getExternMetricDefinitionAccess().getExternKeyword_0()); | ||
731 | } | ||
732 | ( | ||
733 | ( | ||
734 | { | ||
735 | newCompositeNode(grammarAccess.getExternMetricDefinitionAccess().getTypeMetricTypeEnumRuleCall_1_0()); | ||
736 | } | ||
737 | lv_type_1_0=ruleMetricType | ||
738 | { | ||
739 | if ($current==null) { | ||
740 | $current = createModelElementForParent(grammarAccess.getExternMetricDefinitionRule()); | ||
741 | } | ||
742 | set( | ||
743 | $current, | ||
744 | "type", | ||
745 | lv_type_1_0, | ||
746 | "org.eclipse.viatra.solver.language.SolverLanguage.MetricType"); | ||
747 | afterParserOrEnumRuleCall(); | ||
748 | } | ||
749 | ) | ||
750 | ) | ||
751 | ( | ||
752 | ( | ||
753 | { | ||
754 | newCompositeNode(grammarAccess.getExternMetricDefinitionAccess().getHeadCallParserRuleCall_2_0()); | ||
755 | } | ||
756 | lv_head_2_0=ruleCall | ||
757 | { | ||
758 | if ($current==null) { | ||
759 | $current = createModelElementForParent(grammarAccess.getExternMetricDefinitionRule()); | ||
760 | } | ||
761 | set( | ||
762 | $current, | ||
763 | "head", | ||
764 | lv_head_2_0, | ||
765 | "org.eclipse.viatra.solver.language.SolverLanguage.Call"); | ||
766 | afterParserOrEnumRuleCall(); | ||
767 | } | ||
768 | ) | ||
769 | ) | ||
770 | ) | ||
771 | ; | ||
772 | |||
773 | // Entry rule entryRuleExpression | ||
774 | entryRuleExpression returns [EObject current=null]: | ||
775 | { newCompositeNode(grammarAccess.getExpressionRule()); } | ||
776 | iv_ruleExpression=ruleExpression | ||
777 | { $current=$iv_ruleExpression.current; } | ||
778 | EOF; | ||
779 | |||
780 | // Rule Expression | ||
781 | ruleExpression returns [EObject current=null] | ||
782 | @init { | ||
783 | enterRule(); | ||
784 | } | ||
785 | @after { | ||
786 | leaveRule(); | ||
787 | }: | ||
788 | ( | ||
789 | { | ||
790 | newCompositeNode(grammarAccess.getExpressionAccess().getIfElseParserRuleCall_0()); | ||
791 | } | ||
792 | this_IfElse_0=ruleIfElse | ||
793 | { | ||
794 | $current = $this_IfElse_0.current; | ||
795 | afterParserOrEnumRuleCall(); | ||
796 | } | ||
797 | | | ||
798 | { | ||
799 | newCompositeNode(grammarAccess.getExpressionAccess().getDisjunctiveExpressionParserRuleCall_1()); | ||
800 | } | ||
801 | this_DisjunctiveExpression_1=ruleDisjunctiveExpression | ||
802 | { | ||
803 | $current = $this_DisjunctiveExpression_1.current; | ||
804 | afterParserOrEnumRuleCall(); | ||
805 | } | ||
806 | ) | ||
807 | ; | ||
808 | |||
809 | // Entry rule entryRuleIfElse | ||
810 | entryRuleIfElse returns [EObject current=null]: | ||
811 | { newCompositeNode(grammarAccess.getIfElseRule()); } | ||
812 | iv_ruleIfElse=ruleIfElse | ||
813 | { $current=$iv_ruleIfElse.current; } | ||
814 | EOF; | ||
815 | |||
816 | // Rule IfElse | ||
817 | ruleIfElse returns [EObject current=null] | ||
818 | @init { | ||
819 | enterRule(); | ||
820 | } | ||
821 | @after { | ||
822 | leaveRule(); | ||
823 | }: | ||
824 | ( | ||
825 | otherlv_0=If | ||
826 | { | ||
827 | newLeafNode(otherlv_0, grammarAccess.getIfElseAccess().getIfKeyword_0()); | ||
828 | } | ||
829 | ( | ||
830 | ( | ||
831 | { | ||
832 | newCompositeNode(grammarAccess.getIfElseAccess().getConditionExpressionParserRuleCall_1_0()); | ||
833 | } | ||
834 | lv_condition_1_0=ruleExpression | ||
835 | { | ||
836 | if ($current==null) { | ||
837 | $current = createModelElementForParent(grammarAccess.getIfElseRule()); | ||
838 | } | ||
839 | set( | ||
840 | $current, | ||
841 | "condition", | ||
842 | lv_condition_1_0, | ||
843 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
844 | afterParserOrEnumRuleCall(); | ||
845 | } | ||
846 | ) | ||
847 | ) | ||
848 | otherlv_2=Then | ||
849 | { | ||
850 | newLeafNode(otherlv_2, grammarAccess.getIfElseAccess().getThenKeyword_2()); | ||
851 | } | ||
852 | ( | ||
853 | ( | ||
854 | { | ||
855 | newCompositeNode(grammarAccess.getIfElseAccess().getThenExpressionParserRuleCall_3_0()); | ||
856 | } | ||
857 | lv_then_3_0=ruleExpression | ||
858 | { | ||
859 | if ($current==null) { | ||
860 | $current = createModelElementForParent(grammarAccess.getIfElseRule()); | ||
861 | } | ||
862 | set( | ||
863 | $current, | ||
864 | "then", | ||
865 | lv_then_3_0, | ||
866 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
867 | afterParserOrEnumRuleCall(); | ||
868 | } | ||
869 | ) | ||
870 | ) | ||
871 | otherlv_4=Else | ||
872 | { | ||
873 | newLeafNode(otherlv_4, grammarAccess.getIfElseAccess().getElseKeyword_4()); | ||
874 | } | ||
875 | ( | ||
876 | ( | ||
877 | { | ||
878 | newCompositeNode(grammarAccess.getIfElseAccess().getElseExpressionParserRuleCall_5_0()); | ||
879 | } | ||
880 | lv_else_5_0=ruleExpression | ||
881 | { | ||
882 | if ($current==null) { | ||
883 | $current = createModelElementForParent(grammarAccess.getIfElseRule()); | ||
884 | } | ||
885 | set( | ||
886 | $current, | ||
887 | "else", | ||
888 | lv_else_5_0, | ||
889 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
890 | afterParserOrEnumRuleCall(); | ||
891 | } | ||
892 | ) | ||
893 | ) | ||
894 | ) | ||
895 | ; | ||
896 | |||
897 | // Entry rule entryRuleDisjunctiveExpression | ||
898 | entryRuleDisjunctiveExpression returns [EObject current=null]: | ||
899 | { newCompositeNode(grammarAccess.getDisjunctiveExpressionRule()); } | ||
900 | iv_ruleDisjunctiveExpression=ruleDisjunctiveExpression | ||
901 | { $current=$iv_ruleDisjunctiveExpression.current; } | ||
902 | EOF; | ||
903 | |||
904 | // Rule DisjunctiveExpression | ||
905 | ruleDisjunctiveExpression returns [EObject current=null] | ||
906 | @init { | ||
907 | enterRule(); | ||
908 | } | ||
909 | @after { | ||
910 | leaveRule(); | ||
911 | }: | ||
912 | ( | ||
913 | { | ||
914 | newCompositeNode(grammarAccess.getDisjunctiveExpressionAccess().getConjunctiveExpressionParserRuleCall_0()); | ||
915 | } | ||
916 | this_ConjunctiveExpression_0=ruleConjunctiveExpression | ||
917 | { | ||
918 | $current = $this_ConjunctiveExpression_0.current; | ||
919 | afterParserOrEnumRuleCall(); | ||
920 | } | ||
921 | ( | ||
922 | ( | ||
923 | ( | ||
924 | { | ||
925 | $current = forceCreateModelElementAndAdd( | ||
926 | grammarAccess.getDisjunctiveExpressionAccess().getDisjunctionChildrenAction_1_0_0(), | ||
927 | $current); | ||
928 | } | ||
929 | ) | ||
930 | ( | ||
931 | otherlv_2=Semicolon | ||
932 | { | ||
933 | newLeafNode(otherlv_2, grammarAccess.getDisjunctiveExpressionAccess().getSemicolonKeyword_1_0_1_0()); | ||
934 | } | ||
935 | ( | ||
936 | ( | ||
937 | { | ||
938 | newCompositeNode(grammarAccess.getDisjunctiveExpressionAccess().getChildrenConjunctiveExpressionParserRuleCall_1_0_1_1_0()); | ||
939 | } | ||
940 | lv_children_3_0=ruleConjunctiveExpression | ||
941 | { | ||
942 | if ($current==null) { | ||
943 | $current = createModelElementForParent(grammarAccess.getDisjunctiveExpressionRule()); | ||
944 | } | ||
945 | add( | ||
946 | $current, | ||
947 | "children", | ||
948 | lv_children_3_0, | ||
949 | "org.eclipse.viatra.solver.language.SolverLanguage.ConjunctiveExpression"); | ||
950 | afterParserOrEnumRuleCall(); | ||
951 | } | ||
952 | ) | ||
953 | ) | ||
954 | )+ | ||
955 | ) | ||
956 | | | ||
957 | ( | ||
958 | ( | ||
959 | { | ||
960 | $current = forceCreateModelElementAndSet( | ||
961 | grammarAccess.getDisjunctiveExpressionAccess().getCaseConditionAction_1_1_0(), | ||
962 | $current); | ||
963 | } | ||
964 | ) | ||
965 | otherlv_5=HyphenMinusGreaterThanSign | ||
966 | { | ||
967 | newLeafNode(otherlv_5, grammarAccess.getDisjunctiveExpressionAccess().getHyphenMinusGreaterThanSignKeyword_1_1_1()); | ||
968 | } | ||
969 | ( | ||
970 | ( | ||
971 | { | ||
972 | newCompositeNode(grammarAccess.getDisjunctiveExpressionAccess().getBodyConjunctiveExpressionParserRuleCall_1_1_2_0()); | ||
973 | } | ||
974 | lv_body_6_0=ruleConjunctiveExpression | ||
975 | { | ||
976 | if ($current==null) { | ||
977 | $current = createModelElementForParent(grammarAccess.getDisjunctiveExpressionRule()); | ||
978 | } | ||
979 | set( | ||
980 | $current, | ||
981 | "body", | ||
982 | lv_body_6_0, | ||
983 | "org.eclipse.viatra.solver.language.SolverLanguage.ConjunctiveExpression"); | ||
984 | afterParserOrEnumRuleCall(); | ||
985 | } | ||
986 | ) | ||
987 | ) | ||
988 | ( | ||
989 | { | ||
990 | $current = forceCreateModelElementAndAdd( | ||
991 | grammarAccess.getDisjunctiveExpressionAccess().getSwitchCasesAction_1_1_3(), | ||
992 | $current); | ||
993 | } | ||
994 | ) | ||
995 | ( | ||
996 | otherlv_8=Semicolon | ||
997 | { | ||
998 | newLeafNode(otherlv_8, grammarAccess.getDisjunctiveExpressionAccess().getSemicolonKeyword_1_1_4_0()); | ||
999 | } | ||
1000 | ( | ||
1001 | ( | ||
1002 | { | ||
1003 | newCompositeNode(grammarAccess.getDisjunctiveExpressionAccess().getCasesCaseParserRuleCall_1_1_4_1_0()); | ||
1004 | } | ||
1005 | lv_cases_9_0=ruleCase | ||
1006 | { | ||
1007 | if ($current==null) { | ||
1008 | $current = createModelElementForParent(grammarAccess.getDisjunctiveExpressionRule()); | ||
1009 | } | ||
1010 | add( | ||
1011 | $current, | ||
1012 | "cases", | ||
1013 | lv_cases_9_0, | ||
1014 | "org.eclipse.viatra.solver.language.SolverLanguage.Case"); | ||
1015 | afterParserOrEnumRuleCall(); | ||
1016 | } | ||
1017 | ) | ||
1018 | ) | ||
1019 | )* | ||
1020 | ) | ||
1021 | )? | ||
1022 | ) | ||
1023 | ; | ||
1024 | |||
1025 | // Entry rule entryRuleCase | ||
1026 | entryRuleCase returns [EObject current=null]: | ||
1027 | { newCompositeNode(grammarAccess.getCaseRule()); } | ||
1028 | iv_ruleCase=ruleCase | ||
1029 | { $current=$iv_ruleCase.current; } | ||
1030 | EOF; | ||
1031 | |||
1032 | // Rule Case | ||
1033 | ruleCase returns [EObject current=null] | ||
1034 | @init { | ||
1035 | enterRule(); | ||
1036 | } | ||
1037 | @after { | ||
1038 | leaveRule(); | ||
1039 | }: | ||
1040 | ( | ||
1041 | ( | ||
1042 | ( | ||
1043 | { | ||
1044 | newCompositeNode(grammarAccess.getCaseAccess().getConditionConjunctiveExpressionParserRuleCall_0_0()); | ||
1045 | } | ||
1046 | lv_condition_0_0=ruleConjunctiveExpression | ||
1047 | { | ||
1048 | if ($current==null) { | ||
1049 | $current = createModelElementForParent(grammarAccess.getCaseRule()); | ||
1050 | } | ||
1051 | set( | ||
1052 | $current, | ||
1053 | "condition", | ||
1054 | lv_condition_0_0, | ||
1055 | "org.eclipse.viatra.solver.language.SolverLanguage.ConjunctiveExpression"); | ||
1056 | afterParserOrEnumRuleCall(); | ||
1057 | } | ||
1058 | ) | ||
1059 | ) | ||
1060 | otherlv_1=HyphenMinusGreaterThanSign | ||
1061 | { | ||
1062 | newLeafNode(otherlv_1, grammarAccess.getCaseAccess().getHyphenMinusGreaterThanSignKeyword_1()); | ||
1063 | } | ||
1064 | ( | ||
1065 | ( | ||
1066 | { | ||
1067 | newCompositeNode(grammarAccess.getCaseAccess().getBodyConjunctiveExpressionParserRuleCall_2_0()); | ||
1068 | } | ||
1069 | lv_body_2_0=ruleConjunctiveExpression | ||
1070 | { | ||
1071 | if ($current==null) { | ||
1072 | $current = createModelElementForParent(grammarAccess.getCaseRule()); | ||
1073 | } | ||
1074 | set( | ||
1075 | $current, | ||
1076 | "body", | ||
1077 | lv_body_2_0, | ||
1078 | "org.eclipse.viatra.solver.language.SolverLanguage.ConjunctiveExpression"); | ||
1079 | afterParserOrEnumRuleCall(); | ||
1080 | } | ||
1081 | ) | ||
1082 | ) | ||
1083 | ) | ||
1084 | ; | ||
1085 | |||
1086 | // Entry rule entryRuleConjunctiveExpression | ||
1087 | entryRuleConjunctiveExpression returns [EObject current=null]: | ||
1088 | { newCompositeNode(grammarAccess.getConjunctiveExpressionRule()); } | ||
1089 | iv_ruleConjunctiveExpression=ruleConjunctiveExpression | ||
1090 | { $current=$iv_ruleConjunctiveExpression.current; } | ||
1091 | EOF; | ||
1092 | |||
1093 | // Rule ConjunctiveExpression | ||
1094 | ruleConjunctiveExpression returns [EObject current=null] | ||
1095 | @init { | ||
1096 | enterRule(); | ||
1097 | } | ||
1098 | @after { | ||
1099 | leaveRule(); | ||
1100 | }: | ||
1101 | ( | ||
1102 | { | ||
1103 | newCompositeNode(grammarAccess.getConjunctiveExpressionAccess().getComparisonExpressionParserRuleCall_0()); | ||
1104 | } | ||
1105 | this_ComparisonExpression_0=ruleComparisonExpression | ||
1106 | { | ||
1107 | $current = $this_ComparisonExpression_0.current; | ||
1108 | afterParserOrEnumRuleCall(); | ||
1109 | } | ||
1110 | ( | ||
1111 | ( | ||
1112 | { | ||
1113 | $current = forceCreateModelElementAndAdd( | ||
1114 | grammarAccess.getConjunctiveExpressionAccess().getConjunctionChildrenAction_1_0(), | ||
1115 | $current); | ||
1116 | } | ||
1117 | ) | ||
1118 | ( | ||
1119 | otherlv_2=Comma | ||
1120 | { | ||
1121 | newLeafNode(otherlv_2, grammarAccess.getConjunctiveExpressionAccess().getCommaKeyword_1_1_0()); | ||
1122 | } | ||
1123 | ( | ||
1124 | ( | ||
1125 | { | ||
1126 | newCompositeNode(grammarAccess.getConjunctiveExpressionAccess().getChildrenComparisonExpressionParserRuleCall_1_1_1_0()); | ||
1127 | } | ||
1128 | lv_children_3_0=ruleComparisonExpression | ||
1129 | { | ||
1130 | if ($current==null) { | ||
1131 | $current = createModelElementForParent(grammarAccess.getConjunctiveExpressionRule()); | ||
1132 | } | ||
1133 | add( | ||
1134 | $current, | ||
1135 | "children", | ||
1136 | lv_children_3_0, | ||
1137 | "org.eclipse.viatra.solver.language.SolverLanguage.ComparisonExpression"); | ||
1138 | afterParserOrEnumRuleCall(); | ||
1139 | } | ||
1140 | ) | ||
1141 | ) | ||
1142 | )+ | ||
1143 | )? | ||
1144 | ) | ||
1145 | ; | ||
1146 | |||
1147 | // Entry rule entryRuleComparisonExpression | ||
1148 | entryRuleComparisonExpression returns [EObject current=null]: | ||
1149 | { newCompositeNode(grammarAccess.getComparisonExpressionRule()); } | ||
1150 | iv_ruleComparisonExpression=ruleComparisonExpression | ||
1151 | { $current=$iv_ruleComparisonExpression.current; } | ||
1152 | EOF; | ||
1153 | |||
1154 | // Rule ComparisonExpression | ||
1155 | ruleComparisonExpression returns [EObject current=null] | ||
1156 | @init { | ||
1157 | enterRule(); | ||
1158 | } | ||
1159 | @after { | ||
1160 | leaveRule(); | ||
1161 | }: | ||
1162 | ( | ||
1163 | { | ||
1164 | newCompositeNode(grammarAccess.getComparisonExpressionAccess().getAdditiveExpressionParserRuleCall_0()); | ||
1165 | } | ||
1166 | this_AdditiveExpression_0=ruleAdditiveExpression | ||
1167 | { | ||
1168 | $current = $this_AdditiveExpression_0.current; | ||
1169 | afterParserOrEnumRuleCall(); | ||
1170 | } | ||
1171 | ( | ||
1172 | ( | ||
1173 | { | ||
1174 | $current = forceCreateModelElementAndSet( | ||
1175 | grammarAccess.getComparisonExpressionAccess().getComparisonLeftAction_1_0(), | ||
1176 | $current); | ||
1177 | } | ||
1178 | ) | ||
1179 | ( | ||
1180 | ( | ||
1181 | { | ||
1182 | newCompositeNode(grammarAccess.getComparisonExpressionAccess().getOpComparisonOperatorEnumRuleCall_1_1_0()); | ||
1183 | } | ||
1184 | lv_op_2_0=ruleComparisonOperator | ||
1185 | { | ||
1186 | if ($current==null) { | ||
1187 | $current = createModelElementForParent(grammarAccess.getComparisonExpressionRule()); | ||
1188 | } | ||
1189 | set( | ||
1190 | $current, | ||
1191 | "op", | ||
1192 | lv_op_2_0, | ||
1193 | "org.eclipse.viatra.solver.language.SolverLanguage.ComparisonOperator"); | ||
1194 | afterParserOrEnumRuleCall(); | ||
1195 | } | ||
1196 | ) | ||
1197 | ) | ||
1198 | ( | ||
1199 | ( | ||
1200 | { | ||
1201 | newCompositeNode(grammarAccess.getComparisonExpressionAccess().getRightAdditiveExpressionParserRuleCall_1_2_0()); | ||
1202 | } | ||
1203 | lv_right_3_0=ruleAdditiveExpression | ||
1204 | { | ||
1205 | if ($current==null) { | ||
1206 | $current = createModelElementForParent(grammarAccess.getComparisonExpressionRule()); | ||
1207 | } | ||
1208 | set( | ||
1209 | $current, | ||
1210 | "right", | ||
1211 | lv_right_3_0, | ||
1212 | "org.eclipse.viatra.solver.language.SolverLanguage.AdditiveExpression"); | ||
1213 | afterParserOrEnumRuleCall(); | ||
1214 | } | ||
1215 | ) | ||
1216 | ) | ||
1217 | )? | ||
1218 | ) | ||
1219 | ; | ||
1220 | |||
1221 | // Entry rule entryRuleAdditiveExpression | ||
1222 | entryRuleAdditiveExpression returns [EObject current=null]: | ||
1223 | { newCompositeNode(grammarAccess.getAdditiveExpressionRule()); } | ||
1224 | iv_ruleAdditiveExpression=ruleAdditiveExpression | ||
1225 | { $current=$iv_ruleAdditiveExpression.current; } | ||
1226 | EOF; | ||
1227 | |||
1228 | // Rule AdditiveExpression | ||
1229 | ruleAdditiveExpression returns [EObject current=null] | ||
1230 | @init { | ||
1231 | enterRule(); | ||
1232 | } | ||
1233 | @after { | ||
1234 | leaveRule(); | ||
1235 | }: | ||
1236 | ( | ||
1237 | { | ||
1238 | newCompositeNode(grammarAccess.getAdditiveExpressionAccess().getMultiplicativeExpressionParserRuleCall_0()); | ||
1239 | } | ||
1240 | this_MultiplicativeExpression_0=ruleMultiplicativeExpression | ||
1241 | { | ||
1242 | $current = $this_MultiplicativeExpression_0.current; | ||
1243 | afterParserOrEnumRuleCall(); | ||
1244 | } | ||
1245 | ( | ||
1246 | ( | ||
1247 | { | ||
1248 | $current = forceCreateModelElementAndSet( | ||
1249 | grammarAccess.getAdditiveExpressionAccess().getBinaryExpressionLeftAction_1_0(), | ||
1250 | $current); | ||
1251 | } | ||
1252 | ) | ||
1253 | ( | ||
1254 | ( | ||
1255 | { | ||
1256 | newCompositeNode(grammarAccess.getAdditiveExpressionAccess().getOpAdditiveBinaryOperatorEnumRuleCall_1_1_0()); | ||
1257 | } | ||
1258 | lv_op_2_0=ruleAdditiveBinaryOperator | ||
1259 | { | ||
1260 | if ($current==null) { | ||
1261 | $current = createModelElementForParent(grammarAccess.getAdditiveExpressionRule()); | ||
1262 | } | ||
1263 | set( | ||
1264 | $current, | ||
1265 | "op", | ||
1266 | lv_op_2_0, | ||
1267 | "org.eclipse.viatra.solver.language.SolverLanguage.AdditiveBinaryOperator"); | ||
1268 | afterParserOrEnumRuleCall(); | ||
1269 | } | ||
1270 | ) | ||
1271 | ) | ||
1272 | ( | ||
1273 | ( | ||
1274 | { | ||
1275 | newCompositeNode(grammarAccess.getAdditiveExpressionAccess().getRightMultiplicativeExpressionParserRuleCall_1_2_0()); | ||
1276 | } | ||
1277 | lv_right_3_0=ruleMultiplicativeExpression | ||
1278 | { | ||
1279 | if ($current==null) { | ||
1280 | $current = createModelElementForParent(grammarAccess.getAdditiveExpressionRule()); | ||
1281 | } | ||
1282 | set( | ||
1283 | $current, | ||
1284 | "right", | ||
1285 | lv_right_3_0, | ||
1286 | "org.eclipse.viatra.solver.language.SolverLanguage.MultiplicativeExpression"); | ||
1287 | afterParserOrEnumRuleCall(); | ||
1288 | } | ||
1289 | ) | ||
1290 | ) | ||
1291 | )* | ||
1292 | ) | ||
1293 | ; | ||
1294 | |||
1295 | // Entry rule entryRuleMultiplicativeExpression | ||
1296 | entryRuleMultiplicativeExpression returns [EObject current=null]: | ||
1297 | { newCompositeNode(grammarAccess.getMultiplicativeExpressionRule()); } | ||
1298 | iv_ruleMultiplicativeExpression=ruleMultiplicativeExpression | ||
1299 | { $current=$iv_ruleMultiplicativeExpression.current; } | ||
1300 | EOF; | ||
1301 | |||
1302 | // Rule MultiplicativeExpression | ||
1303 | ruleMultiplicativeExpression returns [EObject current=null] | ||
1304 | @init { | ||
1305 | enterRule(); | ||
1306 | } | ||
1307 | @after { | ||
1308 | leaveRule(); | ||
1309 | }: | ||
1310 | ( | ||
1311 | { | ||
1312 | newCompositeNode(grammarAccess.getMultiplicativeExpressionAccess().getExponentialExpressionParserRuleCall_0()); | ||
1313 | } | ||
1314 | this_ExponentialExpression_0=ruleExponentialExpression | ||
1315 | { | ||
1316 | $current = $this_ExponentialExpression_0.current; | ||
1317 | afterParserOrEnumRuleCall(); | ||
1318 | } | ||
1319 | ( | ||
1320 | ( | ||
1321 | { | ||
1322 | $current = forceCreateModelElementAndSet( | ||
1323 | grammarAccess.getMultiplicativeExpressionAccess().getBinaryExpressionLeftAction_1_0(), | ||
1324 | $current); | ||
1325 | } | ||
1326 | ) | ||
1327 | ( | ||
1328 | ( | ||
1329 | { | ||
1330 | newCompositeNode(grammarAccess.getMultiplicativeExpressionAccess().getOpMultiplicativeBinaryOperatorEnumRuleCall_1_1_0()); | ||
1331 | } | ||
1332 | lv_op_2_0=ruleMultiplicativeBinaryOperator | ||
1333 | { | ||
1334 | if ($current==null) { | ||
1335 | $current = createModelElementForParent(grammarAccess.getMultiplicativeExpressionRule()); | ||
1336 | } | ||
1337 | set( | ||
1338 | $current, | ||
1339 | "op", | ||
1340 | lv_op_2_0, | ||
1341 | "org.eclipse.viatra.solver.language.SolverLanguage.MultiplicativeBinaryOperator"); | ||
1342 | afterParserOrEnumRuleCall(); | ||
1343 | } | ||
1344 | ) | ||
1345 | ) | ||
1346 | ( | ||
1347 | ( | ||
1348 | { | ||
1349 | newCompositeNode(grammarAccess.getMultiplicativeExpressionAccess().getRightExponentialExpressionParserRuleCall_1_2_0()); | ||
1350 | } | ||
1351 | lv_right_3_0=ruleExponentialExpression | ||
1352 | { | ||
1353 | if ($current==null) { | ||
1354 | $current = createModelElementForParent(grammarAccess.getMultiplicativeExpressionRule()); | ||
1355 | } | ||
1356 | set( | ||
1357 | $current, | ||
1358 | "right", | ||
1359 | lv_right_3_0, | ||
1360 | "org.eclipse.viatra.solver.language.SolverLanguage.ExponentialExpression"); | ||
1361 | afterParserOrEnumRuleCall(); | ||
1362 | } | ||
1363 | ) | ||
1364 | ) | ||
1365 | )* | ||
1366 | ) | ||
1367 | ; | ||
1368 | |||
1369 | // Entry rule entryRuleExponentialExpression | ||
1370 | entryRuleExponentialExpression returns [EObject current=null]: | ||
1371 | { newCompositeNode(grammarAccess.getExponentialExpressionRule()); } | ||
1372 | iv_ruleExponentialExpression=ruleExponentialExpression | ||
1373 | { $current=$iv_ruleExponentialExpression.current; } | ||
1374 | EOF; | ||
1375 | |||
1376 | // Rule ExponentialExpression | ||
1377 | ruleExponentialExpression returns [EObject current=null] | ||
1378 | @init { | ||
1379 | enterRule(); | ||
1380 | } | ||
1381 | @after { | ||
1382 | leaveRule(); | ||
1383 | }: | ||
1384 | ( | ||
1385 | { | ||
1386 | newCompositeNode(grammarAccess.getExponentialExpressionAccess().getUnaryExpressionParserRuleCall_0()); | ||
1387 | } | ||
1388 | this_UnaryExpression_0=ruleUnaryExpression | ||
1389 | { | ||
1390 | $current = $this_UnaryExpression_0.current; | ||
1391 | afterParserOrEnumRuleCall(); | ||
1392 | } | ||
1393 | ( | ||
1394 | ( | ||
1395 | { | ||
1396 | $current = forceCreateModelElementAndSet( | ||
1397 | grammarAccess.getExponentialExpressionAccess().getBinaryExpressionLeftAction_1_0(), | ||
1398 | $current); | ||
1399 | } | ||
1400 | ) | ||
1401 | ( | ||
1402 | ( | ||
1403 | { | ||
1404 | newCompositeNode(grammarAccess.getExponentialExpressionAccess().getOpExponentialOpEnumRuleCall_1_1_0()); | ||
1405 | } | ||
1406 | lv_op_2_0=ruleExponentialOp | ||
1407 | { | ||
1408 | if ($current==null) { | ||
1409 | $current = createModelElementForParent(grammarAccess.getExponentialExpressionRule()); | ||
1410 | } | ||
1411 | set( | ||
1412 | $current, | ||
1413 | "op", | ||
1414 | lv_op_2_0, | ||
1415 | "org.eclipse.viatra.solver.language.SolverLanguage.ExponentialOp"); | ||
1416 | afterParserOrEnumRuleCall(); | ||
1417 | } | ||
1418 | ) | ||
1419 | ) | ||
1420 | ( | ||
1421 | ( | ||
1422 | { | ||
1423 | newCompositeNode(grammarAccess.getExponentialExpressionAccess().getRightExponentialExpressionParserRuleCall_1_2_0()); | ||
1424 | } | ||
1425 | lv_right_3_0=ruleExponentialExpression | ||
1426 | { | ||
1427 | if ($current==null) { | ||
1428 | $current = createModelElementForParent(grammarAccess.getExponentialExpressionRule()); | ||
1429 | } | ||
1430 | set( | ||
1431 | $current, | ||
1432 | "right", | ||
1433 | lv_right_3_0, | ||
1434 | "org.eclipse.viatra.solver.language.SolverLanguage.ExponentialExpression"); | ||
1435 | afterParserOrEnumRuleCall(); | ||
1436 | } | ||
1437 | ) | ||
1438 | ) | ||
1439 | )? | ||
1440 | ) | ||
1441 | ; | ||
1442 | |||
1443 | // Entry rule entryRuleUnaryExpression | ||
1444 | entryRuleUnaryExpression returns [EObject current=null]: | ||
1445 | { newCompositeNode(grammarAccess.getUnaryExpressionRule()); } | ||
1446 | iv_ruleUnaryExpression=ruleUnaryExpression | ||
1447 | { $current=$iv_ruleUnaryExpression.current; } | ||
1448 | EOF; | ||
1449 | |||
1450 | // Rule UnaryExpression | ||
1451 | ruleUnaryExpression returns [EObject current=null] | ||
1452 | @init { | ||
1453 | enterRule(); | ||
1454 | } | ||
1455 | @after { | ||
1456 | leaveRule(); | ||
1457 | }: | ||
1458 | ( | ||
1459 | { | ||
1460 | newCompositeNode(grammarAccess.getUnaryExpressionAccess().getAggregationExpressionParserRuleCall_0()); | ||
1461 | } | ||
1462 | this_AggregationExpression_0=ruleAggregationExpression | ||
1463 | { | ||
1464 | $current = $this_AggregationExpression_0.current; | ||
1465 | afterParserOrEnumRuleCall(); | ||
1466 | } | ||
1467 | | | ||
1468 | ( | ||
1469 | ( | ||
1470 | { | ||
1471 | $current = forceCreateModelElement( | ||
1472 | grammarAccess.getUnaryExpressionAccess().getUnaryExpressionAction_1_0(), | ||
1473 | $current); | ||
1474 | } | ||
1475 | ) | ||
1476 | ( | ||
1477 | ( | ||
1478 | { | ||
1479 | newCompositeNode(grammarAccess.getUnaryExpressionAccess().getOpUnaryOpEnumRuleCall_1_1_0()); | ||
1480 | } | ||
1481 | lv_op_2_0=ruleUnaryOp | ||
1482 | { | ||
1483 | if ($current==null) { | ||
1484 | $current = createModelElementForParent(grammarAccess.getUnaryExpressionRule()); | ||
1485 | } | ||
1486 | set( | ||
1487 | $current, | ||
1488 | "op", | ||
1489 | lv_op_2_0, | ||
1490 | "org.eclipse.viatra.solver.language.SolverLanguage.UnaryOp"); | ||
1491 | afterParserOrEnumRuleCall(); | ||
1492 | } | ||
1493 | ) | ||
1494 | ) | ||
1495 | ( | ||
1496 | ( | ||
1497 | { | ||
1498 | newCompositeNode(grammarAccess.getUnaryExpressionAccess().getBodyAggregationExpressionParserRuleCall_1_2_0()); | ||
1499 | } | ||
1500 | lv_body_3_0=ruleAggregationExpression | ||
1501 | { | ||
1502 | if ($current==null) { | ||
1503 | $current = createModelElementForParent(grammarAccess.getUnaryExpressionRule()); | ||
1504 | } | ||
1505 | set( | ||
1506 | $current, | ||
1507 | "body", | ||
1508 | lv_body_3_0, | ||
1509 | "org.eclipse.viatra.solver.language.SolverLanguage.AggregationExpression"); | ||
1510 | afterParserOrEnumRuleCall(); | ||
1511 | } | ||
1512 | ) | ||
1513 | ) | ||
1514 | ) | ||
1515 | ) | ||
1516 | ; | ||
1517 | |||
1518 | // Entry rule entryRuleAggregationExpression | ||
1519 | entryRuleAggregationExpression returns [EObject current=null]: | ||
1520 | { newCompositeNode(grammarAccess.getAggregationExpressionRule()); } | ||
1521 | iv_ruleAggregationExpression=ruleAggregationExpression | ||
1522 | { $current=$iv_ruleAggregationExpression.current; } | ||
1523 | EOF; | ||
1524 | |||
1525 | // Rule AggregationExpression | ||
1526 | ruleAggregationExpression returns [EObject current=null] | ||
1527 | @init { | ||
1528 | enterRule(); | ||
1529 | } | ||
1530 | @after { | ||
1531 | leaveRule(); | ||
1532 | }: | ||
1533 | ( | ||
1534 | { | ||
1535 | newCompositeNode(grammarAccess.getAggregationExpressionAccess().getAtomicExpressionParserRuleCall_0()); | ||
1536 | } | ||
1537 | this_AtomicExpression_0=ruleAtomicExpression | ||
1538 | { | ||
1539 | $current = $this_AtomicExpression_0.current; | ||
1540 | afterParserOrEnumRuleCall(); | ||
1541 | } | ||
1542 | | | ||
1543 | { | ||
1544 | newCompositeNode(grammarAccess.getAggregationExpressionAccess().getCountParserRuleCall_1()); | ||
1545 | } | ||
1546 | this_Count_1=ruleCount | ||
1547 | { | ||
1548 | $current = $this_Count_1.current; | ||
1549 | afterParserOrEnumRuleCall(); | ||
1550 | } | ||
1551 | | | ||
1552 | { | ||
1553 | newCompositeNode(grammarAccess.getAggregationExpressionAccess().getAggregationParserRuleCall_2()); | ||
1554 | } | ||
1555 | this_Aggregation_2=ruleAggregation | ||
1556 | { | ||
1557 | $current = $this_Aggregation_2.current; | ||
1558 | afterParserOrEnumRuleCall(); | ||
1559 | } | ||
1560 | ) | ||
1561 | ; | ||
1562 | |||
1563 | // Entry rule entryRuleCount | ||
1564 | entryRuleCount returns [EObject current=null]: | ||
1565 | { newCompositeNode(grammarAccess.getCountRule()); } | ||
1566 | iv_ruleCount=ruleCount | ||
1567 | { $current=$iv_ruleCount.current; } | ||
1568 | EOF; | ||
1569 | |||
1570 | // Rule Count | ||
1571 | ruleCount returns [EObject current=null] | ||
1572 | @init { | ||
1573 | enterRule(); | ||
1574 | } | ||
1575 | @after { | ||
1576 | leaveRule(); | ||
1577 | }: | ||
1578 | ( | ||
1579 | otherlv_0=Count | ||
1580 | { | ||
1581 | newLeafNode(otherlv_0, grammarAccess.getCountAccess().getCountKeyword_0()); | ||
1582 | } | ||
1583 | otherlv_1=LeftCurlyBracket | ||
1584 | { | ||
1585 | newLeafNode(otherlv_1, grammarAccess.getCountAccess().getLeftCurlyBracketKeyword_1()); | ||
1586 | } | ||
1587 | ( | ||
1588 | ( | ||
1589 | { | ||
1590 | newCompositeNode(grammarAccess.getCountAccess().getBodyExpressionParserRuleCall_2_0()); | ||
1591 | } | ||
1592 | lv_body_2_0=ruleExpression | ||
1593 | { | ||
1594 | if ($current==null) { | ||
1595 | $current = createModelElementForParent(grammarAccess.getCountRule()); | ||
1596 | } | ||
1597 | set( | ||
1598 | $current, | ||
1599 | "body", | ||
1600 | lv_body_2_0, | ||
1601 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
1602 | afterParserOrEnumRuleCall(); | ||
1603 | } | ||
1604 | ) | ||
1605 | ) | ||
1606 | otherlv_3=RightCurlyBracket | ||
1607 | { | ||
1608 | newLeafNode(otherlv_3, grammarAccess.getCountAccess().getRightCurlyBracketKeyword_3()); | ||
1609 | } | ||
1610 | ) | ||
1611 | ; | ||
1612 | |||
1613 | // Entry rule entryRuleAggregation | ||
1614 | entryRuleAggregation returns [EObject current=null]: | ||
1615 | { newCompositeNode(grammarAccess.getAggregationRule()); } | ||
1616 | iv_ruleAggregation=ruleAggregation | ||
1617 | { $current=$iv_ruleAggregation.current; } | ||
1618 | EOF; | ||
1619 | |||
1620 | // Rule Aggregation | ||
1621 | ruleAggregation returns [EObject current=null] | ||
1622 | @init { | ||
1623 | enterRule(); | ||
1624 | } | ||
1625 | @after { | ||
1626 | leaveRule(); | ||
1627 | }: | ||
1628 | ( | ||
1629 | ( | ||
1630 | ( | ||
1631 | { | ||
1632 | newCompositeNode(grammarAccess.getAggregationAccess().getOpAggregationOpEnumRuleCall_0_0()); | ||
1633 | } | ||
1634 | lv_op_0_0=ruleAggregationOp | ||
1635 | { | ||
1636 | if ($current==null) { | ||
1637 | $current = createModelElementForParent(grammarAccess.getAggregationRule()); | ||
1638 | } | ||
1639 | set( | ||
1640 | $current, | ||
1641 | "op", | ||
1642 | lv_op_0_0, | ||
1643 | "org.eclipse.viatra.solver.language.SolverLanguage.AggregationOp"); | ||
1644 | afterParserOrEnumRuleCall(); | ||
1645 | } | ||
1646 | ) | ||
1647 | ) | ||
1648 | otherlv_1=LeftCurlyBracket | ||
1649 | { | ||
1650 | newLeafNode(otherlv_1, grammarAccess.getAggregationAccess().getLeftCurlyBracketKeyword_1()); | ||
1651 | } | ||
1652 | ( | ||
1653 | ( | ||
1654 | { | ||
1655 | newCompositeNode(grammarAccess.getAggregationAccess().getBodyExpressionParserRuleCall_2_0()); | ||
1656 | } | ||
1657 | lv_body_2_0=ruleExpression | ||
1658 | { | ||
1659 | if ($current==null) { | ||
1660 | $current = createModelElementForParent(grammarAccess.getAggregationRule()); | ||
1661 | } | ||
1662 | set( | ||
1663 | $current, | ||
1664 | "body", | ||
1665 | lv_body_2_0, | ||
1666 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
1667 | afterParserOrEnumRuleCall(); | ||
1668 | } | ||
1669 | ) | ||
1670 | ) | ||
1671 | otherlv_3=VerticalLine | ||
1672 | { | ||
1673 | newLeafNode(otherlv_3, grammarAccess.getAggregationAccess().getVerticalLineKeyword_3()); | ||
1674 | } | ||
1675 | ( | ||
1676 | ( | ||
1677 | { | ||
1678 | newCompositeNode(grammarAccess.getAggregationAccess().getConditionExpressionParserRuleCall_4_0()); | ||
1679 | } | ||
1680 | lv_condition_4_0=ruleExpression | ||
1681 | { | ||
1682 | if ($current==null) { | ||
1683 | $current = createModelElementForParent(grammarAccess.getAggregationRule()); | ||
1684 | } | ||
1685 | set( | ||
1686 | $current, | ||
1687 | "condition", | ||
1688 | lv_condition_4_0, | ||
1689 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
1690 | afterParserOrEnumRuleCall(); | ||
1691 | } | ||
1692 | ) | ||
1693 | ) | ||
1694 | otherlv_5=RightCurlyBracket | ||
1695 | { | ||
1696 | newLeafNode(otherlv_5, grammarAccess.getAggregationAccess().getRightCurlyBracketKeyword_5()); | ||
1697 | } | ||
1698 | ) | ||
1699 | ; | ||
1700 | |||
1701 | // Entry rule entryRuleAtomicExpression | ||
1702 | entryRuleAtomicExpression returns [EObject current=null]: | ||
1703 | { newCompositeNode(grammarAccess.getAtomicExpressionRule()); } | ||
1704 | iv_ruleAtomicExpression=ruleAtomicExpression | ||
1705 | { $current=$iv_ruleAtomicExpression.current; } | ||
1706 | EOF; | ||
1707 | |||
1708 | // Rule AtomicExpression | ||
1709 | ruleAtomicExpression returns [EObject current=null] | ||
1710 | @init { | ||
1711 | enterRule(); | ||
1712 | } | ||
1713 | @after { | ||
1714 | leaveRule(); | ||
1715 | }: | ||
1716 | ( | ||
1717 | { | ||
1718 | newCompositeNode(grammarAccess.getAtomicExpressionAccess().getReferenceParserRuleCall_0()); | ||
1719 | } | ||
1720 | this_Reference_0=ruleReference | ||
1721 | { | ||
1722 | $current = $this_Reference_0.current; | ||
1723 | afterParserOrEnumRuleCall(); | ||
1724 | } | ||
1725 | | | ||
1726 | { | ||
1727 | newCompositeNode(grammarAccess.getAtomicExpressionAccess().getCallParserRuleCall_1()); | ||
1728 | } | ||
1729 | this_Call_1=ruleCall | ||
1730 | { | ||
1731 | $current = $this_Call_1.current; | ||
1732 | afterParserOrEnumRuleCall(); | ||
1733 | } | ||
1734 | | | ||
1735 | { | ||
1736 | newCompositeNode(grammarAccess.getAtomicExpressionAccess().getIntervalParserRuleCall_2()); | ||
1737 | } | ||
1738 | this_Interval_2=ruleInterval | ||
1739 | { | ||
1740 | $current = $this_Interval_2.current; | ||
1741 | afterParserOrEnumRuleCall(); | ||
1742 | } | ||
1743 | | | ||
1744 | { | ||
1745 | newCompositeNode(grammarAccess.getAtomicExpressionAccess().getLiteralParserRuleCall_3()); | ||
1746 | } | ||
1747 | this_Literal_3=ruleLiteral | ||
1748 | { | ||
1749 | $current = $this_Literal_3.current; | ||
1750 | afterParserOrEnumRuleCall(); | ||
1751 | } | ||
1752 | | | ||
1753 | ( | ||
1754 | otherlv_4=LeftParenthesis | ||
1755 | { | ||
1756 | newLeafNode(otherlv_4, grammarAccess.getAtomicExpressionAccess().getLeftParenthesisKeyword_4_0()); | ||
1757 | } | ||
1758 | { | ||
1759 | newCompositeNode(grammarAccess.getAtomicExpressionAccess().getExpressionParserRuleCall_4_1()); | ||
1760 | } | ||
1761 | this_Expression_5=ruleExpression | ||
1762 | { | ||
1763 | $current = $this_Expression_5.current; | ||
1764 | afterParserOrEnumRuleCall(); | ||
1765 | } | ||
1766 | otherlv_6=RightParenthesis | ||
1767 | { | ||
1768 | newLeafNode(otherlv_6, grammarAccess.getAtomicExpressionAccess().getRightParenthesisKeyword_4_2()); | ||
1769 | } | ||
1770 | ) | ||
1771 | ) | ||
1772 | ; | ||
1773 | |||
1774 | // Entry rule entryRuleCall | ||
1775 | entryRuleCall returns [EObject current=null]: | ||
1776 | { newCompositeNode(grammarAccess.getCallRule()); } | ||
1777 | iv_ruleCall=ruleCall | ||
1778 | { $current=$iv_ruleCall.current; } | ||
1779 | EOF; | ||
1780 | |||
1781 | // Rule Call | ||
1782 | ruleCall returns [EObject current=null] | ||
1783 | @init { | ||
1784 | enterRule(); | ||
1785 | } | ||
1786 | @after { | ||
1787 | leaveRule(); | ||
1788 | }: | ||
1789 | ( | ||
1790 | ( | ||
1791 | ( | ||
1792 | { | ||
1793 | newCompositeNode(grammarAccess.getCallAccess().getFunctorReferenceParserRuleCall_0_0()); | ||
1794 | } | ||
1795 | lv_functor_0_0=ruleReference | ||
1796 | { | ||
1797 | if ($current==null) { | ||
1798 | $current = createModelElementForParent(grammarAccess.getCallRule()); | ||
1799 | } | ||
1800 | set( | ||
1801 | $current, | ||
1802 | "functor", | ||
1803 | lv_functor_0_0, | ||
1804 | "org.eclipse.viatra.solver.language.SolverLanguage.Reference"); | ||
1805 | afterParserOrEnumRuleCall(); | ||
1806 | } | ||
1807 | ) | ||
1808 | ) | ||
1809 | ( | ||
1810 | ( | ||
1811 | ( | ||
1812 | lv_transitiveClosure_1_0=RULE_TRANSITIVE_CLOSURE | ||
1813 | { | ||
1814 | newLeafNode(lv_transitiveClosure_1_0, grammarAccess.getCallAccess().getTransitiveClosureTRANSITIVE_CLOSURETerminalRuleCall_1_0_0()); | ||
1815 | } | ||
1816 | { | ||
1817 | if ($current==null) { | ||
1818 | $current = createModelElement(grammarAccess.getCallRule()); | ||
1819 | } | ||
1820 | setWithLastConsumed( | ||
1821 | $current, | ||
1822 | "transitiveClosure", | ||
1823 | true, | ||
1824 | "org.eclipse.viatra.solver.language.SolverLanguage.TRANSITIVE_CLOSURE"); | ||
1825 | } | ||
1826 | ) | ||
1827 | ) | ||
1828 | | | ||
1829 | ( | ||
1830 | ( | ||
1831 | lv_reflexiveTransitiveClosure_2_0=RULE_REFLEXIVE_TRANSITIVE_CLOSURE | ||
1832 | { | ||
1833 | newLeafNode(lv_reflexiveTransitiveClosure_2_0, grammarAccess.getCallAccess().getReflexiveTransitiveClosureREFLEXIVE_TRANSITIVE_CLOSURETerminalRuleCall_1_1_0()); | ||
1834 | } | ||
1835 | { | ||
1836 | if ($current==null) { | ||
1837 | $current = createModelElement(grammarAccess.getCallRule()); | ||
1838 | } | ||
1839 | setWithLastConsumed( | ||
1840 | $current, | ||
1841 | "reflexiveTransitiveClosure", | ||
1842 | true, | ||
1843 | "org.eclipse.viatra.solver.language.SolverLanguage.REFLEXIVE_TRANSITIVE_CLOSURE"); | ||
1844 | } | ||
1845 | ) | ||
1846 | ) | ||
1847 | )? | ||
1848 | ( | ||
1849 | ( | ||
1850 | { | ||
1851 | newCompositeNode(grammarAccess.getCallAccess().getArgumentListArgumentListParserRuleCall_2_0()); | ||
1852 | } | ||
1853 | lv_argumentList_3_0=ruleArgumentList | ||
1854 | { | ||
1855 | if ($current==null) { | ||
1856 | $current = createModelElementForParent(grammarAccess.getCallRule()); | ||
1857 | } | ||
1858 | set( | ||
1859 | $current, | ||
1860 | "argumentList", | ||
1861 | lv_argumentList_3_0, | ||
1862 | "org.eclipse.viatra.solver.language.SolverLanguage.ArgumentList"); | ||
1863 | afterParserOrEnumRuleCall(); | ||
1864 | } | ||
1865 | ) | ||
1866 | ) | ||
1867 | ) | ||
1868 | ; | ||
1869 | |||
1870 | // Entry rule entryRuleArgumentList | ||
1871 | entryRuleArgumentList returns [EObject current=null]: | ||
1872 | { newCompositeNode(grammarAccess.getArgumentListRule()); } | ||
1873 | iv_ruleArgumentList=ruleArgumentList | ||
1874 | { $current=$iv_ruleArgumentList.current; } | ||
1875 | EOF; | ||
1876 | |||
1877 | // Rule ArgumentList | ||
1878 | ruleArgumentList returns [EObject current=null] | ||
1879 | @init { | ||
1880 | enterRule(); | ||
1881 | } | ||
1882 | @after { | ||
1883 | leaveRule(); | ||
1884 | }: | ||
1885 | ( | ||
1886 | ( | ||
1887 | { | ||
1888 | $current = forceCreateModelElement( | ||
1889 | grammarAccess.getArgumentListAccess().getArgumentListAction_0(), | ||
1890 | $current); | ||
1891 | } | ||
1892 | ) | ||
1893 | otherlv_1=LeftParenthesis | ||
1894 | { | ||
1895 | newLeafNode(otherlv_1, grammarAccess.getArgumentListAccess().getLeftParenthesisKeyword_1()); | ||
1896 | } | ||
1897 | ( | ||
1898 | ( | ||
1899 | ( | ||
1900 | { | ||
1901 | newCompositeNode(grammarAccess.getArgumentListAccess().getArgumentsArgumentParserRuleCall_2_0_0()); | ||
1902 | } | ||
1903 | lv_arguments_2_0=ruleArgument | ||
1904 | { | ||
1905 | if ($current==null) { | ||
1906 | $current = createModelElementForParent(grammarAccess.getArgumentListRule()); | ||
1907 | } | ||
1908 | add( | ||
1909 | $current, | ||
1910 | "arguments", | ||
1911 | lv_arguments_2_0, | ||
1912 | "org.eclipse.viatra.solver.language.SolverLanguage.Argument"); | ||
1913 | afterParserOrEnumRuleCall(); | ||
1914 | } | ||
1915 | ) | ||
1916 | ) | ||
1917 | ( | ||
1918 | otherlv_3=Comma | ||
1919 | { | ||
1920 | newLeafNode(otherlv_3, grammarAccess.getArgumentListAccess().getCommaKeyword_2_1_0()); | ||
1921 | } | ||
1922 | ( | ||
1923 | ( | ||
1924 | { | ||
1925 | newCompositeNode(grammarAccess.getArgumentListAccess().getArgumentsArgumentParserRuleCall_2_1_1_0()); | ||
1926 | } | ||
1927 | lv_arguments_4_0=ruleArgument | ||
1928 | { | ||
1929 | if ($current==null) { | ||
1930 | $current = createModelElementForParent(grammarAccess.getArgumentListRule()); | ||
1931 | } | ||
1932 | add( | ||
1933 | $current, | ||
1934 | "arguments", | ||
1935 | lv_arguments_4_0, | ||
1936 | "org.eclipse.viatra.solver.language.SolverLanguage.Argument"); | ||
1937 | afterParserOrEnumRuleCall(); | ||
1938 | } | ||
1939 | ) | ||
1940 | ) | ||
1941 | )* | ||
1942 | )? | ||
1943 | otherlv_5=RightParenthesis | ||
1944 | { | ||
1945 | newLeafNode(otherlv_5, grammarAccess.getArgumentListAccess().getRightParenthesisKeyword_3()); | ||
1946 | } | ||
1947 | ) | ||
1948 | ; | ||
1949 | |||
1950 | // Entry rule entryRuleArgument | ||
1951 | entryRuleArgument returns [EObject current=null]: | ||
1952 | { newCompositeNode(grammarAccess.getArgumentRule()); } | ||
1953 | iv_ruleArgument=ruleArgument | ||
1954 | { $current=$iv_ruleArgument.current; } | ||
1955 | EOF; | ||
1956 | |||
1957 | // Rule Argument | ||
1958 | ruleArgument returns [EObject current=null] | ||
1959 | @init { | ||
1960 | enterRule(); | ||
1961 | } | ||
1962 | @after { | ||
1963 | leaveRule(); | ||
1964 | }: | ||
1965 | ( | ||
1966 | { | ||
1967 | newCompositeNode(grammarAccess.getArgumentAccess().getExpressionArgumentParserRuleCall_0()); | ||
1968 | } | ||
1969 | this_ExpressionArgument_0=ruleExpressionArgument | ||
1970 | { | ||
1971 | $current = $this_ExpressionArgument_0.current; | ||
1972 | afterParserOrEnumRuleCall(); | ||
1973 | } | ||
1974 | | | ||
1975 | { | ||
1976 | newCompositeNode(grammarAccess.getArgumentAccess().getStarArgumentParserRuleCall_1()); | ||
1977 | } | ||
1978 | this_StarArgument_1=ruleStarArgument | ||
1979 | { | ||
1980 | $current = $this_StarArgument_1.current; | ||
1981 | afterParserOrEnumRuleCall(); | ||
1982 | } | ||
1983 | | | ||
1984 | { | ||
1985 | newCompositeNode(grammarAccess.getArgumentAccess().getTypedArgumentParserRuleCall_2()); | ||
1986 | } | ||
1987 | this_TypedArgument_2=ruleTypedArgument | ||
1988 | { | ||
1989 | $current = $this_TypedArgument_2.current; | ||
1990 | afterParserOrEnumRuleCall(); | ||
1991 | } | ||
1992 | | | ||
1993 | { | ||
1994 | newCompositeNode(grammarAccess.getArgumentAccess().getTypedStarArgumentParserRuleCall_3()); | ||
1995 | } | ||
1996 | this_TypedStarArgument_3=ruleTypedStarArgument | ||
1997 | { | ||
1998 | $current = $this_TypedStarArgument_3.current; | ||
1999 | afterParserOrEnumRuleCall(); | ||
2000 | } | ||
2001 | ) | ||
2002 | ; | ||
2003 | |||
2004 | // Entry rule entryRuleExpressionArgument | ||
2005 | entryRuleExpressionArgument returns [EObject current=null]: | ||
2006 | { newCompositeNode(grammarAccess.getExpressionArgumentRule()); } | ||
2007 | iv_ruleExpressionArgument=ruleExpressionArgument | ||
2008 | { $current=$iv_ruleExpressionArgument.current; } | ||
2009 | EOF; | ||
2010 | |||
2011 | // Rule ExpressionArgument | ||
2012 | ruleExpressionArgument returns [EObject current=null] | ||
2013 | @init { | ||
2014 | enterRule(); | ||
2015 | } | ||
2016 | @after { | ||
2017 | leaveRule(); | ||
2018 | }: | ||
2019 | ( | ||
2020 | ( | ||
2021 | { | ||
2022 | newCompositeNode(grammarAccess.getExpressionArgumentAccess().getBodyComparisonExpressionParserRuleCall_0()); | ||
2023 | } | ||
2024 | lv_body_0_0=ruleComparisonExpression | ||
2025 | { | ||
2026 | if ($current==null) { | ||
2027 | $current = createModelElementForParent(grammarAccess.getExpressionArgumentRule()); | ||
2028 | } | ||
2029 | set( | ||
2030 | $current, | ||
2031 | "body", | ||
2032 | lv_body_0_0, | ||
2033 | "org.eclipse.viatra.solver.language.SolverLanguage.ComparisonExpression"); | ||
2034 | afterParserOrEnumRuleCall(); | ||
2035 | } | ||
2036 | ) | ||
2037 | ) | ||
2038 | ; | ||
2039 | |||
2040 | // Entry rule entryRuleStarArgument | ||
2041 | entryRuleStarArgument returns [EObject current=null]: | ||
2042 | { newCompositeNode(grammarAccess.getStarArgumentRule()); } | ||
2043 | iv_ruleStarArgument=ruleStarArgument | ||
2044 | { $current=$iv_ruleStarArgument.current; } | ||
2045 | EOF; | ||
2046 | |||
2047 | // Rule StarArgument | ||
2048 | ruleStarArgument returns [EObject current=null] | ||
2049 | @init { | ||
2050 | enterRule(); | ||
2051 | } | ||
2052 | @after { | ||
2053 | leaveRule(); | ||
2054 | }: | ||
2055 | ( | ||
2056 | ( | ||
2057 | { | ||
2058 | $current = forceCreateModelElement( | ||
2059 | grammarAccess.getStarArgumentAccess().getStarArgumentAction_0(), | ||
2060 | $current); | ||
2061 | } | ||
2062 | ) | ||
2063 | otherlv_1=Asterisk | ||
2064 | { | ||
2065 | newLeafNode(otherlv_1, grammarAccess.getStarArgumentAccess().getAsteriskKeyword_1()); | ||
2066 | } | ||
2067 | ) | ||
2068 | ; | ||
2069 | |||
2070 | // Entry rule entryRuleTypedArgument | ||
2071 | entryRuleTypedArgument returns [EObject current=null]: | ||
2072 | { newCompositeNode(grammarAccess.getTypedArgumentRule()); } | ||
2073 | iv_ruleTypedArgument=ruleTypedArgument | ||
2074 | { $current=$iv_ruleTypedArgument.current; } | ||
2075 | EOF; | ||
2076 | |||
2077 | // Rule TypedArgument | ||
2078 | ruleTypedArgument returns [EObject current=null] | ||
2079 | @init { | ||
2080 | enterRule(); | ||
2081 | } | ||
2082 | @after { | ||
2083 | leaveRule(); | ||
2084 | }: | ||
2085 | ( | ||
2086 | ( | ||
2087 | ( | ||
2088 | { | ||
2089 | if ($current==null) { | ||
2090 | $current = createModelElement(grammarAccess.getTypedArgumentRule()); | ||
2091 | } | ||
2092 | } | ||
2093 | { | ||
2094 | newCompositeNode(grammarAccess.getTypedArgumentAccess().getTypeNamedElementCrossReference_0_0()); | ||
2095 | } | ||
2096 | ruleQualifiedName | ||
2097 | { | ||
2098 | afterParserOrEnumRuleCall(); | ||
2099 | } | ||
2100 | ) | ||
2101 | ) | ||
2102 | ( | ||
2103 | ( | ||
2104 | { | ||
2105 | if ($current==null) { | ||
2106 | $current = createModelElement(grammarAccess.getTypedArgumentRule()); | ||
2107 | } | ||
2108 | } | ||
2109 | { | ||
2110 | newCompositeNode(grammarAccess.getTypedArgumentAccess().getVariableNamedElementCrossReference_1_0()); | ||
2111 | } | ||
2112 | ruleQualifiedName | ||
2113 | { | ||
2114 | afterParserOrEnumRuleCall(); | ||
2115 | } | ||
2116 | ) | ||
2117 | ) | ||
2118 | ) | ||
2119 | ; | ||
2120 | |||
2121 | // Entry rule entryRuleTypedStarArgument | ||
2122 | entryRuleTypedStarArgument returns [EObject current=null]: | ||
2123 | { newCompositeNode(grammarAccess.getTypedStarArgumentRule()); } | ||
2124 | iv_ruleTypedStarArgument=ruleTypedStarArgument | ||
2125 | { $current=$iv_ruleTypedStarArgument.current; } | ||
2126 | EOF; | ||
2127 | |||
2128 | // Rule TypedStarArgument | ||
2129 | ruleTypedStarArgument returns [EObject current=null] | ||
2130 | @init { | ||
2131 | enterRule(); | ||
2132 | } | ||
2133 | @after { | ||
2134 | leaveRule(); | ||
2135 | }: | ||
2136 | ( | ||
2137 | ( | ||
2138 | ( | ||
2139 | { | ||
2140 | if ($current==null) { | ||
2141 | $current = createModelElement(grammarAccess.getTypedStarArgumentRule()); | ||
2142 | } | ||
2143 | } | ||
2144 | { | ||
2145 | newCompositeNode(grammarAccess.getTypedStarArgumentAccess().getTypeNamedElementCrossReference_0_0()); | ||
2146 | } | ||
2147 | ruleQualifiedName | ||
2148 | { | ||
2149 | afterParserOrEnumRuleCall(); | ||
2150 | } | ||
2151 | ) | ||
2152 | ) | ||
2153 | otherlv_1=Asterisk | ||
2154 | { | ||
2155 | newLeafNode(otherlv_1, grammarAccess.getTypedStarArgumentAccess().getAsteriskKeyword_1()); | ||
2156 | } | ||
2157 | ) | ||
2158 | ; | ||
2159 | |||
2160 | // Entry rule entryRuleReference | ||
2161 | entryRuleReference returns [EObject current=null]: | ||
2162 | { newCompositeNode(grammarAccess.getReferenceRule()); } | ||
2163 | iv_ruleReference=ruleReference | ||
2164 | { $current=$iv_ruleReference.current; } | ||
2165 | EOF; | ||
2166 | |||
2167 | // Rule Reference | ||
2168 | ruleReference returns [EObject current=null] | ||
2169 | @init { | ||
2170 | enterRule(); | ||
2171 | } | ||
2172 | @after { | ||
2173 | leaveRule(); | ||
2174 | }: | ||
2175 | ( | ||
2176 | ( | ||
2177 | { | ||
2178 | if ($current==null) { | ||
2179 | $current = createModelElement(grammarAccess.getReferenceRule()); | ||
2180 | } | ||
2181 | } | ||
2182 | { | ||
2183 | newCompositeNode(grammarAccess.getReferenceAccess().getReferredNamedElementCrossReference_0()); | ||
2184 | } | ||
2185 | ruleQualifiedName | ||
2186 | { | ||
2187 | afterParserOrEnumRuleCall(); | ||
2188 | } | ||
2189 | ) | ||
2190 | ) | ||
2191 | ; | ||
2192 | |||
2193 | // Entry rule entryRuleInterval | ||
2194 | entryRuleInterval returns [EObject current=null]: | ||
2195 | { newCompositeNode(grammarAccess.getIntervalRule()); } | ||
2196 | iv_ruleInterval=ruleInterval | ||
2197 | { $current=$iv_ruleInterval.current; } | ||
2198 | EOF; | ||
2199 | |||
2200 | // Rule Interval | ||
2201 | ruleInterval returns [EObject current=null] | ||
2202 | @init { | ||
2203 | enterRule(); | ||
2204 | } | ||
2205 | @after { | ||
2206 | leaveRule(); | ||
2207 | }: | ||
2208 | ( | ||
2209 | otherlv_0=LeftSquareBracket | ||
2210 | { | ||
2211 | newLeafNode(otherlv_0, grammarAccess.getIntervalAccess().getLeftSquareBracketKeyword_0()); | ||
2212 | } | ||
2213 | ( | ||
2214 | ( | ||
2215 | { | ||
2216 | newCompositeNode(grammarAccess.getIntervalAccess().getLowerBoundExpressionParserRuleCall_1_0()); | ||
2217 | } | ||
2218 | lv_lowerBound_1_0=ruleExpression | ||
2219 | { | ||
2220 | if ($current==null) { | ||
2221 | $current = createModelElementForParent(grammarAccess.getIntervalRule()); | ||
2222 | } | ||
2223 | set( | ||
2224 | $current, | ||
2225 | "lowerBound", | ||
2226 | lv_lowerBound_1_0, | ||
2227 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
2228 | afterParserOrEnumRuleCall(); | ||
2229 | } | ||
2230 | ) | ||
2231 | ) | ||
2232 | otherlv_2=FullStopFullStop | ||
2233 | { | ||
2234 | newLeafNode(otherlv_2, grammarAccess.getIntervalAccess().getFullStopFullStopKeyword_2()); | ||
2235 | } | ||
2236 | ( | ||
2237 | ( | ||
2238 | { | ||
2239 | newCompositeNode(grammarAccess.getIntervalAccess().getUpperBoundExpressionParserRuleCall_3_0()); | ||
2240 | } | ||
2241 | lv_upperBound_3_0=ruleExpression | ||
2242 | { | ||
2243 | if ($current==null) { | ||
2244 | $current = createModelElementForParent(grammarAccess.getIntervalRule()); | ||
2245 | } | ||
2246 | set( | ||
2247 | $current, | ||
2248 | "upperBound", | ||
2249 | lv_upperBound_3_0, | ||
2250 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
2251 | afterParserOrEnumRuleCall(); | ||
2252 | } | ||
2253 | ) | ||
2254 | ) | ||
2255 | otherlv_4=RightSquareBracket | ||
2256 | { | ||
2257 | newLeafNode(otherlv_4, grammarAccess.getIntervalAccess().getRightSquareBracketKeyword_4()); | ||
2258 | } | ||
2259 | ) | ||
2260 | ; | ||
2261 | |||
2262 | // Entry rule entryRuleLiteral | ||
2263 | entryRuleLiteral returns [EObject current=null]: | ||
2264 | { newCompositeNode(grammarAccess.getLiteralRule()); } | ||
2265 | iv_ruleLiteral=ruleLiteral | ||
2266 | { $current=$iv_ruleLiteral.current; } | ||
2267 | EOF; | ||
2268 | |||
2269 | // Rule Literal | ||
2270 | ruleLiteral returns [EObject current=null] | ||
2271 | @init { | ||
2272 | enterRule(); | ||
2273 | } | ||
2274 | @after { | ||
2275 | leaveRule(); | ||
2276 | }: | ||
2277 | ( | ||
2278 | { | ||
2279 | newCompositeNode(grammarAccess.getLiteralAccess().getLogicLiteralParserRuleCall_0()); | ||
2280 | } | ||
2281 | this_LogicLiteral_0=ruleLogicLiteral | ||
2282 | { | ||
2283 | $current = $this_LogicLiteral_0.current; | ||
2284 | afterParserOrEnumRuleCall(); | ||
2285 | } | ||
2286 | | | ||
2287 | { | ||
2288 | newCompositeNode(grammarAccess.getLiteralAccess().getNumericLiteralParserRuleCall_1()); | ||
2289 | } | ||
2290 | this_NumericLiteral_1=ruleNumericLiteral | ||
2291 | { | ||
2292 | $current = $this_NumericLiteral_1.current; | ||
2293 | afterParserOrEnumRuleCall(); | ||
2294 | } | ||
2295 | | | ||
2296 | { | ||
2297 | newCompositeNode(grammarAccess.getLiteralAccess().getInfinityLiteralParserRuleCall_2()); | ||
2298 | } | ||
2299 | this_InfinityLiteral_2=ruleInfinityLiteral | ||
2300 | { | ||
2301 | $current = $this_InfinityLiteral_2.current; | ||
2302 | afterParserOrEnumRuleCall(); | ||
2303 | } | ||
2304 | | | ||
2305 | { | ||
2306 | newCompositeNode(grammarAccess.getLiteralAccess().getEmptyIntervalLiteralParserRuleCall_3()); | ||
2307 | } | ||
2308 | this_EmptyIntervalLiteral_3=ruleEmptyIntervalLiteral | ||
2309 | { | ||
2310 | $current = $this_EmptyIntervalLiteral_3.current; | ||
2311 | afterParserOrEnumRuleCall(); | ||
2312 | } | ||
2313 | | | ||
2314 | { | ||
2315 | newCompositeNode(grammarAccess.getLiteralAccess().getStringLiteralParserRuleCall_4()); | ||
2316 | } | ||
2317 | this_StringLiteral_4=ruleStringLiteral | ||
2318 | { | ||
2319 | $current = $this_StringLiteral_4.current; | ||
2320 | afterParserOrEnumRuleCall(); | ||
2321 | } | ||
2322 | ) | ||
2323 | ; | ||
2324 | |||
2325 | // Entry rule entryRuleLogicLiteral | ||
2326 | entryRuleLogicLiteral returns [EObject current=null]: | ||
2327 | { newCompositeNode(grammarAccess.getLogicLiteralRule()); } | ||
2328 | iv_ruleLogicLiteral=ruleLogicLiteral | ||
2329 | { $current=$iv_ruleLogicLiteral.current; } | ||
2330 | EOF; | ||
2331 | |||
2332 | // Rule LogicLiteral | ||
2333 | ruleLogicLiteral returns [EObject current=null] | ||
2334 | @init { | ||
2335 | enterRule(); | ||
2336 | } | ||
2337 | @after { | ||
2338 | leaveRule(); | ||
2339 | }: | ||
2340 | ( | ||
2341 | ( | ||
2342 | { | ||
2343 | newCompositeNode(grammarAccess.getLogicLiteralAccess().getValueLogicValueEnumRuleCall_0()); | ||
2344 | } | ||
2345 | lv_value_0_0=ruleLogicValue | ||
2346 | { | ||
2347 | if ($current==null) { | ||
2348 | $current = createModelElementForParent(grammarAccess.getLogicLiteralRule()); | ||
2349 | } | ||
2350 | set( | ||
2351 | $current, | ||
2352 | "value", | ||
2353 | lv_value_0_0, | ||
2354 | "org.eclipse.viatra.solver.language.SolverLanguage.LogicValue"); | ||
2355 | afterParserOrEnumRuleCall(); | ||
2356 | } | ||
2357 | ) | ||
2358 | ) | ||
2359 | ; | ||
2360 | |||
2361 | // Entry rule entryRuleNumericLiteral | ||
2362 | entryRuleNumericLiteral returns [EObject current=null]: | ||
2363 | { newCompositeNode(grammarAccess.getNumericLiteralRule()); } | ||
2364 | iv_ruleNumericLiteral=ruleNumericLiteral | ||
2365 | { $current=$iv_ruleNumericLiteral.current; } | ||
2366 | EOF; | ||
2367 | |||
2368 | // Rule NumericLiteral | ||
2369 | ruleNumericLiteral returns [EObject current=null] | ||
2370 | @init { | ||
2371 | enterRule(); | ||
2372 | } | ||
2373 | @after { | ||
2374 | leaveRule(); | ||
2375 | }: | ||
2376 | ( | ||
2377 | ( | ||
2378 | { | ||
2379 | newCompositeNode(grammarAccess.getNumericLiteralAccess().getValueRealParserRuleCall_0()); | ||
2380 | } | ||
2381 | lv_value_0_0=ruleReal | ||
2382 | { | ||
2383 | if ($current==null) { | ||
2384 | $current = createModelElementForParent(grammarAccess.getNumericLiteralRule()); | ||
2385 | } | ||
2386 | set( | ||
2387 | $current, | ||
2388 | "value", | ||
2389 | lv_value_0_0, | ||
2390 | "org.eclipse.viatra.solver.language.SolverLanguage.Real"); | ||
2391 | afterParserOrEnumRuleCall(); | ||
2392 | } | ||
2393 | ) | ||
2394 | ) | ||
2395 | ; | ||
2396 | |||
2397 | // Entry rule entryRuleInfinityLiteral | ||
2398 | entryRuleInfinityLiteral returns [EObject current=null]: | ||
2399 | { newCompositeNode(grammarAccess.getInfinityLiteralRule()); } | ||
2400 | iv_ruleInfinityLiteral=ruleInfinityLiteral | ||
2401 | { $current=$iv_ruleInfinityLiteral.current; } | ||
2402 | EOF; | ||
2403 | |||
2404 | // Rule InfinityLiteral | ||
2405 | ruleInfinityLiteral returns [EObject current=null] | ||
2406 | @init { | ||
2407 | enterRule(); | ||
2408 | } | ||
2409 | @after { | ||
2410 | leaveRule(); | ||
2411 | }: | ||
2412 | ( | ||
2413 | ( | ||
2414 | { | ||
2415 | $current = forceCreateModelElement( | ||
2416 | grammarAccess.getInfinityLiteralAccess().getInfinityLiteralAction_0(), | ||
2417 | $current); | ||
2418 | } | ||
2419 | ) | ||
2420 | otherlv_1=Inf | ||
2421 | { | ||
2422 | newLeafNode(otherlv_1, grammarAccess.getInfinityLiteralAccess().getInfKeyword_1()); | ||
2423 | } | ||
2424 | ) | ||
2425 | ; | ||
2426 | |||
2427 | // Entry rule entryRuleEmptyIntervalLiteral | ||
2428 | entryRuleEmptyIntervalLiteral returns [EObject current=null]: | ||
2429 | { newCompositeNode(grammarAccess.getEmptyIntervalLiteralRule()); } | ||
2430 | iv_ruleEmptyIntervalLiteral=ruleEmptyIntervalLiteral | ||
2431 | { $current=$iv_ruleEmptyIntervalLiteral.current; } | ||
2432 | EOF; | ||
2433 | |||
2434 | // Rule EmptyIntervalLiteral | ||
2435 | ruleEmptyIntervalLiteral returns [EObject current=null] | ||
2436 | @init { | ||
2437 | enterRule(); | ||
2438 | } | ||
2439 | @after { | ||
2440 | leaveRule(); | ||
2441 | }: | ||
2442 | ( | ||
2443 | ( | ||
2444 | { | ||
2445 | $current = forceCreateModelElement( | ||
2446 | grammarAccess.getEmptyIntervalLiteralAccess().getEmptyIntervalLiteralAction_0(), | ||
2447 | $current); | ||
2448 | } | ||
2449 | ) | ||
2450 | otherlv_1=Empty | ||
2451 | { | ||
2452 | newLeafNode(otherlv_1, grammarAccess.getEmptyIntervalLiteralAccess().getEmptyKeyword_1()); | ||
2453 | } | ||
2454 | ) | ||
2455 | ; | ||
2456 | |||
2457 | // Entry rule entryRuleStringLiteral | ||
2458 | entryRuleStringLiteral returns [EObject current=null]: | ||
2459 | { newCompositeNode(grammarAccess.getStringLiteralRule()); } | ||
2460 | iv_ruleStringLiteral=ruleStringLiteral | ||
2461 | { $current=$iv_ruleStringLiteral.current; } | ||
2462 | EOF; | ||
2463 | |||
2464 | // Rule StringLiteral | ||
2465 | ruleStringLiteral returns [EObject current=null] | ||
2466 | @init { | ||
2467 | enterRule(); | ||
2468 | } | ||
2469 | @after { | ||
2470 | leaveRule(); | ||
2471 | }: | ||
2472 | ( | ||
2473 | ( | ||
2474 | lv_value_0_0=RULE_STRING | ||
2475 | { | ||
2476 | newLeafNode(lv_value_0_0, grammarAccess.getStringLiteralAccess().getValueSTRINGTerminalRuleCall_0()); | ||
2477 | } | ||
2478 | { | ||
2479 | if ($current==null) { | ||
2480 | $current = createModelElement(grammarAccess.getStringLiteralRule()); | ||
2481 | } | ||
2482 | setWithLastConsumed( | ||
2483 | $current, | ||
2484 | "value", | ||
2485 | lv_value_0_0, | ||
2486 | "org.eclipse.viatra.solver.language.SolverLanguage.STRING"); | ||
2487 | } | ||
2488 | ) | ||
2489 | ) | ||
2490 | ; | ||
2491 | |||
2492 | // Entry rule entryRuleClassDefinition | ||
2493 | entryRuleClassDefinition returns [EObject current=null]: | ||
2494 | { newCompositeNode(grammarAccess.getClassDefinitionRule()); } | ||
2495 | iv_ruleClassDefinition=ruleClassDefinition | ||
2496 | { $current=$iv_ruleClassDefinition.current; } | ||
2497 | EOF; | ||
2498 | |||
2499 | // Rule ClassDefinition | ||
2500 | ruleClassDefinition returns [EObject current=null] | ||
2501 | @init { | ||
2502 | enterRule(); | ||
2503 | } | ||
2504 | @after { | ||
2505 | leaveRule(); | ||
2506 | }: | ||
2507 | ( | ||
2508 | ( | ||
2509 | ( | ||
2510 | lv_abstract_0_0=Abstract | ||
2511 | { | ||
2512 | newLeafNode(lv_abstract_0_0, grammarAccess.getClassDefinitionAccess().getAbstractAbstractKeyword_0_0()); | ||
2513 | } | ||
2514 | { | ||
2515 | if ($current==null) { | ||
2516 | $current = createModelElement(grammarAccess.getClassDefinitionRule()); | ||
2517 | } | ||
2518 | setWithLastConsumed($current, "abstract", true, "abstract"); | ||
2519 | } | ||
2520 | ) | ||
2521 | )? | ||
2522 | otherlv_1=Class | ||
2523 | { | ||
2524 | newLeafNode(otherlv_1, grammarAccess.getClassDefinitionAccess().getClassKeyword_1()); | ||
2525 | } | ||
2526 | ( | ||
2527 | ( | ||
2528 | lv_name_2_0=RULE_ID | ||
2529 | { | ||
2530 | newLeafNode(lv_name_2_0, grammarAccess.getClassDefinitionAccess().getNameIDTerminalRuleCall_2_0()); | ||
2531 | } | ||
2532 | { | ||
2533 | if ($current==null) { | ||
2534 | $current = createModelElement(grammarAccess.getClassDefinitionRule()); | ||
2535 | } | ||
2536 | setWithLastConsumed( | ||
2537 | $current, | ||
2538 | "name", | ||
2539 | lv_name_2_0, | ||
2540 | "org.eclipse.xtext.common.Terminals.ID"); | ||
2541 | } | ||
2542 | ) | ||
2543 | ) | ||
2544 | ( | ||
2545 | otherlv_3=Extends | ||
2546 | { | ||
2547 | newLeafNode(otherlv_3, grammarAccess.getClassDefinitionAccess().getExtendsKeyword_3_0()); | ||
2548 | } | ||
2549 | ( | ||
2550 | ( | ||
2551 | { | ||
2552 | if ($current==null) { | ||
2553 | $current = createModelElement(grammarAccess.getClassDefinitionRule()); | ||
2554 | } | ||
2555 | } | ||
2556 | { | ||
2557 | newCompositeNode(grammarAccess.getClassDefinitionAccess().getSuperclassesNamedElementCrossReference_3_1_0()); | ||
2558 | } | ||
2559 | ruleQualifiedName | ||
2560 | { | ||
2561 | afterParserOrEnumRuleCall(); | ||
2562 | } | ||
2563 | ) | ||
2564 | ) | ||
2565 | ( | ||
2566 | otherlv_5=Comma | ||
2567 | { | ||
2568 | newLeafNode(otherlv_5, grammarAccess.getClassDefinitionAccess().getCommaKeyword_3_2_0()); | ||
2569 | } | ||
2570 | ( | ||
2571 | ( | ||
2572 | { | ||
2573 | if ($current==null) { | ||
2574 | $current = createModelElement(grammarAccess.getClassDefinitionRule()); | ||
2575 | } | ||
2576 | } | ||
2577 | { | ||
2578 | newCompositeNode(grammarAccess.getClassDefinitionAccess().getSuperclassesNamedElementCrossReference_3_2_1_0()); | ||
2579 | } | ||
2580 | ruleQualifiedName | ||
2581 | { | ||
2582 | afterParserOrEnumRuleCall(); | ||
2583 | } | ||
2584 | ) | ||
2585 | ) | ||
2586 | )* | ||
2587 | )? | ||
2588 | otherlv_7=LeftCurlyBracket | ||
2589 | { | ||
2590 | newLeafNode(otherlv_7, grammarAccess.getClassDefinitionAccess().getLeftCurlyBracketKeyword_4()); | ||
2591 | } | ||
2592 | ( | ||
2593 | ( | ||
2594 | { | ||
2595 | newCompositeNode(grammarAccess.getClassDefinitionAccess().getMembersMemberDefinitionParserRuleCall_5_0()); | ||
2596 | } | ||
2597 | lv_members_8_0=ruleMemberDefinition | ||
2598 | { | ||
2599 | if ($current==null) { | ||
2600 | $current = createModelElementForParent(grammarAccess.getClassDefinitionRule()); | ||
2601 | } | ||
2602 | add( | ||
2603 | $current, | ||
2604 | "members", | ||
2605 | lv_members_8_0, | ||
2606 | "org.eclipse.viatra.solver.language.SolverLanguage.MemberDefinition"); | ||
2607 | afterParserOrEnumRuleCall(); | ||
2608 | } | ||
2609 | ) | ||
2610 | )* | ||
2611 | otherlv_9=RightCurlyBracket | ||
2612 | { | ||
2613 | newLeafNode(otherlv_9, grammarAccess.getClassDefinitionAccess().getRightCurlyBracketKeyword_6()); | ||
2614 | } | ||
2615 | ) | ||
2616 | ; | ||
2617 | |||
2618 | // Entry rule entryRuleMemberDefinition | ||
2619 | entryRuleMemberDefinition returns [EObject current=null]: | ||
2620 | { newCompositeNode(grammarAccess.getMemberDefinitionRule()); } | ||
2621 | iv_ruleMemberDefinition=ruleMemberDefinition | ||
2622 | { $current=$iv_ruleMemberDefinition.current; } | ||
2623 | EOF; | ||
2624 | |||
2625 | // Rule MemberDefinition | ||
2626 | ruleMemberDefinition returns [EObject current=null] | ||
2627 | @init { | ||
2628 | enterRule(); | ||
2629 | } | ||
2630 | @after { | ||
2631 | leaveRule(); | ||
2632 | }: | ||
2633 | ( | ||
2634 | ( | ||
2635 | ( | ||
2636 | lv_containment_0_0=Contains | ||
2637 | { | ||
2638 | newLeafNode(lv_containment_0_0, grammarAccess.getMemberDefinitionAccess().getContainmentContainsKeyword_0_0()); | ||
2639 | } | ||
2640 | { | ||
2641 | if ($current==null) { | ||
2642 | $current = createModelElement(grammarAccess.getMemberDefinitionRule()); | ||
2643 | } | ||
2644 | setWithLastConsumed($current, "containment", true, "contains"); | ||
2645 | } | ||
2646 | ) | ||
2647 | )? | ||
2648 | ( | ||
2649 | ( | ||
2650 | { | ||
2651 | if ($current==null) { | ||
2652 | $current = createModelElement(grammarAccess.getMemberDefinitionRule()); | ||
2653 | } | ||
2654 | } | ||
2655 | { | ||
2656 | newCompositeNode(grammarAccess.getMemberDefinitionAccess().getTypeNamedElementCrossReference_1_0()); | ||
2657 | } | ||
2658 | ruleQualifiedName | ||
2659 | { | ||
2660 | afterParserOrEnumRuleCall(); | ||
2661 | } | ||
2662 | ) | ||
2663 | ) | ||
2664 | ( | ||
2665 | ( | ||
2666 | { | ||
2667 | newCompositeNode(grammarAccess.getMemberDefinitionAccess().getMultiplicityMultiplicityParserRuleCall_2_0()); | ||
2668 | } | ||
2669 | lv_multiplicity_2_0=ruleMultiplicity | ||
2670 | { | ||
2671 | if ($current==null) { | ||
2672 | $current = createModelElementForParent(grammarAccess.getMemberDefinitionRule()); | ||
2673 | } | ||
2674 | set( | ||
2675 | $current, | ||
2676 | "multiplicity", | ||
2677 | lv_multiplicity_2_0, | ||
2678 | "org.eclipse.viatra.solver.language.SolverLanguage.Multiplicity"); | ||
2679 | afterParserOrEnumRuleCall(); | ||
2680 | } | ||
2681 | ) | ||
2682 | )? | ||
2683 | ( | ||
2684 | ( | ||
2685 | lv_name_3_0=RULE_ID | ||
2686 | { | ||
2687 | newLeafNode(lv_name_3_0, grammarAccess.getMemberDefinitionAccess().getNameIDTerminalRuleCall_3_0()); | ||
2688 | } | ||
2689 | { | ||
2690 | if ($current==null) { | ||
2691 | $current = createModelElement(grammarAccess.getMemberDefinitionRule()); | ||
2692 | } | ||
2693 | setWithLastConsumed( | ||
2694 | $current, | ||
2695 | "name", | ||
2696 | lv_name_3_0, | ||
2697 | "org.eclipse.xtext.common.Terminals.ID"); | ||
2698 | } | ||
2699 | ) | ||
2700 | ) | ||
2701 | ( | ||
2702 | otherlv_4=Opposite | ||
2703 | { | ||
2704 | newLeafNode(otherlv_4, grammarAccess.getMemberDefinitionAccess().getOppositeKeyword_4_0()); | ||
2705 | } | ||
2706 | ( | ||
2707 | ( | ||
2708 | { | ||
2709 | if ($current==null) { | ||
2710 | $current = createModelElement(grammarAccess.getMemberDefinitionRule()); | ||
2711 | } | ||
2712 | } | ||
2713 | { | ||
2714 | newCompositeNode(grammarAccess.getMemberDefinitionAccess().getOppositeNamedElementCrossReference_4_1_0()); | ||
2715 | } | ||
2716 | ruleQualifiedName | ||
2717 | { | ||
2718 | afterParserOrEnumRuleCall(); | ||
2719 | } | ||
2720 | ) | ||
2721 | ) | ||
2722 | )? | ||
2723 | ( | ||
2724 | otherlv_6=Semicolon | ||
2725 | { | ||
2726 | newLeafNode(otherlv_6, grammarAccess.getMemberDefinitionAccess().getSemicolonKeyword_5()); | ||
2727 | } | ||
2728 | )? | ||
2729 | ) | ||
2730 | ; | ||
2731 | |||
2732 | // Entry rule entryRuleMultiplicity | ||
2733 | entryRuleMultiplicity returns [EObject current=null]: | ||
2734 | { newCompositeNode(grammarAccess.getMultiplicityRule()); } | ||
2735 | iv_ruleMultiplicity=ruleMultiplicity | ||
2736 | { $current=$iv_ruleMultiplicity.current; } | ||
2737 | EOF; | ||
2738 | |||
2739 | // Rule Multiplicity | ||
2740 | ruleMultiplicity returns [EObject current=null] | ||
2741 | @init { | ||
2742 | enterRule(); | ||
2743 | } | ||
2744 | @after { | ||
2745 | leaveRule(); | ||
2746 | }: | ||
2747 | ( | ||
2748 | { | ||
2749 | newCompositeNode(grammarAccess.getMultiplicityAccess().getManyMultiplicityParserRuleCall_0()); | ||
2750 | } | ||
2751 | this_ManyMultiplicity_0=ruleManyMultiplicity | ||
2752 | { | ||
2753 | $current = $this_ManyMultiplicity_0.current; | ||
2754 | afterParserOrEnumRuleCall(); | ||
2755 | } | ||
2756 | | | ||
2757 | { | ||
2758 | newCompositeNode(grammarAccess.getMultiplicityAccess().getExactMultiplicityParserRuleCall_1()); | ||
2759 | } | ||
2760 | this_ExactMultiplicity_1=ruleExactMultiplicity | ||
2761 | { | ||
2762 | $current = $this_ExactMultiplicity_1.current; | ||
2763 | afterParserOrEnumRuleCall(); | ||
2764 | } | ||
2765 | | | ||
2766 | { | ||
2767 | newCompositeNode(grammarAccess.getMultiplicityAccess().getBoundedMultiplicityParserRuleCall_2()); | ||
2768 | } | ||
2769 | this_BoundedMultiplicity_2=ruleBoundedMultiplicity | ||
2770 | { | ||
2771 | $current = $this_BoundedMultiplicity_2.current; | ||
2772 | afterParserOrEnumRuleCall(); | ||
2773 | } | ||
2774 | ) | ||
2775 | ; | ||
2776 | |||
2777 | // Entry rule entryRuleManyMultiplicity | ||
2778 | entryRuleManyMultiplicity returns [EObject current=null]: | ||
2779 | { newCompositeNode(grammarAccess.getManyMultiplicityRule()); } | ||
2780 | iv_ruleManyMultiplicity=ruleManyMultiplicity | ||
2781 | { $current=$iv_ruleManyMultiplicity.current; } | ||
2782 | EOF; | ||
2783 | |||
2784 | // Rule ManyMultiplicity | ||
2785 | ruleManyMultiplicity returns [EObject current=null] | ||
2786 | @init { | ||
2787 | enterRule(); | ||
2788 | } | ||
2789 | @after { | ||
2790 | leaveRule(); | ||
2791 | }: | ||
2792 | ( | ||
2793 | ( | ||
2794 | { | ||
2795 | $current = forceCreateModelElement( | ||
2796 | grammarAccess.getManyMultiplicityAccess().getManyMultiplicityAction_0(), | ||
2797 | $current); | ||
2798 | } | ||
2799 | ) | ||
2800 | otherlv_1=LeftSquareBracket | ||
2801 | { | ||
2802 | newLeafNode(otherlv_1, grammarAccess.getManyMultiplicityAccess().getLeftSquareBracketKeyword_1()); | ||
2803 | } | ||
2804 | otherlv_2=RightSquareBracket | ||
2805 | { | ||
2806 | newLeafNode(otherlv_2, grammarAccess.getManyMultiplicityAccess().getRightSquareBracketKeyword_2()); | ||
2807 | } | ||
2808 | ) | ||
2809 | ; | ||
2810 | |||
2811 | // Entry rule entryRuleExactMultiplicity | ||
2812 | entryRuleExactMultiplicity returns [EObject current=null]: | ||
2813 | { newCompositeNode(grammarAccess.getExactMultiplicityRule()); } | ||
2814 | iv_ruleExactMultiplicity=ruleExactMultiplicity | ||
2815 | { $current=$iv_ruleExactMultiplicity.current; } | ||
2816 | EOF; | ||
2817 | |||
2818 | // Rule ExactMultiplicity | ||
2819 | ruleExactMultiplicity returns [EObject current=null] | ||
2820 | @init { | ||
2821 | enterRule(); | ||
2822 | } | ||
2823 | @after { | ||
2824 | leaveRule(); | ||
2825 | }: | ||
2826 | ( | ||
2827 | otherlv_0=LeftSquareBracket | ||
2828 | { | ||
2829 | newLeafNode(otherlv_0, grammarAccess.getExactMultiplicityAccess().getLeftSquareBracketKeyword_0()); | ||
2830 | } | ||
2831 | ( | ||
2832 | ( | ||
2833 | { | ||
2834 | newCompositeNode(grammarAccess.getExactMultiplicityAccess().getMultiplicityUpperMultiplictyParserRuleCall_1_0()); | ||
2835 | } | ||
2836 | lv_multiplicity_1_0=ruleUpperMultiplicty | ||
2837 | { | ||
2838 | if ($current==null) { | ||
2839 | $current = createModelElementForParent(grammarAccess.getExactMultiplicityRule()); | ||
2840 | } | ||
2841 | set( | ||
2842 | $current, | ||
2843 | "multiplicity", | ||
2844 | lv_multiplicity_1_0, | ||
2845 | "org.eclipse.viatra.solver.language.SolverLanguage.UpperMultiplicty"); | ||
2846 | afterParserOrEnumRuleCall(); | ||
2847 | } | ||
2848 | ) | ||
2849 | ) | ||
2850 | otherlv_2=RightSquareBracket | ||
2851 | { | ||
2852 | newLeafNode(otherlv_2, grammarAccess.getExactMultiplicityAccess().getRightSquareBracketKeyword_2()); | ||
2853 | } | ||
2854 | ) | ||
2855 | ; | ||
2856 | |||
2857 | // Entry rule entryRuleBoundedMultiplicity | ||
2858 | entryRuleBoundedMultiplicity returns [EObject current=null]: | ||
2859 | { newCompositeNode(grammarAccess.getBoundedMultiplicityRule()); } | ||
2860 | iv_ruleBoundedMultiplicity=ruleBoundedMultiplicity | ||
2861 | { $current=$iv_ruleBoundedMultiplicity.current; } | ||
2862 | EOF; | ||
2863 | |||
2864 | // Rule BoundedMultiplicity | ||
2865 | ruleBoundedMultiplicity returns [EObject current=null] | ||
2866 | @init { | ||
2867 | enterRule(); | ||
2868 | } | ||
2869 | @after { | ||
2870 | leaveRule(); | ||
2871 | }: | ||
2872 | ( | ||
2873 | otherlv_0=LeftSquareBracket | ||
2874 | { | ||
2875 | newLeafNode(otherlv_0, grammarAccess.getBoundedMultiplicityAccess().getLeftSquareBracketKeyword_0()); | ||
2876 | } | ||
2877 | ( | ||
2878 | ( | ||
2879 | lv_lowerBound_1_0=RULE_INT | ||
2880 | { | ||
2881 | newLeafNode(lv_lowerBound_1_0, grammarAccess.getBoundedMultiplicityAccess().getLowerBoundINTTerminalRuleCall_1_0()); | ||
2882 | } | ||
2883 | { | ||
2884 | if ($current==null) { | ||
2885 | $current = createModelElement(grammarAccess.getBoundedMultiplicityRule()); | ||
2886 | } | ||
2887 | setWithLastConsumed( | ||
2888 | $current, | ||
2889 | "lowerBound", | ||
2890 | lv_lowerBound_1_0, | ||
2891 | "org.eclipse.xtext.common.Terminals.INT"); | ||
2892 | } | ||
2893 | ) | ||
2894 | ) | ||
2895 | otherlv_2=FullStopFullStop | ||
2896 | { | ||
2897 | newLeafNode(otherlv_2, grammarAccess.getBoundedMultiplicityAccess().getFullStopFullStopKeyword_2()); | ||
2898 | } | ||
2899 | ( | ||
2900 | ( | ||
2901 | { | ||
2902 | newCompositeNode(grammarAccess.getBoundedMultiplicityAccess().getUpperBoundUpperMultiplictyParserRuleCall_3_0()); | ||
2903 | } | ||
2904 | lv_upperBound_3_0=ruleUpperMultiplicty | ||
2905 | { | ||
2906 | if ($current==null) { | ||
2907 | $current = createModelElementForParent(grammarAccess.getBoundedMultiplicityRule()); | ||
2908 | } | ||
2909 | set( | ||
2910 | $current, | ||
2911 | "upperBound", | ||
2912 | lv_upperBound_3_0, | ||
2913 | "org.eclipse.viatra.solver.language.SolverLanguage.UpperMultiplicty"); | ||
2914 | afterParserOrEnumRuleCall(); | ||
2915 | } | ||
2916 | ) | ||
2917 | ) | ||
2918 | otherlv_4=RightSquareBracket | ||
2919 | { | ||
2920 | newLeafNode(otherlv_4, grammarAccess.getBoundedMultiplicityAccess().getRightSquareBracketKeyword_4()); | ||
2921 | } | ||
2922 | ) | ||
2923 | ; | ||
2924 | |||
2925 | // Entry rule entryRuleScopeDefinition | ||
2926 | entryRuleScopeDefinition returns [EObject current=null]: | ||
2927 | { newCompositeNode(grammarAccess.getScopeDefinitionRule()); } | ||
2928 | iv_ruleScopeDefinition=ruleScopeDefinition | ||
2929 | { $current=$iv_ruleScopeDefinition.current; } | ||
2930 | EOF; | ||
2931 | |||
2932 | // Rule ScopeDefinition | ||
2933 | ruleScopeDefinition returns [EObject current=null] | ||
2934 | @init { | ||
2935 | enterRule(); | ||
2936 | } | ||
2937 | @after { | ||
2938 | leaveRule(); | ||
2939 | }: | ||
2940 | ( | ||
2941 | { | ||
2942 | newCompositeNode(grammarAccess.getScopeDefinitionAccess().getExactScopeDefinitionParserRuleCall_0()); | ||
2943 | } | ||
2944 | this_ExactScopeDefinition_0=ruleExactScopeDefinition | ||
2945 | { | ||
2946 | $current = $this_ExactScopeDefinition_0.current; | ||
2947 | afterParserOrEnumRuleCall(); | ||
2948 | } | ||
2949 | | | ||
2950 | { | ||
2951 | newCompositeNode(grammarAccess.getScopeDefinitionAccess().getBoundedScopeDefinitionParserRuleCall_1()); | ||
2952 | } | ||
2953 | this_BoundedScopeDefinition_1=ruleBoundedScopeDefinition | ||
2954 | { | ||
2955 | $current = $this_BoundedScopeDefinition_1.current; | ||
2956 | afterParserOrEnumRuleCall(); | ||
2957 | } | ||
2958 | | | ||
2959 | { | ||
2960 | newCompositeNode(grammarAccess.getScopeDefinitionAccess().getLowerBoundedScopeDefinitionParserRuleCall_2()); | ||
2961 | } | ||
2962 | this_LowerBoundedScopeDefinition_2=ruleLowerBoundedScopeDefinition | ||
2963 | { | ||
2964 | $current = $this_LowerBoundedScopeDefinition_2.current; | ||
2965 | afterParserOrEnumRuleCall(); | ||
2966 | } | ||
2967 | ) | ||
2968 | ; | ||
2969 | |||
2970 | // Entry rule entryRuleExactScopeDefinition | ||
2971 | entryRuleExactScopeDefinition returns [EObject current=null]: | ||
2972 | { newCompositeNode(grammarAccess.getExactScopeDefinitionRule()); } | ||
2973 | iv_ruleExactScopeDefinition=ruleExactScopeDefinition | ||
2974 | { $current=$iv_ruleExactScopeDefinition.current; } | ||
2975 | EOF; | ||
2976 | |||
2977 | // Rule ExactScopeDefinition | ||
2978 | ruleExactScopeDefinition returns [EObject current=null] | ||
2979 | @init { | ||
2980 | enterRule(); | ||
2981 | } | ||
2982 | @after { | ||
2983 | leaveRule(); | ||
2984 | }: | ||
2985 | ( | ||
2986 | otherlv_0=Scope | ||
2987 | { | ||
2988 | newLeafNode(otherlv_0, grammarAccess.getExactScopeDefinitionAccess().getScopeKeyword_0()); | ||
2989 | } | ||
2990 | ( | ||
2991 | ( | ||
2992 | { | ||
2993 | if ($current==null) { | ||
2994 | $current = createModelElement(grammarAccess.getExactScopeDefinitionRule()); | ||
2995 | } | ||
2996 | } | ||
2997 | { | ||
2998 | newCompositeNode(grammarAccess.getExactScopeDefinitionAccess().getTypeNamedElementCrossReference_1_0()); | ||
2999 | } | ||
3000 | ruleQualifiedName | ||
3001 | { | ||
3002 | afterParserOrEnumRuleCall(); | ||
3003 | } | ||
3004 | ) | ||
3005 | ) | ||
3006 | otherlv_2=EqualsSignEqualsSign | ||
3007 | { | ||
3008 | newLeafNode(otherlv_2, grammarAccess.getExactScopeDefinitionAccess().getEqualsSignEqualsSignKeyword_2()); | ||
3009 | } | ||
3010 | ( | ||
3011 | ( | ||
3012 | lv_exactScope_3_0=RULE_INT | ||
3013 | { | ||
3014 | newLeafNode(lv_exactScope_3_0, grammarAccess.getExactScopeDefinitionAccess().getExactScopeINTTerminalRuleCall_3_0()); | ||
3015 | } | ||
3016 | { | ||
3017 | if ($current==null) { | ||
3018 | $current = createModelElement(grammarAccess.getExactScopeDefinitionRule()); | ||
3019 | } | ||
3020 | setWithLastConsumed( | ||
3021 | $current, | ||
3022 | "exactScope", | ||
3023 | lv_exactScope_3_0, | ||
3024 | "org.eclipse.xtext.common.Terminals.INT"); | ||
3025 | } | ||
3026 | ) | ||
3027 | ) | ||
3028 | ) | ||
3029 | ; | ||
3030 | |||
3031 | // Entry rule entryRuleBoundedScopeDefinition | ||
3032 | entryRuleBoundedScopeDefinition returns [EObject current=null]: | ||
3033 | { newCompositeNode(grammarAccess.getBoundedScopeDefinitionRule()); } | ||
3034 | iv_ruleBoundedScopeDefinition=ruleBoundedScopeDefinition | ||
3035 | { $current=$iv_ruleBoundedScopeDefinition.current; } | ||
3036 | EOF; | ||
3037 | |||
3038 | // Rule BoundedScopeDefinition | ||
3039 | ruleBoundedScopeDefinition returns [EObject current=null] | ||
3040 | @init { | ||
3041 | enterRule(); | ||
3042 | } | ||
3043 | @after { | ||
3044 | leaveRule(); | ||
3045 | }: | ||
3046 | ( | ||
3047 | otherlv_0=Scope | ||
3048 | { | ||
3049 | newLeafNode(otherlv_0, grammarAccess.getBoundedScopeDefinitionAccess().getScopeKeyword_0()); | ||
3050 | } | ||
3051 | ( | ||
3052 | ( | ||
3053 | ( | ||
3054 | ( | ||
3055 | ( | ||
3056 | lv_lowerBound_1_0=RULE_INT | ||
3057 | { | ||
3058 | newLeafNode(lv_lowerBound_1_0, grammarAccess.getBoundedScopeDefinitionAccess().getLowerBoundINTTerminalRuleCall_1_0_0_0_0()); | ||
3059 | } | ||
3060 | { | ||
3061 | if ($current==null) { | ||
3062 | $current = createModelElement(grammarAccess.getBoundedScopeDefinitionRule()); | ||
3063 | } | ||
3064 | setWithLastConsumed( | ||
3065 | $current, | ||
3066 | "lowerBound", | ||
3067 | lv_lowerBound_1_0, | ||
3068 | "org.eclipse.xtext.common.Terminals.INT"); | ||
3069 | } | ||
3070 | ) | ||
3071 | ) | ||
3072 | otherlv_2=LessThanSignEqualsSign | ||
3073 | { | ||
3074 | newLeafNode(otherlv_2, grammarAccess.getBoundedScopeDefinitionAccess().getLessThanSignEqualsSignKeyword_1_0_0_1()); | ||
3075 | } | ||
3076 | )? | ||
3077 | ( | ||
3078 | ( | ||
3079 | { | ||
3080 | if ($current==null) { | ||
3081 | $current = createModelElement(grammarAccess.getBoundedScopeDefinitionRule()); | ||
3082 | } | ||
3083 | } | ||
3084 | { | ||
3085 | newCompositeNode(grammarAccess.getBoundedScopeDefinitionAccess().getTypeNamedElementCrossReference_1_0_1_0()); | ||
3086 | } | ||
3087 | ruleQualifiedName | ||
3088 | { | ||
3089 | afterParserOrEnumRuleCall(); | ||
3090 | } | ||
3091 | ) | ||
3092 | ) | ||
3093 | otherlv_4=LessThanSignEqualsSign | ||
3094 | { | ||
3095 | newLeafNode(otherlv_4, grammarAccess.getBoundedScopeDefinitionAccess().getLessThanSignEqualsSignKeyword_1_0_2()); | ||
3096 | } | ||
3097 | ( | ||
3098 | ( | ||
3099 | lv_upperBound_5_0=RULE_INT | ||
3100 | { | ||
3101 | newLeafNode(lv_upperBound_5_0, grammarAccess.getBoundedScopeDefinitionAccess().getUpperBoundINTTerminalRuleCall_1_0_3_0()); | ||
3102 | } | ||
3103 | { | ||
3104 | if ($current==null) { | ||
3105 | $current = createModelElement(grammarAccess.getBoundedScopeDefinitionRule()); | ||
3106 | } | ||
3107 | setWithLastConsumed( | ||
3108 | $current, | ||
3109 | "upperBound", | ||
3110 | lv_upperBound_5_0, | ||
3111 | "org.eclipse.xtext.common.Terminals.INT"); | ||
3112 | } | ||
3113 | ) | ||
3114 | ) | ||
3115 | ) | ||
3116 | | | ||
3117 | ( | ||
3118 | ( | ||
3119 | ( | ||
3120 | lv_upperBound_6_0=RULE_INT | ||
3121 | { | ||
3122 | newLeafNode(lv_upperBound_6_0, grammarAccess.getBoundedScopeDefinitionAccess().getUpperBoundINTTerminalRuleCall_1_1_0_0()); | ||
3123 | } | ||
3124 | { | ||
3125 | if ($current==null) { | ||
3126 | $current = createModelElement(grammarAccess.getBoundedScopeDefinitionRule()); | ||
3127 | } | ||
3128 | setWithLastConsumed( | ||
3129 | $current, | ||
3130 | "upperBound", | ||
3131 | lv_upperBound_6_0, | ||
3132 | "org.eclipse.xtext.common.Terminals.INT"); | ||
3133 | } | ||
3134 | ) | ||
3135 | ) | ||
3136 | otherlv_7=GreaterThanSignEqualsSign | ||
3137 | { | ||
3138 | newLeafNode(otherlv_7, grammarAccess.getBoundedScopeDefinitionAccess().getGreaterThanSignEqualsSignKeyword_1_1_1()); | ||
3139 | } | ||
3140 | ( | ||
3141 | ( | ||
3142 | { | ||
3143 | if ($current==null) { | ||
3144 | $current = createModelElement(grammarAccess.getBoundedScopeDefinitionRule()); | ||
3145 | } | ||
3146 | } | ||
3147 | { | ||
3148 | newCompositeNode(grammarAccess.getBoundedScopeDefinitionAccess().getTypeNamedElementCrossReference_1_1_2_0()); | ||
3149 | } | ||
3150 | ruleQualifiedName | ||
3151 | { | ||
3152 | afterParserOrEnumRuleCall(); | ||
3153 | } | ||
3154 | ) | ||
3155 | ) | ||
3156 | ( | ||
3157 | otherlv_9=GreaterThanSignEqualsSign | ||
3158 | { | ||
3159 | newLeafNode(otherlv_9, grammarAccess.getBoundedScopeDefinitionAccess().getGreaterThanSignEqualsSignKeyword_1_1_3_0()); | ||
3160 | } | ||
3161 | ( | ||
3162 | ( | ||
3163 | lv_lowerBound_10_0=RULE_INT | ||
3164 | { | ||
3165 | newLeafNode(lv_lowerBound_10_0, grammarAccess.getBoundedScopeDefinitionAccess().getLowerBoundINTTerminalRuleCall_1_1_3_1_0()); | ||
3166 | } | ||
3167 | { | ||
3168 | if ($current==null) { | ||
3169 | $current = createModelElement(grammarAccess.getBoundedScopeDefinitionRule()); | ||
3170 | } | ||
3171 | setWithLastConsumed( | ||
3172 | $current, | ||
3173 | "lowerBound", | ||
3174 | lv_lowerBound_10_0, | ||
3175 | "org.eclipse.xtext.common.Terminals.INT"); | ||
3176 | } | ||
3177 | ) | ||
3178 | ) | ||
3179 | )? | ||
3180 | ) | ||
3181 | ) | ||
3182 | ) | ||
3183 | ; | ||
3184 | |||
3185 | // Entry rule entryRuleLowerBoundedScopeDefinition | ||
3186 | entryRuleLowerBoundedScopeDefinition returns [EObject current=null]: | ||
3187 | { newCompositeNode(grammarAccess.getLowerBoundedScopeDefinitionRule()); } | ||
3188 | iv_ruleLowerBoundedScopeDefinition=ruleLowerBoundedScopeDefinition | ||
3189 | { $current=$iv_ruleLowerBoundedScopeDefinition.current; } | ||
3190 | EOF; | ||
3191 | |||
3192 | // Rule LowerBoundedScopeDefinition | ||
3193 | ruleLowerBoundedScopeDefinition returns [EObject current=null] | ||
3194 | @init { | ||
3195 | enterRule(); | ||
3196 | } | ||
3197 | @after { | ||
3198 | leaveRule(); | ||
3199 | }: | ||
3200 | ( | ||
3201 | otherlv_0=Scope | ||
3202 | { | ||
3203 | newLeafNode(otherlv_0, grammarAccess.getLowerBoundedScopeDefinitionAccess().getScopeKeyword_0()); | ||
3204 | } | ||
3205 | ( | ||
3206 | ( | ||
3207 | ( | ||
3208 | ( | ||
3209 | lv_lowerBound_1_0=RULE_INT | ||
3210 | { | ||
3211 | newLeafNode(lv_lowerBound_1_0, grammarAccess.getLowerBoundedScopeDefinitionAccess().getLowerBoundINTTerminalRuleCall_1_0_0_0()); | ||
3212 | } | ||
3213 | { | ||
3214 | if ($current==null) { | ||
3215 | $current = createModelElement(grammarAccess.getLowerBoundedScopeDefinitionRule()); | ||
3216 | } | ||
3217 | setWithLastConsumed( | ||
3218 | $current, | ||
3219 | "lowerBound", | ||
3220 | lv_lowerBound_1_0, | ||
3221 | "org.eclipse.xtext.common.Terminals.INT"); | ||
3222 | } | ||
3223 | ) | ||
3224 | ) | ||
3225 | otherlv_2=LessThanSignEqualsSign | ||
3226 | { | ||
3227 | newLeafNode(otherlv_2, grammarAccess.getLowerBoundedScopeDefinitionAccess().getLessThanSignEqualsSignKeyword_1_0_1()); | ||
3228 | } | ||
3229 | ( | ||
3230 | ( | ||
3231 | { | ||
3232 | if ($current==null) { | ||
3233 | $current = createModelElement(grammarAccess.getLowerBoundedScopeDefinitionRule()); | ||
3234 | } | ||
3235 | } | ||
3236 | { | ||
3237 | newCompositeNode(grammarAccess.getLowerBoundedScopeDefinitionAccess().getTypeNamedElementCrossReference_1_0_2_0()); | ||
3238 | } | ||
3239 | ruleQualifiedName | ||
3240 | { | ||
3241 | afterParserOrEnumRuleCall(); | ||
3242 | } | ||
3243 | ) | ||
3244 | ) | ||
3245 | ) | ||
3246 | | | ||
3247 | ( | ||
3248 | ( | ||
3249 | ( | ||
3250 | { | ||
3251 | if ($current==null) { | ||
3252 | $current = createModelElement(grammarAccess.getLowerBoundedScopeDefinitionRule()); | ||
3253 | } | ||
3254 | } | ||
3255 | { | ||
3256 | newCompositeNode(grammarAccess.getLowerBoundedScopeDefinitionAccess().getTypeNamedElementCrossReference_1_1_0_0()); | ||
3257 | } | ||
3258 | ruleQualifiedName | ||
3259 | { | ||
3260 | afterParserOrEnumRuleCall(); | ||
3261 | } | ||
3262 | ) | ||
3263 | ) | ||
3264 | otherlv_5=GreaterThanSignEqualsSign | ||
3265 | { | ||
3266 | newLeafNode(otherlv_5, grammarAccess.getLowerBoundedScopeDefinitionAccess().getGreaterThanSignEqualsSignKeyword_1_1_1()); | ||
3267 | } | ||
3268 | ( | ||
3269 | ( | ||
3270 | lv_lowerBound_6_0=RULE_INT | ||
3271 | { | ||
3272 | newLeafNode(lv_lowerBound_6_0, grammarAccess.getLowerBoundedScopeDefinitionAccess().getLowerBoundINTTerminalRuleCall_1_1_2_0()); | ||
3273 | } | ||
3274 | { | ||
3275 | if ($current==null) { | ||
3276 | $current = createModelElement(grammarAccess.getLowerBoundedScopeDefinitionRule()); | ||
3277 | } | ||
3278 | setWithLastConsumed( | ||
3279 | $current, | ||
3280 | "lowerBound", | ||
3281 | lv_lowerBound_6_0, | ||
3282 | "org.eclipse.xtext.common.Terminals.INT"); | ||
3283 | } | ||
3284 | ) | ||
3285 | ) | ||
3286 | ) | ||
3287 | ) | ||
3288 | ) | ||
3289 | ; | ||
3290 | |||
3291 | // Entry rule entryRuleObjectiveDefinition | ||
3292 | entryRuleObjectiveDefinition returns [EObject current=null]: | ||
3293 | { newCompositeNode(grammarAccess.getObjectiveDefinitionRule()); } | ||
3294 | iv_ruleObjectiveDefinition=ruleObjectiveDefinition | ||
3295 | { $current=$iv_ruleObjectiveDefinition.current; } | ||
3296 | EOF; | ||
3297 | |||
3298 | // Rule ObjectiveDefinition | ||
3299 | ruleObjectiveDefinition returns [EObject current=null] | ||
3300 | @init { | ||
3301 | enterRule(); | ||
3302 | } | ||
3303 | @after { | ||
3304 | leaveRule(); | ||
3305 | }: | ||
3306 | ( | ||
3307 | ( | ||
3308 | ( | ||
3309 | { | ||
3310 | newCompositeNode(grammarAccess.getObjectiveDefinitionAccess().getKindObjectiveKindEnumRuleCall_0_0()); | ||
3311 | } | ||
3312 | lv_kind_0_0=ruleObjectiveKind | ||
3313 | { | ||
3314 | if ($current==null) { | ||
3315 | $current = createModelElementForParent(grammarAccess.getObjectiveDefinitionRule()); | ||
3316 | } | ||
3317 | set( | ||
3318 | $current, | ||
3319 | "kind", | ||
3320 | lv_kind_0_0, | ||
3321 | "org.eclipse.viatra.solver.language.SolverLanguage.ObjectiveKind"); | ||
3322 | afterParserOrEnumRuleCall(); | ||
3323 | } | ||
3324 | ) | ||
3325 | ) | ||
3326 | ( | ||
3327 | ( | ||
3328 | { | ||
3329 | newCompositeNode(grammarAccess.getObjectiveDefinitionAccess().getObjectiveExpressionParserRuleCall_1_0()); | ||
3330 | } | ||
3331 | lv_objective_1_0=ruleExpression | ||
3332 | { | ||
3333 | if ($current==null) { | ||
3334 | $current = createModelElementForParent(grammarAccess.getObjectiveDefinitionRule()); | ||
3335 | } | ||
3336 | set( | ||
3337 | $current, | ||
3338 | "objective", | ||
3339 | lv_objective_1_0, | ||
3340 | "org.eclipse.viatra.solver.language.SolverLanguage.Expression"); | ||
3341 | afterParserOrEnumRuleCall(); | ||
3342 | } | ||
3343 | ) | ||
3344 | ) | ||
3345 | ) | ||
3346 | ; | ||
3347 | |||
3348 | // Entry rule entryRuleUpperMultiplicty | ||
3349 | entryRuleUpperMultiplicty returns [String current=null]: | ||
3350 | { newCompositeNode(grammarAccess.getUpperMultiplictyRule()); } | ||
3351 | iv_ruleUpperMultiplicty=ruleUpperMultiplicty | ||
3352 | { $current=$iv_ruleUpperMultiplicty.current.getText(); } | ||
3353 | EOF; | ||
3354 | |||
3355 | // Rule UpperMultiplicty | ||
3356 | ruleUpperMultiplicty returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleToken()] | ||
3357 | @init { | ||
3358 | enterRule(); | ||
3359 | } | ||
3360 | @after { | ||
3361 | leaveRule(); | ||
3362 | }: | ||
3363 | ( | ||
3364 | this_INT_0=RULE_INT | ||
3365 | { | ||
3366 | $current.merge(this_INT_0); | ||
3367 | } | ||
3368 | { | ||
3369 | newLeafNode(this_INT_0, grammarAccess.getUpperMultiplictyAccess().getINTTerminalRuleCall_0()); | ||
3370 | } | ||
3371 | | | ||
3372 | kw=Asterisk | ||
3373 | { | ||
3374 | $current.merge(kw); | ||
3375 | newLeafNode(kw, grammarAccess.getUpperMultiplictyAccess().getAsteriskKeyword_1()); | ||
3376 | } | ||
3377 | ) | ||
3378 | ; | ||
3379 | |||
3380 | // Entry rule entryRuleReal | ||
3381 | entryRuleReal returns [String current=null]@init { | ||
3382 | HiddenTokens myHiddenTokenState = ((XtextTokenStream)input).setHiddenTokens(); | ||
3383 | }: | ||
3384 | { newCompositeNode(grammarAccess.getRealRule()); } | ||
3385 | iv_ruleReal=ruleReal | ||
3386 | { $current=$iv_ruleReal.current.getText(); } | ||
3387 | EOF; | ||
3388 | finally { | ||
3389 | myHiddenTokenState.restore(); | ||
3390 | } | ||
3391 | |||
3392 | // Rule Real | ||
3393 | ruleReal returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleToken()] | ||
3394 | @init { | ||
3395 | enterRule(); | ||
3396 | HiddenTokens myHiddenTokenState = ((XtextTokenStream)input).setHiddenTokens(); | ||
3397 | } | ||
3398 | @after { | ||
3399 | leaveRule(); | ||
3400 | }: | ||
3401 | ( | ||
3402 | this_INT_0=RULE_INT | ||
3403 | { | ||
3404 | $current.merge(this_INT_0); | ||
3405 | } | ||
3406 | { | ||
3407 | newLeafNode(this_INT_0, grammarAccess.getRealAccess().getINTTerminalRuleCall_0()); | ||
3408 | } | ||
3409 | ( | ||
3410 | kw=FullStop | ||
3411 | { | ||
3412 | $current.merge(kw); | ||
3413 | newLeafNode(kw, grammarAccess.getRealAccess().getFullStopKeyword_1_0()); | ||
3414 | } | ||
3415 | this_INT_2=RULE_INT | ||
3416 | { | ||
3417 | $current.merge(this_INT_2); | ||
3418 | } | ||
3419 | { | ||
3420 | newLeafNode(this_INT_2, grammarAccess.getRealAccess().getINTTerminalRuleCall_1_1()); | ||
3421 | } | ||
3422 | )? | ||
3423 | ) | ||
3424 | ; | ||
3425 | finally { | ||
3426 | myHiddenTokenState.restore(); | ||
3427 | } | ||
3428 | |||
3429 | // Entry rule entryRuleQualifiedName | ||
3430 | entryRuleQualifiedName returns [String current=null]@init { | ||
3431 | HiddenTokens myHiddenTokenState = ((XtextTokenStream)input).setHiddenTokens(); | ||
3432 | }: | ||
3433 | { newCompositeNode(grammarAccess.getQualifiedNameRule()); } | ||
3434 | iv_ruleQualifiedName=ruleQualifiedName | ||
3435 | { $current=$iv_ruleQualifiedName.current.getText(); } | ||
3436 | EOF; | ||
3437 | finally { | ||
3438 | myHiddenTokenState.restore(); | ||
3439 | } | ||
3440 | |||
3441 | // Rule QualifiedName | ||
3442 | ruleQualifiedName returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleToken()] | ||
3443 | @init { | ||
3444 | enterRule(); | ||
3445 | HiddenTokens myHiddenTokenState = ((XtextTokenStream)input).setHiddenTokens(); | ||
3446 | } | ||
3447 | @after { | ||
3448 | leaveRule(); | ||
3449 | }: | ||
3450 | ( | ||
3451 | ( | ||
3452 | this_ID_0=RULE_ID | ||
3453 | { | ||
3454 | $current.merge(this_ID_0); | ||
3455 | } | ||
3456 | { | ||
3457 | newLeafNode(this_ID_0, grammarAccess.getQualifiedNameAccess().getIDTerminalRuleCall_0_0()); | ||
3458 | } | ||
3459 | ( | ||
3460 | kw=FullStop | ||
3461 | { | ||
3462 | $current.merge(kw); | ||
3463 | newLeafNode(kw, grammarAccess.getQualifiedNameAccess().getFullStopKeyword_0_1_0()); | ||
3464 | } | ||
3465 | this_ID_2=RULE_ID | ||
3466 | { | ||
3467 | $current.merge(this_ID_2); | ||
3468 | } | ||
3469 | { | ||
3470 | newLeafNode(this_ID_2, grammarAccess.getQualifiedNameAccess().getIDTerminalRuleCall_0_1_1()); | ||
3471 | } | ||
3472 | )* | ||
3473 | ) | ||
3474 | | | ||
3475 | this_QUOTED_ID_3=RULE_QUOTED_ID | ||
3476 | { | ||
3477 | $current.merge(this_QUOTED_ID_3); | ||
3478 | } | ||
3479 | { | ||
3480 | newLeafNode(this_QUOTED_ID_3, grammarAccess.getQualifiedNameAccess().getQUOTED_IDTerminalRuleCall_1()); | ||
3481 | } | ||
3482 | ) | ||
3483 | ; | ||
3484 | finally { | ||
3485 | myHiddenTokenState.restore(); | ||
3486 | } | ||
3487 | |||
3488 | // Rule MetricType | ||
3489 | ruleMetricType returns [Enumerator current=null] | ||
3490 | @init { | ||
3491 | enterRule(); | ||
3492 | } | ||
3493 | @after { | ||
3494 | leaveRule(); | ||
3495 | }: | ||
3496 | ( | ||
3497 | ( | ||
3498 | enumLiteral_0=Int | ||
3499 | { | ||
3500 | $current = grammarAccess.getMetricTypeAccess().getINTEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3501 | newLeafNode(enumLiteral_0, grammarAccess.getMetricTypeAccess().getINTEnumLiteralDeclaration_0()); | ||
3502 | } | ||
3503 | ) | ||
3504 | | | ||
3505 | ( | ||
3506 | enumLiteral_1=Real | ||
3507 | { | ||
3508 | $current = grammarAccess.getMetricTypeAccess().getREALEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3509 | newLeafNode(enumLiteral_1, grammarAccess.getMetricTypeAccess().getREALEnumLiteralDeclaration_1()); | ||
3510 | } | ||
3511 | ) | ||
3512 | ) | ||
3513 | ; | ||
3514 | |||
3515 | // Rule ComparisonOperator | ||
3516 | ruleComparisonOperator returns [Enumerator current=null] | ||
3517 | @init { | ||
3518 | enterRule(); | ||
3519 | } | ||
3520 | @after { | ||
3521 | leaveRule(); | ||
3522 | }: | ||
3523 | ( | ||
3524 | ( | ||
3525 | enumLiteral_0=EqualsSignEqualsSign | ||
3526 | { | ||
3527 | $current = grammarAccess.getComparisonOperatorAccess().getEQEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3528 | newLeafNode(enumLiteral_0, grammarAccess.getComparisonOperatorAccess().getEQEnumLiteralDeclaration_0()); | ||
3529 | } | ||
3530 | ) | ||
3531 | | | ||
3532 | ( | ||
3533 | enumLiteral_1=ExclamationMarkEqualsSign | ||
3534 | { | ||
3535 | $current = grammarAccess.getComparisonOperatorAccess().getNOT_EQEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3536 | newLeafNode(enumLiteral_1, grammarAccess.getComparisonOperatorAccess().getNOT_EQEnumLiteralDeclaration_1()); | ||
3537 | } | ||
3538 | ) | ||
3539 | | | ||
3540 | ( | ||
3541 | enumLiteral_2=LessThanSign | ||
3542 | { | ||
3543 | $current = grammarAccess.getComparisonOperatorAccess().getLESSEnumLiteralDeclaration_2().getEnumLiteral().getInstance(); | ||
3544 | newLeafNode(enumLiteral_2, grammarAccess.getComparisonOperatorAccess().getLESSEnumLiteralDeclaration_2()); | ||
3545 | } | ||
3546 | ) | ||
3547 | | | ||
3548 | ( | ||
3549 | enumLiteral_3=LessThanSignEqualsSign | ||
3550 | { | ||
3551 | $current = grammarAccess.getComparisonOperatorAccess().getLESS_EQEnumLiteralDeclaration_3().getEnumLiteral().getInstance(); | ||
3552 | newLeafNode(enumLiteral_3, grammarAccess.getComparisonOperatorAccess().getLESS_EQEnumLiteralDeclaration_3()); | ||
3553 | } | ||
3554 | ) | ||
3555 | | | ||
3556 | ( | ||
3557 | enumLiteral_4=GreaterThanSign | ||
3558 | { | ||
3559 | $current = grammarAccess.getComparisonOperatorAccess().getGREATEREnumLiteralDeclaration_4().getEnumLiteral().getInstance(); | ||
3560 | newLeafNode(enumLiteral_4, grammarAccess.getComparisonOperatorAccess().getGREATEREnumLiteralDeclaration_4()); | ||
3561 | } | ||
3562 | ) | ||
3563 | | | ||
3564 | ( | ||
3565 | enumLiteral_5=GreaterThanSignEqualsSign | ||
3566 | { | ||
3567 | $current = grammarAccess.getComparisonOperatorAccess().getGREATER_EQEnumLiteralDeclaration_5().getEnumLiteral().getInstance(); | ||
3568 | newLeafNode(enumLiteral_5, grammarAccess.getComparisonOperatorAccess().getGREATER_EQEnumLiteralDeclaration_5()); | ||
3569 | } | ||
3570 | ) | ||
3571 | | | ||
3572 | ( | ||
3573 | enumLiteral_6=In | ||
3574 | { | ||
3575 | $current = grammarAccess.getComparisonOperatorAccess().getINEnumLiteralDeclaration_6().getEnumLiteral().getInstance(); | ||
3576 | newLeafNode(enumLiteral_6, grammarAccess.getComparisonOperatorAccess().getINEnumLiteralDeclaration_6()); | ||
3577 | } | ||
3578 | ) | ||
3579 | ) | ||
3580 | ; | ||
3581 | |||
3582 | // Rule AdditiveBinaryOperator | ||
3583 | ruleAdditiveBinaryOperator returns [Enumerator current=null] | ||
3584 | @init { | ||
3585 | enterRule(); | ||
3586 | } | ||
3587 | @after { | ||
3588 | leaveRule(); | ||
3589 | }: | ||
3590 | ( | ||
3591 | ( | ||
3592 | enumLiteral_0=PlusSign | ||
3593 | { | ||
3594 | $current = grammarAccess.getAdditiveBinaryOperatorAccess().getADDEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3595 | newLeafNode(enumLiteral_0, grammarAccess.getAdditiveBinaryOperatorAccess().getADDEnumLiteralDeclaration_0()); | ||
3596 | } | ||
3597 | ) | ||
3598 | | | ||
3599 | ( | ||
3600 | enumLiteral_1=HyphenMinus | ||
3601 | { | ||
3602 | $current = grammarAccess.getAdditiveBinaryOperatorAccess().getSUBEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3603 | newLeafNode(enumLiteral_1, grammarAccess.getAdditiveBinaryOperatorAccess().getSUBEnumLiteralDeclaration_1()); | ||
3604 | } | ||
3605 | ) | ||
3606 | ) | ||
3607 | ; | ||
3608 | |||
3609 | // Rule MultiplicativeBinaryOperator | ||
3610 | ruleMultiplicativeBinaryOperator returns [Enumerator current=null] | ||
3611 | @init { | ||
3612 | enterRule(); | ||
3613 | } | ||
3614 | @after { | ||
3615 | leaveRule(); | ||
3616 | }: | ||
3617 | ( | ||
3618 | ( | ||
3619 | enumLiteral_0=Asterisk | ||
3620 | { | ||
3621 | $current = grammarAccess.getMultiplicativeBinaryOperatorAccess().getMULEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3622 | newLeafNode(enumLiteral_0, grammarAccess.getMultiplicativeBinaryOperatorAccess().getMULEnumLiteralDeclaration_0()); | ||
3623 | } | ||
3624 | ) | ||
3625 | | | ||
3626 | ( | ||
3627 | enumLiteral_1=Solidus | ||
3628 | { | ||
3629 | $current = grammarAccess.getMultiplicativeBinaryOperatorAccess().getDIVEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3630 | newLeafNode(enumLiteral_1, grammarAccess.getMultiplicativeBinaryOperatorAccess().getDIVEnumLiteralDeclaration_1()); | ||
3631 | } | ||
3632 | ) | ||
3633 | ) | ||
3634 | ; | ||
3635 | |||
3636 | // Rule ExponentialOp | ||
3637 | ruleExponentialOp returns [Enumerator current=null] | ||
3638 | @init { | ||
3639 | enterRule(); | ||
3640 | } | ||
3641 | @after { | ||
3642 | leaveRule(); | ||
3643 | }: | ||
3644 | ( | ||
3645 | enumLiteral_0=CircumflexAccent | ||
3646 | { | ||
3647 | $current = grammarAccess.getExponentialOpAccess().getPOWEnumLiteralDeclaration().getEnumLiteral().getInstance(); | ||
3648 | newLeafNode(enumLiteral_0, grammarAccess.getExponentialOpAccess().getPOWEnumLiteralDeclaration()); | ||
3649 | } | ||
3650 | ) | ||
3651 | ; | ||
3652 | |||
3653 | // Rule UnaryOp | ||
3654 | ruleUnaryOp returns [Enumerator current=null] | ||
3655 | @init { | ||
3656 | enterRule(); | ||
3657 | } | ||
3658 | @after { | ||
3659 | leaveRule(); | ||
3660 | }: | ||
3661 | ( | ||
3662 | ( | ||
3663 | enumLiteral_0=ExclamationMark | ||
3664 | { | ||
3665 | $current = grammarAccess.getUnaryOpAccess().getNEGEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3666 | newLeafNode(enumLiteral_0, grammarAccess.getUnaryOpAccess().getNEGEnumLiteralDeclaration_0()); | ||
3667 | } | ||
3668 | ) | ||
3669 | | | ||
3670 | ( | ||
3671 | enumLiteral_1=PlusSign | ||
3672 | { | ||
3673 | $current = grammarAccess.getUnaryOpAccess().getPLUSEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3674 | newLeafNode(enumLiteral_1, grammarAccess.getUnaryOpAccess().getPLUSEnumLiteralDeclaration_1()); | ||
3675 | } | ||
3676 | ) | ||
3677 | | | ||
3678 | ( | ||
3679 | enumLiteral_2=HyphenMinus | ||
3680 | { | ||
3681 | $current = grammarAccess.getUnaryOpAccess().getMINUSEnumLiteralDeclaration_2().getEnumLiteral().getInstance(); | ||
3682 | newLeafNode(enumLiteral_2, grammarAccess.getUnaryOpAccess().getMINUSEnumLiteralDeclaration_2()); | ||
3683 | } | ||
3684 | ) | ||
3685 | | | ||
3686 | ( | ||
3687 | enumLiteral_3=May | ||
3688 | { | ||
3689 | $current = grammarAccess.getUnaryOpAccess().getMAYEnumLiteralDeclaration_3().getEnumLiteral().getInstance(); | ||
3690 | newLeafNode(enumLiteral_3, grammarAccess.getUnaryOpAccess().getMAYEnumLiteralDeclaration_3()); | ||
3691 | } | ||
3692 | ) | ||
3693 | | | ||
3694 | ( | ||
3695 | enumLiteral_4=Must | ||
3696 | { | ||
3697 | $current = grammarAccess.getUnaryOpAccess().getMUSTEnumLiteralDeclaration_4().getEnumLiteral().getInstance(); | ||
3698 | newLeafNode(enumLiteral_4, grammarAccess.getUnaryOpAccess().getMUSTEnumLiteralDeclaration_4()); | ||
3699 | } | ||
3700 | ) | ||
3701 | | | ||
3702 | ( | ||
3703 | enumLiteral_5=Current | ||
3704 | { | ||
3705 | $current = grammarAccess.getUnaryOpAccess().getCURRENTEnumLiteralDeclaration_5().getEnumLiteral().getInstance(); | ||
3706 | newLeafNode(enumLiteral_5, grammarAccess.getUnaryOpAccess().getCURRENTEnumLiteralDeclaration_5()); | ||
3707 | } | ||
3708 | ) | ||
3709 | ) | ||
3710 | ; | ||
3711 | |||
3712 | // Rule AggregationOp | ||
3713 | ruleAggregationOp returns [Enumerator current=null] | ||
3714 | @init { | ||
3715 | enterRule(); | ||
3716 | } | ||
3717 | @after { | ||
3718 | leaveRule(); | ||
3719 | }: | ||
3720 | ( | ||
3721 | ( | ||
3722 | enumLiteral_0=Only | ||
3723 | { | ||
3724 | $current = grammarAccess.getAggregationOpAccess().getONLYEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3725 | newLeafNode(enumLiteral_0, grammarAccess.getAggregationOpAccess().getONLYEnumLiteralDeclaration_0()); | ||
3726 | } | ||
3727 | ) | ||
3728 | | | ||
3729 | ( | ||
3730 | enumLiteral_1=Sum | ||
3731 | { | ||
3732 | $current = grammarAccess.getAggregationOpAccess().getSUMEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3733 | newLeafNode(enumLiteral_1, grammarAccess.getAggregationOpAccess().getSUMEnumLiteralDeclaration_1()); | ||
3734 | } | ||
3735 | ) | ||
3736 | | | ||
3737 | ( | ||
3738 | enumLiteral_2=Prod | ||
3739 | { | ||
3740 | $current = grammarAccess.getAggregationOpAccess().getPRODEnumLiteralDeclaration_2().getEnumLiteral().getInstance(); | ||
3741 | newLeafNode(enumLiteral_2, grammarAccess.getAggregationOpAccess().getPRODEnumLiteralDeclaration_2()); | ||
3742 | } | ||
3743 | ) | ||
3744 | | | ||
3745 | ( | ||
3746 | enumLiteral_3=Avg | ||
3747 | { | ||
3748 | $current = grammarAccess.getAggregationOpAccess().getAVGEnumLiteralDeclaration_3().getEnumLiteral().getInstance(); | ||
3749 | newLeafNode(enumLiteral_3, grammarAccess.getAggregationOpAccess().getAVGEnumLiteralDeclaration_3()); | ||
3750 | } | ||
3751 | ) | ||
3752 | | | ||
3753 | ( | ||
3754 | enumLiteral_4=Min | ||
3755 | { | ||
3756 | $current = grammarAccess.getAggregationOpAccess().getMINEnumLiteralDeclaration_4().getEnumLiteral().getInstance(); | ||
3757 | newLeafNode(enumLiteral_4, grammarAccess.getAggregationOpAccess().getMINEnumLiteralDeclaration_4()); | ||
3758 | } | ||
3759 | ) | ||
3760 | | | ||
3761 | ( | ||
3762 | enumLiteral_5=Max | ||
3763 | { | ||
3764 | $current = grammarAccess.getAggregationOpAccess().getMAXEnumLiteralDeclaration_5().getEnumLiteral().getInstance(); | ||
3765 | newLeafNode(enumLiteral_5, grammarAccess.getAggregationOpAccess().getMAXEnumLiteralDeclaration_5()); | ||
3766 | } | ||
3767 | ) | ||
3768 | ) | ||
3769 | ; | ||
3770 | |||
3771 | // Rule LogicValue | ||
3772 | ruleLogicValue returns [Enumerator current=null] | ||
3773 | @init { | ||
3774 | enterRule(); | ||
3775 | } | ||
3776 | @after { | ||
3777 | leaveRule(); | ||
3778 | }: | ||
3779 | ( | ||
3780 | ( | ||
3781 | enumLiteral_0=True | ||
3782 | { | ||
3783 | $current = grammarAccess.getLogicValueAccess().getTRUEEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3784 | newLeafNode(enumLiteral_0, grammarAccess.getLogicValueAccess().getTRUEEnumLiteralDeclaration_0()); | ||
3785 | } | ||
3786 | ) | ||
3787 | | | ||
3788 | ( | ||
3789 | enumLiteral_1=False | ||
3790 | { | ||
3791 | $current = grammarAccess.getLogicValueAccess().getFALSEEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3792 | newLeafNode(enumLiteral_1, grammarAccess.getLogicValueAccess().getFALSEEnumLiteralDeclaration_1()); | ||
3793 | } | ||
3794 | ) | ||
3795 | | | ||
3796 | ( | ||
3797 | enumLiteral_2=Unknown | ||
3798 | { | ||
3799 | $current = grammarAccess.getLogicValueAccess().getUNKNOWNEnumLiteralDeclaration_2().getEnumLiteral().getInstance(); | ||
3800 | newLeafNode(enumLiteral_2, grammarAccess.getLogicValueAccess().getUNKNOWNEnumLiteralDeclaration_2()); | ||
3801 | } | ||
3802 | ) | ||
3803 | | | ||
3804 | ( | ||
3805 | enumLiteral_3=Error | ||
3806 | { | ||
3807 | $current = grammarAccess.getLogicValueAccess().getERROREnumLiteralDeclaration_3().getEnumLiteral().getInstance(); | ||
3808 | newLeafNode(enumLiteral_3, grammarAccess.getLogicValueAccess().getERROREnumLiteralDeclaration_3()); | ||
3809 | } | ||
3810 | ) | ||
3811 | ) | ||
3812 | ; | ||
3813 | |||
3814 | // Rule ObjectiveKind | ||
3815 | ruleObjectiveKind returns [Enumerator current=null] | ||
3816 | @init { | ||
3817 | enterRule(); | ||
3818 | } | ||
3819 | @after { | ||
3820 | leaveRule(); | ||
3821 | }: | ||
3822 | ( | ||
3823 | ( | ||
3824 | enumLiteral_0=Minimize | ||
3825 | { | ||
3826 | $current = grammarAccess.getObjectiveKindAccess().getMINIMIZEEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3827 | newLeafNode(enumLiteral_0, grammarAccess.getObjectiveKindAccess().getMINIMIZEEnumLiteralDeclaration_0()); | ||
3828 | } | ||
3829 | ) | ||
3830 | | | ||
3831 | ( | ||
3832 | enumLiteral_1=Maximize | ||
3833 | { | ||
3834 | $current = grammarAccess.getObjectiveKindAccess().getMAXIMIZEEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3835 | newLeafNode(enumLiteral_1, grammarAccess.getObjectiveKindAccess().getMAXIMIZEEnumLiteralDeclaration_1()); | ||
3836 | } | ||
3837 | ) | ||
3838 | ) | ||
3839 | ; | ||