diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java | 36 |
1 files changed, 23 insertions, 13 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 4c2157c3..b1eaff99 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 | |||
@@ -160,21 +160,29 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
160 | } | 160 | } |
161 | public class VLSCommentElements extends AbstractParserRuleElementFinder { | 161 | public class VLSCommentElements extends AbstractParserRuleElementFinder { |
162 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSComment"); | 162 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSComment"); |
163 | private final Assignment cCommentAssignment = (Assignment)rule.eContents().get(1); | 163 | private final Group cGroup = (Group)rule.eContents().get(1); |
164 | private final RuleCall cCommentSINGLE_COMMENTTerminalRuleCall_0 = (RuleCall)cCommentAssignment.eContents().get(0); | 164 | private final Keyword cPercentSignKeyword_0 = (Keyword)cGroup.eContents().get(0); |
165 | private final Assignment cCommentAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
166 | private final RuleCall cCommentSINGLE_COMMENTTerminalRuleCall_1_0 = (RuleCall)cCommentAssignment_1.eContents().get(0); | ||
165 | 167 | ||
166 | //// <comments> | 168 | //// <comments> |
167 | //VLSComment: | 169 | //VLSComment: |
168 | // comment=SINGLE_COMMENT | 170 | // '%' comment=SINGLE_COMMENT |
169 | // //need to add a new line at the end of the file for the case where the last line is a comment | 171 | // //need to add a new line at the end of the file for the case where the last line is a comment |
170 | //; | 172 | //; |
171 | @Override public ParserRule getRule() { return rule; } | 173 | @Override public ParserRule getRule() { return rule; } |
172 | 174 | ||
175 | //'%' comment=SINGLE_COMMENT | ||
176 | public Group getGroup() { return cGroup; } | ||
177 | |||
178 | //'%' | ||
179 | public Keyword getPercentSignKeyword_0() { return cPercentSignKeyword_0; } | ||
180 | |||
173 | //comment=SINGLE_COMMENT | 181 | //comment=SINGLE_COMMENT |
174 | public Assignment getCommentAssignment() { return cCommentAssignment; } | 182 | public Assignment getCommentAssignment_1() { return cCommentAssignment_1; } |
175 | 183 | ||
176 | //SINGLE_COMMENT | 184 | //SINGLE_COMMENT |
177 | public RuleCall getCommentSINGLE_COMMENTTerminalRuleCall_0() { return cCommentSINGLE_COMMENTTerminalRuleCall_0; } | 185 | public RuleCall getCommentSINGLE_COMMENTTerminalRuleCall_1_0() { return cCommentSINGLE_COMMENTTerminalRuleCall_1_0; } |
178 | } | 186 | } |
179 | public class VLSFofFormulaElements extends AbstractParserRuleElementFinder { | 187 | public class VLSFofFormulaElements extends AbstractParserRuleElementFinder { |
180 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofFormula"); | 188 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofFormula"); |
@@ -1520,6 +1528,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1520 | private final TerminalRule tSIGNED_REAL_ID; | 1528 | private final TerminalRule tSIGNED_REAL_ID; |
1521 | private final TerminalRule tUNSIGNED_RAT_ID; | 1529 | private final TerminalRule tUNSIGNED_RAT_ID; |
1522 | private final TerminalRule tSIGNED_RAT_ID; | 1530 | private final TerminalRule tSIGNED_RAT_ID; |
1531 | private final TerminalRule tID; | ||
1523 | private final TerminalRule tANY_OTHER; | 1532 | private final TerminalRule tANY_OTHER; |
1524 | private final TerminalRule tSINGLE_COMMENT; | 1533 | private final TerminalRule tSINGLE_COMMENT; |
1525 | private final VLSIncludeElements pVLSInclude; | 1534 | private final VLSIncludeElements pVLSInclude; |
@@ -1584,6 +1593,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1584 | this.tSIGNED_REAL_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SIGNED_REAL_ID"); | 1593 | this.tSIGNED_REAL_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SIGNED_REAL_ID"); |
1585 | this.tUNSIGNED_RAT_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.UNSIGNED_RAT_ID"); | 1594 | this.tUNSIGNED_RAT_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.UNSIGNED_RAT_ID"); |
1586 | this.tSIGNED_RAT_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SIGNED_RAT_ID"); | 1595 | this.tSIGNED_RAT_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SIGNED_RAT_ID"); |
1596 | this.tID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.ID"); | ||
1587 | this.tANY_OTHER = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.ANY_OTHER"); | 1597 | this.tANY_OTHER = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.ANY_OTHER"); |
1588 | this.tSINGLE_COMMENT = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SINGLE_COMMENT"); | 1598 | this.tSINGLE_COMMENT = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.SINGLE_COMMENT"); |
1589 | this.pVLSInclude = new VLSIncludeElements(); | 1599 | this.pVLSInclude = new VLSIncludeElements(); |
@@ -1756,8 +1766,14 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1756 | return tSIGNED_RAT_ID; | 1766 | return tSIGNED_RAT_ID; |
1757 | } | 1767 | } |
1758 | 1768 | ||
1769 | //terminal ID: | ||
1770 | // !('\n' | '\r')*; | ||
1771 | public TerminalRule getIDRule() { | ||
1772 | return tID; | ||
1773 | } | ||
1774 | |||
1759 | //terminal ANY_OTHER: | 1775 | //terminal ANY_OTHER: |
1760 | // '%' !('\n' | '\r')* '\r'; | 1776 | // ID; |
1761 | public TerminalRule getANY_OTHERRule() { | 1777 | public TerminalRule getANY_OTHERRule() { |
1762 | return tANY_OTHER; | 1778 | return tANY_OTHER; |
1763 | } | 1779 | } |
@@ -1795,7 +1811,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1795 | 1811 | ||
1796 | //// <comments> | 1812 | //// <comments> |
1797 | //VLSComment: | 1813 | //VLSComment: |
1798 | // comment=SINGLE_COMMENT | 1814 | // '%' comment=SINGLE_COMMENT |
1799 | // //need to add a new line at the end of the file for the case where the last line is a comment | 1815 | // //need to add a new line at the end of the file for the case where the last line is a comment |
1800 | //; | 1816 | //; |
1801 | public VLSCommentElements getVLSCommentAccess() { | 1817 | public VLSCommentElements getVLSCommentAccess() { |
@@ -2182,12 +2198,6 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2182 | return getVLSDefinedTermAccess().getRule(); | 2198 | return getVLSDefinedTermAccess().getRule(); |
2183 | } | 2199 | } |
2184 | 2200 | ||
2185 | //terminal ID: | ||
2186 | // '^'? ('a'..'z' | 'A'..'Z' | '_') ('a'..'z' | 'A'..'Z' | '_' | '0'..'9')*; | ||
2187 | public TerminalRule getIDRule() { | ||
2188 | return gaTerminals.getIDRule(); | ||
2189 | } | ||
2190 | |||
2191 | //terminal INT returns ecore::EInt: | 2201 | //terminal INT returns ecore::EInt: |
2192 | // '0'..'9'+; | 2202 | // '0'..'9'+; |
2193 | public TerminalRule getINTRule() { | 2203 | public TerminalRule getINTRule() { |