diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java | 28 |
1 files changed, 18 insertions, 10 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java index 5538f472..c84261e9 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java | |||
@@ -741,20 +741,24 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
741 | public class VLSOtherDeclarationElements extends AbstractParserRuleElementFinder { | 741 | public class VLSOtherDeclarationElements extends AbstractParserRuleElementFinder { |
742 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSOtherDeclaration"); | 742 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSOtherDeclaration"); |
743 | private final Group cGroup = (Group)rule.eContents().get(1); | 743 | private final Group cGroup = (Group)rule.eContents().get(1); |
744 | private final RuleCall cVLSAtomicConstantParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | 744 | private final Assignment cNameAssignment_0 = (Assignment)cGroup.eContents().get(0); |
745 | private final RuleCall cNameVLSAtomicConstantParserRuleCall_0_0 = (RuleCall)cNameAssignment_0.eContents().get(0); | ||
745 | private final Keyword cColonKeyword_1 = (Keyword)cGroup.eContents().get(1); | 746 | private final Keyword cColonKeyword_1 = (Keyword)cGroup.eContents().get(1); |
746 | private final Assignment cTypeAssignment_2 = (Assignment)cGroup.eContents().get(2); | 747 | private final Assignment cTypeAssignment_2 = (Assignment)cGroup.eContents().get(2); |
747 | private final RuleCall cTypeVLSTypeDefParserRuleCall_2_0 = (RuleCall)cTypeAssignment_2.eContents().get(0); | 748 | private final RuleCall cTypeVLSTypeDefParserRuleCall_2_0 = (RuleCall)cTypeAssignment_2.eContents().get(0); |
748 | 749 | ||
749 | //VLSOtherDeclaration: | 750 | //VLSOtherDeclaration: |
750 | // VLSAtomicConstant ':' type=VLSTypeDef; | 751 | // name=VLSAtomicConstant ':' type=VLSTypeDef; |
751 | @Override public ParserRule getRule() { return rule; } | 752 | @Override public ParserRule getRule() { return rule; } |
752 | 753 | ||
753 | //VLSAtomicConstant ':' type=VLSTypeDef | 754 | //name=VLSAtomicConstant ':' type=VLSTypeDef |
754 | public Group getGroup() { return cGroup; } | 755 | public Group getGroup() { return cGroup; } |
755 | 756 | ||
757 | //name=VLSAtomicConstant | ||
758 | public Assignment getNameAssignment_0() { return cNameAssignment_0; } | ||
759 | |||
756 | //VLSAtomicConstant | 760 | //VLSAtomicConstant |
757 | public RuleCall getVLSAtomicConstantParserRuleCall_0() { return cVLSAtomicConstantParserRuleCall_0; } | 761 | public RuleCall getNameVLSAtomicConstantParserRuleCall_0_0() { return cNameVLSAtomicConstantParserRuleCall_0_0; } |
758 | 762 | ||
759 | //':' | 763 | //':' |
760 | public Keyword getColonKeyword_1() { return cColonKeyword_1; } | 764 | public Keyword getColonKeyword_1() { return cColonKeyword_1; } |
@@ -768,20 +772,24 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
768 | public class VLSVariableDeclarationElements extends AbstractParserRuleElementFinder { | 772 | public class VLSVariableDeclarationElements extends AbstractParserRuleElementFinder { |
769 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSVariableDeclaration"); | 773 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSVariableDeclaration"); |
770 | private final Group cGroup = (Group)rule.eContents().get(1); | 774 | private final Group cGroup = (Group)rule.eContents().get(1); |
771 | private final RuleCall cVLSVariableParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | 775 | private final Assignment cNameAssignment_0 = (Assignment)cGroup.eContents().get(0); |
776 | private final RuleCall cNameVLSVariableParserRuleCall_0_0 = (RuleCall)cNameAssignment_0.eContents().get(0); | ||
772 | private final Keyword cColonKeyword_1 = (Keyword)cGroup.eContents().get(1); | 777 | private final Keyword cColonKeyword_1 = (Keyword)cGroup.eContents().get(1); |
773 | private final Assignment cTypeAssignment_2 = (Assignment)cGroup.eContents().get(2); | 778 | private final Assignment cTypeAssignment_2 = (Assignment)cGroup.eContents().get(2); |
774 | private final RuleCall cTypeVLSTypeDefParserRuleCall_2_0 = (RuleCall)cTypeAssignment_2.eContents().get(0); | 779 | private final RuleCall cTypeVLSTypeDefParserRuleCall_2_0 = (RuleCall)cTypeAssignment_2.eContents().get(0); |
775 | 780 | ||
776 | //VLSVariableDeclaration: | 781 | //VLSVariableDeclaration: |
777 | // VLSVariable ':' type=VLSTypeDef; | 782 | // name=VLSVariable ':' type=VLSTypeDef; |
778 | @Override public ParserRule getRule() { return rule; } | 783 | @Override public ParserRule getRule() { return rule; } |
779 | 784 | ||
780 | //VLSVariable ':' type=VLSTypeDef | 785 | //name=VLSVariable ':' type=VLSTypeDef |
781 | public Group getGroup() { return cGroup; } | 786 | public Group getGroup() { return cGroup; } |
782 | 787 | ||
788 | //name=VLSVariable | ||
789 | public Assignment getNameAssignment_0() { return cNameAssignment_0; } | ||
790 | |||
783 | //VLSVariable | 791 | //VLSVariable |
784 | public RuleCall getVLSVariableParserRuleCall_0() { return cVLSVariableParserRuleCall_0; } | 792 | public RuleCall getNameVLSVariableParserRuleCall_0_0() { return cNameVLSVariableParserRuleCall_0_0; } |
785 | 793 | ||
786 | //':' | 794 | //':' |
787 | public Keyword getColonKeyword_1() { return cColonKeyword_1; } | 795 | public Keyword getColonKeyword_1() { return cColonKeyword_1; } |
@@ -2196,7 +2204,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2196 | } | 2204 | } |
2197 | 2205 | ||
2198 | //VLSOtherDeclaration: | 2206 | //VLSOtherDeclaration: |
2199 | // VLSAtomicConstant ':' type=VLSTypeDef; | 2207 | // name=VLSAtomicConstant ':' type=VLSTypeDef; |
2200 | public VLSOtherDeclarationElements getVLSOtherDeclarationAccess() { | 2208 | public VLSOtherDeclarationElements getVLSOtherDeclarationAccess() { |
2201 | return pVLSOtherDeclaration; | 2209 | return pVLSOtherDeclaration; |
2202 | } | 2210 | } |
@@ -2206,7 +2214,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2206 | } | 2214 | } |
2207 | 2215 | ||
2208 | //VLSVariableDeclaration: | 2216 | //VLSVariableDeclaration: |
2209 | // VLSVariable ':' type=VLSTypeDef; | 2217 | // name=VLSVariable ':' type=VLSTypeDef; |
2210 | public VLSVariableDeclarationElements getVLSVariableDeclarationAccess() { | 2218 | public VLSVariableDeclarationElements getVLSVariableDeclarationAccess() { |
2211 | return pVLSVariableDeclaration; | 2219 | return pVLSVariableDeclaration; |
2212 | } | 2220 | } |