aboutsummaryrefslogtreecommitdiffstats
path: root/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.g
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.g')
-rw-r--r--org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.g351
1 files changed, 302 insertions, 49 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.g b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.g
index bbce5660..64db0417 100644
--- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.g
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.g
@@ -84,19 +84,20 @@ ruleProblem returns [EObject current=null]
84 } 84 }
85 ( 85 (
86 ( 86 (
87 lv_name_1_0=RULE_ID
88 { 87 {
89 newLeafNode(lv_name_1_0, grammarAccess.getProblemAccess().getNameIDTerminalRuleCall_0_1_0()); 88 newCompositeNode(grammarAccess.getProblemAccess().getNameIdentifierParserRuleCall_0_1_0());
90 } 89 }
90 lv_name_1_0=ruleIdentifier
91 { 91 {
92 if ($current==null) { 92 if ($current==null) {
93 $current = createModelElement(grammarAccess.getProblemRule()); 93 $current = createModelElementForParent(grammarAccess.getProblemRule());
94 } 94 }
95 setWithLastConsumed( 95 set(
96 $current, 96 $current,
97 "name", 97 "name",
98 lv_name_1_0, 98 lv_name_1_0,
99 "org.eclipse.xtext.common.Terminals.ID"); 99 "org.eclipse.viatra.solver.language.Problem.Identifier");
100 afterParserOrEnumRuleCall();
100 } 101 }
101 ) 102 )
102 ) 103 )
@@ -153,29 +154,38 @@ ruleStatement returns [EObject current=null]
153 } 154 }
154 | 155 |
155 { 156 {
156 newCompositeNode(grammarAccess.getStatementAccess().getPredicateDefinitionParserRuleCall_1()); 157 newCompositeNode(grammarAccess.getStatementAccess().getEnumDeclarationParserRuleCall_1());
158 }
159 this_EnumDeclaration_1=ruleEnumDeclaration
160 {
161 $current = $this_EnumDeclaration_1.current;
162 afterParserOrEnumRuleCall();
163 }
164 |
165 {
166 newCompositeNode(grammarAccess.getStatementAccess().getPredicateDefinitionParserRuleCall_2());
157 } 167 }
158 this_PredicateDefinition_1=rulePredicateDefinition 168 this_PredicateDefinition_2=rulePredicateDefinition
159 { 169 {
160 $current = $this_PredicateDefinition_1.current; 170 $current = $this_PredicateDefinition_2.current;
161 afterParserOrEnumRuleCall(); 171 afterParserOrEnumRuleCall();
162 } 172 }
163 | 173 |
164 { 174 {
165 newCompositeNode(grammarAccess.getStatementAccess().getAssertionParserRuleCall_2()); 175 newCompositeNode(grammarAccess.getStatementAccess().getAssertionParserRuleCall_3());
166 } 176 }
167 this_Assertion_2=ruleAssertion 177 this_Assertion_3=ruleAssertion
168 { 178 {
169 $current = $this_Assertion_2.current; 179 $current = $this_Assertion_3.current;
170 afterParserOrEnumRuleCall(); 180 afterParserOrEnumRuleCall();
171 } 181 }
172 | 182 |
173 { 183 {
174 newCompositeNode(grammarAccess.getStatementAccess().getScopeDeclarationParserRuleCall_3()); 184 newCompositeNode(grammarAccess.getStatementAccess().getScopeDeclarationParserRuleCall_4());
175 } 185 }
176 this_ScopeDeclaration_3=ruleScopeDeclaration 186 this_ScopeDeclaration_4=ruleScopeDeclaration
177 { 187 {
178 $current = $this_ScopeDeclaration_3.current; 188 $current = $this_ScopeDeclaration_4.current;
179 afterParserOrEnumRuleCall(); 189 afterParserOrEnumRuleCall();
180 } 190 }
181 ) 191 )
@@ -217,19 +227,20 @@ ruleClassDeclaration returns [EObject current=null]
217 } 227 }
218 ( 228 (
219 ( 229 (
220 lv_name_2_0=RULE_ID
221 { 230 {
222 newLeafNode(lv_name_2_0, grammarAccess.getClassDeclarationAccess().getNameIDTerminalRuleCall_2_0()); 231 newCompositeNode(grammarAccess.getClassDeclarationAccess().getNameIdentifierParserRuleCall_2_0());
223 } 232 }
233 lv_name_2_0=ruleIdentifier
224 { 234 {
225 if ($current==null) { 235 if ($current==null) {
226 $current = createModelElement(grammarAccess.getClassDeclarationRule()); 236 $current = createModelElementForParent(grammarAccess.getClassDeclarationRule());
227 } 237 }
228 setWithLastConsumed( 238 set(
229 $current, 239 $current,
230 "name", 240 "name",
231 lv_name_2_0, 241 lv_name_2_0,
232 "org.eclipse.xtext.common.Terminals.ID"); 242 "org.eclipse.viatra.solver.language.Problem.Identifier");
243 afterParserOrEnumRuleCall();
233 } 244 }
234 ) 245 )
235 ) 246 )
@@ -246,7 +257,7 @@ ruleClassDeclaration returns [EObject current=null]
246 } 257 }
247 } 258 }
248 { 259 {
249 newCompositeNode(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationCrossReference_3_1_0()); 260 newCompositeNode(grammarAccess.getClassDeclarationAccess().getSuperTypesRelationCrossReference_3_1_0());
250 } 261 }
251 ruleQualifiedName 262 ruleQualifiedName
252 { 263 {
@@ -267,7 +278,7 @@ ruleClassDeclaration returns [EObject current=null]
267 } 278 }
268 } 279 }
269 { 280 {
270 newCompositeNode(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationCrossReference_3_2_1_0()); 281 newCompositeNode(grammarAccess.getClassDeclarationAccess().getSuperTypesRelationCrossReference_3_2_1_0());
271 } 282 }
272 ruleQualifiedName 283 ruleQualifiedName
273 { 284 {
@@ -324,6 +335,158 @@ ruleClassDeclaration returns [EObject current=null]
324 ) 335 )
325; 336;
326 337
338// Entry rule entryRuleEnumDeclaration
339entryRuleEnumDeclaration returns [EObject current=null]:
340 { newCompositeNode(grammarAccess.getEnumDeclarationRule()); }
341 iv_ruleEnumDeclaration=ruleEnumDeclaration
342 { $current=$iv_ruleEnumDeclaration.current; }
343 EOF;
344
345// Rule EnumDeclaration
346ruleEnumDeclaration returns [EObject current=null]
347@init {
348 enterRule();
349}
350@after {
351 leaveRule();
352}:
353 (
354 otherlv_0='enum'
355 {
356 newLeafNode(otherlv_0, grammarAccess.getEnumDeclarationAccess().getEnumKeyword_0());
357 }
358 (
359 (
360 {
361 newCompositeNode(grammarAccess.getEnumDeclarationAccess().getNameIdentifierParserRuleCall_1_0());
362 }
363 lv_name_1_0=ruleIdentifier
364 {
365 if ($current==null) {
366 $current = createModelElementForParent(grammarAccess.getEnumDeclarationRule());
367 }
368 set(
369 $current,
370 "name",
371 lv_name_1_0,
372 "org.eclipse.viatra.solver.language.Problem.Identifier");
373 afterParserOrEnumRuleCall();
374 }
375 )
376 )
377 (
378 (
379 otherlv_2='{'
380 {
381 newLeafNode(otherlv_2, grammarAccess.getEnumDeclarationAccess().getLeftCurlyBracketKeyword_2_0_0());
382 }
383 (
384 (
385 (
386 {
387 newCompositeNode(grammarAccess.getEnumDeclarationAccess().getLiteralsEnumLiteralParserRuleCall_2_0_1_0_0());
388 }
389 lv_literals_3_0=ruleEnumLiteral
390 {
391 if ($current==null) {
392 $current = createModelElementForParent(grammarAccess.getEnumDeclarationRule());
393 }
394 add(
395 $current,
396 "literals",
397 lv_literals_3_0,
398 "org.eclipse.viatra.solver.language.Problem.EnumLiteral");
399 afterParserOrEnumRuleCall();
400 }
401 )
402 )
403 (
404 otherlv_4=','
405 {
406 newLeafNode(otherlv_4, grammarAccess.getEnumDeclarationAccess().getCommaKeyword_2_0_1_1_0());
407 }
408 (
409 (
410 {
411 newCompositeNode(grammarAccess.getEnumDeclarationAccess().getLiteralsEnumLiteralParserRuleCall_2_0_1_1_1_0());
412 }
413 lv_literals_5_0=ruleEnumLiteral
414 {
415 if ($current==null) {
416 $current = createModelElementForParent(grammarAccess.getEnumDeclarationRule());
417 }
418 add(
419 $current,
420 "literals",
421 lv_literals_5_0,
422 "org.eclipse.viatra.solver.language.Problem.EnumLiteral");
423 afterParserOrEnumRuleCall();
424 }
425 )
426 )
427 )*
428 (
429 otherlv_6=','
430 {
431 newLeafNode(otherlv_6, grammarAccess.getEnumDeclarationAccess().getCommaKeyword_2_0_1_2_0());
432 }
433 |
434 otherlv_7=';'
435 {
436 newLeafNode(otherlv_7, grammarAccess.getEnumDeclarationAccess().getSemicolonKeyword_2_0_1_2_1());
437 }
438 )?
439 )?
440 otherlv_8='}'
441 {
442 newLeafNode(otherlv_8, grammarAccess.getEnumDeclarationAccess().getRightCurlyBracketKeyword_2_0_2());
443 }
444 )
445 |
446 otherlv_9='.'
447 {
448 newLeafNode(otherlv_9, grammarAccess.getEnumDeclarationAccess().getFullStopKeyword_2_1());
449 }
450 )
451 )
452;
453
454// Entry rule entryRuleEnumLiteral
455entryRuleEnumLiteral returns [EObject current=null]:
456 { newCompositeNode(grammarAccess.getEnumLiteralRule()); }
457 iv_ruleEnumLiteral=ruleEnumLiteral
458 { $current=$iv_ruleEnumLiteral.current; }
459 EOF;
460
461// Rule EnumLiteral
462ruleEnumLiteral returns [EObject current=null]
463@init {
464 enterRule();
465}
466@after {
467 leaveRule();
468}:
469 (
470 (
471 {
472 newCompositeNode(grammarAccess.getEnumLiteralAccess().getNameQuotedOrUnquotedIdParserRuleCall_0());
473 }
474 lv_name_0_0=ruleQuotedOrUnquotedId
475 {
476 if ($current==null) {
477 $current = createModelElementForParent(grammarAccess.getEnumLiteralRule());
478 }
479 set(
480 $current,
481 "name",
482 lv_name_0_0,
483 "org.eclipse.viatra.solver.language.Problem.QuotedOrUnquotedId");
484 afterParserOrEnumRuleCall();
485 }
486 )
487 )
488;
489
327// Entry rule entryRuleReferenceDeclaration 490// Entry rule entryRuleReferenceDeclaration
328entryRuleReferenceDeclaration returns [EObject current=null]: 491entryRuleReferenceDeclaration returns [EObject current=null]:
329 { newCompositeNode(grammarAccess.getReferenceDeclarationRule()); } 492 { newCompositeNode(grammarAccess.getReferenceDeclarationRule()); }
@@ -360,7 +523,7 @@ ruleReferenceDeclaration returns [EObject current=null]
360 { 523 {
361 newLeafNode(otherlv_1, grammarAccess.getReferenceDeclarationAccess().getRefersKeyword_0_1()); 524 newLeafNode(otherlv_1, grammarAccess.getReferenceDeclarationAccess().getRefersKeyword_0_1());
362 } 525 }
363 ) 526 )?
364 ( 527 (
365 ( 528 (
366 { 529 {
@@ -369,7 +532,7 @@ ruleReferenceDeclaration returns [EObject current=null]
369 } 532 }
370 } 533 }
371 { 534 {
372 newCompositeNode(grammarAccess.getReferenceDeclarationAccess().getReferenceTypeClassDeclarationCrossReference_1_0()); 535 newCompositeNode(grammarAccess.getReferenceDeclarationAccess().getReferenceTypeRelationCrossReference_1_0());
373 } 536 }
374 ruleQualifiedName 537 ruleQualifiedName
375 { 538 {
@@ -408,19 +571,20 @@ ruleReferenceDeclaration returns [EObject current=null]
408 )? 571 )?
409 ( 572 (
410 ( 573 (
411 lv_name_6_0=RULE_ID
412 { 574 {
413 newLeafNode(lv_name_6_0, grammarAccess.getReferenceDeclarationAccess().getNameIDTerminalRuleCall_3_0()); 575 newCompositeNode(grammarAccess.getReferenceDeclarationAccess().getNameIdentifierParserRuleCall_3_0());
414 } 576 }
577 lv_name_6_0=ruleIdentifier
415 { 578 {
416 if ($current==null) { 579 if ($current==null) {
417 $current = createModelElement(grammarAccess.getReferenceDeclarationRule()); 580 $current = createModelElementForParent(grammarAccess.getReferenceDeclarationRule());
418 } 581 }
419 setWithLastConsumed( 582 set(
420 $current, 583 $current,
421 "name", 584 "name",
422 lv_name_6_0, 585 lv_name_6_0,
423 "org.eclipse.xtext.common.Terminals.ID"); 586 "org.eclipse.viatra.solver.language.Problem.Identifier");
587 afterParserOrEnumRuleCall();
424 } 588 }
425 ) 589 )
426 ) 590 )
@@ -496,19 +660,20 @@ rulePredicateDefinition returns [EObject current=null]
496 ) 660 )
497 ( 661 (
498 ( 662 (
499 lv_name_3_0=RULE_ID
500 { 663 {
501 newLeafNode(lv_name_3_0, grammarAccess.getPredicateDefinitionAccess().getNameIDTerminalRuleCall_1_0()); 664 newCompositeNode(grammarAccess.getPredicateDefinitionAccess().getNameIdentifierParserRuleCall_1_0());
502 } 665 }
666 lv_name_3_0=ruleIdentifier
503 { 667 {
504 if ($current==null) { 668 if ($current==null) {
505 $current = createModelElement(grammarAccess.getPredicateDefinitionRule()); 669 $current = createModelElementForParent(grammarAccess.getPredicateDefinitionRule());
506 } 670 }
507 setWithLastConsumed( 671 set(
508 $current, 672 $current,
509 "name", 673 "name",
510 lv_name_3_0, 674 lv_name_3_0,
511 "org.eclipse.xtext.common.Terminals.ID"); 675 "org.eclipse.viatra.solver.language.Problem.Identifier");
676 afterParserOrEnumRuleCall();
512 } 677 }
513 ) 678 )
514 ) 679 )
@@ -646,27 +811,31 @@ ruleParameter returns [EObject current=null]
646 $current = createModelElement(grammarAccess.getParameterRule()); 811 $current = createModelElement(grammarAccess.getParameterRule());
647 } 812 }
648 } 813 }
649 otherlv_0=RULE_ID
650 { 814 {
651 newLeafNode(otherlv_0, grammarAccess.getParameterAccess().getParameterTypeClassDeclarationCrossReference_0_0()); 815 newCompositeNode(grammarAccess.getParameterAccess().getParameterTypeRelationCrossReference_0_0());
816 }
817 ruleQualifiedName
818 {
819 afterParserOrEnumRuleCall();
652 } 820 }
653 ) 821 )
654 ) 822 )?
655 ( 823 (
656 ( 824 (
657 lv_name_1_0=RULE_ID
658 { 825 {
659 newLeafNode(lv_name_1_0, grammarAccess.getParameterAccess().getNameIDTerminalRuleCall_1_0()); 826 newCompositeNode(grammarAccess.getParameterAccess().getNameIdentifierParserRuleCall_1_0());
660 } 827 }
828 lv_name_1_0=ruleIdentifier
661 { 829 {
662 if ($current==null) { 830 if ($current==null) {
663 $current = createModelElement(grammarAccess.getParameterRule()); 831 $current = createModelElementForParent(grammarAccess.getParameterRule());
664 } 832 }
665 setWithLastConsumed( 833 set(
666 $current, 834 $current,
667 "name", 835 "name",
668 lv_name_1_0, 836 lv_name_1_0,
669 "org.eclipse.xtext.common.Terminals.ID"); 837 "org.eclipse.viatra.solver.language.Problem.Identifier");
838 afterParserOrEnumRuleCall();
670 } 839 }
671 ) 840 )
672 ) 841 )
@@ -939,9 +1108,12 @@ ruleArgument returns [EObject current=null]
939 $current = createModelElement(grammarAccess.getArgumentRule()); 1108 $current = createModelElement(grammarAccess.getArgumentRule());
940 } 1109 }
941 } 1110 }
942 otherlv_0=RULE_ID
943 { 1111 {
944 newLeafNode(otherlv_0, grammarAccess.getArgumentAccess().getVariableVariableCrossReference_0()); 1112 newCompositeNode(grammarAccess.getArgumentAccess().getVariableOrNodeVariableOrNodeCrossReference_0());
1113 }
1114 ruleQualifiedName
1115 {
1116 afterParserOrEnumRuleCall();
945 } 1117 }
946 ) 1118 )
947 ) 1119 )
@@ -1513,6 +1685,43 @@ ruleUpperBound returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleToke
1513 ) 1685 )
1514; 1686;
1515 1687
1688// Entry rule entryRuleQuotedOrUnquotedId
1689entryRuleQuotedOrUnquotedId returns [String current=null]:
1690 { newCompositeNode(grammarAccess.getQuotedOrUnquotedIdRule()); }
1691 iv_ruleQuotedOrUnquotedId=ruleQuotedOrUnquotedId
1692 { $current=$iv_ruleQuotedOrUnquotedId.current.getText(); }
1693 EOF;
1694
1695// Rule QuotedOrUnquotedId
1696ruleQuotedOrUnquotedId returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleToken()]
1697@init {
1698 enterRule();
1699}
1700@after {
1701 leaveRule();
1702}:
1703 (
1704 this_QUOTED_ID_0=RULE_QUOTED_ID
1705 {
1706 $current.merge(this_QUOTED_ID_0);
1707 }
1708 {
1709 newLeafNode(this_QUOTED_ID_0, grammarAccess.getQuotedOrUnquotedIdAccess().getQUOTED_IDTerminalRuleCall_0());
1710 }
1711 |
1712 {
1713 newCompositeNode(grammarAccess.getQuotedOrUnquotedIdAccess().getIdentifierParserRuleCall_1());
1714 }
1715 this_Identifier_1=ruleIdentifier
1716 {
1717 $current.merge(this_Identifier_1);
1718 }
1719 {
1720 afterParserOrEnumRuleCall();
1721 }
1722 )
1723;
1724
1516// Entry rule entryRuleQualifiedName 1725// Entry rule entryRuleQualifiedName
1517entryRuleQualifiedName returns [String current=null]: 1726entryRuleQualifiedName returns [String current=null]:
1518 { newCompositeNode(grammarAccess.getQualifiedNameRule()); } 1727 { newCompositeNode(grammarAccess.getQualifiedNameRule()); }
@@ -1538,12 +1747,15 @@ ruleQualifiedName returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleT
1538 } 1747 }
1539 | 1748 |
1540 ( 1749 (
1541 this_ID_1=RULE_ID
1542 { 1750 {
1543 $current.merge(this_ID_1); 1751 newCompositeNode(grammarAccess.getQualifiedNameAccess().getIdentifierParserRuleCall_1_0());
1544 } 1752 }
1753 this_Identifier_1=ruleIdentifier
1545 { 1754 {
1546 newLeafNode(this_ID_1, grammarAccess.getQualifiedNameAccess().getIDTerminalRuleCall_1_0()); 1755 $current.merge(this_Identifier_1);
1756 }
1757 {
1758 afterParserOrEnumRuleCall();
1547 } 1759 }
1548 ( 1760 (
1549 kw=':' 1761 kw=':'
@@ -1551,12 +1763,15 @@ ruleQualifiedName returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleT
1551 $current.merge(kw); 1763 $current.merge(kw);
1552 newLeafNode(kw, grammarAccess.getQualifiedNameAccess().getColonKeyword_1_1_0()); 1764 newLeafNode(kw, grammarAccess.getQualifiedNameAccess().getColonKeyword_1_1_0());
1553 } 1765 }
1554 this_ID_3=RULE_ID
1555 { 1766 {
1556 $current.merge(this_ID_3); 1767 newCompositeNode(grammarAccess.getQualifiedNameAccess().getIdentifierParserRuleCall_1_1_1());
1557 } 1768 }
1769 this_Identifier_3=ruleIdentifier
1558 { 1770 {
1559 newLeafNode(this_ID_3, grammarAccess.getQualifiedNameAccess().getIDTerminalRuleCall_1_1_1()); 1771 $current.merge(this_Identifier_3);
1772 }
1773 {
1774 afterParserOrEnumRuleCall();
1560 } 1775 }
1561 )* 1776 )*
1562 ( 1777 (
@@ -1577,6 +1792,44 @@ ruleQualifiedName returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleT
1577 ) 1792 )
1578; 1793;
1579 1794
1795// Entry rule entryRuleIdentifier
1796entryRuleIdentifier returns [String current=null]:
1797 { newCompositeNode(grammarAccess.getIdentifierRule()); }
1798 iv_ruleIdentifier=ruleIdentifier
1799 { $current=$iv_ruleIdentifier.current.getText(); }
1800 EOF;
1801
1802// Rule Identifier
1803ruleIdentifier returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleToken()]
1804@init {
1805 enterRule();
1806}
1807@after {
1808 leaveRule();
1809}:
1810 (
1811 this_ID_0=RULE_ID
1812 {
1813 $current.merge(this_ID_0);
1814 }
1815 {
1816 newLeafNode(this_ID_0, grammarAccess.getIdentifierAccess().getIDTerminalRuleCall_0());
1817 }
1818 |
1819 kw='true'
1820 {
1821 $current.merge(kw);
1822 newLeafNode(kw, grammarAccess.getIdentifierAccess().getTrueKeyword_1());
1823 }
1824 |
1825 kw='false'
1826 {
1827 $current.merge(kw);
1828 newLeafNode(kw, grammarAccess.getIdentifierAccess().getFalseKeyword_2());
1829 }
1830 )
1831;
1832
1580// Rule LogicValue 1833// Rule LogicValue
1581ruleLogicValue returns [Enumerator current=null] 1834ruleLogicValue returns [Enumerator current=null]
1582@init { 1835@init {
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-16 02:34:45 +0000