diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 21:02:33 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 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/services/SolverLanguageGrammarAccess.java | |
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/services/SolverLanguageGrammarAccess.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java | 179 |
1 files changed, 78 insertions, 101 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java index 7064938f..0252938a 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java | |||
@@ -56,17 +56,17 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
56 | private final RuleCall cClassDefinitionParserRuleCall_0_7 = (RuleCall)cAlternatives_0.eContents().get(7); | 56 | private final RuleCall cClassDefinitionParserRuleCall_0_7 = (RuleCall)cAlternatives_0.eContents().get(7); |
57 | private final RuleCall cScopeDefinitionParserRuleCall_0_8 = (RuleCall)cAlternatives_0.eContents().get(8); | 57 | private final RuleCall cScopeDefinitionParserRuleCall_0_8 = (RuleCall)cAlternatives_0.eContents().get(8); |
58 | private final RuleCall cObjectiveDefinitionParserRuleCall_0_9 = (RuleCall)cAlternatives_0.eContents().get(9); | 58 | private final RuleCall cObjectiveDefinitionParserRuleCall_0_9 = (RuleCall)cAlternatives_0.eContents().get(9); |
59 | private final RuleCall cDOTTerminalRuleCall_1 = (RuleCall)cGroup.eContents().get(1); | 59 | private final RuleCall cFULL_STOPTerminalRuleCall_1 = (RuleCall)cGroup.eContents().get(1); |
60 | 60 | ||
61 | //Statement: | 61 | //Statement: |
62 | // (AssertionOrDefinition | PredicateDefinition | UnnamedErrorPrediateDefinition | DefaultDefinition | | 62 | // (AssertionOrDefinition | PredicateDefinition | UnnamedErrorPrediateDefinition | DefaultDefinition | |
63 | // ExternPredicateDefinition | MetricDefinition | ExternMetricDefinition | ClassDefinition | ScopeDefinition | | 63 | // ExternPredicateDefinition | MetricDefinition | ExternMetricDefinition | ClassDefinition | ScopeDefinition | |
64 | // ObjectiveDefinition) DOT; | 64 | // ObjectiveDefinition) FULL_STOP; |
65 | @Override public ParserRule getRule() { return rule; } | 65 | @Override public ParserRule getRule() { return rule; } |
66 | 66 | ||
67 | //(AssertionOrDefinition | PredicateDefinition | UnnamedErrorPrediateDefinition | DefaultDefinition | | 67 | //(AssertionOrDefinition | PredicateDefinition | UnnamedErrorPrediateDefinition | DefaultDefinition | |
68 | //ExternPredicateDefinition | MetricDefinition | ExternMetricDefinition | ClassDefinition | ScopeDefinition | | 68 | //ExternPredicateDefinition | MetricDefinition | ExternMetricDefinition | ClassDefinition | ScopeDefinition | |
69 | //ObjectiveDefinition) DOT | 69 | //ObjectiveDefinition) FULL_STOP |
70 | public Group getGroup() { return cGroup; } | 70 | public Group getGroup() { return cGroup; } |
71 | 71 | ||
72 | //(AssertionOrDefinition | PredicateDefinition | UnnamedErrorPrediateDefinition | DefaultDefinition | | 72 | //(AssertionOrDefinition | PredicateDefinition | UnnamedErrorPrediateDefinition | DefaultDefinition | |
@@ -104,8 +104,8 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
104 | //ObjectiveDefinition | 104 | //ObjectiveDefinition |
105 | public RuleCall getObjectiveDefinitionParserRuleCall_0_9() { return cObjectiveDefinitionParserRuleCall_0_9; } | 105 | public RuleCall getObjectiveDefinitionParserRuleCall_0_9() { return cObjectiveDefinitionParserRuleCall_0_9; } |
106 | 106 | ||
107 | //DOT | 107 | //FULL_STOP |
108 | public RuleCall getDOTTerminalRuleCall_1() { return cDOTTerminalRuleCall_1; } | 108 | public RuleCall getFULL_STOPTerminalRuleCall_1() { return cFULL_STOPTerminalRuleCall_1; } |
109 | } | 109 | } |
110 | public class AssertionOrDefinitionElements extends AbstractParserRuleElementFinder { | 110 | public class AssertionOrDefinitionElements extends AbstractParserRuleElementFinder { |
111 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.AssertionOrDefinition"); | 111 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.AssertionOrDefinition"); |
@@ -344,13 +344,12 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
344 | private final Keyword cExternKeyword_0 = (Keyword)cGroup.eContents().get(0); | 344 | private final Keyword cExternKeyword_0 = (Keyword)cGroup.eContents().get(0); |
345 | private final Assignment cHeadAssignment_1 = (Assignment)cGroup.eContents().get(1); | 345 | private final Assignment cHeadAssignment_1 = (Assignment)cGroup.eContents().get(1); |
346 | private final RuleCall cHeadCallParserRuleCall_1_0 = (RuleCall)cHeadAssignment_1.eContents().get(0); | 346 | private final RuleCall cHeadCallParserRuleCall_1_0 = (RuleCall)cHeadAssignment_1.eContents().get(0); |
347 | private final Keyword cFullStopKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
348 | 347 | ||
349 | //ExternPredicateDefinition: | 348 | //ExternPredicateDefinition: |
350 | // "extern" head=Call "."; | 349 | // "extern" head=Call; |
351 | @Override public ParserRule getRule() { return rule; } | 350 | @Override public ParserRule getRule() { return rule; } |
352 | 351 | ||
353 | //"extern" head=Call "." | 352 | //"extern" head=Call |
354 | public Group getGroup() { return cGroup; } | 353 | public Group getGroup() { return cGroup; } |
355 | 354 | ||
356 | //"extern" | 355 | //"extern" |
@@ -361,9 +360,6 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
361 | 360 | ||
362 | //Call | 361 | //Call |
363 | public RuleCall getHeadCallParserRuleCall_1_0() { return cHeadCallParserRuleCall_1_0; } | 362 | public RuleCall getHeadCallParserRuleCall_1_0() { return cHeadCallParserRuleCall_1_0; } |
364 | |||
365 | //"." | ||
366 | public Keyword getFullStopKeyword_2() { return cFullStopKeyword_2; } | ||
367 | } | 363 | } |
368 | public class MetricDefinitionElements extends AbstractParserRuleElementFinder { | 364 | public class MetricDefinitionElements extends AbstractParserRuleElementFinder { |
369 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.MetricDefinition"); | 365 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.MetricDefinition"); |
@@ -956,61 +952,45 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
956 | public class AtomicExpressionElements extends AbstractParserRuleElementFinder { | 952 | public class AtomicExpressionElements extends AbstractParserRuleElementFinder { |
957 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.AtomicExpression"); | 953 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.AtomicExpression"); |
958 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | 954 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); |
959 | private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0); | 955 | private final RuleCall cReferenceParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); |
960 | private final RuleCall cReferenceParserRuleCall_0_0 = (RuleCall)cGroup_0.eContents().get(0); | 956 | private final RuleCall cCallParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); |
961 | private final Group cGroup_0_1 = (Group)cGroup_0.eContents().get(1); | 957 | private final RuleCall cIntervalParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); |
962 | private final Action cCallFunctorAction_0_1_0 = (Action)cGroup_0_1.eContents().get(0); | 958 | private final RuleCall cLiteralParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3); |
963 | private final Assignment cArgumentListAssignment_0_1_1 = (Assignment)cGroup_0_1.eContents().get(1); | 959 | private final Group cGroup_4 = (Group)cAlternatives.eContents().get(4); |
964 | private final RuleCall cArgumentListArgumentListParserRuleCall_0_1_1_0 = (RuleCall)cArgumentListAssignment_0_1_1.eContents().get(0); | 960 | private final Keyword cLeftParenthesisKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0); |
965 | private final RuleCall cIntervalParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | 961 | private final RuleCall cExpressionParserRuleCall_4_1 = (RuleCall)cGroup_4.eContents().get(1); |
966 | private final RuleCall cLiteralParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | 962 | private final Keyword cRightParenthesisKeyword_4_2 = (Keyword)cGroup_4.eContents().get(2); |
967 | private final Group cGroup_3 = (Group)cAlternatives.eContents().get(3); | ||
968 | private final Keyword cLeftParenthesisKeyword_3_0 = (Keyword)cGroup_3.eContents().get(0); | ||
969 | private final RuleCall cExpressionParserRuleCall_3_1 = (RuleCall)cGroup_3.eContents().get(1); | ||
970 | private final Keyword cRightParenthesisKeyword_3_2 = (Keyword)cGroup_3.eContents().get(2); | ||
971 | 963 | ||
972 | //AtomicExpression Expression: | 964 | //AtomicExpression Expression: |
973 | // Reference ({Call.functor=current} -> argumentList=ArgumentList)? | Interval | Literal | "(" Expression ")"; | 965 | // Reference | Call | Interval | Literal | "(" Expression ")"; |
974 | @Override public ParserRule getRule() { return rule; } | 966 | @Override public ParserRule getRule() { return rule; } |
975 | 967 | ||
976 | //Reference ({Call.functor=current} -> argumentList=ArgumentList)? | Interval | Literal | "(" Expression ")" | 968 | //Reference | Call | Interval | Literal | "(" Expression ")" |
977 | public Alternatives getAlternatives() { return cAlternatives; } | 969 | public Alternatives getAlternatives() { return cAlternatives; } |
978 | 970 | ||
979 | //Reference ({Call.functor=current} -> argumentList=ArgumentList)? | ||
980 | public Group getGroup_0() { return cGroup_0; } | ||
981 | |||
982 | //Reference | 971 | //Reference |
983 | public RuleCall getReferenceParserRuleCall_0_0() { return cReferenceParserRuleCall_0_0; } | 972 | public RuleCall getReferenceParserRuleCall_0() { return cReferenceParserRuleCall_0; } |
984 | |||
985 | //({Call.functor=current} -> argumentList=ArgumentList)? | ||
986 | public Group getGroup_0_1() { return cGroup_0_1; } | ||
987 | 973 | ||
988 | //{Call.functor=current} | 974 | //Call |
989 | public Action getCallFunctorAction_0_1_0() { return cCallFunctorAction_0_1_0; } | 975 | public RuleCall getCallParserRuleCall_1() { return cCallParserRuleCall_1; } |
990 | |||
991 | //-> argumentList=ArgumentList | ||
992 | public Assignment getArgumentListAssignment_0_1_1() { return cArgumentListAssignment_0_1_1; } | ||
993 | |||
994 | //ArgumentList | ||
995 | public RuleCall getArgumentListArgumentListParserRuleCall_0_1_1_0() { return cArgumentListArgumentListParserRuleCall_0_1_1_0; } | ||
996 | 976 | ||
997 | //Interval | 977 | //Interval |
998 | public RuleCall getIntervalParserRuleCall_1() { return cIntervalParserRuleCall_1; } | 978 | public RuleCall getIntervalParserRuleCall_2() { return cIntervalParserRuleCall_2; } |
999 | 979 | ||
1000 | //Literal | 980 | //Literal |
1001 | public RuleCall getLiteralParserRuleCall_2() { return cLiteralParserRuleCall_2; } | 981 | public RuleCall getLiteralParserRuleCall_3() { return cLiteralParserRuleCall_3; } |
1002 | 982 | ||
1003 | //"(" Expression ")" | 983 | //"(" Expression ")" |
1004 | public Group getGroup_3() { return cGroup_3; } | 984 | public Group getGroup_4() { return cGroup_4; } |
1005 | 985 | ||
1006 | //"(" | 986 | //"(" |
1007 | public Keyword getLeftParenthesisKeyword_3_0() { return cLeftParenthesisKeyword_3_0; } | 987 | public Keyword getLeftParenthesisKeyword_4_0() { return cLeftParenthesisKeyword_4_0; } |
1008 | 988 | ||
1009 | //Expression | 989 | //Expression |
1010 | public RuleCall getExpressionParserRuleCall_3_1() { return cExpressionParserRuleCall_3_1; } | 990 | public RuleCall getExpressionParserRuleCall_4_1() { return cExpressionParserRuleCall_4_1; } |
1011 | 991 | ||
1012 | //")" | 992 | //")" |
1013 | public Keyword getRightParenthesisKeyword_3_2() { return cRightParenthesisKeyword_3_2; } | 993 | public Keyword getRightParenthesisKeyword_4_2() { return cRightParenthesisKeyword_4_2; } |
1014 | } | 994 | } |
1015 | public class CallElements extends AbstractParserRuleElementFinder { | 995 | public class CallElements extends AbstractParserRuleElementFinder { |
1016 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Call"); | 996 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Call"); |
@@ -1019,17 +999,19 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1019 | private final RuleCall cFunctorReferenceParserRuleCall_0_0 = (RuleCall)cFunctorAssignment_0.eContents().get(0); | 999 | private final RuleCall cFunctorReferenceParserRuleCall_0_0 = (RuleCall)cFunctorAssignment_0.eContents().get(0); |
1020 | private final Alternatives cAlternatives_1 = (Alternatives)cGroup.eContents().get(1); | 1000 | private final Alternatives cAlternatives_1 = (Alternatives)cGroup.eContents().get(1); |
1021 | private final Assignment cTransitiveClosureAssignment_1_0 = (Assignment)cAlternatives_1.eContents().get(0); | 1001 | private final Assignment cTransitiveClosureAssignment_1_0 = (Assignment)cAlternatives_1.eContents().get(0); |
1022 | private final RuleCall cTransitiveClosureSTARTerminalRuleCall_1_0_0 = (RuleCall)cTransitiveClosureAssignment_1_0.eContents().get(0); | 1002 | private final RuleCall cTransitiveClosureTRANSITIVE_CLOSURETerminalRuleCall_1_0_0 = (RuleCall)cTransitiveClosureAssignment_1_0.eContents().get(0); |
1023 | private final Assignment cReflexiveTransitiveClosureAssignment_1_1 = (Assignment)cAlternatives_1.eContents().get(1); | 1003 | private final Assignment cReflexiveTransitiveClosureAssignment_1_1 = (Assignment)cAlternatives_1.eContents().get(1); |
1024 | private final RuleCall cReflexiveTransitiveClosurePLUSTerminalRuleCall_1_1_0 = (RuleCall)cReflexiveTransitiveClosureAssignment_1_1.eContents().get(0); | 1004 | private final RuleCall cReflexiveTransitiveClosureREFLEXIVE_TRANSITIVE_CLOSURETerminalRuleCall_1_1_0 = (RuleCall)cReflexiveTransitiveClosureAssignment_1_1.eContents().get(0); |
1025 | private final Assignment cArgumentListAssignment_2 = (Assignment)cGroup.eContents().get(2); | 1005 | private final Assignment cArgumentListAssignment_2 = (Assignment)cGroup.eContents().get(2); |
1026 | private final RuleCall cArgumentListArgumentListParserRuleCall_2_0 = (RuleCall)cArgumentListAssignment_2.eContents().get(0); | 1006 | private final RuleCall cArgumentListArgumentListParserRuleCall_2_0 = (RuleCall)cArgumentListAssignment_2.eContents().get(0); |
1027 | 1007 | ||
1028 | //Call: | 1008 | //Call: |
1029 | // functor=Reference (transitiveClosure?=STAR | reflexiveTransitiveClosure?=PLUS)? argumentList=ArgumentList; | 1009 | // functor=Reference (transitiveClosure?=TRANSITIVE_CLOSURE | reflexiveTransitiveClosure?=REFLEXIVE_TRANSITIVE_CLOSURE)? |
1010 | // argumentList=ArgumentList; | ||
1030 | @Override public ParserRule getRule() { return rule; } | 1011 | @Override public ParserRule getRule() { return rule; } |
1031 | 1012 | ||
1032 | //functor=Reference (transitiveClosure?=STAR | reflexiveTransitiveClosure?=PLUS)? argumentList=ArgumentList | 1013 | //functor=Reference (transitiveClosure?=TRANSITIVE_CLOSURE | reflexiveTransitiveClosure?=REFLEXIVE_TRANSITIVE_CLOSURE)? |
1014 | //argumentList=ArgumentList | ||
1033 | public Group getGroup() { return cGroup; } | 1015 | public Group getGroup() { return cGroup; } |
1034 | 1016 | ||
1035 | //functor=Reference | 1017 | //functor=Reference |
@@ -1038,20 +1020,20 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1038 | //Reference | 1020 | //Reference |
1039 | public RuleCall getFunctorReferenceParserRuleCall_0_0() { return cFunctorReferenceParserRuleCall_0_0; } | 1021 | public RuleCall getFunctorReferenceParserRuleCall_0_0() { return cFunctorReferenceParserRuleCall_0_0; } |
1040 | 1022 | ||
1041 | //(transitiveClosure?=STAR | reflexiveTransitiveClosure?=PLUS)? | 1023 | //(transitiveClosure?=TRANSITIVE_CLOSURE | reflexiveTransitiveClosure?=REFLEXIVE_TRANSITIVE_CLOSURE)? |
1042 | public Alternatives getAlternatives_1() { return cAlternatives_1; } | 1024 | public Alternatives getAlternatives_1() { return cAlternatives_1; } |
1043 | 1025 | ||
1044 | //transitiveClosure?=STAR | 1026 | //transitiveClosure?=TRANSITIVE_CLOSURE |
1045 | public Assignment getTransitiveClosureAssignment_1_0() { return cTransitiveClosureAssignment_1_0; } | 1027 | public Assignment getTransitiveClosureAssignment_1_0() { return cTransitiveClosureAssignment_1_0; } |
1046 | 1028 | ||
1047 | //STAR | 1029 | //TRANSITIVE_CLOSURE |
1048 | public RuleCall getTransitiveClosureSTARTerminalRuleCall_1_0_0() { return cTransitiveClosureSTARTerminalRuleCall_1_0_0; } | 1030 | public RuleCall getTransitiveClosureTRANSITIVE_CLOSURETerminalRuleCall_1_0_0() { return cTransitiveClosureTRANSITIVE_CLOSURETerminalRuleCall_1_0_0; } |
1049 | 1031 | ||
1050 | //reflexiveTransitiveClosure?=PLUS | 1032 | //reflexiveTransitiveClosure?=REFLEXIVE_TRANSITIVE_CLOSURE |
1051 | public Assignment getReflexiveTransitiveClosureAssignment_1_1() { return cReflexiveTransitiveClosureAssignment_1_1; } | 1033 | public Assignment getReflexiveTransitiveClosureAssignment_1_1() { return cReflexiveTransitiveClosureAssignment_1_1; } |
1052 | 1034 | ||
1053 | //PLUS | 1035 | //REFLEXIVE_TRANSITIVE_CLOSURE |
1054 | public RuleCall getReflexiveTransitiveClosurePLUSTerminalRuleCall_1_1_0() { return cReflexiveTransitiveClosurePLUSTerminalRuleCall_1_1_0; } | 1036 | public RuleCall getReflexiveTransitiveClosureREFLEXIVE_TRANSITIVE_CLOSURETerminalRuleCall_1_1_0() { return cReflexiveTransitiveClosureREFLEXIVE_TRANSITIVE_CLOSURETerminalRuleCall_1_1_0; } |
1055 | 1037 | ||
1056 | //argumentList=ArgumentList | 1038 | //argumentList=ArgumentList |
1057 | public Assignment getArgumentListAssignment_2() { return cArgumentListAssignment_2; } | 1039 | public Assignment getArgumentListAssignment_2() { return cArgumentListAssignment_2; } |
@@ -1428,7 +1410,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1428 | private final RuleCall cMembersMemberDefinitionParserRuleCall_5_0 = (RuleCall)cMembersAssignment_5.eContents().get(0); | 1410 | private final RuleCall cMembersMemberDefinitionParserRuleCall_5_0 = (RuleCall)cMembersAssignment_5.eContents().get(0); |
1429 | private final Keyword cRightCurlyBracketKeyword_6 = (Keyword)cGroup.eContents().get(6); | 1411 | private final Keyword cRightCurlyBracketKeyword_6 = (Keyword)cGroup.eContents().get(6); |
1430 | 1412 | ||
1431 | //ClassDefinition Statement: | 1413 | //ClassDefinition: |
1432 | // abstract?="abstract"? "class" name=ID ("extends" superclasses+=[NamedElement|QualifiedName] ("," | 1414 | // abstract?="abstract"? "class" name=ID ("extends" superclasses+=[NamedElement|QualifiedName] ("," |
1433 | // superclasses+=[NamedElement|QualifiedName])*)? | 1415 | // superclasses+=[NamedElement|QualifiedName])*)? |
1434 | // "{" members+=MemberDefinition* "}"; | 1416 | // "{" members+=MemberDefinition* "}"; |
@@ -1769,15 +1751,14 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1769 | private final Keyword cGreaterThanSignEqualsSignKeyword_1_1_3_0 = (Keyword)cGroup_1_1_3.eContents().get(0); | 1751 | private final Keyword cGreaterThanSignEqualsSignKeyword_1_1_3_0 = (Keyword)cGroup_1_1_3.eContents().get(0); |
1770 | private final Assignment cLowerBoundAssignment_1_1_3_1 = (Assignment)cGroup_1_1_3.eContents().get(1); | 1752 | private final Assignment cLowerBoundAssignment_1_1_3_1 = (Assignment)cGroup_1_1_3.eContents().get(1); |
1771 | private final RuleCall cLowerBoundINTTerminalRuleCall_1_1_3_1_0 = (RuleCall)cLowerBoundAssignment_1_1_3_1.eContents().get(0); | 1753 | private final RuleCall cLowerBoundINTTerminalRuleCall_1_1_3_1_0 = (RuleCall)cLowerBoundAssignment_1_1_3_1.eContents().get(0); |
1772 | private final Keyword cFullStopKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
1773 | 1754 | ||
1774 | //BoundedScopeDefinition: | 1755 | //BoundedScopeDefinition: |
1775 | // "scope" ((lowerBound=INT "<=")? type=[NamedElement|QualifiedName] "<=" upperBound=INT | upperBound=INT ">=" | 1756 | // "scope" ((lowerBound=INT "<=")? type=[NamedElement|QualifiedName] "<=" upperBound=INT | upperBound=INT ">=" |
1776 | // type=[NamedElement|QualifiedName] (">=" lowerBound=INT)?) "."; | 1757 | // type=[NamedElement|QualifiedName] (">=" lowerBound=INT)?); |
1777 | @Override public ParserRule getRule() { return rule; } | 1758 | @Override public ParserRule getRule() { return rule; } |
1778 | 1759 | ||
1779 | //"scope" ((lowerBound=INT "<=")? type=[NamedElement|QualifiedName] "<=" upperBound=INT | upperBound=INT ">=" | 1760 | //"scope" ((lowerBound=INT "<=")? type=[NamedElement|QualifiedName] "<=" upperBound=INT | upperBound=INT ">=" |
1780 | //type=[NamedElement|QualifiedName] (">=" lowerBound=INT)?) "." | 1761 | //type=[NamedElement|QualifiedName] (">=" lowerBound=INT)?) |
1781 | public Group getGroup() { return cGroup; } | 1762 | public Group getGroup() { return cGroup; } |
1782 | 1763 | ||
1783 | //"scope" | 1764 | //"scope" |
@@ -1852,9 +1833,6 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1852 | 1833 | ||
1853 | //INT | 1834 | //INT |
1854 | public RuleCall getLowerBoundINTTerminalRuleCall_1_1_3_1_0() { return cLowerBoundINTTerminalRuleCall_1_1_3_1_0; } | 1835 | public RuleCall getLowerBoundINTTerminalRuleCall_1_1_3_1_0() { return cLowerBoundINTTerminalRuleCall_1_1_3_1_0; } |
1855 | |||
1856 | //"." | ||
1857 | public Keyword getFullStopKeyword_2() { return cFullStopKeyword_2; } | ||
1858 | } | 1836 | } |
1859 | public class LowerBoundedScopeDefinitionElements extends AbstractParserRuleElementFinder { | 1837 | public class LowerBoundedScopeDefinitionElements extends AbstractParserRuleElementFinder { |
1860 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.LowerBoundedScopeDefinition"); | 1838 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.LowerBoundedScopeDefinition"); |
@@ -1875,15 +1853,13 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1875 | private final Keyword cGreaterThanSignEqualsSignKeyword_1_1_1 = (Keyword)cGroup_1_1.eContents().get(1); | 1853 | private final Keyword cGreaterThanSignEqualsSignKeyword_1_1_1 = (Keyword)cGroup_1_1.eContents().get(1); |
1876 | private final Assignment cLowerBoundAssignment_1_1_2 = (Assignment)cGroup_1_1.eContents().get(2); | 1854 | private final Assignment cLowerBoundAssignment_1_1_2 = (Assignment)cGroup_1_1.eContents().get(2); |
1877 | private final RuleCall cLowerBoundINTTerminalRuleCall_1_1_2_0 = (RuleCall)cLowerBoundAssignment_1_1_2.eContents().get(0); | 1855 | private final RuleCall cLowerBoundINTTerminalRuleCall_1_1_2_0 = (RuleCall)cLowerBoundAssignment_1_1_2.eContents().get(0); |
1878 | private final Keyword cFullStopKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
1879 | 1856 | ||
1880 | //LowerBoundedScopeDefinition: | 1857 | //LowerBoundedScopeDefinition: |
1881 | // "scope" (lowerBound=INT "<=" type=[NamedElement|QualifiedName] | type=[NamedElement|QualifiedName] ">=" | 1858 | // "scope" (lowerBound=INT "<=" type=[NamedElement|QualifiedName] | type=[NamedElement|QualifiedName] ">=" |
1882 | // lowerBound=INT) "."; | 1859 | // lowerBound=INT); |
1883 | @Override public ParserRule getRule() { return rule; } | 1860 | @Override public ParserRule getRule() { return rule; } |
1884 | 1861 | ||
1885 | //"scope" (lowerBound=INT "<=" type=[NamedElement|QualifiedName] | type=[NamedElement|QualifiedName] ">=" lowerBound=INT) | 1862 | //"scope" (lowerBound=INT "<=" type=[NamedElement|QualifiedName] | type=[NamedElement|QualifiedName] ">=" lowerBound=INT) |
1886 | //"." | ||
1887 | public Group getGroup() { return cGroup; } | 1863 | public Group getGroup() { return cGroup; } |
1888 | 1864 | ||
1889 | //"scope" | 1865 | //"scope" |
@@ -1933,9 +1909,6 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1933 | 1909 | ||
1934 | //INT | 1910 | //INT |
1935 | public RuleCall getLowerBoundINTTerminalRuleCall_1_1_2_0() { return cLowerBoundINTTerminalRuleCall_1_1_2_0; } | 1911 | public RuleCall getLowerBoundINTTerminalRuleCall_1_1_2_0() { return cLowerBoundINTTerminalRuleCall_1_1_2_0; } |
1936 | |||
1937 | //"." | ||
1938 | public Keyword getFullStopKeyword_2() { return cFullStopKeyword_2; } | ||
1939 | } | 1912 | } |
1940 | public class ObjectiveDefinitionElements extends AbstractParserRuleElementFinder { | 1913 | public class ObjectiveDefinitionElements extends AbstractParserRuleElementFinder { |
1941 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ObjectiveDefinition"); | 1914 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ObjectiveDefinition"); |
@@ -2584,9 +2557,10 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2584 | private final QualifiedNameElements pQualifiedName; | 2557 | private final QualifiedNameElements pQualifiedName; |
2585 | private final TerminalRule tSTRING; | 2558 | private final TerminalRule tSTRING; |
2586 | private final TerminalRule tQUOTED_ID; | 2559 | private final TerminalRule tQUOTED_ID; |
2587 | private final TerminalRule tPLUS; | 2560 | private final TerminalRule tSL_COMMENT; |
2588 | private final TerminalRule tSTAR; | 2561 | private final TerminalRule tTRANSITIVE_CLOSURE; |
2589 | private final TerminalRule tDOT; | 2562 | private final TerminalRule tREFLEXIVE_TRANSITIVE_CLOSURE; |
2563 | private final TerminalRule tFULL_STOP; | ||
2590 | private final NamedElementElements pNamedElement; | 2564 | private final NamedElementElements pNamedElement; |
2591 | 2565 | ||
2592 | private final Grammar grammar; | 2566 | private final Grammar grammar; |
@@ -2662,9 +2636,10 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2662 | this.pQualifiedName = new QualifiedNameElements(); | 2636 | this.pQualifiedName = new QualifiedNameElements(); |
2663 | this.tSTRING = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.STRING"); | 2637 | this.tSTRING = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.STRING"); |
2664 | this.tQUOTED_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.QUOTED_ID"); | 2638 | this.tQUOTED_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.QUOTED_ID"); |
2665 | this.tPLUS = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.PLUS"); | 2639 | this.tSL_COMMENT = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.SL_COMMENT"); |
2666 | this.tSTAR = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.STAR"); | 2640 | this.tTRANSITIVE_CLOSURE = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.TRANSITIVE_CLOSURE"); |
2667 | this.tDOT = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.DOT"); | 2641 | this.tREFLEXIVE_TRANSITIVE_CLOSURE = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.REFLEXIVE_TRANSITIVE_CLOSURE"); |
2642 | this.tFULL_STOP = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.FULL_STOP"); | ||
2668 | this.pNamedElement = new NamedElementElements(); | 2643 | this.pNamedElement = new NamedElementElements(); |
2669 | } | 2644 | } |
2670 | 2645 | ||
@@ -2708,7 +2683,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2708 | //Statement: | 2683 | //Statement: |
2709 | // (AssertionOrDefinition | PredicateDefinition | UnnamedErrorPrediateDefinition | DefaultDefinition | | 2684 | // (AssertionOrDefinition | PredicateDefinition | UnnamedErrorPrediateDefinition | DefaultDefinition | |
2710 | // ExternPredicateDefinition | MetricDefinition | ExternMetricDefinition | ClassDefinition | ScopeDefinition | | 2685 | // ExternPredicateDefinition | MetricDefinition | ExternMetricDefinition | ClassDefinition | ScopeDefinition | |
2711 | // ObjectiveDefinition) DOT; | 2686 | // ObjectiveDefinition) FULL_STOP; |
2712 | public StatementElements getStatementAccess() { | 2687 | public StatementElements getStatementAccess() { |
2713 | return pStatement; | 2688 | return pStatement; |
2714 | } | 2689 | } |
@@ -2759,7 +2734,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2759 | } | 2734 | } |
2760 | 2735 | ||
2761 | //ExternPredicateDefinition: | 2736 | //ExternPredicateDefinition: |
2762 | // "extern" head=Call "."; | 2737 | // "extern" head=Call; |
2763 | public ExternPredicateDefinitionElements getExternPredicateDefinitionAccess() { | 2738 | public ExternPredicateDefinitionElements getExternPredicateDefinitionAccess() { |
2764 | return pExternPredicateDefinition; | 2739 | return pExternPredicateDefinition; |
2765 | } | 2740 | } |
@@ -3000,7 +2975,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
3000 | } | 2975 | } |
3001 | 2976 | ||
3002 | //AtomicExpression Expression: | 2977 | //AtomicExpression Expression: |
3003 | // Reference ({Call.functor=current} -> argumentList=ArgumentList)? | Interval | Literal | "(" Expression ")"; | 2978 | // Reference | Call | Interval | Literal | "(" Expression ")"; |
3004 | public AtomicExpressionElements getAtomicExpressionAccess() { | 2979 | public AtomicExpressionElements getAtomicExpressionAccess() { |
3005 | return pAtomicExpression; | 2980 | return pAtomicExpression; |
3006 | } | 2981 | } |
@@ -3010,7 +2985,8 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
3010 | } | 2985 | } |
3011 | 2986 | ||
3012 | //Call: | 2987 | //Call: |
3013 | // functor=Reference (transitiveClosure?=STAR | reflexiveTransitiveClosure?=PLUS)? argumentList=ArgumentList; | 2988 | // functor=Reference (transitiveClosure?=TRANSITIVE_CLOSURE | reflexiveTransitiveClosure?=REFLEXIVE_TRANSITIVE_CLOSURE)? |
2989 | // argumentList=ArgumentList; | ||
3014 | public CallElements getCallAccess() { | 2990 | public CallElements getCallAccess() { |
3015 | return pCall; | 2991 | return pCall; |
3016 | } | 2992 | } |
@@ -3169,7 +3145,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
3169 | return getStringLiteralAccess().getRule(); | 3145 | return getStringLiteralAccess().getRule(); |
3170 | } | 3146 | } |
3171 | 3147 | ||
3172 | //ClassDefinition Statement: | 3148 | //ClassDefinition: |
3173 | // abstract?="abstract"? "class" name=ID ("extends" superclasses+=[NamedElement|QualifiedName] ("," | 3149 | // abstract?="abstract"? "class" name=ID ("extends" superclasses+=[NamedElement|QualifiedName] ("," |
3174 | // superclasses+=[NamedElement|QualifiedName])*)? | 3150 | // superclasses+=[NamedElement|QualifiedName])*)? |
3175 | // "{" members+=MemberDefinition* "}"; | 3151 | // "{" members+=MemberDefinition* "}"; |
@@ -3254,7 +3230,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
3254 | 3230 | ||
3255 | //BoundedScopeDefinition: | 3231 | //BoundedScopeDefinition: |
3256 | // "scope" ((lowerBound=INT "<=")? type=[NamedElement|QualifiedName] "<=" upperBound=INT | upperBound=INT ">=" | 3232 | // "scope" ((lowerBound=INT "<=")? type=[NamedElement|QualifiedName] "<=" upperBound=INT | upperBound=INT ">=" |
3257 | // type=[NamedElement|QualifiedName] (">=" lowerBound=INT)?) "."; | 3233 | // type=[NamedElement|QualifiedName] (">=" lowerBound=INT)?); |
3258 | public BoundedScopeDefinitionElements getBoundedScopeDefinitionAccess() { | 3234 | public BoundedScopeDefinitionElements getBoundedScopeDefinitionAccess() { |
3259 | return pBoundedScopeDefinition; | 3235 | return pBoundedScopeDefinition; |
3260 | } | 3236 | } |
@@ -3265,7 +3241,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
3265 | 3241 | ||
3266 | //LowerBoundedScopeDefinition: | 3242 | //LowerBoundedScopeDefinition: |
3267 | // "scope" (lowerBound=INT "<=" type=[NamedElement|QualifiedName] | type=[NamedElement|QualifiedName] ">=" | 3243 | // "scope" (lowerBound=INT "<=" type=[NamedElement|QualifiedName] | type=[NamedElement|QualifiedName] ">=" |
3268 | // lowerBound=INT) "."; | 3244 | // lowerBound=INT); |
3269 | public LowerBoundedScopeDefinitionElements getLowerBoundedScopeDefinitionAccess() { | 3245 | public LowerBoundedScopeDefinitionElements getLowerBoundedScopeDefinitionAccess() { |
3270 | return pLowerBoundedScopeDefinition; | 3246 | return pLowerBoundedScopeDefinition; |
3271 | } | 3247 | } |
@@ -3337,22 +3313,29 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
3337 | return tQUOTED_ID; | 3313 | return tQUOTED_ID; |
3338 | } | 3314 | } |
3339 | 3315 | ||
3340 | //terminal PLUS: | 3316 | //@Override |
3341 | // "synthetic::plus"; | 3317 | //terminal SL_COMMENT: |
3342 | public TerminalRule getPLUSRule() { | 3318 | // ('%' | '//') !('\n' | '\r')* ('\r'? '\n')?; |
3343 | return tPLUS; | 3319 | public TerminalRule getSL_COMMENTRule() { |
3320 | return tSL_COMMENT; | ||
3321 | } | ||
3322 | |||
3323 | //terminal TRANSITIVE_CLOSURE: | ||
3324 | // "synthetic:TRANSITIVE_CLOSURE"; | ||
3325 | public TerminalRule getTRANSITIVE_CLOSURERule() { | ||
3326 | return tTRANSITIVE_CLOSURE; | ||
3344 | } | 3327 | } |
3345 | 3328 | ||
3346 | //terminal STAR: | 3329 | //terminal REFLEXIVE_TRANSITIVE_CLOSURE: |
3347 | // "synthetic::star"; | 3330 | // "synthetic:REFLEXIVE_TRANSITIVE_CLOSURE"; |
3348 | public TerminalRule getSTARRule() { | 3331 | public TerminalRule getREFLEXIVE_TRANSITIVE_CLOSURERule() { |
3349 | return tSTAR; | 3332 | return tREFLEXIVE_TRANSITIVE_CLOSURE; |
3350 | } | 3333 | } |
3351 | 3334 | ||
3352 | //terminal DOT: | 3335 | //terminal FULL_STOP: |
3353 | // "synthetic::dot"; | 3336 | // "synthetic:FULL_STOP"; |
3354 | public TerminalRule getDOTRule() { | 3337 | public TerminalRule getFULL_STOPRule() { |
3355 | return tDOT; | 3338 | return tFULL_STOP; |
3356 | } | 3339 | } |
3357 | 3340 | ||
3358 | //NamedElement: | 3341 | //NamedElement: |
@@ -3383,12 +3366,6 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
3383 | return gaTerminals.getML_COMMENTRule(); | 3366 | return gaTerminals.getML_COMMENTRule(); |
3384 | } | 3367 | } |
3385 | 3368 | ||
3386 | //terminal SL_COMMENT: | ||
3387 | // '//' !('\n' | '\r')* ('\r'? '\n')?; | ||
3388 | public TerminalRule getSL_COMMENTRule() { | ||
3389 | return gaTerminals.getSL_COMMENTRule(); | ||
3390 | } | ||
3391 | |||
3392 | //terminal WS: | 3369 | //terminal WS: |
3393 | // ' ' | '\t' | '\r' | '\n'+; | 3370 | // ' ' | '\t' | '\r' | '\n'+; |
3394 | public TerminalRule getWSRule() { | 3371 | public TerminalRule getWSRule() { |