diff options
Diffstat (limited to 'language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java')
-rw-r--r-- | language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java | 564 |
1 files changed, 500 insertions, 64 deletions
diff --git a/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java b/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java index 13f92444..2cb37dbc 100644 --- a/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java +++ b/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java | |||
@@ -74,13 +74,14 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
74 | private final RuleCall cEnumDeclarationParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | 74 | private final RuleCall cEnumDeclarationParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); |
75 | private final RuleCall cPredicateDefinitionParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | 75 | private final RuleCall cPredicateDefinitionParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); |
76 | private final RuleCall cAssertionParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3); | 76 | private final RuleCall cAssertionParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3); |
77 | private final RuleCall cScopeDeclarationParserRuleCall_4 = (RuleCall)cAlternatives.eContents().get(4); | 77 | private final RuleCall cNodeValueAssertionParserRuleCall_4 = (RuleCall)cAlternatives.eContents().get(4); |
78 | private final RuleCall cScopeDeclarationParserRuleCall_5 = (RuleCall)cAlternatives.eContents().get(5); | ||
78 | 79 | ||
79 | //Statement: | 80 | //Statement: |
80 | // ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | ScopeDeclaration; | 81 | // ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | NodeValueAssertion | ScopeDeclaration; |
81 | @Override public ParserRule getRule() { return rule; } | 82 | @Override public ParserRule getRule() { return rule; } |
82 | 83 | ||
83 | //ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | ScopeDeclaration | 84 | //ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | NodeValueAssertion | ScopeDeclaration |
84 | public Alternatives getAlternatives() { return cAlternatives; } | 85 | public Alternatives getAlternatives() { return cAlternatives; } |
85 | 86 | ||
86 | //ClassDeclaration | 87 | //ClassDeclaration |
@@ -95,8 +96,11 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
95 | //Assertion | 96 | //Assertion |
96 | public RuleCall getAssertionParserRuleCall_3() { return cAssertionParserRuleCall_3; } | 97 | public RuleCall getAssertionParserRuleCall_3() { return cAssertionParserRuleCall_3; } |
97 | 98 | ||
99 | //NodeValueAssertion | ||
100 | public RuleCall getNodeValueAssertionParserRuleCall_4() { return cNodeValueAssertionParserRuleCall_4; } | ||
101 | |||
98 | //ScopeDeclaration | 102 | //ScopeDeclaration |
99 | public RuleCall getScopeDeclarationParserRuleCall_4() { return cScopeDeclarationParserRuleCall_4; } | 103 | public RuleCall getScopeDeclarationParserRuleCall_5() { return cScopeDeclarationParserRuleCall_5; } |
100 | } | 104 | } |
101 | public class ClassDeclarationElements extends AbstractParserRuleElementFinder { | 105 | public class ClassDeclarationElements extends AbstractParserRuleElementFinder { |
102 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ClassDeclaration"); | 106 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ClassDeclaration"); |
@@ -712,11 +716,30 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
712 | } | 716 | } |
713 | public class ArgumentElements extends AbstractParserRuleElementFinder { | 717 | public class ArgumentElements extends AbstractParserRuleElementFinder { |
714 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Argument"); | 718 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Argument"); |
719 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
720 | private final RuleCall cVariableOrNodeArgumentParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
721 | private final RuleCall cConstantArgumentParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
722 | |||
723 | //Argument: | ||
724 | // VariableOrNodeArgument | ConstantArgument; | ||
725 | @Override public ParserRule getRule() { return rule; } | ||
726 | |||
727 | //VariableOrNodeArgument | ConstantArgument | ||
728 | public Alternatives getAlternatives() { return cAlternatives; } | ||
729 | |||
730 | //VariableOrNodeArgument | ||
731 | public RuleCall getVariableOrNodeArgumentParserRuleCall_0() { return cVariableOrNodeArgumentParserRuleCall_0; } | ||
732 | |||
733 | //ConstantArgument | ||
734 | public RuleCall getConstantArgumentParserRuleCall_1() { return cConstantArgumentParserRuleCall_1; } | ||
735 | } | ||
736 | public class VariableOrNodeArgumentElements extends AbstractParserRuleElementFinder { | ||
737 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.VariableOrNodeArgument"); | ||
715 | private final Assignment cVariableOrNodeAssignment = (Assignment)rule.eContents().get(1); | 738 | private final Assignment cVariableOrNodeAssignment = (Assignment)rule.eContents().get(1); |
716 | private final CrossReference cVariableOrNodeVariableOrNodeCrossReference_0 = (CrossReference)cVariableOrNodeAssignment.eContents().get(0); | 739 | private final CrossReference cVariableOrNodeVariableOrNodeCrossReference_0 = (CrossReference)cVariableOrNodeAssignment.eContents().get(0); |
717 | private final RuleCall cVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1 = (RuleCall)cVariableOrNodeVariableOrNodeCrossReference_0.eContents().get(1); | 740 | private final RuleCall cVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1 = (RuleCall)cVariableOrNodeVariableOrNodeCrossReference_0.eContents().get(1); |
718 | 741 | ||
719 | //Argument: | 742 | //VariableOrNodeArgument: |
720 | // variableOrNode=[VariableOrNode|QualifiedName]; | 743 | // variableOrNode=[VariableOrNode|QualifiedName]; |
721 | @Override public ParserRule getRule() { return rule; } | 744 | @Override public ParserRule getRule() { return rule; } |
722 | 745 | ||
@@ -729,6 +752,21 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
729 | //QualifiedName | 752 | //QualifiedName |
730 | public RuleCall getVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1() { return cVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1; } | 753 | public RuleCall getVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1() { return cVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1; } |
731 | } | 754 | } |
755 | public class ConstantArgumentElements extends AbstractParserRuleElementFinder { | ||
756 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ConstantArgument"); | ||
757 | private final Assignment cConstantAssignment = (Assignment)rule.eContents().get(1); | ||
758 | private final RuleCall cConstantConstantParserRuleCall_0 = (RuleCall)cConstantAssignment.eContents().get(0); | ||
759 | |||
760 | //ConstantArgument: | ||
761 | // constant=Constant; | ||
762 | @Override public ParserRule getRule() { return rule; } | ||
763 | |||
764 | //constant=Constant | ||
765 | public Assignment getConstantAssignment() { return cConstantAssignment; } | ||
766 | |||
767 | //Constant | ||
768 | public RuleCall getConstantConstantParserRuleCall_0() { return cConstantConstantParserRuleCall_0; } | ||
769 | } | ||
732 | public class AssertionElements extends AbstractParserRuleElementFinder { | 770 | public class AssertionElements extends AbstractParserRuleElementFinder { |
733 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Assertion"); | 771 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Assertion"); |
734 | private final Group cGroup = (Group)rule.eContents().get(1); | 772 | private final Group cGroup = (Group)rule.eContents().get(1); |
@@ -740,13 +778,11 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
740 | private final Keyword cLeftParenthesisKeyword_0_0_1 = (Keyword)cGroup_0_0.eContents().get(1); | 778 | private final Keyword cLeftParenthesisKeyword_0_0_1 = (Keyword)cGroup_0_0.eContents().get(1); |
741 | private final Group cGroup_0_0_2 = (Group)cGroup_0_0.eContents().get(2); | 779 | private final Group cGroup_0_0_2 = (Group)cGroup_0_0.eContents().get(2); |
742 | private final Assignment cArgumentsAssignment_0_0_2_0 = (Assignment)cGroup_0_0_2.eContents().get(0); | 780 | private final Assignment cArgumentsAssignment_0_0_2_0 = (Assignment)cGroup_0_0_2.eContents().get(0); |
743 | private final CrossReference cArgumentsNodeCrossReference_0_0_2_0_0 = (CrossReference)cArgumentsAssignment_0_0_2_0.eContents().get(0); | 781 | private final RuleCall cArgumentsAssertionArgumentParserRuleCall_0_0_2_0_0 = (RuleCall)cArgumentsAssignment_0_0_2_0.eContents().get(0); |
744 | private final RuleCall cArgumentsNodeQualifiedNameParserRuleCall_0_0_2_0_0_1 = (RuleCall)cArgumentsNodeCrossReference_0_0_2_0_0.eContents().get(1); | ||
745 | private final Group cGroup_0_0_2_1 = (Group)cGroup_0_0_2.eContents().get(1); | 782 | private final Group cGroup_0_0_2_1 = (Group)cGroup_0_0_2.eContents().get(1); |
746 | private final Keyword cCommaKeyword_0_0_2_1_0 = (Keyword)cGroup_0_0_2_1.eContents().get(0); | 783 | private final Keyword cCommaKeyword_0_0_2_1_0 = (Keyword)cGroup_0_0_2_1.eContents().get(0); |
747 | private final Assignment cArgumentsAssignment_0_0_2_1_1 = (Assignment)cGroup_0_0_2_1.eContents().get(1); | 784 | private final Assignment cArgumentsAssignment_0_0_2_1_1 = (Assignment)cGroup_0_0_2_1.eContents().get(1); |
748 | private final CrossReference cArgumentsNodeCrossReference_0_0_2_1_1_0 = (CrossReference)cArgumentsAssignment_0_0_2_1_1.eContents().get(0); | 785 | private final RuleCall cArgumentsAssertionArgumentParserRuleCall_0_0_2_1_1_0 = (RuleCall)cArgumentsAssignment_0_0_2_1_1.eContents().get(0); |
749 | private final RuleCall cArgumentsNodeQualifiedNameParserRuleCall_0_0_2_1_1_0_1 = (RuleCall)cArgumentsNodeCrossReference_0_0_2_1_1_0.eContents().get(1); | ||
750 | private final Keyword cRightParenthesisKeyword_0_0_3 = (Keyword)cGroup_0_0.eContents().get(3); | 786 | private final Keyword cRightParenthesisKeyword_0_0_3 = (Keyword)cGroup_0_0.eContents().get(3); |
751 | private final Keyword cColonKeyword_0_0_4 = (Keyword)cGroup_0_0.eContents().get(4); | 787 | private final Keyword cColonKeyword_0_0_4 = (Keyword)cGroup_0_0.eContents().get(4); |
752 | private final Assignment cValueAssignment_0_0_5 = (Assignment)cGroup_0_0.eContents().get(5); | 788 | private final Assignment cValueAssignment_0_0_5 = (Assignment)cGroup_0_0.eContents().get(5); |
@@ -760,45 +796,43 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
760 | private final Keyword cLeftParenthesisKeyword_0_1_2 = (Keyword)cGroup_0_1.eContents().get(2); | 796 | private final Keyword cLeftParenthesisKeyword_0_1_2 = (Keyword)cGroup_0_1.eContents().get(2); |
761 | private final Group cGroup_0_1_3 = (Group)cGroup_0_1.eContents().get(3); | 797 | private final Group cGroup_0_1_3 = (Group)cGroup_0_1.eContents().get(3); |
762 | private final Assignment cArgumentsAssignment_0_1_3_0 = (Assignment)cGroup_0_1_3.eContents().get(0); | 798 | private final Assignment cArgumentsAssignment_0_1_3_0 = (Assignment)cGroup_0_1_3.eContents().get(0); |
763 | private final CrossReference cArgumentsNodeCrossReference_0_1_3_0_0 = (CrossReference)cArgumentsAssignment_0_1_3_0.eContents().get(0); | 799 | private final RuleCall cArgumentsAssertionArgumentParserRuleCall_0_1_3_0_0 = (RuleCall)cArgumentsAssignment_0_1_3_0.eContents().get(0); |
764 | private final RuleCall cArgumentsNodeQualifiedNameParserRuleCall_0_1_3_0_0_1 = (RuleCall)cArgumentsNodeCrossReference_0_1_3_0_0.eContents().get(1); | ||
765 | private final Group cGroup_0_1_3_1 = (Group)cGroup_0_1_3.eContents().get(1); | 800 | private final Group cGroup_0_1_3_1 = (Group)cGroup_0_1_3.eContents().get(1); |
766 | private final Keyword cCommaKeyword_0_1_3_1_0 = (Keyword)cGroup_0_1_3_1.eContents().get(0); | 801 | private final Keyword cCommaKeyword_0_1_3_1_0 = (Keyword)cGroup_0_1_3_1.eContents().get(0); |
767 | private final Assignment cArgumentsAssignment_0_1_3_1_1 = (Assignment)cGroup_0_1_3_1.eContents().get(1); | 802 | private final Assignment cArgumentsAssignment_0_1_3_1_1 = (Assignment)cGroup_0_1_3_1.eContents().get(1); |
768 | private final CrossReference cArgumentsNodeCrossReference_0_1_3_1_1_0 = (CrossReference)cArgumentsAssignment_0_1_3_1_1.eContents().get(0); | 803 | private final RuleCall cArgumentsAssertionArgumentParserRuleCall_0_1_3_1_1_0 = (RuleCall)cArgumentsAssignment_0_1_3_1_1.eContents().get(0); |
769 | private final RuleCall cArgumentsNodeQualifiedNameParserRuleCall_0_1_3_1_1_0_1 = (RuleCall)cArgumentsNodeCrossReference_0_1_3_1_1_0.eContents().get(1); | ||
770 | private final Keyword cRightParenthesisKeyword_0_1_4 = (Keyword)cGroup_0_1.eContents().get(4); | 804 | private final Keyword cRightParenthesisKeyword_0_1_4 = (Keyword)cGroup_0_1.eContents().get(4); |
771 | private final Keyword cFullStopKeyword_1 = (Keyword)cGroup.eContents().get(1); | 805 | private final Keyword cFullStopKeyword_1 = (Keyword)cGroup.eContents().get(1); |
772 | 806 | ||
773 | //Assertion: | 807 | //Assertion: |
774 | // (relation=[Relation|QualifiedName] | 808 | // (relation=[Relation|QualifiedName] |
775 | // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")" | 809 | // "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")" |
776 | // ":" value=LogicValue | | 810 | // ":" value=LogicValue | |
777 | // value=ShortLogicValue? | 811 | // value=ShortLogicValue? |
778 | // relation=[Relation|QualifiedName] | 812 | // relation=[Relation|QualifiedName] |
779 | // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")") | 813 | // "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")") |
780 | // "."; | 814 | // "."; |
781 | @Override public ParserRule getRule() { return rule; } | 815 | @Override public ParserRule getRule() { return rule; } |
782 | 816 | ||
783 | //(relation=[Relation|QualifiedName] | 817 | //(relation=[Relation|QualifiedName] |
784 | //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")" | 818 | //"(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")" |
785 | //":" value=LogicValue | | 819 | //":" value=LogicValue | |
786 | //value=ShortLogicValue? | 820 | //value=ShortLogicValue? |
787 | //relation=[Relation|QualifiedName] | 821 | //relation=[Relation|QualifiedName] |
788 | //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")") | 822 | //"(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")") |
789 | //"." | 823 | //"." |
790 | public Group getGroup() { return cGroup; } | 824 | public Group getGroup() { return cGroup; } |
791 | 825 | ||
792 | //(relation=[Relation|QualifiedName] | 826 | //(relation=[Relation|QualifiedName] |
793 | //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")" | 827 | //"(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")" |
794 | //":" value=LogicValue | | 828 | //":" value=LogicValue | |
795 | //value=ShortLogicValue? | 829 | //value=ShortLogicValue? |
796 | //relation=[Relation|QualifiedName] | 830 | //relation=[Relation|QualifiedName] |
797 | //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")") | 831 | //"(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")") |
798 | public Alternatives getAlternatives_0() { return cAlternatives_0; } | 832 | public Alternatives getAlternatives_0() { return cAlternatives_0; } |
799 | 833 | ||
800 | //relation=[Relation|QualifiedName] | 834 | //relation=[Relation|QualifiedName] |
801 | // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")" | 835 | // "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")" |
802 | // ":" value=LogicValue | 836 | // ":" value=LogicValue |
803 | public Group getGroup_0_0() { return cGroup_0_0; } | 837 | public Group getGroup_0_0() { return cGroup_0_0; } |
804 | 838 | ||
@@ -814,32 +848,26 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
814 | //"(" | 848 | //"(" |
815 | public Keyword getLeftParenthesisKeyword_0_0_1() { return cLeftParenthesisKeyword_0_0_1; } | 849 | public Keyword getLeftParenthesisKeyword_0_0_1() { return cLeftParenthesisKeyword_0_0_1; } |
816 | 850 | ||
817 | //(arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? | 851 | //(arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? |
818 | public Group getGroup_0_0_2() { return cGroup_0_0_2; } | 852 | public Group getGroup_0_0_2() { return cGroup_0_0_2; } |
819 | 853 | ||
820 | //arguments+=[Node|QualifiedName] | 854 | //arguments+=AssertionArgument |
821 | public Assignment getArgumentsAssignment_0_0_2_0() { return cArgumentsAssignment_0_0_2_0; } | 855 | public Assignment getArgumentsAssignment_0_0_2_0() { return cArgumentsAssignment_0_0_2_0; } |
822 | 856 | ||
823 | //[Node|QualifiedName] | 857 | //AssertionArgument |
824 | public CrossReference getArgumentsNodeCrossReference_0_0_2_0_0() { return cArgumentsNodeCrossReference_0_0_2_0_0; } | 858 | public RuleCall getArgumentsAssertionArgumentParserRuleCall_0_0_2_0_0() { return cArgumentsAssertionArgumentParserRuleCall_0_0_2_0_0; } |
825 | |||
826 | //QualifiedName | ||
827 | public RuleCall getArgumentsNodeQualifiedNameParserRuleCall_0_0_2_0_0_1() { return cArgumentsNodeQualifiedNameParserRuleCall_0_0_2_0_0_1; } | ||
828 | 859 | ||
829 | //("," arguments+=[Node|QualifiedName])* | 860 | //("," arguments+=AssertionArgument)* |
830 | public Group getGroup_0_0_2_1() { return cGroup_0_0_2_1; } | 861 | public Group getGroup_0_0_2_1() { return cGroup_0_0_2_1; } |
831 | 862 | ||
832 | //"," | 863 | //"," |
833 | public Keyword getCommaKeyword_0_0_2_1_0() { return cCommaKeyword_0_0_2_1_0; } | 864 | public Keyword getCommaKeyword_0_0_2_1_0() { return cCommaKeyword_0_0_2_1_0; } |
834 | 865 | ||
835 | //arguments+=[Node|QualifiedName] | 866 | //arguments+=AssertionArgument |
836 | public Assignment getArgumentsAssignment_0_0_2_1_1() { return cArgumentsAssignment_0_0_2_1_1; } | 867 | public Assignment getArgumentsAssignment_0_0_2_1_1() { return cArgumentsAssignment_0_0_2_1_1; } |
837 | 868 | ||
838 | //[Node|QualifiedName] | 869 | //AssertionArgument |
839 | public CrossReference getArgumentsNodeCrossReference_0_0_2_1_1_0() { return cArgumentsNodeCrossReference_0_0_2_1_1_0; } | 870 | public RuleCall getArgumentsAssertionArgumentParserRuleCall_0_0_2_1_1_0() { return cArgumentsAssertionArgumentParserRuleCall_0_0_2_1_1_0; } |
840 | |||
841 | //QualifiedName | ||
842 | public RuleCall getArgumentsNodeQualifiedNameParserRuleCall_0_0_2_1_1_0_1() { return cArgumentsNodeQualifiedNameParserRuleCall_0_0_2_1_1_0_1; } | ||
843 | 871 | ||
844 | //")" | 872 | //")" |
845 | public Keyword getRightParenthesisKeyword_0_0_3() { return cRightParenthesisKeyword_0_0_3; } | 873 | public Keyword getRightParenthesisKeyword_0_0_3() { return cRightParenthesisKeyword_0_0_3; } |
@@ -855,7 +883,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
855 | 883 | ||
856 | //value=ShortLogicValue? | 884 | //value=ShortLogicValue? |
857 | //relation=[Relation|QualifiedName] | 885 | //relation=[Relation|QualifiedName] |
858 | //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")" | 886 | //"(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")" |
859 | public Group getGroup_0_1() { return cGroup_0_1; } | 887 | public Group getGroup_0_1() { return cGroup_0_1; } |
860 | 888 | ||
861 | //value=ShortLogicValue? | 889 | //value=ShortLogicValue? |
@@ -876,32 +904,26 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
876 | //"(" | 904 | //"(" |
877 | public Keyword getLeftParenthesisKeyword_0_1_2() { return cLeftParenthesisKeyword_0_1_2; } | 905 | public Keyword getLeftParenthesisKeyword_0_1_2() { return cLeftParenthesisKeyword_0_1_2; } |
878 | 906 | ||
879 | //(arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? | 907 | //(arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? |
880 | public Group getGroup_0_1_3() { return cGroup_0_1_3; } | 908 | public Group getGroup_0_1_3() { return cGroup_0_1_3; } |
881 | 909 | ||
882 | //arguments+=[Node|QualifiedName] | 910 | //arguments+=AssertionArgument |
883 | public Assignment getArgumentsAssignment_0_1_3_0() { return cArgumentsAssignment_0_1_3_0; } | 911 | public Assignment getArgumentsAssignment_0_1_3_0() { return cArgumentsAssignment_0_1_3_0; } |
884 | 912 | ||
885 | //[Node|QualifiedName] | 913 | //AssertionArgument |
886 | public CrossReference getArgumentsNodeCrossReference_0_1_3_0_0() { return cArgumentsNodeCrossReference_0_1_3_0_0; } | 914 | public RuleCall getArgumentsAssertionArgumentParserRuleCall_0_1_3_0_0() { return cArgumentsAssertionArgumentParserRuleCall_0_1_3_0_0; } |
887 | |||
888 | //QualifiedName | ||
889 | public RuleCall getArgumentsNodeQualifiedNameParserRuleCall_0_1_3_0_0_1() { return cArgumentsNodeQualifiedNameParserRuleCall_0_1_3_0_0_1; } | ||
890 | 915 | ||
891 | //("," arguments+=[Node|QualifiedName])* | 916 | //("," arguments+=AssertionArgument)* |
892 | public Group getGroup_0_1_3_1() { return cGroup_0_1_3_1; } | 917 | public Group getGroup_0_1_3_1() { return cGroup_0_1_3_1; } |
893 | 918 | ||
894 | //"," | 919 | //"," |
895 | public Keyword getCommaKeyword_0_1_3_1_0() { return cCommaKeyword_0_1_3_1_0; } | 920 | public Keyword getCommaKeyword_0_1_3_1_0() { return cCommaKeyword_0_1_3_1_0; } |
896 | 921 | ||
897 | //arguments+=[Node|QualifiedName] | 922 | //arguments+=AssertionArgument |
898 | public Assignment getArgumentsAssignment_0_1_3_1_1() { return cArgumentsAssignment_0_1_3_1_1; } | 923 | public Assignment getArgumentsAssignment_0_1_3_1_1() { return cArgumentsAssignment_0_1_3_1_1; } |
899 | 924 | ||
900 | //[Node|QualifiedName] | 925 | //AssertionArgument |
901 | public CrossReference getArgumentsNodeCrossReference_0_1_3_1_1_0() { return cArgumentsNodeCrossReference_0_1_3_1_1_0; } | 926 | public RuleCall getArgumentsAssertionArgumentParserRuleCall_0_1_3_1_1_0() { return cArgumentsAssertionArgumentParserRuleCall_0_1_3_1_1_0; } |
902 | |||
903 | //QualifiedName | ||
904 | public RuleCall getArgumentsNodeQualifiedNameParserRuleCall_0_1_3_1_1_0_1() { return cArgumentsNodeQualifiedNameParserRuleCall_0_1_3_1_1_0_1; } | ||
905 | 927 | ||
906 | //")" | 928 | //")" |
907 | public Keyword getRightParenthesisKeyword_0_1_4() { return cRightParenthesisKeyword_0_1_4; } | 929 | public Keyword getRightParenthesisKeyword_0_1_4() { return cRightParenthesisKeyword_0_1_4; } |
@@ -909,6 +931,166 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
909 | //"." | 931 | //"." |
910 | public Keyword getFullStopKeyword_1() { return cFullStopKeyword_1; } | 932 | public Keyword getFullStopKeyword_1() { return cFullStopKeyword_1; } |
911 | } | 933 | } |
934 | public class AssertionArgumentElements extends AbstractParserRuleElementFinder { | ||
935 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.AssertionArgument"); | ||
936 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
937 | private final RuleCall cNodeAssertionArgumentParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
938 | private final RuleCall cConstantAssertionArgumentParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
939 | |||
940 | //AssertionArgument: | ||
941 | // NodeAssertionArgument | ConstantAssertionArgument; | ||
942 | @Override public ParserRule getRule() { return rule; } | ||
943 | |||
944 | //NodeAssertionArgument | ConstantAssertionArgument | ||
945 | public Alternatives getAlternatives() { return cAlternatives; } | ||
946 | |||
947 | //NodeAssertionArgument | ||
948 | public RuleCall getNodeAssertionArgumentParserRuleCall_0() { return cNodeAssertionArgumentParserRuleCall_0; } | ||
949 | |||
950 | //ConstantAssertionArgument | ||
951 | public RuleCall getConstantAssertionArgumentParserRuleCall_1() { return cConstantAssertionArgumentParserRuleCall_1; } | ||
952 | } | ||
953 | public class NodeAssertionArgumentElements extends AbstractParserRuleElementFinder { | ||
954 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.NodeAssertionArgument"); | ||
955 | private final Assignment cNodeAssignment = (Assignment)rule.eContents().get(1); | ||
956 | private final CrossReference cNodeNodeCrossReference_0 = (CrossReference)cNodeAssignment.eContents().get(0); | ||
957 | private final RuleCall cNodeNodeQualifiedNameParserRuleCall_0_1 = (RuleCall)cNodeNodeCrossReference_0.eContents().get(1); | ||
958 | |||
959 | //NodeAssertionArgument: | ||
960 | // node=[Node|QualifiedName]; | ||
961 | @Override public ParserRule getRule() { return rule; } | ||
962 | |||
963 | //node=[Node|QualifiedName] | ||
964 | public Assignment getNodeAssignment() { return cNodeAssignment; } | ||
965 | |||
966 | //[Node|QualifiedName] | ||
967 | public CrossReference getNodeNodeCrossReference_0() { return cNodeNodeCrossReference_0; } | ||
968 | |||
969 | //QualifiedName | ||
970 | public RuleCall getNodeNodeQualifiedNameParserRuleCall_0_1() { return cNodeNodeQualifiedNameParserRuleCall_0_1; } | ||
971 | } | ||
972 | public class ConstantAssertionArgumentElements extends AbstractParserRuleElementFinder { | ||
973 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ConstantAssertionArgument"); | ||
974 | private final Assignment cConstantAssignment = (Assignment)rule.eContents().get(1); | ||
975 | private final RuleCall cConstantConstantParserRuleCall_0 = (RuleCall)cConstantAssignment.eContents().get(0); | ||
976 | |||
977 | //ConstantAssertionArgument: | ||
978 | // constant=Constant; | ||
979 | @Override public ParserRule getRule() { return rule; } | ||
980 | |||
981 | //constant=Constant | ||
982 | public Assignment getConstantAssignment() { return cConstantAssignment; } | ||
983 | |||
984 | //Constant | ||
985 | public RuleCall getConstantConstantParserRuleCall_0() { return cConstantConstantParserRuleCall_0; } | ||
986 | } | ||
987 | public class NodeValueAssertionElements extends AbstractParserRuleElementFinder { | ||
988 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.NodeValueAssertion"); | ||
989 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
990 | private final Assignment cNodeAssignment_0 = (Assignment)cGroup.eContents().get(0); | ||
991 | private final CrossReference cNodeNodeCrossReference_0_0 = (CrossReference)cNodeAssignment_0.eContents().get(0); | ||
992 | private final RuleCall cNodeNodeQualifiedNameParserRuleCall_0_0_1 = (RuleCall)cNodeNodeCrossReference_0_0.eContents().get(1); | ||
993 | private final Keyword cColonKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
994 | private final Assignment cValueAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
995 | private final RuleCall cValueConstantParserRuleCall_2_0 = (RuleCall)cValueAssignment_2.eContents().get(0); | ||
996 | private final Keyword cFullStopKeyword_3 = (Keyword)cGroup.eContents().get(3); | ||
997 | |||
998 | //NodeValueAssertion: | ||
999 | // node=[Node|QualifiedName] ":" value=Constant "."; | ||
1000 | @Override public ParserRule getRule() { return rule; } | ||
1001 | |||
1002 | //node=[Node|QualifiedName] ":" value=Constant "." | ||
1003 | public Group getGroup() { return cGroup; } | ||
1004 | |||
1005 | //node=[Node|QualifiedName] | ||
1006 | public Assignment getNodeAssignment_0() { return cNodeAssignment_0; } | ||
1007 | |||
1008 | //[Node|QualifiedName] | ||
1009 | public CrossReference getNodeNodeCrossReference_0_0() { return cNodeNodeCrossReference_0_0; } | ||
1010 | |||
1011 | //QualifiedName | ||
1012 | public RuleCall getNodeNodeQualifiedNameParserRuleCall_0_0_1() { return cNodeNodeQualifiedNameParserRuleCall_0_0_1; } | ||
1013 | |||
1014 | //":" | ||
1015 | public Keyword getColonKeyword_1() { return cColonKeyword_1; } | ||
1016 | |||
1017 | //value=Constant | ||
1018 | public Assignment getValueAssignment_2() { return cValueAssignment_2; } | ||
1019 | |||
1020 | //Constant | ||
1021 | public RuleCall getValueConstantParserRuleCall_2_0() { return cValueConstantParserRuleCall_2_0; } | ||
1022 | |||
1023 | //"." | ||
1024 | public Keyword getFullStopKeyword_3() { return cFullStopKeyword_3; } | ||
1025 | } | ||
1026 | public class ConstantElements extends AbstractParserRuleElementFinder { | ||
1027 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Constant"); | ||
1028 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1029 | private final RuleCall cIntConstantParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
1030 | private final RuleCall cRealConstantParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
1031 | private final RuleCall cStringConstantParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | ||
1032 | |||
1033 | //Constant: | ||
1034 | // IntConstant | RealConstant | StringConstant; | ||
1035 | @Override public ParserRule getRule() { return rule; } | ||
1036 | |||
1037 | //IntConstant | RealConstant | StringConstant | ||
1038 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1039 | |||
1040 | //IntConstant | ||
1041 | public RuleCall getIntConstantParserRuleCall_0() { return cIntConstantParserRuleCall_0; } | ||
1042 | |||
1043 | //RealConstant | ||
1044 | public RuleCall getRealConstantParserRuleCall_1() { return cRealConstantParserRuleCall_1; } | ||
1045 | |||
1046 | //StringConstant | ||
1047 | public RuleCall getStringConstantParserRuleCall_2() { return cStringConstantParserRuleCall_2; } | ||
1048 | } | ||
1049 | public class IntConstantElements extends AbstractParserRuleElementFinder { | ||
1050 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.IntConstant"); | ||
1051 | private final Assignment cIntValueAssignment = (Assignment)rule.eContents().get(1); | ||
1052 | private final RuleCall cIntValueIntegerParserRuleCall_0 = (RuleCall)cIntValueAssignment.eContents().get(0); | ||
1053 | |||
1054 | //IntConstant: | ||
1055 | // intValue=Integer; | ||
1056 | @Override public ParserRule getRule() { return rule; } | ||
1057 | |||
1058 | //intValue=Integer | ||
1059 | public Assignment getIntValueAssignment() { return cIntValueAssignment; } | ||
1060 | |||
1061 | //Integer | ||
1062 | public RuleCall getIntValueIntegerParserRuleCall_0() { return cIntValueIntegerParserRuleCall_0; } | ||
1063 | } | ||
1064 | public class RealConstantElements extends AbstractParserRuleElementFinder { | ||
1065 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.RealConstant"); | ||
1066 | private final Assignment cRealValueAssignment = (Assignment)rule.eContents().get(1); | ||
1067 | private final RuleCall cRealValueRealParserRuleCall_0 = (RuleCall)cRealValueAssignment.eContents().get(0); | ||
1068 | |||
1069 | //RealConstant: | ||
1070 | // realValue=Real; | ||
1071 | @Override public ParserRule getRule() { return rule; } | ||
1072 | |||
1073 | //realValue=Real | ||
1074 | public Assignment getRealValueAssignment() { return cRealValueAssignment; } | ||
1075 | |||
1076 | //Real | ||
1077 | public RuleCall getRealValueRealParserRuleCall_0() { return cRealValueRealParserRuleCall_0; } | ||
1078 | } | ||
1079 | public class StringConstantElements extends AbstractParserRuleElementFinder { | ||
1080 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.StringConstant"); | ||
1081 | private final Assignment cStringValueAssignment = (Assignment)rule.eContents().get(1); | ||
1082 | private final RuleCall cStringValueSTRINGTerminalRuleCall_0 = (RuleCall)cStringValueAssignment.eContents().get(0); | ||
1083 | |||
1084 | //StringConstant: | ||
1085 | // stringValue=STRING; | ||
1086 | @Override public ParserRule getRule() { return rule; } | ||
1087 | |||
1088 | //stringValue=STRING | ||
1089 | public Assignment getStringValueAssignment() { return cStringValueAssignment; } | ||
1090 | |||
1091 | //STRING | ||
1092 | public RuleCall getStringValueSTRINGTerminalRuleCall_0() { return cStringValueSTRINGTerminalRuleCall_0; } | ||
1093 | } | ||
912 | public class ScopeDeclarationElements extends AbstractParserRuleElementFinder { | 1094 | public class ScopeDeclarationElements extends AbstractParserRuleElementFinder { |
913 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ScopeDeclaration"); | 1095 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ScopeDeclaration"); |
914 | private final Group cGroup = (Group)rule.eContents().get(1); | 1096 | private final Group cGroup = (Group)rule.eContents().get(1); |
@@ -1149,7 +1331,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1149 | private final Keyword cColonColonKeyword_1_2_0 = (Keyword)cGroup_1_2.eContents().get(0); | 1331 | private final Keyword cColonColonKeyword_1_2_0 = (Keyword)cGroup_1_2.eContents().get(0); |
1150 | private final RuleCall cQUOTED_IDTerminalRuleCall_1_2_1 = (RuleCall)cGroup_1_2.eContents().get(1); | 1332 | private final RuleCall cQUOTED_IDTerminalRuleCall_1_2_1 = (RuleCall)cGroup_1_2.eContents().get(1); |
1151 | 1333 | ||
1152 | //QualifiedName: | 1334 | //QualifiedName hidden(): |
1153 | // QUOTED_ID | Identifier ("::" Identifier)* ("::" QUOTED_ID)?; | 1335 | // QUOTED_ID | Identifier ("::" Identifier)* ("::" QUOTED_ID)?; |
1154 | @Override public ParserRule getRule() { return rule; } | 1336 | @Override public ParserRule getRule() { return rule; } |
1155 | 1337 | ||
@@ -1189,12 +1371,14 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1189 | private final RuleCall cIDTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | 1371 | private final RuleCall cIDTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); |
1190 | private final Keyword cTrueKeyword_1 = (Keyword)cAlternatives.eContents().get(1); | 1372 | private final Keyword cTrueKeyword_1 = (Keyword)cAlternatives.eContents().get(1); |
1191 | private final Keyword cFalseKeyword_2 = (Keyword)cAlternatives.eContents().get(2); | 1373 | private final Keyword cFalseKeyword_2 = (Keyword)cAlternatives.eContents().get(2); |
1374 | private final Keyword cEKeyword_3 = (Keyword)cAlternatives.eContents().get(3); | ||
1375 | private final Keyword cEKeyword_4 = (Keyword)cAlternatives.eContents().get(4); | ||
1192 | 1376 | ||
1193 | //Identifier: | 1377 | //Identifier: |
1194 | // ID | "true" | "false"; | 1378 | // ID | "true" | "false" | "e" | "E"; |
1195 | @Override public ParserRule getRule() { return rule; } | 1379 | @Override public ParserRule getRule() { return rule; } |
1196 | 1380 | ||
1197 | //ID | "true" | "false" | 1381 | //ID | "true" | "false" | "e" | "E" |
1198 | public Alternatives getAlternatives() { return cAlternatives; } | 1382 | public Alternatives getAlternatives() { return cAlternatives; } |
1199 | 1383 | ||
1200 | //ID | 1384 | //ID |
@@ -1205,6 +1389,110 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1205 | 1389 | ||
1206 | //"false" | 1390 | //"false" |
1207 | public Keyword getFalseKeyword_2() { return cFalseKeyword_2; } | 1391 | public Keyword getFalseKeyword_2() { return cFalseKeyword_2; } |
1392 | |||
1393 | //"e" | ||
1394 | public Keyword getEKeyword_3() { return cEKeyword_3; } | ||
1395 | |||
1396 | //"E" | ||
1397 | public Keyword getEKeyword_4() { return cEKeyword_4; } | ||
1398 | } | ||
1399 | public class IntegerElements extends AbstractParserRuleElementFinder { | ||
1400 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Integer"); | ||
1401 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1402 | private final Keyword cHyphenMinusKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
1403 | private final RuleCall cINTTerminalRuleCall_1 = (RuleCall)cGroup.eContents().get(1); | ||
1404 | |||
1405 | //Integer returns ecore::EInt hidden(): | ||
1406 | // "-"? INT; | ||
1407 | @Override public ParserRule getRule() { return rule; } | ||
1408 | |||
1409 | //"-"? INT | ||
1410 | public Group getGroup() { return cGroup; } | ||
1411 | |||
1412 | //"-"? | ||
1413 | public Keyword getHyphenMinusKeyword_0() { return cHyphenMinusKeyword_0; } | ||
1414 | |||
1415 | //INT | ||
1416 | public RuleCall getINTTerminalRuleCall_1() { return cINTTerminalRuleCall_1; } | ||
1417 | } | ||
1418 | public class RealElements extends AbstractParserRuleElementFinder { | ||
1419 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Real"); | ||
1420 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1421 | private final Keyword cHyphenMinusKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
1422 | private final RuleCall cINTTerminalRuleCall_1 = (RuleCall)cGroup.eContents().get(1); | ||
1423 | private final Alternatives cAlternatives_2 = (Alternatives)cGroup.eContents().get(2); | ||
1424 | private final Group cGroup_2_0 = (Group)cAlternatives_2.eContents().get(0); | ||
1425 | private final Keyword cFullStopKeyword_2_0_0 = (Keyword)cGroup_2_0.eContents().get(0); | ||
1426 | private final RuleCall cINTTerminalRuleCall_2_0_1 = (RuleCall)cGroup_2_0.eContents().get(1); | ||
1427 | private final Group cGroup_2_1 = (Group)cAlternatives_2.eContents().get(1); | ||
1428 | private final Group cGroup_2_1_0 = (Group)cGroup_2_1.eContents().get(0); | ||
1429 | private final Keyword cFullStopKeyword_2_1_0_0 = (Keyword)cGroup_2_1_0.eContents().get(0); | ||
1430 | private final RuleCall cINTTerminalRuleCall_2_1_0_1 = (RuleCall)cGroup_2_1_0.eContents().get(1); | ||
1431 | private final Alternatives cAlternatives_2_1_1 = (Alternatives)cGroup_2_1.eContents().get(1); | ||
1432 | private final Keyword cEKeyword_2_1_1_0 = (Keyword)cAlternatives_2_1_1.eContents().get(0); | ||
1433 | private final Keyword cEKeyword_2_1_1_1 = (Keyword)cAlternatives_2_1_1.eContents().get(1); | ||
1434 | private final Alternatives cAlternatives_2_1_2 = (Alternatives)cGroup_2_1.eContents().get(2); | ||
1435 | private final Keyword cHyphenMinusKeyword_2_1_2_0 = (Keyword)cAlternatives_2_1_2.eContents().get(0); | ||
1436 | private final Keyword cPlusSignKeyword_2_1_2_1 = (Keyword)cAlternatives_2_1_2.eContents().get(1); | ||
1437 | private final RuleCall cINTTerminalRuleCall_2_1_3 = (RuleCall)cGroup_2_1.eContents().get(3); | ||
1438 | |||
1439 | //Real returns ecore::EDouble hidden(): | ||
1440 | // "-"? INT ("." INT | ("." INT)? ("e" | "E") ("-" | "+")? INT); | ||
1441 | @Override public ParserRule getRule() { return rule; } | ||
1442 | |||
1443 | //"-"? INT ("." INT | ("." INT)? ("e" | "E") ("-" | "+")? INT) | ||
1444 | public Group getGroup() { return cGroup; } | ||
1445 | |||
1446 | //"-"? | ||
1447 | public Keyword getHyphenMinusKeyword_0() { return cHyphenMinusKeyword_0; } | ||
1448 | |||
1449 | //INT | ||
1450 | public RuleCall getINTTerminalRuleCall_1() { return cINTTerminalRuleCall_1; } | ||
1451 | |||
1452 | //("." INT | ("." INT)? ("e" | "E") ("-" | "+")? INT) | ||
1453 | public Alternatives getAlternatives_2() { return cAlternatives_2; } | ||
1454 | |||
1455 | //"." INT | ||
1456 | public Group getGroup_2_0() { return cGroup_2_0; } | ||
1457 | |||
1458 | //"." | ||
1459 | public Keyword getFullStopKeyword_2_0_0() { return cFullStopKeyword_2_0_0; } | ||
1460 | |||
1461 | //INT | ||
1462 | public RuleCall getINTTerminalRuleCall_2_0_1() { return cINTTerminalRuleCall_2_0_1; } | ||
1463 | |||
1464 | //("." INT)? ("e" | "E") ("-" | "+")? INT | ||
1465 | public Group getGroup_2_1() { return cGroup_2_1; } | ||
1466 | |||
1467 | //("." INT)? | ||
1468 | public Group getGroup_2_1_0() { return cGroup_2_1_0; } | ||
1469 | |||
1470 | //"." | ||
1471 | public Keyword getFullStopKeyword_2_1_0_0() { return cFullStopKeyword_2_1_0_0; } | ||
1472 | |||
1473 | //INT | ||
1474 | public RuleCall getINTTerminalRuleCall_2_1_0_1() { return cINTTerminalRuleCall_2_1_0_1; } | ||
1475 | |||
1476 | //("e" | "E") | ||
1477 | public Alternatives getAlternatives_2_1_1() { return cAlternatives_2_1_1; } | ||
1478 | |||
1479 | //"e" | ||
1480 | public Keyword getEKeyword_2_1_1_0() { return cEKeyword_2_1_1_0; } | ||
1481 | |||
1482 | //"E" | ||
1483 | public Keyword getEKeyword_2_1_1_1() { return cEKeyword_2_1_1_1; } | ||
1484 | |||
1485 | //("-" | "+")? | ||
1486 | public Alternatives getAlternatives_2_1_2() { return cAlternatives_2_1_2; } | ||
1487 | |||
1488 | //"-" | ||
1489 | public Keyword getHyphenMinusKeyword_2_1_2_0() { return cHyphenMinusKeyword_2_1_2_0; } | ||
1490 | |||
1491 | //"+" | ||
1492 | public Keyword getPlusSignKeyword_2_1_2_1() { return cPlusSignKeyword_2_1_2_1; } | ||
1493 | |||
1494 | //INT | ||
1495 | public RuleCall getINTTerminalRuleCall_2_1_3() { return cINTTerminalRuleCall_2_1_3; } | ||
1208 | } | 1496 | } |
1209 | 1497 | ||
1210 | public class LogicValueElements extends AbstractElementFinder.AbstractEnumRuleElementFinder { | 1498 | public class LogicValueElements extends AbstractElementFinder.AbstractEnumRuleElementFinder { |
@@ -1283,9 +1571,19 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1283 | private final NegativeLiteralElements pNegativeLiteral; | 1571 | private final NegativeLiteralElements pNegativeLiteral; |
1284 | private final AtomElements pAtom; | 1572 | private final AtomElements pAtom; |
1285 | private final ArgumentElements pArgument; | 1573 | private final ArgumentElements pArgument; |
1574 | private final VariableOrNodeArgumentElements pVariableOrNodeArgument; | ||
1575 | private final ConstantArgumentElements pConstantArgument; | ||
1286 | private final AssertionElements pAssertion; | 1576 | private final AssertionElements pAssertion; |
1577 | private final AssertionArgumentElements pAssertionArgument; | ||
1578 | private final NodeAssertionArgumentElements pNodeAssertionArgument; | ||
1579 | private final ConstantAssertionArgumentElements pConstantAssertionArgument; | ||
1287 | private final LogicValueElements eLogicValue; | 1580 | private final LogicValueElements eLogicValue; |
1288 | private final ShortLogicValueElements eShortLogicValue; | 1581 | private final ShortLogicValueElements eShortLogicValue; |
1582 | private final NodeValueAssertionElements pNodeValueAssertion; | ||
1583 | private final ConstantElements pConstant; | ||
1584 | private final IntConstantElements pIntConstant; | ||
1585 | private final RealConstantElements pRealConstant; | ||
1586 | private final StringConstantElements pStringConstant; | ||
1289 | private final ScopeDeclarationElements pScopeDeclaration; | 1587 | private final ScopeDeclarationElements pScopeDeclaration; |
1290 | private final TypeScopeElements pTypeScope; | 1588 | private final TypeScopeElements pTypeScope; |
1291 | private final MultiplicityElements pMultiplicity; | 1589 | private final MultiplicityElements pMultiplicity; |
@@ -1297,6 +1595,9 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1297 | private final QuotedOrUnquotedIdElements pQuotedOrUnquotedId; | 1595 | private final QuotedOrUnquotedIdElements pQuotedOrUnquotedId; |
1298 | private final QualifiedNameElements pQualifiedName; | 1596 | private final QualifiedNameElements pQualifiedName; |
1299 | private final IdentifierElements pIdentifier; | 1597 | private final IdentifierElements pIdentifier; |
1598 | private final IntegerElements pInteger; | ||
1599 | private final RealElements pReal; | ||
1600 | private final TerminalRule tID; | ||
1300 | private final TerminalRule tSTRING; | 1601 | private final TerminalRule tSTRING; |
1301 | private final TerminalRule tQUOTED_ID; | 1602 | private final TerminalRule tQUOTED_ID; |
1302 | private final TerminalRule tSL_COMMENT; | 1603 | private final TerminalRule tSL_COMMENT; |
@@ -1323,9 +1624,19 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1323 | this.pNegativeLiteral = new NegativeLiteralElements(); | 1624 | this.pNegativeLiteral = new NegativeLiteralElements(); |
1324 | this.pAtom = new AtomElements(); | 1625 | this.pAtom = new AtomElements(); |
1325 | this.pArgument = new ArgumentElements(); | 1626 | this.pArgument = new ArgumentElements(); |
1627 | this.pVariableOrNodeArgument = new VariableOrNodeArgumentElements(); | ||
1628 | this.pConstantArgument = new ConstantArgumentElements(); | ||
1326 | this.pAssertion = new AssertionElements(); | 1629 | this.pAssertion = new AssertionElements(); |
1630 | this.pAssertionArgument = new AssertionArgumentElements(); | ||
1631 | this.pNodeAssertionArgument = new NodeAssertionArgumentElements(); | ||
1632 | this.pConstantAssertionArgument = new ConstantAssertionArgumentElements(); | ||
1327 | this.eLogicValue = new LogicValueElements(); | 1633 | this.eLogicValue = new LogicValueElements(); |
1328 | this.eShortLogicValue = new ShortLogicValueElements(); | 1634 | this.eShortLogicValue = new ShortLogicValueElements(); |
1635 | this.pNodeValueAssertion = new NodeValueAssertionElements(); | ||
1636 | this.pConstant = new ConstantElements(); | ||
1637 | this.pIntConstant = new IntConstantElements(); | ||
1638 | this.pRealConstant = new RealConstantElements(); | ||
1639 | this.pStringConstant = new StringConstantElements(); | ||
1329 | this.pScopeDeclaration = new ScopeDeclarationElements(); | 1640 | this.pScopeDeclaration = new ScopeDeclarationElements(); |
1330 | this.pTypeScope = new TypeScopeElements(); | 1641 | this.pTypeScope = new TypeScopeElements(); |
1331 | this.pMultiplicity = new MultiplicityElements(); | 1642 | this.pMultiplicity = new MultiplicityElements(); |
@@ -1337,6 +1648,9 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1337 | this.pQuotedOrUnquotedId = new QuotedOrUnquotedIdElements(); | 1648 | this.pQuotedOrUnquotedId = new QuotedOrUnquotedIdElements(); |
1338 | this.pQualifiedName = new QualifiedNameElements(); | 1649 | this.pQualifiedName = new QualifiedNameElements(); |
1339 | this.pIdentifier = new IdentifierElements(); | 1650 | this.pIdentifier = new IdentifierElements(); |
1651 | this.pInteger = new IntegerElements(); | ||
1652 | this.pReal = new RealElements(); | ||
1653 | this.tID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ID"); | ||
1340 | this.tSTRING = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.STRING"); | 1654 | this.tSTRING = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.STRING"); |
1341 | this.tQUOTED_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QUOTED_ID"); | 1655 | this.tQUOTED_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QUOTED_ID"); |
1342 | this.tSL_COMMENT = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.SL_COMMENT"); | 1656 | this.tSL_COMMENT = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.SL_COMMENT"); |
@@ -1381,7 +1695,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1381 | } | 1695 | } |
1382 | 1696 | ||
1383 | //Statement: | 1697 | //Statement: |
1384 | // ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | ScopeDeclaration; | 1698 | // ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | NodeValueAssertion | ScopeDeclaration; |
1385 | public StatementElements getStatementAccess() { | 1699 | public StatementElements getStatementAccess() { |
1386 | return pStatement; | 1700 | return pStatement; |
1387 | } | 1701 | } |
@@ -1506,7 +1820,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1506 | } | 1820 | } |
1507 | 1821 | ||
1508 | //Argument: | 1822 | //Argument: |
1509 | // variableOrNode=[VariableOrNode|QualifiedName]; | 1823 | // VariableOrNodeArgument | ConstantArgument; |
1510 | public ArgumentElements getArgumentAccess() { | 1824 | public ArgumentElements getArgumentAccess() { |
1511 | return pArgument; | 1825 | return pArgument; |
1512 | } | 1826 | } |
@@ -1515,13 +1829,33 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1515 | return getArgumentAccess().getRule(); | 1829 | return getArgumentAccess().getRule(); |
1516 | } | 1830 | } |
1517 | 1831 | ||
1832 | //VariableOrNodeArgument: | ||
1833 | // variableOrNode=[VariableOrNode|QualifiedName]; | ||
1834 | public VariableOrNodeArgumentElements getVariableOrNodeArgumentAccess() { | ||
1835 | return pVariableOrNodeArgument; | ||
1836 | } | ||
1837 | |||
1838 | public ParserRule getVariableOrNodeArgumentRule() { | ||
1839 | return getVariableOrNodeArgumentAccess().getRule(); | ||
1840 | } | ||
1841 | |||
1842 | //ConstantArgument: | ||
1843 | // constant=Constant; | ||
1844 | public ConstantArgumentElements getConstantArgumentAccess() { | ||
1845 | return pConstantArgument; | ||
1846 | } | ||
1847 | |||
1848 | public ParserRule getConstantArgumentRule() { | ||
1849 | return getConstantArgumentAccess().getRule(); | ||
1850 | } | ||
1851 | |||
1518 | //Assertion: | 1852 | //Assertion: |
1519 | // (relation=[Relation|QualifiedName] | 1853 | // (relation=[Relation|QualifiedName] |
1520 | // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")" | 1854 | // "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")" |
1521 | // ":" value=LogicValue | | 1855 | // ":" value=LogicValue | |
1522 | // value=ShortLogicValue? | 1856 | // value=ShortLogicValue? |
1523 | // relation=[Relation|QualifiedName] | 1857 | // relation=[Relation|QualifiedName] |
1524 | // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")") | 1858 | // "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")") |
1525 | // "."; | 1859 | // "."; |
1526 | public AssertionElements getAssertionAccess() { | 1860 | public AssertionElements getAssertionAccess() { |
1527 | return pAssertion; | 1861 | return pAssertion; |
@@ -1531,6 +1865,36 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1531 | return getAssertionAccess().getRule(); | 1865 | return getAssertionAccess().getRule(); |
1532 | } | 1866 | } |
1533 | 1867 | ||
1868 | //AssertionArgument: | ||
1869 | // NodeAssertionArgument | ConstantAssertionArgument; | ||
1870 | public AssertionArgumentElements getAssertionArgumentAccess() { | ||
1871 | return pAssertionArgument; | ||
1872 | } | ||
1873 | |||
1874 | public ParserRule getAssertionArgumentRule() { | ||
1875 | return getAssertionArgumentAccess().getRule(); | ||
1876 | } | ||
1877 | |||
1878 | //NodeAssertionArgument: | ||
1879 | // node=[Node|QualifiedName]; | ||
1880 | public NodeAssertionArgumentElements getNodeAssertionArgumentAccess() { | ||
1881 | return pNodeAssertionArgument; | ||
1882 | } | ||
1883 | |||
1884 | public ParserRule getNodeAssertionArgumentRule() { | ||
1885 | return getNodeAssertionArgumentAccess().getRule(); | ||
1886 | } | ||
1887 | |||
1888 | //ConstantAssertionArgument: | ||
1889 | // constant=Constant; | ||
1890 | public ConstantAssertionArgumentElements getConstantAssertionArgumentAccess() { | ||
1891 | return pConstantAssertionArgument; | ||
1892 | } | ||
1893 | |||
1894 | public ParserRule getConstantAssertionArgumentRule() { | ||
1895 | return getConstantAssertionArgumentAccess().getRule(); | ||
1896 | } | ||
1897 | |||
1534 | //enum LogicValue: | 1898 | //enum LogicValue: |
1535 | // TRUE="true" | FALSE="false" | UNKNOWN="unknown"; | 1899 | // TRUE="true" | FALSE="false" | UNKNOWN="unknown"; |
1536 | public LogicValueElements getLogicValueAccess() { | 1900 | public LogicValueElements getLogicValueAccess() { |
@@ -1551,6 +1915,56 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1551 | return getShortLogicValueAccess().getRule(); | 1915 | return getShortLogicValueAccess().getRule(); |
1552 | } | 1916 | } |
1553 | 1917 | ||
1918 | //NodeValueAssertion: | ||
1919 | // node=[Node|QualifiedName] ":" value=Constant "."; | ||
1920 | public NodeValueAssertionElements getNodeValueAssertionAccess() { | ||
1921 | return pNodeValueAssertion; | ||
1922 | } | ||
1923 | |||
1924 | public ParserRule getNodeValueAssertionRule() { | ||
1925 | return getNodeValueAssertionAccess().getRule(); | ||
1926 | } | ||
1927 | |||
1928 | //Constant: | ||
1929 | // IntConstant | RealConstant | StringConstant; | ||
1930 | public ConstantElements getConstantAccess() { | ||
1931 | return pConstant; | ||
1932 | } | ||
1933 | |||
1934 | public ParserRule getConstantRule() { | ||
1935 | return getConstantAccess().getRule(); | ||
1936 | } | ||
1937 | |||
1938 | //IntConstant: | ||
1939 | // intValue=Integer; | ||
1940 | public IntConstantElements getIntConstantAccess() { | ||
1941 | return pIntConstant; | ||
1942 | } | ||
1943 | |||
1944 | public ParserRule getIntConstantRule() { | ||
1945 | return getIntConstantAccess().getRule(); | ||
1946 | } | ||
1947 | |||
1948 | //RealConstant: | ||
1949 | // realValue=Real; | ||
1950 | public RealConstantElements getRealConstantAccess() { | ||
1951 | return pRealConstant; | ||
1952 | } | ||
1953 | |||
1954 | public ParserRule getRealConstantRule() { | ||
1955 | return getRealConstantAccess().getRule(); | ||
1956 | } | ||
1957 | |||
1958 | //StringConstant: | ||
1959 | // stringValue=STRING; | ||
1960 | public StringConstantElements getStringConstantAccess() { | ||
1961 | return pStringConstant; | ||
1962 | } | ||
1963 | |||
1964 | public ParserRule getStringConstantRule() { | ||
1965 | return getStringConstantAccess().getRule(); | ||
1966 | } | ||
1967 | |||
1554 | //ScopeDeclaration: | 1968 | //ScopeDeclaration: |
1555 | // "scope" typeScopes+=TypeScope ("," typeScopes+=TypeScope)* "."; | 1969 | // "scope" typeScopes+=TypeScope ("," typeScopes+=TypeScope)* "."; |
1556 | public ScopeDeclarationElements getScopeDeclarationAccess() { | 1970 | public ScopeDeclarationElements getScopeDeclarationAccess() { |
@@ -1643,7 +2057,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1643 | return getQuotedOrUnquotedIdAccess().getRule(); | 2057 | return getQuotedOrUnquotedIdAccess().getRule(); |
1644 | } | 2058 | } |
1645 | 2059 | ||
1646 | //QualifiedName: | 2060 | //QualifiedName hidden(): |
1647 | // QUOTED_ID | Identifier ("::" Identifier)* ("::" QUOTED_ID)?; | 2061 | // QUOTED_ID | Identifier ("::" Identifier)* ("::" QUOTED_ID)?; |
1648 | public QualifiedNameElements getQualifiedNameAccess() { | 2062 | public QualifiedNameElements getQualifiedNameAccess() { |
1649 | return pQualifiedName; | 2063 | return pQualifiedName; |
@@ -1654,7 +2068,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1654 | } | 2068 | } |
1655 | 2069 | ||
1656 | //Identifier: | 2070 | //Identifier: |
1657 | // ID | "true" | "false"; | 2071 | // ID | "true" | "false" | "e" | "E"; |
1658 | public IdentifierElements getIdentifierAccess() { | 2072 | public IdentifierElements getIdentifierAccess() { |
1659 | return pIdentifier; | 2073 | return pIdentifier; |
1660 | } | 2074 | } |
@@ -1663,6 +2077,33 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1663 | return getIdentifierAccess().getRule(); | 2077 | return getIdentifierAccess().getRule(); |
1664 | } | 2078 | } |
1665 | 2079 | ||
2080 | //Integer returns ecore::EInt hidden(): | ||
2081 | // "-"? INT; | ||
2082 | public IntegerElements getIntegerAccess() { | ||
2083 | return pInteger; | ||
2084 | } | ||
2085 | |||
2086 | public ParserRule getIntegerRule() { | ||
2087 | return getIntegerAccess().getRule(); | ||
2088 | } | ||
2089 | |||
2090 | //Real returns ecore::EDouble hidden(): | ||
2091 | // "-"? INT ("." INT | ("." INT)? ("e" | "E") ("-" | "+")? INT); | ||
2092 | public RealElements getRealAccess() { | ||
2093 | return pReal; | ||
2094 | } | ||
2095 | |||
2096 | public ParserRule getRealRule() { | ||
2097 | return getRealAccess().getRule(); | ||
2098 | } | ||
2099 | |||
2100 | //@Override | ||
2101 | //terminal ID: | ||
2102 | // ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*; | ||
2103 | public TerminalRule getIDRule() { | ||
2104 | return tID; | ||
2105 | } | ||
2106 | |||
1666 | //@Override | 2107 | //@Override |
1667 | //terminal STRING: | 2108 | //terminal STRING: |
1668 | // '"' ('\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\' | '"'))* '"'; | 2109 | // '"' ('\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\' | '"'))* '"'; |
@@ -1678,16 +2119,11 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1678 | 2119 | ||
1679 | //@Override | 2120 | //@Override |
1680 | //terminal SL_COMMENT: | 2121 | //terminal SL_COMMENT: |
1681 | // ('%' | '//') !('\n'|'\r')* ('\r'? '\n')?; | 2122 | // ('%' | '//') !('\n' | '\r')* ('\r'? '\n')?; |
1682 | public TerminalRule getSL_COMMENTRule() { | 2123 | public TerminalRule getSL_COMMENTRule() { |
1683 | return tSL_COMMENT; | 2124 | return tSL_COMMENT; |
1684 | } | 2125 | } |
1685 | 2126 | ||
1686 | //terminal ID: '^'?('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*; | ||
1687 | public TerminalRule getIDRule() { | ||
1688 | return gaTerminals.getIDRule(); | ||
1689 | } | ||
1690 | |||
1691 | //terminal INT returns ecore::EInt: ('0'..'9')+; | 2127 | //terminal INT returns ecore::EInt: ('0'..'9')+; |
1692 | public TerminalRule getINTRule() { | 2128 | public TerminalRule getINTRule() { |
1693 | return gaTerminals.getINTRule(); | 2129 | return gaTerminals.getINTRule(); |