diff options
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 | 469 |
1 files changed, 206 insertions, 263 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 fb5ea124..e6a8f1d9 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 | |||
@@ -228,19 +228,25 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
228 | private final Group cGroup = (Group)rule.eContents().get(1); | 228 | private final Group cGroup = (Group)rule.eContents().get(1); |
229 | private final Assignment cSymbolAssignment_0 = (Assignment)cGroup.eContents().get(0); | 229 | private final Assignment cSymbolAssignment_0 = (Assignment)cGroup.eContents().get(0); |
230 | private final RuleCall cSymbolSymbolParserRuleCall_0_0 = (RuleCall)cSymbolAssignment_0.eContents().get(0); | 230 | private final RuleCall cSymbolSymbolParserRuleCall_0_0 = (RuleCall)cSymbolAssignment_0.eContents().get(0); |
231 | private final Keyword cLeftParenthesisKeyword_1 = (Keyword)cGroup.eContents().get(1); | 231 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); |
232 | private final Assignment cObjectsAssignment_2 = (Assignment)cGroup.eContents().get(2); | 232 | private final Keyword cLeftParenthesisKeyword_1_0 = (Keyword)cGroup_1.eContents().get(0); |
233 | private final RuleCall cObjectsComplexObjectParserRuleCall_2_0 = (RuleCall)cObjectsAssignment_2.eContents().get(0); | 233 | private final Group cGroup_1_1 = (Group)cGroup_1.eContents().get(1); |
234 | private final Keyword cRightParenthesisKeyword_3 = (Keyword)cGroup.eContents().get(3); | 234 | private final Assignment cObjectsAssignment_1_1_0 = (Assignment)cGroup_1_1.eContents().get(0); |
235 | private final Keyword cColonKeyword_4 = (Keyword)cGroup.eContents().get(4); | 235 | private final RuleCall cObjectsComplexObjectParserRuleCall_1_1_0_0 = (RuleCall)cObjectsAssignment_1_1_0.eContents().get(0); |
236 | private final Assignment cValueAssignment_5 = (Assignment)cGroup.eContents().get(5); | 236 | private final Group cGroup_1_1_1 = (Group)cGroup_1_1.eContents().get(1); |
237 | private final RuleCall cValueTruthValueParserRuleCall_5_0 = (RuleCall)cValueAssignment_5.eContents().get(0); | 237 | private final Keyword cCommaKeyword_1_1_1_0 = (Keyword)cGroup_1_1_1.eContents().get(0); |
238 | private final Assignment cObjectsAssignment_1_1_1_1 = (Assignment)cGroup_1_1_1.eContents().get(1); | ||
239 | private final RuleCall cObjectsComplexObjectParserRuleCall_1_1_1_1_0 = (RuleCall)cObjectsAssignment_1_1_1_1.eContents().get(0); | ||
240 | private final Keyword cRightParenthesisKeyword_1_2 = (Keyword)cGroup_1.eContents().get(2); | ||
241 | private final Keyword cColonKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
242 | private final Assignment cValueAssignment_3 = (Assignment)cGroup.eContents().get(3); | ||
243 | private final RuleCall cValueTruthValueParserRuleCall_3_0 = (RuleCall)cValueAssignment_3.eContents().get(0); | ||
238 | 244 | ||
239 | //BasicInterpretation: | 245 | //BasicInterpretation: |
240 | // symbol=Symbol '(' objects+=ComplexObject* ')' ':' value=TruthValue; | 246 | // symbol=Symbol ('(' (objects+=ComplexObject (',' objects+=ComplexObject)*)? ')')? ':' value=TruthValue; |
241 | @Override public ParserRule getRule() { return rule; } | 247 | @Override public ParserRule getRule() { return rule; } |
242 | 248 | ||
243 | //symbol=Symbol '(' objects+=ComplexObject* ')' ':' value=TruthValue | 249 | //symbol=Symbol ('(' (objects+=ComplexObject (',' objects+=ComplexObject)*)? ')')? ':' value=TruthValue |
244 | public Group getGroup() { return cGroup; } | 250 | public Group getGroup() { return cGroup; } |
245 | 251 | ||
246 | //symbol=Symbol | 252 | //symbol=Symbol |
@@ -249,26 +255,44 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
249 | //Symbol | 255 | //Symbol |
250 | public RuleCall getSymbolSymbolParserRuleCall_0_0() { return cSymbolSymbolParserRuleCall_0_0; } | 256 | public RuleCall getSymbolSymbolParserRuleCall_0_0() { return cSymbolSymbolParserRuleCall_0_0; } |
251 | 257 | ||
258 | //('(' (objects+=ComplexObject (',' objects+=ComplexObject)*)? ')')? | ||
259 | public Group getGroup_1() { return cGroup_1; } | ||
260 | |||
252 | //'(' | 261 | //'(' |
253 | public Keyword getLeftParenthesisKeyword_1() { return cLeftParenthesisKeyword_1; } | 262 | public Keyword getLeftParenthesisKeyword_1_0() { return cLeftParenthesisKeyword_1_0; } |
263 | |||
264 | //(objects+=ComplexObject (',' objects+=ComplexObject)*)? | ||
265 | public Group getGroup_1_1() { return cGroup_1_1; } | ||
266 | |||
267 | //objects+=ComplexObject | ||
268 | public Assignment getObjectsAssignment_1_1_0() { return cObjectsAssignment_1_1_0; } | ||
269 | |||
270 | //ComplexObject | ||
271 | public RuleCall getObjectsComplexObjectParserRuleCall_1_1_0_0() { return cObjectsComplexObjectParserRuleCall_1_1_0_0; } | ||
272 | |||
273 | //(',' objects+=ComplexObject)* | ||
274 | public Group getGroup_1_1_1() { return cGroup_1_1_1; } | ||
254 | 275 | ||
255 | //objects+=ComplexObject* | 276 | //',' |
256 | public Assignment getObjectsAssignment_2() { return cObjectsAssignment_2; } | 277 | public Keyword getCommaKeyword_1_1_1_0() { return cCommaKeyword_1_1_1_0; } |
278 | |||
279 | //objects+=ComplexObject | ||
280 | public Assignment getObjectsAssignment_1_1_1_1() { return cObjectsAssignment_1_1_1_1; } | ||
257 | 281 | ||
258 | //ComplexObject | 282 | //ComplexObject |
259 | public RuleCall getObjectsComplexObjectParserRuleCall_2_0() { return cObjectsComplexObjectParserRuleCall_2_0; } | 283 | public RuleCall getObjectsComplexObjectParserRuleCall_1_1_1_1_0() { return cObjectsComplexObjectParserRuleCall_1_1_1_1_0; } |
260 | 284 | ||
261 | //')' | 285 | //')' |
262 | public Keyword getRightParenthesisKeyword_3() { return cRightParenthesisKeyword_3; } | 286 | public Keyword getRightParenthesisKeyword_1_2() { return cRightParenthesisKeyword_1_2; } |
263 | 287 | ||
264 | //':' | 288 | //':' |
265 | public Keyword getColonKeyword_4() { return cColonKeyword_4; } | 289 | public Keyword getColonKeyword_2() { return cColonKeyword_2; } |
266 | 290 | ||
267 | //value=TruthValue | 291 | //value=TruthValue |
268 | public Assignment getValueAssignment_5() { return cValueAssignment_5; } | 292 | public Assignment getValueAssignment_3() { return cValueAssignment_3; } |
269 | 293 | ||
270 | //TruthValue | 294 | //TruthValue |
271 | public RuleCall getValueTruthValueParserRuleCall_5_0() { return cValueTruthValueParserRuleCall_5_0; } | 295 | public RuleCall getValueTruthValueParserRuleCall_3_0() { return cValueTruthValueParserRuleCall_3_0; } |
272 | } | 296 | } |
273 | public class SymbolElements extends AbstractParserRuleElementFinder { | 297 | public class SymbolElements extends AbstractParserRuleElementFinder { |
274 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Symbol"); | 298 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Symbol"); |
@@ -645,59 +669,50 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
645 | } | 669 | } |
646 | public class PredicateElements extends AbstractParserRuleElementFinder { | 670 | public class PredicateElements extends AbstractParserRuleElementFinder { |
647 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Predicate"); | 671 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Predicate"); |
648 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | 672 | private final Group cGroup = (Group)rule.eContents().get(1); |
649 | private final RuleCall cPredicateSymbolParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | 673 | private final Assignment cIsErrorAssignment_0 = (Assignment)cGroup.eContents().get(0); |
650 | private final RuleCall cErrorPredicateParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | 674 | private final Keyword cIsErrorErrorKeyword_0_0 = (Keyword)cIsErrorAssignment_0.eContents().get(0); |
675 | private final Assignment cSymbolAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
676 | private final RuleCall cSymbolModelSymbolParserRuleCall_1_0 = (RuleCall)cSymbolAssignment_1.eContents().get(0); | ||
677 | private final Group cGroup_2 = (Group)cGroup.eContents().get(2); | ||
678 | private final Keyword cLeftParenthesisKeyword_2_0 = (Keyword)cGroup_2.eContents().get(0); | ||
679 | private final Group cGroup_2_1 = (Group)cGroup_2.eContents().get(1); | ||
680 | private final Assignment cParametersAssignment_2_1_0 = (Assignment)cGroup_2_1.eContents().get(0); | ||
681 | private final RuleCall cParametersParameterParserRuleCall_2_1_0_0 = (RuleCall)cParametersAssignment_2_1_0.eContents().get(0); | ||
682 | private final Group cGroup_2_1_1 = (Group)cGroup_2_1.eContents().get(1); | ||
683 | private final Keyword cCommaKeyword_2_1_1_0 = (Keyword)cGroup_2_1_1.eContents().get(0); | ||
684 | private final Assignment cParametersAssignment_2_1_1_1 = (Assignment)cGroup_2_1_1.eContents().get(1); | ||
685 | private final RuleCall cParametersParameterParserRuleCall_2_1_1_1_0 = (RuleCall)cParametersAssignment_2_1_1_1.eContents().get(0); | ||
686 | private final Keyword cRightParenthesisKeyword_2_2 = (Keyword)cGroup_2.eContents().get(2); | ||
687 | private final Keyword cColonHyphenMinusKeyword_3 = (Keyword)cGroup.eContents().get(3); | ||
688 | private final Alternatives cAlternatives_4 = (Alternatives)cGroup.eContents().get(4); | ||
689 | private final Keyword cFalseKeyword_4_0 = (Keyword)cAlternatives_4.eContents().get(0); | ||
690 | private final Group cGroup_4_1 = (Group)cAlternatives_4.eContents().get(1); | ||
691 | private final Assignment cBodiesAssignment_4_1_0 = (Assignment)cGroup_4_1.eContents().get(0); | ||
692 | private final RuleCall cBodiesPatternBodyParserRuleCall_4_1_0_0 = (RuleCall)cBodiesAssignment_4_1_0.eContents().get(0); | ||
693 | private final Group cGroup_4_1_1 = (Group)cGroup_4_1.eContents().get(1); | ||
694 | private final Keyword cVerticalLineKeyword_4_1_1_0 = (Keyword)cGroup_4_1_1.eContents().get(0); | ||
695 | private final Assignment cBodiesAssignment_4_1_1_1 = (Assignment)cGroup_4_1_1.eContents().get(1); | ||
696 | private final RuleCall cBodiesPatternBodyParserRuleCall_4_1_1_1_0 = (RuleCall)cBodiesAssignment_4_1_1_1.eContents().get(0); | ||
697 | private final Keyword cFullStopKeyword_5 = (Keyword)cGroup.eContents().get(5); | ||
651 | 698 | ||
652 | ///////////////////// | 699 | ///////////////////// |
653 | //// Predicte grammar | 700 | //// Predicte grammar |
654 | ///////////////////// | 701 | ///////////////////// |
655 | //Predicate: | 702 | //Predicate: |
656 | // PredicateSymbol | ErrorPredicate; | 703 | // isError?='error'? symbol=ModelSymbol ('(' (parameters+=Parameter (',' parameters+=Parameter)*)? ')')? ':-' ('false' | |
704 | // bodies+=PatternBody ('|' bodies+=PatternBody)*) '.'; | ||
657 | @Override public ParserRule getRule() { return rule; } | 705 | @Override public ParserRule getRule() { return rule; } |
658 | 706 | ||
659 | //PredicateSymbol | ErrorPredicate | 707 | //isError?='error'? symbol=ModelSymbol ('(' (parameters+=Parameter (',' parameters+=Parameter)*)? ')')? ':-' ('false' | |
660 | public Alternatives getAlternatives() { return cAlternatives; } | 708 | //bodies+=PatternBody ('|' bodies+=PatternBody)*) '.' |
661 | |||
662 | //PredicateSymbol | ||
663 | public RuleCall getPredicateSymbolParserRuleCall_0() { return cPredicateSymbolParserRuleCall_0; } | ||
664 | |||
665 | //ErrorPredicate | ||
666 | public RuleCall getErrorPredicateParserRuleCall_1() { return cErrorPredicateParserRuleCall_1; } | ||
667 | } | ||
668 | public class PredicateSymbolElements extends AbstractParserRuleElementFinder { | ||
669 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.PredicateSymbol"); | ||
670 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
671 | private final Keyword cPredicateKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
672 | private final Assignment cSymbolAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
673 | private final RuleCall cSymbolModelSymbolParserRuleCall_1_0 = (RuleCall)cSymbolAssignment_1.eContents().get(0); | ||
674 | private final Keyword cLeftParenthesisKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
675 | private final Assignment cParametersAssignment_3 = (Assignment)cGroup.eContents().get(3); | ||
676 | private final RuleCall cParametersParameterParserRuleCall_3_0 = (RuleCall)cParametersAssignment_3.eContents().get(0); | ||
677 | private final Keyword cRightParenthesisKeyword_4 = (Keyword)cGroup.eContents().get(4); | ||
678 | private final Keyword cColonKeyword_5 = (Keyword)cGroup.eContents().get(5); | ||
679 | private final Alternatives cAlternatives_6 = (Alternatives)cGroup.eContents().get(6); | ||
680 | private final Keyword cFalseKeyword_6_0 = (Keyword)cAlternatives_6.eContents().get(0); | ||
681 | private final Group cGroup_6_1 = (Group)cAlternatives_6.eContents().get(1); | ||
682 | private final Assignment cBodiesAssignment_6_1_0 = (Assignment)cGroup_6_1.eContents().get(0); | ||
683 | private final RuleCall cBodiesPatternBodyParserRuleCall_6_1_0_0 = (RuleCall)cBodiesAssignment_6_1_0.eContents().get(0); | ||
684 | private final Group cGroup_6_1_1 = (Group)cGroup_6_1.eContents().get(1); | ||
685 | private final Keyword cVerticalLineKeyword_6_1_1_0 = (Keyword)cGroup_6_1_1.eContents().get(0); | ||
686 | private final Assignment cBodiesAssignment_6_1_1_1 = (Assignment)cGroup_6_1_1.eContents().get(1); | ||
687 | private final RuleCall cBodiesPatternBodyParserRuleCall_6_1_1_1_0 = (RuleCall)cBodiesAssignment_6_1_1_1.eContents().get(0); | ||
688 | private final Keyword cFullStopKeyword_7 = (Keyword)cGroup.eContents().get(7); | ||
689 | |||
690 | //PredicateSymbol: | ||
691 | // 'predicate' symbol=ModelSymbol '(' parameters+=Parameter* ')' ':' ('false' | bodies+=PatternBody ('|' | ||
692 | // bodies+=PatternBody)*) '.'; | ||
693 | @Override public ParserRule getRule() { return rule; } | ||
694 | |||
695 | //'predicate' symbol=ModelSymbol '(' parameters+=Parameter* ')' ':' ('false' | bodies+=PatternBody ('|' | ||
696 | //bodies+=PatternBody)*) '.' | ||
697 | public Group getGroup() { return cGroup; } | 709 | public Group getGroup() { return cGroup; } |
698 | 710 | ||
699 | //'predicate' | 711 | //isError?='error'? |
700 | public Keyword getPredicateKeyword_0() { return cPredicateKeyword_0; } | 712 | public Assignment getIsErrorAssignment_0() { return cIsErrorAssignment_0; } |
713 | |||
714 | //'error' | ||
715 | public Keyword getIsErrorErrorKeyword_0_0() { return cIsErrorErrorKeyword_0_0; } | ||
701 | 716 | ||
702 | //symbol=ModelSymbol | 717 | //symbol=ModelSymbol |
703 | public Assignment getSymbolAssignment_1() { return cSymbolAssignment_1; } | 718 | public Assignment getSymbolAssignment_1() { return cSymbolAssignment_1; } |
@@ -705,143 +720,68 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
705 | //ModelSymbol | 720 | //ModelSymbol |
706 | public RuleCall getSymbolModelSymbolParserRuleCall_1_0() { return cSymbolModelSymbolParserRuleCall_1_0; } | 721 | public RuleCall getSymbolModelSymbolParserRuleCall_1_0() { return cSymbolModelSymbolParserRuleCall_1_0; } |
707 | 722 | ||
708 | //'(' | 723 | //('(' (parameters+=Parameter (',' parameters+=Parameter)*)? ')')? |
709 | public Keyword getLeftParenthesisKeyword_2() { return cLeftParenthesisKeyword_2; } | 724 | public Group getGroup_2() { return cGroup_2; } |
710 | |||
711 | //parameters+=Parameter* | ||
712 | public Assignment getParametersAssignment_3() { return cParametersAssignment_3; } | ||
713 | |||
714 | //Parameter | ||
715 | public RuleCall getParametersParameterParserRuleCall_3_0() { return cParametersParameterParserRuleCall_3_0; } | ||
716 | |||
717 | //')' | ||
718 | public Keyword getRightParenthesisKeyword_4() { return cRightParenthesisKeyword_4; } | ||
719 | |||
720 | //':' | ||
721 | public Keyword getColonKeyword_5() { return cColonKeyword_5; } | ||
722 | |||
723 | //'false' | bodies+=PatternBody ('|' bodies+=PatternBody)* | ||
724 | public Alternatives getAlternatives_6() { return cAlternatives_6; } | ||
725 | |||
726 | //'false' | ||
727 | public Keyword getFalseKeyword_6_0() { return cFalseKeyword_6_0; } | ||
728 | |||
729 | //bodies+=PatternBody ('|' bodies+=PatternBody)* | ||
730 | public Group getGroup_6_1() { return cGroup_6_1; } | ||
731 | |||
732 | //bodies+=PatternBody | ||
733 | public Assignment getBodiesAssignment_6_1_0() { return cBodiesAssignment_6_1_0; } | ||
734 | |||
735 | //PatternBody | ||
736 | public RuleCall getBodiesPatternBodyParserRuleCall_6_1_0_0() { return cBodiesPatternBodyParserRuleCall_6_1_0_0; } | ||
737 | |||
738 | //('|' bodies+=PatternBody)* | ||
739 | public Group getGroup_6_1_1() { return cGroup_6_1_1; } | ||
740 | |||
741 | //'|' | ||
742 | public Keyword getVerticalLineKeyword_6_1_1_0() { return cVerticalLineKeyword_6_1_1_0; } | ||
743 | |||
744 | //bodies+=PatternBody | ||
745 | public Assignment getBodiesAssignment_6_1_1_1() { return cBodiesAssignment_6_1_1_1; } | ||
746 | |||
747 | //PatternBody | ||
748 | public RuleCall getBodiesPatternBodyParserRuleCall_6_1_1_1_0() { return cBodiesPatternBodyParserRuleCall_6_1_1_1_0; } | ||
749 | |||
750 | //'.' | ||
751 | public Keyword getFullStopKeyword_7() { return cFullStopKeyword_7; } | ||
752 | } | ||
753 | public class ErrorPredicateElements extends AbstractParserRuleElementFinder { | ||
754 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ErrorPredicate"); | ||
755 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
756 | private final Action cErrorPredicateAction_0 = (Action)cGroup.eContents().get(0); | ||
757 | private final Keyword cErrorKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
758 | private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
759 | private final RuleCall cNameIDTerminalRuleCall_2_0 = (RuleCall)cNameAssignment_2.eContents().get(0); | ||
760 | private final Group cGroup_3 = (Group)cGroup.eContents().get(3); | ||
761 | private final Keyword cLeftParenthesisKeyword_3_0 = (Keyword)cGroup_3.eContents().get(0); | ||
762 | private final Assignment cParametersAssignment_3_1 = (Assignment)cGroup_3.eContents().get(1); | ||
763 | private final RuleCall cParametersParameterParserRuleCall_3_1_0 = (RuleCall)cParametersAssignment_3_1.eContents().get(0); | ||
764 | private final Keyword cRightParenthesisKeyword_3_2 = (Keyword)cGroup_3.eContents().get(2); | ||
765 | private final Keyword cColonKeyword_4 = (Keyword)cGroup.eContents().get(4); | ||
766 | private final Alternatives cAlternatives_5 = (Alternatives)cGroup.eContents().get(5); | ||
767 | private final Keyword cFalseKeyword_5_0 = (Keyword)cAlternatives_5.eContents().get(0); | ||
768 | private final Group cGroup_5_1 = (Group)cAlternatives_5.eContents().get(1); | ||
769 | private final Assignment cBodiesAssignment_5_1_0 = (Assignment)cGroup_5_1.eContents().get(0); | ||
770 | private final RuleCall cBodiesPatternBodyParserRuleCall_5_1_0_0 = (RuleCall)cBodiesAssignment_5_1_0.eContents().get(0); | ||
771 | private final Group cGroup_5_1_1 = (Group)cGroup_5_1.eContents().get(1); | ||
772 | private final Keyword cVerticalLineKeyword_5_1_1_0 = (Keyword)cGroup_5_1_1.eContents().get(0); | ||
773 | private final Assignment cBodiesAssignment_5_1_1_1 = (Assignment)cGroup_5_1_1.eContents().get(1); | ||
774 | private final RuleCall cBodiesPatternBodyParserRuleCall_5_1_1_1_0 = (RuleCall)cBodiesAssignment_5_1_1_1.eContents().get(0); | ||
775 | private final Keyword cFullStopKeyword_6 = (Keyword)cGroup.eContents().get(6); | ||
776 | |||
777 | //ErrorPredicate: | ||
778 | // {ErrorPredicate} 'error' name=ID? ('(' parameters+=Parameter* ')') ':' ('false' | bodies+=PatternBody ('|' | ||
779 | // bodies+=PatternBody)*) '.'; | ||
780 | @Override public ParserRule getRule() { return rule; } | ||
781 | |||
782 | //{ErrorPredicate} 'error' name=ID? ('(' parameters+=Parameter* ')') ':' ('false' | bodies+=PatternBody ('|' | ||
783 | //bodies+=PatternBody)*) '.' | ||
784 | public Group getGroup() { return cGroup; } | ||
785 | 725 | ||
786 | //{ErrorPredicate} | 726 | //'(' |
787 | public Action getErrorPredicateAction_0() { return cErrorPredicateAction_0; } | 727 | public Keyword getLeftParenthesisKeyword_2_0() { return cLeftParenthesisKeyword_2_0; } |
788 | 728 | ||
789 | //'error' | 729 | //(parameters+=Parameter (',' parameters+=Parameter)*)? |
790 | public Keyword getErrorKeyword_1() { return cErrorKeyword_1; } | 730 | public Group getGroup_2_1() { return cGroup_2_1; } |
791 | 731 | ||
792 | //name=ID? | 732 | //parameters+=Parameter |
793 | public Assignment getNameAssignment_2() { return cNameAssignment_2; } | 733 | public Assignment getParametersAssignment_2_1_0() { return cParametersAssignment_2_1_0; } |
794 | 734 | ||
795 | //ID | 735 | //Parameter |
796 | public RuleCall getNameIDTerminalRuleCall_2_0() { return cNameIDTerminalRuleCall_2_0; } | 736 | public RuleCall getParametersParameterParserRuleCall_2_1_0_0() { return cParametersParameterParserRuleCall_2_1_0_0; } |
797 | 737 | ||
798 | //'(' parameters+=Parameter* ')' | 738 | //(',' parameters+=Parameter)* |
799 | public Group getGroup_3() { return cGroup_3; } | 739 | public Group getGroup_2_1_1() { return cGroup_2_1_1; } |
800 | 740 | ||
801 | //'(' | 741 | //',' |
802 | public Keyword getLeftParenthesisKeyword_3_0() { return cLeftParenthesisKeyword_3_0; } | 742 | public Keyword getCommaKeyword_2_1_1_0() { return cCommaKeyword_2_1_1_0; } |
803 | 743 | ||
804 | //parameters+=Parameter* | 744 | //parameters+=Parameter |
805 | public Assignment getParametersAssignment_3_1() { return cParametersAssignment_3_1; } | 745 | public Assignment getParametersAssignment_2_1_1_1() { return cParametersAssignment_2_1_1_1; } |
806 | 746 | ||
807 | //Parameter | 747 | //Parameter |
808 | public RuleCall getParametersParameterParserRuleCall_3_1_0() { return cParametersParameterParserRuleCall_3_1_0; } | 748 | public RuleCall getParametersParameterParserRuleCall_2_1_1_1_0() { return cParametersParameterParserRuleCall_2_1_1_1_0; } |
809 | 749 | ||
810 | //')' | 750 | //')' |
811 | public Keyword getRightParenthesisKeyword_3_2() { return cRightParenthesisKeyword_3_2; } | 751 | public Keyword getRightParenthesisKeyword_2_2() { return cRightParenthesisKeyword_2_2; } |
812 | 752 | ||
813 | //':' | 753 | //':-' |
814 | public Keyword getColonKeyword_4() { return cColonKeyword_4; } | 754 | public Keyword getColonHyphenMinusKeyword_3() { return cColonHyphenMinusKeyword_3; } |
815 | 755 | ||
816 | //'false' | bodies+=PatternBody ('|' bodies+=PatternBody)* | 756 | //'false' | bodies+=PatternBody ('|' bodies+=PatternBody)* |
817 | public Alternatives getAlternatives_5() { return cAlternatives_5; } | 757 | public Alternatives getAlternatives_4() { return cAlternatives_4; } |
818 | 758 | ||
819 | //'false' | 759 | //'false' |
820 | public Keyword getFalseKeyword_5_0() { return cFalseKeyword_5_0; } | 760 | public Keyword getFalseKeyword_4_0() { return cFalseKeyword_4_0; } |
821 | 761 | ||
822 | //bodies+=PatternBody ('|' bodies+=PatternBody)* | 762 | //bodies+=PatternBody ('|' bodies+=PatternBody)* |
823 | public Group getGroup_5_1() { return cGroup_5_1; } | 763 | public Group getGroup_4_1() { return cGroup_4_1; } |
824 | 764 | ||
825 | //bodies+=PatternBody | 765 | //bodies+=PatternBody |
826 | public Assignment getBodiesAssignment_5_1_0() { return cBodiesAssignment_5_1_0; } | 766 | public Assignment getBodiesAssignment_4_1_0() { return cBodiesAssignment_4_1_0; } |
827 | 767 | ||
828 | //PatternBody | 768 | //PatternBody |
829 | public RuleCall getBodiesPatternBodyParserRuleCall_5_1_0_0() { return cBodiesPatternBodyParserRuleCall_5_1_0_0; } | 769 | public RuleCall getBodiesPatternBodyParserRuleCall_4_1_0_0() { return cBodiesPatternBodyParserRuleCall_4_1_0_0; } |
830 | 770 | ||
831 | //('|' bodies+=PatternBody)* | 771 | //('|' bodies+=PatternBody)* |
832 | public Group getGroup_5_1_1() { return cGroup_5_1_1; } | 772 | public Group getGroup_4_1_1() { return cGroup_4_1_1; } |
833 | 773 | ||
834 | //'|' | 774 | //'|' |
835 | public Keyword getVerticalLineKeyword_5_1_1_0() { return cVerticalLineKeyword_5_1_1_0; } | 775 | public Keyword getVerticalLineKeyword_4_1_1_0() { return cVerticalLineKeyword_4_1_1_0; } |
836 | 776 | ||
837 | //bodies+=PatternBody | 777 | //bodies+=PatternBody |
838 | public Assignment getBodiesAssignment_5_1_1_1() { return cBodiesAssignment_5_1_1_1; } | 778 | public Assignment getBodiesAssignment_4_1_1_1() { return cBodiesAssignment_4_1_1_1; } |
839 | 779 | ||
840 | //PatternBody | 780 | //PatternBody |
841 | public RuleCall getBodiesPatternBodyParserRuleCall_5_1_1_1_0() { return cBodiesPatternBodyParserRuleCall_5_1_1_1_0; } | 781 | public RuleCall getBodiesPatternBodyParserRuleCall_4_1_1_1_0() { return cBodiesPatternBodyParserRuleCall_4_1_1_1_0; } |
842 | 782 | ||
843 | //'.' | 783 | //'.' |
844 | public Keyword getFullStopKeyword_6() { return cFullStopKeyword_6; } | 784 | public Keyword getFullStopKeyword_5() { return cFullStopKeyword_5; } |
845 | } | 785 | } |
846 | public class ParameterElements extends AbstractParserRuleElementFinder { | 786 | public class ParameterElements extends AbstractParserRuleElementFinder { |
847 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Parameter"); | 787 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Parameter"); |
@@ -946,92 +886,116 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
946 | } | 886 | } |
947 | public class ConstraintElements extends AbstractParserRuleElementFinder { | 887 | public class ConstraintElements extends AbstractParserRuleElementFinder { |
948 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Constraint"); | 888 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Constraint"); |
949 | private final Group cGroup = (Group)rule.eContents().get(1); | 889 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); |
950 | private final Assignment cPolarityAssignment_0 = (Assignment)cGroup.eContents().get(0); | 890 | private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0); |
951 | private final RuleCall cPolarityPolarityParserRuleCall_0_0 = (RuleCall)cPolarityAssignment_0.eContents().get(0); | 891 | private final Assignment cPolarityAssignment_0_0 = (Assignment)cGroup_0.eContents().get(0); |
952 | private final Assignment cSymbolAssignment_1 = (Assignment)cGroup.eContents().get(1); | 892 | private final RuleCall cPolarityPolarityParserRuleCall_0_0_0 = (RuleCall)cPolarityAssignment_0_0.eContents().get(0); |
953 | private final RuleCall cSymbolModelSymbolParserRuleCall_1_0 = (RuleCall)cSymbolAssignment_1.eContents().get(0); | 893 | private final Assignment cSymbolAssignment_0_1 = (Assignment)cGroup_0.eContents().get(1); |
954 | private final Alternatives cAlternatives_2 = (Alternatives)cGroup.eContents().get(2); | 894 | private final RuleCall cSymbolModelSymbolParserRuleCall_0_1_0 = (RuleCall)cSymbolAssignment_0_1.eContents().get(0); |
955 | private final Group cGroup_2_0 = (Group)cAlternatives_2.eContents().get(0); | 895 | private final Group cGroup_0_2 = (Group)cGroup_0.eContents().get(2); |
956 | private final Keyword cLeftParenthesisKeyword_2_0_0 = (Keyword)cGroup_2_0.eContents().get(0); | 896 | private final Keyword cLeftParenthesisKeyword_0_2_0 = (Keyword)cGroup_0_2.eContents().get(0); |
957 | private final Assignment cParamsAssignment_2_0_1 = (Assignment)cGroup_2_0.eContents().get(1); | 897 | private final Assignment cParamsAssignment_0_2_1 = (Assignment)cGroup_0_2.eContents().get(1); |
958 | private final RuleCall cParamsLiteralParserRuleCall_2_0_1_0 = (RuleCall)cParamsAssignment_2_0_1.eContents().get(0); | 898 | private final RuleCall cParamsLiteralParserRuleCall_0_2_1_0 = (RuleCall)cParamsAssignment_0_2_1.eContents().get(0); |
959 | private final Keyword cRightParenthesisKeyword_2_0_2 = (Keyword)cGroup_2_0.eContents().get(2); | 899 | private final Group cGroup_0_2_2 = (Group)cGroup_0_2.eContents().get(2); |
960 | private final Group cGroup_2_1 = (Group)cAlternatives_2.eContents().get(1); | 900 | private final Keyword cCommaKeyword_0_2_2_0 = (Keyword)cGroup_0_2_2.eContents().get(0); |
961 | private final Assignment cClosureTypeAssignment_2_1_0 = (Assignment)cGroup_2_1.eContents().get(0); | 901 | private final Assignment cParamsAssignment_0_2_2_1 = (Assignment)cGroup_0_2_2.eContents().get(1); |
962 | private final RuleCall cClosureTypeClosureTypeParserRuleCall_2_1_0_0 = (RuleCall)cClosureTypeAssignment_2_1_0.eContents().get(0); | 902 | private final RuleCall cParamsLiteralParserRuleCall_0_2_2_1_0 = (RuleCall)cParamsAssignment_0_2_2_1.eContents().get(0); |
963 | private final Keyword cLeftParenthesisKeyword_2_1_1 = (Keyword)cGroup_2_1.eContents().get(1); | 903 | private final Keyword cRightParenthesisKeyword_0_2_3 = (Keyword)cGroup_0_2.eContents().get(3); |
964 | private final Assignment cParamsAssignment_2_1_2 = (Assignment)cGroup_2_1.eContents().get(2); | 904 | private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1); |
965 | private final RuleCall cParamsLiteralParserRuleCall_2_1_2_0 = (RuleCall)cParamsAssignment_2_1_2.eContents().get(0); | 905 | private final Assignment cClosureTypeAssignment_1_0 = (Assignment)cGroup_1.eContents().get(0); |
966 | private final Assignment cParamsAssignment_2_1_3 = (Assignment)cGroup_2_1.eContents().get(3); | 906 | private final RuleCall cClosureTypeClosureTypeParserRuleCall_1_0_0 = (RuleCall)cClosureTypeAssignment_1_0.eContents().get(0); |
967 | private final RuleCall cParamsLiteralParserRuleCall_2_1_3_0 = (RuleCall)cParamsAssignment_2_1_3.eContents().get(0); | 907 | private final Keyword cLeftParenthesisKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); |
968 | private final Keyword cRightParenthesisKeyword_2_1_4 = (Keyword)cGroup_2_1.eContents().get(4); | 908 | private final Assignment cParamsAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); |
909 | private final RuleCall cParamsLiteralParserRuleCall_1_2_0 = (RuleCall)cParamsAssignment_1_2.eContents().get(0); | ||
910 | private final Group cGroup_1_3 = (Group)cGroup_1.eContents().get(3); | ||
911 | private final Keyword cCommaKeyword_1_3_0 = (Keyword)cGroup_1_3.eContents().get(0); | ||
912 | private final Assignment cParamsAssignment_1_3_1 = (Assignment)cGroup_1_3.eContents().get(1); | ||
913 | private final RuleCall cParamsLiteralParserRuleCall_1_3_1_0 = (RuleCall)cParamsAssignment_1_3_1.eContents().get(0); | ||
914 | private final Keyword cRightParenthesisKeyword_1_4 = (Keyword)cGroup_1.eContents().get(4); | ||
969 | 915 | ||
970 | //Constraint: | 916 | //Constraint: |
971 | // polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal* ')' | closureType=ClosureType '(' params+=Literal | 917 | // polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal? (',' params+=Literal)* ')')? | closureType=ClosureType |
972 | // params+=Literal ')'); | 918 | // '(' params+=Literal? (',' params+=Literal)* ')'; |
973 | @Override public ParserRule getRule() { return rule; } | 919 | @Override public ParserRule getRule() { return rule; } |
974 | 920 | ||
975 | //polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal* ')' | closureType=ClosureType '(' params+=Literal | 921 | //polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal? (',' params+=Literal)* ')')? | closureType=ClosureType '(' |
976 | //params+=Literal ')') | 922 | //params+=Literal? (',' params+=Literal)* ')' |
977 | public Group getGroup() { return cGroup; } | 923 | public Alternatives getAlternatives() { return cAlternatives; } |
924 | |||
925 | //polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal? (',' params+=Literal)* ')')? | ||
926 | public Group getGroup_0() { return cGroup_0; } | ||
978 | 927 | ||
979 | //polarity=Polarity? | 928 | //polarity=Polarity? |
980 | public Assignment getPolarityAssignment_0() { return cPolarityAssignment_0; } | 929 | public Assignment getPolarityAssignment_0_0() { return cPolarityAssignment_0_0; } |
981 | 930 | ||
982 | //Polarity | 931 | //Polarity |
983 | public RuleCall getPolarityPolarityParserRuleCall_0_0() { return cPolarityPolarityParserRuleCall_0_0; } | 932 | public RuleCall getPolarityPolarityParserRuleCall_0_0_0() { return cPolarityPolarityParserRuleCall_0_0_0; } |
984 | 933 | ||
985 | //symbol=ModelSymbol | 934 | //symbol=ModelSymbol |
986 | public Assignment getSymbolAssignment_1() { return cSymbolAssignment_1; } | 935 | public Assignment getSymbolAssignment_0_1() { return cSymbolAssignment_0_1; } |
987 | 936 | ||
988 | //ModelSymbol | 937 | //ModelSymbol |
989 | public RuleCall getSymbolModelSymbolParserRuleCall_1_0() { return cSymbolModelSymbolParserRuleCall_1_0; } | 938 | public RuleCall getSymbolModelSymbolParserRuleCall_0_1_0() { return cSymbolModelSymbolParserRuleCall_0_1_0; } |
990 | 939 | ||
991 | //'(' params+=Literal* ')' | closureType=ClosureType '(' params+=Literal params+=Literal ')' | 940 | //('(' params+=Literal? (',' params+=Literal)* ')')? |
992 | public Alternatives getAlternatives_2() { return cAlternatives_2; } | 941 | public Group getGroup_0_2() { return cGroup_0_2; } |
993 | |||
994 | //'(' params+=Literal* ')' | ||
995 | public Group getGroup_2_0() { return cGroup_2_0; } | ||
996 | 942 | ||
997 | //'(' | 943 | //'(' |
998 | public Keyword getLeftParenthesisKeyword_2_0_0() { return cLeftParenthesisKeyword_2_0_0; } | 944 | public Keyword getLeftParenthesisKeyword_0_2_0() { return cLeftParenthesisKeyword_0_2_0; } |
999 | 945 | ||
1000 | //params+=Literal* | 946 | //params+=Literal? |
1001 | public Assignment getParamsAssignment_2_0_1() { return cParamsAssignment_2_0_1; } | 947 | public Assignment getParamsAssignment_0_2_1() { return cParamsAssignment_0_2_1; } |
1002 | 948 | ||
1003 | //Literal | 949 | //Literal |
1004 | public RuleCall getParamsLiteralParserRuleCall_2_0_1_0() { return cParamsLiteralParserRuleCall_2_0_1_0; } | 950 | public RuleCall getParamsLiteralParserRuleCall_0_2_1_0() { return cParamsLiteralParserRuleCall_0_2_1_0; } |
951 | |||
952 | //(',' params+=Literal)* | ||
953 | public Group getGroup_0_2_2() { return cGroup_0_2_2; } | ||
954 | |||
955 | //',' | ||
956 | public Keyword getCommaKeyword_0_2_2_0() { return cCommaKeyword_0_2_2_0; } | ||
957 | |||
958 | //params+=Literal | ||
959 | public Assignment getParamsAssignment_0_2_2_1() { return cParamsAssignment_0_2_2_1; } | ||
960 | |||
961 | //Literal | ||
962 | public RuleCall getParamsLiteralParserRuleCall_0_2_2_1_0() { return cParamsLiteralParserRuleCall_0_2_2_1_0; } | ||
1005 | 963 | ||
1006 | //')' | 964 | //')' |
1007 | public Keyword getRightParenthesisKeyword_2_0_2() { return cRightParenthesisKeyword_2_0_2; } | 965 | public Keyword getRightParenthesisKeyword_0_2_3() { return cRightParenthesisKeyword_0_2_3; } |
1008 | 966 | ||
1009 | //closureType=ClosureType '(' params+=Literal params+=Literal ')' | 967 | //closureType=ClosureType '(' params+=Literal? (',' params+=Literal)* ')' |
1010 | public Group getGroup_2_1() { return cGroup_2_1; } | 968 | public Group getGroup_1() { return cGroup_1; } |
1011 | 969 | ||
1012 | //closureType=ClosureType | 970 | //closureType=ClosureType |
1013 | public Assignment getClosureTypeAssignment_2_1_0() { return cClosureTypeAssignment_2_1_0; } | 971 | public Assignment getClosureTypeAssignment_1_0() { return cClosureTypeAssignment_1_0; } |
1014 | 972 | ||
1015 | //ClosureType | 973 | //ClosureType |
1016 | public RuleCall getClosureTypeClosureTypeParserRuleCall_2_1_0_0() { return cClosureTypeClosureTypeParserRuleCall_2_1_0_0; } | 974 | public RuleCall getClosureTypeClosureTypeParserRuleCall_1_0_0() { return cClosureTypeClosureTypeParserRuleCall_1_0_0; } |
1017 | 975 | ||
1018 | //'(' | 976 | //'(' |
1019 | public Keyword getLeftParenthesisKeyword_2_1_1() { return cLeftParenthesisKeyword_2_1_1; } | 977 | public Keyword getLeftParenthesisKeyword_1_1() { return cLeftParenthesisKeyword_1_1; } |
1020 | 978 | ||
1021 | //params+=Literal | 979 | //params+=Literal? |
1022 | public Assignment getParamsAssignment_2_1_2() { return cParamsAssignment_2_1_2; } | 980 | public Assignment getParamsAssignment_1_2() { return cParamsAssignment_1_2; } |
1023 | 981 | ||
1024 | //Literal | 982 | //Literal |
1025 | public RuleCall getParamsLiteralParserRuleCall_2_1_2_0() { return cParamsLiteralParserRuleCall_2_1_2_0; } | 983 | public RuleCall getParamsLiteralParserRuleCall_1_2_0() { return cParamsLiteralParserRuleCall_1_2_0; } |
984 | |||
985 | //(',' params+=Literal)* | ||
986 | public Group getGroup_1_3() { return cGroup_1_3; } | ||
987 | |||
988 | //',' | ||
989 | public Keyword getCommaKeyword_1_3_0() { return cCommaKeyword_1_3_0; } | ||
1026 | 990 | ||
1027 | //params+=Literal | 991 | //params+=Literal |
1028 | public Assignment getParamsAssignment_2_1_3() { return cParamsAssignment_2_1_3; } | 992 | public Assignment getParamsAssignment_1_3_1() { return cParamsAssignment_1_3_1; } |
1029 | 993 | ||
1030 | //Literal | 994 | //Literal |
1031 | public RuleCall getParamsLiteralParserRuleCall_2_1_3_0() { return cParamsLiteralParserRuleCall_2_1_3_0; } | 995 | public RuleCall getParamsLiteralParserRuleCall_1_3_1_0() { return cParamsLiteralParserRuleCall_1_3_1_0; } |
1032 | 996 | ||
1033 | //')' | 997 | //')' |
1034 | public Keyword getRightParenthesisKeyword_2_1_4() { return cRightParenthesisKeyword_2_1_4; } | 998 | public Keyword getRightParenthesisKeyword_1_4() { return cRightParenthesisKeyword_1_4; } |
1035 | } | 999 | } |
1036 | public class ClosureTypeElements extends AbstractParserRuleElementFinder { | 1000 | public class ClosureTypeElements extends AbstractParserRuleElementFinder { |
1037 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ClosureType"); | 1001 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ClosureType"); |
@@ -1073,12 +1037,13 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1073 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | 1037 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); |
1074 | private final RuleCall cVariableParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | 1038 | private final RuleCall cVariableParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); |
1075 | private final RuleCall cDataObjectParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | 1039 | private final RuleCall cDataObjectParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); |
1040 | private final RuleCall cNamedObjectParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | ||
1076 | 1041 | ||
1077 | //Literal: | 1042 | //Literal: |
1078 | // Variable | DataObject; | 1043 | // Variable | DataObject | NamedObject; |
1079 | @Override public ParserRule getRule() { return rule; } | 1044 | @Override public ParserRule getRule() { return rule; } |
1080 | 1045 | ||
1081 | //Variable | DataObject | 1046 | //Variable | DataObject | NamedObject |
1082 | public Alternatives getAlternatives() { return cAlternatives; } | 1047 | public Alternatives getAlternatives() { return cAlternatives; } |
1083 | 1048 | ||
1084 | //Variable | 1049 | //Variable |
@@ -1086,6 +1051,9 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1086 | 1051 | ||
1087 | //DataObject | 1052 | //DataObject |
1088 | public RuleCall getDataObjectParserRuleCall_1() { return cDataObjectParserRuleCall_1; } | 1053 | public RuleCall getDataObjectParserRuleCall_1() { return cDataObjectParserRuleCall_1; } |
1054 | |||
1055 | //NamedObject | ||
1056 | public RuleCall getNamedObjectParserRuleCall_2() { return cNamedObjectParserRuleCall_2; } | ||
1089 | } | 1057 | } |
1090 | public class VariableElements extends AbstractParserRuleElementFinder { | 1058 | public class VariableElements extends AbstractParserRuleElementFinder { |
1091 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Variable"); | 1059 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Variable"); |
@@ -1217,16 +1185,16 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1217 | private final Keyword cRightCurlyBracketKeyword_6 = (Keyword)cGroup.eContents().get(6); | 1185 | private final Keyword cRightCurlyBracketKeyword_6 = (Keyword)cGroup.eContents().get(6); |
1218 | 1186 | ||
1219 | //ClassInterpretation: | 1187 | //ClassInterpretation: |
1220 | // abstract?='abstract' 'class' symbol=ModelSymbol ('extends' supertypes+=ModelSymbol+)? '{' | 1188 | // abstract?='abstract'? 'class' symbol=ModelSymbol ('extends' supertypes+=ModelSymbol+)? '{' |
1221 | // fielt+=FieldRelationInterpretation* | 1189 | // fielt+=FieldRelationInterpretation* |
1222 | // '}'; | 1190 | // '}'; |
1223 | @Override public ParserRule getRule() { return rule; } | 1191 | @Override public ParserRule getRule() { return rule; } |
1224 | 1192 | ||
1225 | //abstract?='abstract' 'class' symbol=ModelSymbol ('extends' supertypes+=ModelSymbol+)? '{' | 1193 | //abstract?='abstract'? 'class' symbol=ModelSymbol ('extends' supertypes+=ModelSymbol+)? '{' |
1226 | //fielt+=FieldRelationInterpretation* '}' | 1194 | //fielt+=FieldRelationInterpretation* '}' |
1227 | public Group getGroup() { return cGroup; } | 1195 | public Group getGroup() { return cGroup; } |
1228 | 1196 | ||
1229 | //abstract?='abstract' | 1197 | //abstract?='abstract'? |
1230 | public Assignment getAbstractAssignment_0() { return cAbstractAssignment_0; } | 1198 | public Assignment getAbstractAssignment_0() { return cAbstractAssignment_0; } |
1231 | 1199 | ||
1232 | //'abstract' | 1200 | //'abstract' |
@@ -1318,13 +1286,13 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1318 | private final RuleCall cTargetSymbolParserRuleCall_4_0 = (RuleCall)cTargetAssignment_4.eContents().get(0); | 1286 | private final RuleCall cTargetSymbolParserRuleCall_4_0 = (RuleCall)cTargetAssignment_4.eContents().get(0); |
1319 | 1287 | ||
1320 | //FieldRelationInterpretation: | 1288 | //FieldRelationInterpretation: |
1321 | // containment?='containment' symbol=ModelSymbol ':' multiplicity=MultiplicityDefinition? target=Symbol; | 1289 | // containment?='containment'? symbol=ModelSymbol ':' multiplicity=MultiplicityDefinition? target=Symbol; |
1322 | @Override public ParserRule getRule() { return rule; } | 1290 | @Override public ParserRule getRule() { return rule; } |
1323 | 1291 | ||
1324 | //containment?='containment' symbol=ModelSymbol ':' multiplicity=MultiplicityDefinition? target=Symbol | 1292 | //containment?='containment'? symbol=ModelSymbol ':' multiplicity=MultiplicityDefinition? target=Symbol |
1325 | public Group getGroup() { return cGroup; } | 1293 | public Group getGroup() { return cGroup; } |
1326 | 1294 | ||
1327 | //containment?='containment' | 1295 | //containment?='containment'? |
1328 | public Assignment getContainmentAssignment_0() { return cContainmentAssignment_0; } | 1296 | public Assignment getContainmentAssignment_0() { return cContainmentAssignment_0; } |
1329 | 1297 | ||
1330 | //'containment' | 1298 | //'containment' |
@@ -1370,15 +1338,15 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1370 | private final RuleCall cTargetSymbolParserRuleCall_7_0 = (RuleCall)cTargetAssignment_7.eContents().get(0); | 1338 | private final RuleCall cTargetSymbolParserRuleCall_7_0 = (RuleCall)cTargetAssignment_7.eContents().get(0); |
1371 | 1339 | ||
1372 | //GlobalRelationInterpretation: | 1340 | //GlobalRelationInterpretation: |
1373 | // containment?='containment' 'relation' symbol=ModelSymbol ':' sourceMultiplicity=MultiplicityDefinition? source=Symbol | 1341 | // containment?='containment'? 'relation' symbol=ModelSymbol ':' sourceMultiplicity=MultiplicityDefinition? |
1374 | // targetMultiplicity=MultiplicityDefinition? target=Symbol; | 1342 | // source=Symbol targetMultiplicity=MultiplicityDefinition? target=Symbol; |
1375 | @Override public ParserRule getRule() { return rule; } | 1343 | @Override public ParserRule getRule() { return rule; } |
1376 | 1344 | ||
1377 | //containment?='containment' 'relation' symbol=ModelSymbol ':' sourceMultiplicity=MultiplicityDefinition? source=Symbol | 1345 | //containment?='containment'? 'relation' symbol=ModelSymbol ':' sourceMultiplicity=MultiplicityDefinition? source=Symbol |
1378 | //targetMultiplicity=MultiplicityDefinition? target=Symbol | 1346 | //targetMultiplicity=MultiplicityDefinition? target=Symbol |
1379 | public Group getGroup() { return cGroup; } | 1347 | public Group getGroup() { return cGroup; } |
1380 | 1348 | ||
1381 | //containment?='containment' | 1349 | //containment?='containment'? |
1382 | public Assignment getContainmentAssignment_0() { return cContainmentAssignment_0; } | 1350 | public Assignment getContainmentAssignment_0() { return cContainmentAssignment_0; } |
1383 | 1351 | ||
1384 | //'containment' | 1352 | //'containment' |
@@ -1494,8 +1462,6 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1494 | private final RealObjectElements pRealObject; | 1462 | private final RealObjectElements pRealObject; |
1495 | private final StringObjectElements pStringObject; | 1463 | private final StringObjectElements pStringObject; |
1496 | private final PredicateElements pPredicate; | 1464 | private final PredicateElements pPredicate; |
1497 | private final PredicateSymbolElements pPredicateSymbol; | ||
1498 | private final ErrorPredicateElements pErrorPredicate; | ||
1499 | private final ParameterElements pParameter; | 1465 | private final ParameterElements pParameter; |
1500 | private final PatternBodyElements pPatternBody; | 1466 | private final PatternBodyElements pPatternBody; |
1501 | private final PolarityElements pPolarity; | 1467 | private final PolarityElements pPolarity; |
@@ -1551,8 +1517,6 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1551 | this.pRealObject = new RealObjectElements(); | 1517 | this.pRealObject = new RealObjectElements(); |
1552 | this.pStringObject = new StringObjectElements(); | 1518 | this.pStringObject = new StringObjectElements(); |
1553 | this.pPredicate = new PredicateElements(); | 1519 | this.pPredicate = new PredicateElements(); |
1554 | this.pPredicateSymbol = new PredicateSymbolElements(); | ||
1555 | this.pErrorPredicate = new ErrorPredicateElements(); | ||
1556 | this.pParameter = new ParameterElements(); | 1520 | this.pParameter = new ParameterElements(); |
1557 | this.pPatternBody = new PatternBodyElements(); | 1521 | this.pPatternBody = new PatternBodyElements(); |
1558 | this.pPolarity = new PolarityElements(); | 1522 | this.pPolarity = new PolarityElements(); |
@@ -1679,7 +1643,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1679 | } | 1643 | } |
1680 | 1644 | ||
1681 | //BasicInterpretation: | 1645 | //BasicInterpretation: |
1682 | // symbol=Symbol '(' objects+=ComplexObject* ')' ':' value=TruthValue; | 1646 | // symbol=Symbol ('(' (objects+=ComplexObject (',' objects+=ComplexObject)*)? ')')? ':' value=TruthValue; |
1683 | public BasicInterpretationElements getBasicInterpretationAccess() { | 1647 | public BasicInterpretationElements getBasicInterpretationAccess() { |
1684 | return pBasicInterpretation; | 1648 | return pBasicInterpretation; |
1685 | } | 1649 | } |
@@ -1882,7 +1846,8 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1882 | //// Predicte grammar | 1846 | //// Predicte grammar |
1883 | ///////////////////// | 1847 | ///////////////////// |
1884 | //Predicate: | 1848 | //Predicate: |
1885 | // PredicateSymbol | ErrorPredicate; | 1849 | // isError?='error'? symbol=ModelSymbol ('(' (parameters+=Parameter (',' parameters+=Parameter)*)? ')')? ':-' ('false' | |
1850 | // bodies+=PatternBody ('|' bodies+=PatternBody)*) '.'; | ||
1886 | public PredicateElements getPredicateAccess() { | 1851 | public PredicateElements getPredicateAccess() { |
1887 | return pPredicate; | 1852 | return pPredicate; |
1888 | } | 1853 | } |
@@ -1891,28 +1856,6 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1891 | return getPredicateAccess().getRule(); | 1856 | return getPredicateAccess().getRule(); |
1892 | } | 1857 | } |
1893 | 1858 | ||
1894 | //PredicateSymbol: | ||
1895 | // 'predicate' symbol=ModelSymbol '(' parameters+=Parameter* ')' ':' ('false' | bodies+=PatternBody ('|' | ||
1896 | // bodies+=PatternBody)*) '.'; | ||
1897 | public PredicateSymbolElements getPredicateSymbolAccess() { | ||
1898 | return pPredicateSymbol; | ||
1899 | } | ||
1900 | |||
1901 | public ParserRule getPredicateSymbolRule() { | ||
1902 | return getPredicateSymbolAccess().getRule(); | ||
1903 | } | ||
1904 | |||
1905 | //ErrorPredicate: | ||
1906 | // {ErrorPredicate} 'error' name=ID? ('(' parameters+=Parameter* ')') ':' ('false' | bodies+=PatternBody ('|' | ||
1907 | // bodies+=PatternBody)*) '.'; | ||
1908 | public ErrorPredicateElements getErrorPredicateAccess() { | ||
1909 | return pErrorPredicate; | ||
1910 | } | ||
1911 | |||
1912 | public ParserRule getErrorPredicateRule() { | ||
1913 | return getErrorPredicateAccess().getRule(); | ||
1914 | } | ||
1915 | |||
1916 | //Parameter: | 1859 | //Parameter: |
1917 | // variable=Variable (':' type=Symbol)?; | 1860 | // variable=Variable (':' type=Symbol)?; |
1918 | public ParameterElements getParameterAccess() { | 1861 | public ParameterElements getParameterAccess() { |
@@ -1944,8 +1887,8 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1944 | } | 1887 | } |
1945 | 1888 | ||
1946 | //Constraint: | 1889 | //Constraint: |
1947 | // polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal* ')' | closureType=ClosureType '(' params+=Literal | 1890 | // polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal? (',' params+=Literal)* ')')? | closureType=ClosureType |
1948 | // params+=Literal ')'); | 1891 | // '(' params+=Literal? (',' params+=Literal)* ')'; |
1949 | public ConstraintElements getConstraintAccess() { | 1892 | public ConstraintElements getConstraintAccess() { |
1950 | return pConstraint; | 1893 | return pConstraint; |
1951 | } | 1894 | } |
@@ -1965,7 +1908,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1965 | } | 1908 | } |
1966 | 1909 | ||
1967 | //Literal: | 1910 | //Literal: |
1968 | // Variable | DataObject; | 1911 | // Variable | DataObject | NamedObject; |
1969 | public LiteralElements getLiteralAccess() { | 1912 | public LiteralElements getLiteralAccess() { |
1970 | return pLiteral; | 1913 | return pLiteral; |
1971 | } | 1914 | } |
@@ -2034,7 +1977,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2034 | } | 1977 | } |
2035 | 1978 | ||
2036 | //ClassInterpretation: | 1979 | //ClassInterpretation: |
2037 | // abstract?='abstract' 'class' symbol=ModelSymbol ('extends' supertypes+=ModelSymbol+)? '{' | 1980 | // abstract?='abstract'? 'class' symbol=ModelSymbol ('extends' supertypes+=ModelSymbol+)? '{' |
2038 | // fielt+=FieldRelationInterpretation* | 1981 | // fielt+=FieldRelationInterpretation* |
2039 | // '}'; | 1982 | // '}'; |
2040 | public ClassInterpretationElements getClassInterpretationAccess() { | 1983 | public ClassInterpretationElements getClassInterpretationAccess() { |
@@ -2056,7 +1999,7 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2056 | } | 1999 | } |
2057 | 2000 | ||
2058 | //FieldRelationInterpretation: | 2001 | //FieldRelationInterpretation: |
2059 | // containment?='containment' symbol=ModelSymbol ':' multiplicity=MultiplicityDefinition? target=Symbol; | 2002 | // containment?='containment'? symbol=ModelSymbol ':' multiplicity=MultiplicityDefinition? target=Symbol; |
2060 | public FieldRelationInterpretationElements getFieldRelationInterpretationAccess() { | 2003 | public FieldRelationInterpretationElements getFieldRelationInterpretationAccess() { |
2061 | return pFieldRelationInterpretation; | 2004 | return pFieldRelationInterpretation; |
2062 | } | 2005 | } |
@@ -2066,8 +2009,8 @@ public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2066 | } | 2009 | } |
2067 | 2010 | ||
2068 | //GlobalRelationInterpretation: | 2011 | //GlobalRelationInterpretation: |
2069 | // containment?='containment' 'relation' symbol=ModelSymbol ':' sourceMultiplicity=MultiplicityDefinition? source=Symbol | 2012 | // containment?='containment'? 'relation' symbol=ModelSymbol ':' sourceMultiplicity=MultiplicityDefinition? |
2070 | // targetMultiplicity=MultiplicityDefinition? target=Symbol; | 2013 | // source=Symbol targetMultiplicity=MultiplicityDefinition? target=Symbol; |
2071 | public GlobalRelationInterpretationElements getGlobalRelationInterpretationAccess() { | 2014 | public GlobalRelationInterpretationElements getGlobalRelationInterpretationAccess() { |
2072 | return pGlobalRelationInterpretation; | 2015 | return pGlobalRelationInterpretation; |
2073 | } | 2016 | } |