From 9643b7b7a735afc408ca6a172e2719653553627a Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 4 Mar 2019 17:31:16 -0500 Subject: Begin handing of scope and fix type definitions. --- .../services/VampireLanguageGrammarAccess.java | 96 ++++------------------ 1 file changed, 14 insertions(+), 82 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java') 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 64ba160f..c5bd8be2 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 @@ -234,64 +234,6 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { //'Satisfiable!' public Keyword getSatisfiableKeyword_1() { return cSatisfiableKeyword_1; } } - public class VLSTryingElements extends AbstractParserRuleElementFinder { - private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSTrying"); - private final Group cGroup = (Group)rule.eContents().get(1); - private final Keyword cTRYINGKeyword_0 = (Keyword)cGroup.eContents().get(0); - private final Keyword cLeftSquareBracketKeyword_1 = (Keyword)cGroup.eContents().get(1); - private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2); - private final RuleCall cNameLITERALTerminalRuleCall_2_0 = (RuleCall)cNameAssignment_2.eContents().get(0); - private final Keyword cRightSquareBracketKeyword_3 = (Keyword)cGroup.eContents().get(3); - - //VLSTrying: - // 'TRYING' '[' name=LITERAL ']'; - @Override public ParserRule getRule() { return rule; } - - //'TRYING' '[' name=LITERAL ']' - public Group getGroup() { return cGroup; } - - //'TRYING' - public Keyword getTRYINGKeyword_0() { return cTRYINGKeyword_0; } - - //'[' - public Keyword getLeftSquareBracketKeyword_1() { return cLeftSquareBracketKeyword_1; } - - //name=LITERAL - public Assignment getNameAssignment_2() { return cNameAssignment_2; } - - //LITERAL - public RuleCall getNameLITERALTerminalRuleCall_2_0() { return cNameLITERALTerminalRuleCall_2_0; } - - //']' - public Keyword getRightSquareBracketKeyword_3() { return cRightSquareBracketKeyword_3; } - } - public class VLSFiniteModelElements extends AbstractParserRuleElementFinder { - private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFiniteModel"); - private final Group cGroup = (Group)rule.eContents().get(1); - private final Action cVLSFiniteModelAction_0 = (Action)cGroup.eContents().get(0); - private final Keyword cFiniteKeyword_1 = (Keyword)cGroup.eContents().get(1); - private final Keyword cModelKeyword_2 = (Keyword)cGroup.eContents().get(2); - private final Keyword cFoundKeyword_3 = (Keyword)cGroup.eContents().get(3); - - //VLSFiniteModel: - // {VLSFiniteModel} 'Finite' 'Model' 'Found!'; - @Override public ParserRule getRule() { return rule; } - - //{VLSFiniteModel} 'Finite' 'Model' 'Found!' - public Group getGroup() { return cGroup; } - - //{VLSFiniteModel} - public Action getVLSFiniteModelAction_0() { return cVLSFiniteModelAction_0; } - - //'Finite' - public Keyword getFiniteKeyword_1() { return cFiniteKeyword_1; } - - //'Model' - public Keyword getModelKeyword_2() { return cModelKeyword_2; } - - //'Found!' - public Keyword getFoundKeyword_3() { return cFoundKeyword_3; } - } public class VLSFofFormulaElements extends AbstractParserRuleElementFinder { private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofFormula"); private final Group cGroup = (Group)rule.eContents().get(1); @@ -315,6 +257,13 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { private final Keyword cRightParenthesisKeyword_8 = (Keyword)cGroup.eContents().get(8); private final Keyword cFullStopKeyword_9 = (Keyword)cGroup.eContents().get(9); + ////VLSTrying: + //// 'TRYING' '[' name = LITERAL ']' + ////; + //// + ////VLSFiniteModel: + //// {VLSFiniteModel} 'Finite' 'Model' 'Found!' + ////; //// //VLSFofFormula: // 'fof' '(' name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) ',' fofRole=VLSRole ',' fofFormula=VLSTerm (',' @@ -1633,8 +1582,6 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { private final VLSCommentElements pVLSComment; private final VLSConfirmationsElements pVLSConfirmations; private final VLSSatisfiableElements pVLSSatisfiable; - private final VLSTryingElements pVLSTrying; - private final VLSFiniteModelElements pVLSFiniteModel; private final VLSFofFormulaElements pVLSFofFormula; private final VLSTffFormulaElements pVLSTffFormula; private final VLSRoleElements pVLSRole; @@ -1688,8 +1635,6 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { this.pVLSComment = new VLSCommentElements(); this.pVLSConfirmations = new VLSConfirmationsElements(); this.pVLSSatisfiable = new VLSSatisfiableElements(); - this.pVLSTrying = new VLSTryingElements(); - this.pVLSFiniteModel = new VLSFiniteModelElements(); this.pVLSFofFormula = new VLSFofFormulaElements(); this.pVLSTffFormula = new VLSTffFormulaElements(); this.pVLSRole = new VLSRoleElements(); @@ -1922,26 +1867,13 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { return getVLSSatisfiableAccess().getRule(); } - //VLSTrying: - // 'TRYING' '[' name=LITERAL ']'; - public VLSTryingElements getVLSTryingAccess() { - return pVLSTrying; - } - - public ParserRule getVLSTryingRule() { - return getVLSTryingAccess().getRule(); - } - - //VLSFiniteModel: - // {VLSFiniteModel} 'Finite' 'Model' 'Found!'; - public VLSFiniteModelElements getVLSFiniteModelAccess() { - return pVLSFiniteModel; - } - - public ParserRule getVLSFiniteModelRule() { - return getVLSFiniteModelAccess().getRule(); - } - + ////VLSTrying: + //// 'TRYING' '[' name = LITERAL ']' + ////; + //// + ////VLSFiniteModel: + //// {VLSFiniteModel} 'Finite' 'Model' 'Found!' + ////; //// //VLSFofFormula: // 'fof' '(' name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) ',' fofRole=VLSRole ',' fofFormula=VLSTerm (',' -- cgit v1.2.3-54-g00ecf