From 5c4471e3a4cd273bf68eb2ccc1d91f99b5c8c7bc Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 6 Mar 2019 17:26:43 -0500 Subject: Implement Enum handling and study hierarchy handling --- .../ide/AbstractVampireLanguageIdeModule.java | 15 +- .../PartialVampireLanguageContentAssistParser.java | 2 +- .../contentassist/antlr/VampireLanguageParser.java | 281 +++++++------- .../antlr/internal/InternalVampireLanguage.g | 166 ++++---- .../internal/InternalVampireLanguageParser.java | 422 ++++++++++----------- 5 files changed, 461 insertions(+), 425 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca') diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java index 323e4df4..d3d4b54d 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java @@ -1,5 +1,5 @@ /* - * generated by Xtext 2.12.0 + * generated by Xtext 2.14.0 */ package ca.mcgill.ecse.dslreasoner.ide; @@ -15,6 +15,9 @@ import org.eclipse.xtext.ide.editor.contentassist.IProposalConflictHelper; import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper; import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; +import org.eclipse.xtext.ide.refactoring.IRenameStrategy2; +import org.eclipse.xtext.ide.server.rename.IRenameService; +import org.eclipse.xtext.ide.server.rename.RenameService; /** * Manual modifications go to {@link VampireLanguageIdeModule}. @@ -44,4 +47,14 @@ public abstract class AbstractVampireLanguageIdeModule extends DefaultIdeModule return FQNPrefixMatcher.class; } + // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 + public Class bindIRenameService() { + return RenameService.class; + } + + // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 + public Class bindIRenameStrategy2() { + return IRenameStrategy2.DefaultImpl.class; + } + } diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/PartialVampireLanguageContentAssistParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/PartialVampireLanguageContentAssistParser.java index 67ea9dca..3e7d7281 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/PartialVampireLanguageContentAssistParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/PartialVampireLanguageContentAssistParser.java @@ -1,5 +1,5 @@ /* - * generated by Xtext 2.12.0 + * generated by Xtext 2.14.0 */ package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr; diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java index 9004026e..8f952c29 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java @@ -1,22 +1,160 @@ /* - * generated by Xtext 2.12.0 + * generated by Xtext 2.14.0 */ package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr; import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal.InternalVampireLanguageParser; import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess; +import com.google.common.collect.ImmutableMap; import com.google.inject.Inject; -import java.util.HashMap; +import com.google.inject.Singleton; import java.util.Map; import org.eclipse.xtext.AbstractElement; import org.eclipse.xtext.ide.editor.contentassist.antlr.AbstractContentAssistParser; public class VampireLanguageParser extends AbstractContentAssistParser { + @Singleton + public static final class NameMappings { + + private final Map mappings; + + @Inject + public NameMappings(VampireLanguageGrammarAccess grammarAccess) { + ImmutableMap.Builder builder = ImmutableMap.builder(); + init(builder, grammarAccess); + this.mappings = builder.build(); + } + + public String getRuleName(AbstractElement element) { + return mappings.get(element); + } + + private static void init(ImmutableMap.Builder builder, VampireLanguageGrammarAccess grammarAccess) { + builder.put(grammarAccess.getVampireModelAccess().getAlternatives(), "rule__VampireModel__Alternatives"); + builder.put(grammarAccess.getVLSNameAccess().getNameAlternatives_0(), "rule__VLSName__NameAlternatives_0"); + builder.put(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0(), "rule__VLSFofFormula__NameAlternatives_2_0"); + builder.put(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0(), "rule__VLSTffFormula__NameAlternatives_2_0"); + builder.put(grammarAccess.getVLSRoleAccess().getAlternatives(), "rule__VLSRole__Alternatives"); + builder.put(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0(), "rule__VLSAnnotation__NameAlternatives_1_0"); + builder.put(grammarAccess.getVLSBinaryAccess().getAlternatives_1(), "rule__VLSBinary__Alternatives_1"); + builder.put(grammarAccess.getVLSBinaryAccess().getAlternatives_1_0_0(), "rule__VLSBinary__Alternatives_1_0_0"); + builder.put(grammarAccess.getVLSUnitaryFormulaAccess().getAlternatives(), "rule__VLSUnitaryFormula__Alternatives"); + builder.put(grammarAccess.getVLSUnaryInfixAccess().getAlternatives_1_0(), "rule__VLSUnaryInfix__Alternatives_1_0"); + builder.put(grammarAccess.getVLSAtomicAccess().getAlternatives(), "rule__VLSAtomic__Alternatives"); + builder.put(grammarAccess.getVLSAtomicConstantAccess().getAlternatives(), "rule__VLSAtomicConstant__Alternatives"); + builder.put(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0(), "rule__VLSAtomicConstant__NameAlternatives_0_1_0"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getAlternatives(), "rule__VLSAtomicFunction__Alternatives"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0(), "rule__VLSAtomicFunction__ConstantAlternatives_0_1_0"); + builder.put(grammarAccess.getVLSFofTermAccess().getAlternatives(), "rule__VLSFofTerm__Alternatives"); + builder.put(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0(), "rule__VLSFunctionAsTerm__FunctorAlternatives_0_0"); + builder.put(grammarAccess.getVLSDefinedTermAccess().getAlternatives(), "rule__VLSDefinedTerm__Alternatives"); + builder.put(grammarAccess.getVLSIncludeAccess().getGroup(), "rule__VLSInclude__Group__0"); + builder.put(grammarAccess.getVLSIncludeAccess().getGroup_2(), "rule__VLSInclude__Group_2__0"); + builder.put(grammarAccess.getVLSIncludeAccess().getGroup_2_2(), "rule__VLSInclude__Group_2_2__0"); + builder.put(grammarAccess.getVLSCommentAccess().getGroup(), "rule__VLSComment__Group__0"); + builder.put(grammarAccess.getVLSSatisfiableAccess().getGroup(), "rule__VLSSatisfiable__Group__0"); + builder.put(grammarAccess.getVLSFofFormulaAccess().getGroup(), "rule__VLSFofFormula__Group__0"); + builder.put(grammarAccess.getVLSFofFormulaAccess().getGroup_7(), "rule__VLSFofFormula__Group_7__0"); + builder.put(grammarAccess.getVLSTffFormulaAccess().getGroup(), "rule__VLSTffFormula__Group__0"); + builder.put(grammarAccess.getVLSTffFormulaAccess().getGroup_7(), "rule__VLSTffFormula__Group_7__0"); + builder.put(grammarAccess.getVLSAnnotationAccess().getGroup(), "rule__VLSAnnotation__Group__0"); + builder.put(grammarAccess.getVLSAnnotationAccess().getGroup_2(), "rule__VLSAnnotation__Group_2__0"); + builder.put(grammarAccess.getVLSAnnotationTermsAccess().getGroup(), "rule__VLSAnnotationTerms__Group__0"); + builder.put(grammarAccess.getVLSAnnotationTermsAccess().getGroup_1(), "rule__VLSAnnotationTerms__Group_1__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup(), "rule__VLSBinary__Group__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0(), "rule__VLSBinary__Group_1_0__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_0(), "rule__VLSBinary__Group_1_0_0_0__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_1(), "rule__VLSBinary__Group_1_0_0_1__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_2(), "rule__VLSBinary__Group_1_0_0_2__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_3(), "rule__VLSBinary__Group_1_0_0_3__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_4(), "rule__VLSBinary__Group_1_0_0_4__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_5(), "rule__VLSBinary__Group_1_0_0_5__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_1(), "rule__VLSBinary__Group_1_1__0"); + builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_2(), "rule__VLSBinary__Group_1_2__0"); + builder.put(grammarAccess.getVLSUnitaryFormulaAccess().getGroup_4(), "rule__VLSUnitaryFormula__Group_4__0"); + builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup(), "rule__VLSUniversalQuantifier__Group__0"); + builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1(), "rule__VLSUniversalQuantifier__Group_1__0"); + builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1_3(), "rule__VLSUniversalQuantifier__Group_1_3__0"); + builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup(), "rule__VLSExistentialQuantifier__Group__0"); + builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1(), "rule__VLSExistentialQuantifier__Group_1__0"); + builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1_3(), "rule__VLSExistentialQuantifier__Group_1_3__0"); + builder.put(grammarAccess.getVLSUnaryNegationAccess().getGroup(), "rule__VLSUnaryNegation__Group__0"); + builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup(), "rule__VLSUnaryInfix__Group__0"); + builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1(), "rule__VLSUnaryInfix__Group_1__0"); + builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_0(), "rule__VLSUnaryInfix__Group_1_0_0__0"); + builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_1(), "rule__VLSUnaryInfix__Group_1_0_1__0"); + builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_2(), "rule__VLSUnaryInfix__Group_1_0_2__0"); + builder.put(grammarAccess.getVLSAtomicConstantAccess().getGroup_0(), "rule__VLSAtomicConstant__Group_0__0"); + builder.put(grammarAccess.getVLSAtomicConstantAccess().getGroup_1(), "rule__VLSAtomicConstant__Group_1__0"); + builder.put(grammarAccess.getVLSAtomicConstantAccess().getGroup_2(), "rule__VLSAtomicConstant__Group_2__0"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0(), "rule__VLSAtomicFunction__Group_0__0"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2(), "rule__VLSAtomicFunction__Group_0_2__0"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2_2(), "rule__VLSAtomicFunction__Group_0_2_2__0"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_1(), "rule__VLSAtomicFunction__Group_1__0"); + builder.put(grammarAccess.getVLSFunctionAsTermAccess().getGroup(), "rule__VLSFunctionAsTerm__Group__0"); + builder.put(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1(), "rule__VLSFunctionAsTerm__Group_1__0"); + builder.put(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2(), "rule__VLSFunctionAsTerm__Group_1_2__0"); + builder.put(grammarAccess.getVLSDefinedTermAccess().getGroup_0(), "rule__VLSDefinedTerm__Group_0__0"); + builder.put(grammarAccess.getVLSDefinedTermAccess().getGroup_1(), "rule__VLSDefinedTerm__Group_1__0"); + builder.put(grammarAccess.getVLSDefinedTermAccess().getGroup_2(), "rule__VLSDefinedTerm__Group_2__0"); + builder.put(grammarAccess.getVLSDefinedTermAccess().getGroup_3(), "rule__VLSDefinedTerm__Group_3__0"); + builder.put(grammarAccess.getVampireModelAccess().getIncludesAssignment_0(), "rule__VampireModel__IncludesAssignment_0"); + builder.put(grammarAccess.getVampireModelAccess().getCommentsAssignment_1(), "rule__VampireModel__CommentsAssignment_1"); + builder.put(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2(), "rule__VampireModel__ConfirmationsAssignment_2"); + builder.put(grammarAccess.getVampireModelAccess().getFormulasAssignment_3(), "rule__VampireModel__FormulasAssignment_3"); + builder.put(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4(), "rule__VampireModel__TfformulasAssignment_4"); + builder.put(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1(), "rule__VLSInclude__FileNameAssignment_1"); + builder.put(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1(), "rule__VLSInclude__NamesAssignment_2_1"); + builder.put(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1(), "rule__VLSInclude__NamesAssignment_2_2_1"); + builder.put(grammarAccess.getVLSNameAccess().getNameAssignment(), "rule__VLSName__NameAssignment"); + builder.put(grammarAccess.getVLSCommentAccess().getCommentAssignment_1(), "rule__VLSComment__CommentAssignment_1"); + builder.put(grammarAccess.getVLSFofFormulaAccess().getNameAssignment_2(), "rule__VLSFofFormula__NameAssignment_2"); + builder.put(grammarAccess.getVLSFofFormulaAccess().getFofRoleAssignment_4(), "rule__VLSFofFormula__FofRoleAssignment_4"); + builder.put(grammarAccess.getVLSFofFormulaAccess().getFofFormulaAssignment_6(), "rule__VLSFofFormula__FofFormulaAssignment_6"); + builder.put(grammarAccess.getVLSFofFormulaAccess().getAnnotationsAssignment_7_1(), "rule__VLSFofFormula__AnnotationsAssignment_7_1"); + builder.put(grammarAccess.getVLSTffFormulaAccess().getNameAssignment_2(), "rule__VLSTffFormula__NameAssignment_2"); + builder.put(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4(), "rule__VLSTffFormula__FofRoleAssignment_4"); + builder.put(grammarAccess.getVLSTffFormulaAccess().getFofFormulaAssignment_6(), "rule__VLSTffFormula__FofFormulaAssignment_6"); + builder.put(grammarAccess.getVLSTffFormulaAccess().getAnnotationsAssignment_7_1(), "rule__VLSTffFormula__AnnotationsAssignment_7_1"); + builder.put(grammarAccess.getVLSAnnotationAccess().getNameAssignment_1(), "rule__VLSAnnotation__NameAssignment_1"); + builder.put(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1(), "rule__VLSAnnotation__FollowupAssignment_2_1"); + builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0(), "rule__VLSAnnotationTerms__TermsAssignment_0"); + builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1(), "rule__VLSAnnotationTerms__TermsAssignment_1_1"); + builder.put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_0_1(), "rule__VLSBinary__RightAssignment_1_0_1"); + builder.put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_1_2(), "rule__VLSBinary__RightAssignment_1_1_2"); + builder.put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_2_2(), "rule__VLSBinary__RightAssignment_1_2_2"); + builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_2(), "rule__VLSUniversalQuantifier__VariablesAssignment_1_2"); + builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_3_1(), "rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1"); + builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getOperandAssignment_2(), "rule__VLSUniversalQuantifier__OperandAssignment_2"); + builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_2(), "rule__VLSExistentialQuantifier__VariablesAssignment_1_2"); + builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_3_1(), "rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1"); + builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getOperandAssignment_2(), "rule__VLSExistentialQuantifier__OperandAssignment_2"); + builder.put(grammarAccess.getVLSUnaryNegationAccess().getOperandAssignment_2(), "rule__VLSUnaryNegation__OperandAssignment_2"); + builder.put(grammarAccess.getVLSUnaryInfixAccess().getRightAssignment_1_1(), "rule__VLSUnaryInfix__RightAssignment_1_1"); + builder.put(grammarAccess.getVLSAtomicConstantAccess().getNameAssignment_0_1(), "rule__VLSAtomicConstant__NameAssignment_0_1"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getConstantAssignment_0_1(), "rule__VLSAtomicFunction__ConstantAssignment_0_1"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_1(), "rule__VLSAtomicFunction__TermsAssignment_0_2_1"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_2_1(), "rule__VLSAtomicFunction__TermsAssignment_0_2_2_1"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getNameAssignment_1_1(), "rule__VLSAtomicFunction__NameAssignment_1_1"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_3(), "rule__VLSAtomicFunction__TermsAssignment_1_3"); + builder.put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_5(), "rule__VLSAtomicFunction__TermsAssignment_1_5"); + builder.put(grammarAccess.getVLSVariableAccess().getNameAssignment(), "rule__VLSVariable__NameAssignment"); + builder.put(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0(), "rule__VLSFunctionAsTerm__FunctorAssignment_0"); + builder.put(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1(), "rule__VLSFunctionAsTerm__TermsAssignment_1_1"); + builder.put(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1(), "rule__VLSFunctionAsTerm__TermsAssignment_1_2_1"); + builder.put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_0_1(), "rule__VLSDefinedTerm__ValueAssignment_0_1"); + builder.put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_1_1(), "rule__VLSDefinedTerm__ValueAssignment_1_1"); + builder.put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1(), "rule__VLSDefinedTerm__ValueAssignment_2_1"); + builder.put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1(), "rule__VLSDefinedTerm__ValueAssignment_3_1"); + } + } + @Inject - private VampireLanguageGrammarAccess grammarAccess; + private NameMappings nameMappings; - private Map nameMappings; + @Inject + private VampireLanguageGrammarAccess grammarAccess; @Override protected InternalVampireLanguageParser createParser() { @@ -27,132 +165,9 @@ public class VampireLanguageParser extends AbstractContentAssistParser { @Override protected String getRuleName(AbstractElement element) { - if (nameMappings == null) { - nameMappings = new HashMap() { - private static final long serialVersionUID = 1L; - { - put(grammarAccess.getVampireModelAccess().getAlternatives(), "rule__VampireModel__Alternatives"); - put(grammarAccess.getVLSNameAccess().getNameAlternatives_0(), "rule__VLSName__NameAlternatives_0"); - put(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0(), "rule__VLSFofFormula__NameAlternatives_2_0"); - put(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0(), "rule__VLSTffFormula__NameAlternatives_2_0"); - put(grammarAccess.getVLSRoleAccess().getAlternatives(), "rule__VLSRole__Alternatives"); - put(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0(), "rule__VLSAnnotation__NameAlternatives_1_0"); - put(grammarAccess.getVLSBinaryAccess().getAlternatives_1(), "rule__VLSBinary__Alternatives_1"); - put(grammarAccess.getVLSBinaryAccess().getAlternatives_1_0_0(), "rule__VLSBinary__Alternatives_1_0_0"); - put(grammarAccess.getVLSUnitaryFormulaAccess().getAlternatives(), "rule__VLSUnitaryFormula__Alternatives"); - put(grammarAccess.getVLSUnaryInfixAccess().getAlternatives_1_0(), "rule__VLSUnaryInfix__Alternatives_1_0"); - put(grammarAccess.getVLSAtomicAccess().getAlternatives(), "rule__VLSAtomic__Alternatives"); - put(grammarAccess.getVLSAtomicConstantAccess().getAlternatives(), "rule__VLSAtomicConstant__Alternatives"); - put(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0(), "rule__VLSAtomicConstant__NameAlternatives_0_1_0"); - put(grammarAccess.getVLSAtomicFunctionAccess().getAlternatives(), "rule__VLSAtomicFunction__Alternatives"); - put(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0(), "rule__VLSAtomicFunction__ConstantAlternatives_0_1_0"); - put(grammarAccess.getVLSFofTermAccess().getAlternatives(), "rule__VLSFofTerm__Alternatives"); - put(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0(), "rule__VLSFunctionFof__FunctorAlternatives_0_0"); - put(grammarAccess.getVLSDefinedTermAccess().getAlternatives(), "rule__VLSDefinedTerm__Alternatives"); - put(grammarAccess.getVLSIncludeAccess().getGroup(), "rule__VLSInclude__Group__0"); - put(grammarAccess.getVLSIncludeAccess().getGroup_2(), "rule__VLSInclude__Group_2__0"); - put(grammarAccess.getVLSIncludeAccess().getGroup_2_2(), "rule__VLSInclude__Group_2_2__0"); - put(grammarAccess.getVLSCommentAccess().getGroup(), "rule__VLSComment__Group__0"); - put(grammarAccess.getVLSSatisfiableAccess().getGroup(), "rule__VLSSatisfiable__Group__0"); - put(grammarAccess.getVLSFofFormulaAccess().getGroup(), "rule__VLSFofFormula__Group__0"); - put(grammarAccess.getVLSFofFormulaAccess().getGroup_7(), "rule__VLSFofFormula__Group_7__0"); - put(grammarAccess.getVLSTffFormulaAccess().getGroup(), "rule__VLSTffFormula__Group__0"); - put(grammarAccess.getVLSTffFormulaAccess().getGroup_7(), "rule__VLSTffFormula__Group_7__0"); - put(grammarAccess.getVLSAnnotationAccess().getGroup(), "rule__VLSAnnotation__Group__0"); - put(grammarAccess.getVLSAnnotationAccess().getGroup_2(), "rule__VLSAnnotation__Group_2__0"); - put(grammarAccess.getVLSAnnotationTermsAccess().getGroup(), "rule__VLSAnnotationTerms__Group__0"); - put(grammarAccess.getVLSAnnotationTermsAccess().getGroup_1(), "rule__VLSAnnotationTerms__Group_1__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup(), "rule__VLSBinary__Group__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup_1_0(), "rule__VLSBinary__Group_1_0__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_0(), "rule__VLSBinary__Group_1_0_0_0__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_1(), "rule__VLSBinary__Group_1_0_0_1__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_2(), "rule__VLSBinary__Group_1_0_0_2__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_3(), "rule__VLSBinary__Group_1_0_0_3__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_4(), "rule__VLSBinary__Group_1_0_0_4__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_5(), "rule__VLSBinary__Group_1_0_0_5__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup_1_1(), "rule__VLSBinary__Group_1_1__0"); - put(grammarAccess.getVLSBinaryAccess().getGroup_1_2(), "rule__VLSBinary__Group_1_2__0"); - put(grammarAccess.getVLSUnitaryFormulaAccess().getGroup_4(), "rule__VLSUnitaryFormula__Group_4__0"); - put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup(), "rule__VLSUniversalQuantifier__Group__0"); - put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1(), "rule__VLSUniversalQuantifier__Group_1__0"); - put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1_3(), "rule__VLSUniversalQuantifier__Group_1_3__0"); - put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup(), "rule__VLSExistentialQuantifier__Group__0"); - put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1(), "rule__VLSExistentialQuantifier__Group_1__0"); - put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1_3(), "rule__VLSExistentialQuantifier__Group_1_3__0"); - put(grammarAccess.getVLSUnaryNegationAccess().getGroup(), "rule__VLSUnaryNegation__Group__0"); - put(grammarAccess.getVLSUnaryInfixAccess().getGroup(), "rule__VLSUnaryInfix__Group__0"); - put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1(), "rule__VLSUnaryInfix__Group_1__0"); - put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_0(), "rule__VLSUnaryInfix__Group_1_0_0__0"); - put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_1(), "rule__VLSUnaryInfix__Group_1_0_1__0"); - put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_2(), "rule__VLSUnaryInfix__Group_1_0_2__0"); - put(grammarAccess.getVLSAtomicConstantAccess().getGroup_0(), "rule__VLSAtomicConstant__Group_0__0"); - put(grammarAccess.getVLSAtomicConstantAccess().getGroup_1(), "rule__VLSAtomicConstant__Group_1__0"); - put(grammarAccess.getVLSAtomicConstantAccess().getGroup_2(), "rule__VLSAtomicConstant__Group_2__0"); - put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0(), "rule__VLSAtomicFunction__Group_0__0"); - put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2(), "rule__VLSAtomicFunction__Group_0_2__0"); - put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2_2(), "rule__VLSAtomicFunction__Group_0_2_2__0"); - put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_1(), "rule__VLSAtomicFunction__Group_1__0"); - put(grammarAccess.getVLSFunctionFofAccess().getGroup(), "rule__VLSFunctionFof__Group__0"); - put(grammarAccess.getVLSFunctionFofAccess().getGroup_1(), "rule__VLSFunctionFof__Group_1__0"); - put(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2(), "rule__VLSFunctionFof__Group_1_2__0"); - put(grammarAccess.getVLSDefinedTermAccess().getGroup_0(), "rule__VLSDefinedTerm__Group_0__0"); - put(grammarAccess.getVLSDefinedTermAccess().getGroup_1(), "rule__VLSDefinedTerm__Group_1__0"); - put(grammarAccess.getVLSDefinedTermAccess().getGroup_2(), "rule__VLSDefinedTerm__Group_2__0"); - put(grammarAccess.getVLSDefinedTermAccess().getGroup_3(), "rule__VLSDefinedTerm__Group_3__0"); - put(grammarAccess.getVampireModelAccess().getIncludesAssignment_0(), "rule__VampireModel__IncludesAssignment_0"); - put(grammarAccess.getVampireModelAccess().getCommentsAssignment_1(), "rule__VampireModel__CommentsAssignment_1"); - put(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2(), "rule__VampireModel__ConfirmationsAssignment_2"); - put(grammarAccess.getVampireModelAccess().getFormulasAssignment_3(), "rule__VampireModel__FormulasAssignment_3"); - put(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4(), "rule__VampireModel__TfformulasAssignment_4"); - put(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1(), "rule__VLSInclude__FileNameAssignment_1"); - put(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1(), "rule__VLSInclude__NamesAssignment_2_1"); - put(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1(), "rule__VLSInclude__NamesAssignment_2_2_1"); - put(grammarAccess.getVLSNameAccess().getNameAssignment(), "rule__VLSName__NameAssignment"); - put(grammarAccess.getVLSCommentAccess().getCommentAssignment_1(), "rule__VLSComment__CommentAssignment_1"); - put(grammarAccess.getVLSFofFormulaAccess().getNameAssignment_2(), "rule__VLSFofFormula__NameAssignment_2"); - put(grammarAccess.getVLSFofFormulaAccess().getFofRoleAssignment_4(), "rule__VLSFofFormula__FofRoleAssignment_4"); - put(grammarAccess.getVLSFofFormulaAccess().getFofFormulaAssignment_6(), "rule__VLSFofFormula__FofFormulaAssignment_6"); - put(grammarAccess.getVLSFofFormulaAccess().getAnnotationsAssignment_7_1(), "rule__VLSFofFormula__AnnotationsAssignment_7_1"); - put(grammarAccess.getVLSTffFormulaAccess().getNameAssignment_2(), "rule__VLSTffFormula__NameAssignment_2"); - put(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4(), "rule__VLSTffFormula__FofRoleAssignment_4"); - put(grammarAccess.getVLSTffFormulaAccess().getFofFormulaAssignment_6(), "rule__VLSTffFormula__FofFormulaAssignment_6"); - put(grammarAccess.getVLSTffFormulaAccess().getAnnotationsAssignment_7_1(), "rule__VLSTffFormula__AnnotationsAssignment_7_1"); - put(grammarAccess.getVLSAnnotationAccess().getNameAssignment_1(), "rule__VLSAnnotation__NameAssignment_1"); - put(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1(), "rule__VLSAnnotation__FollowupAssignment_2_1"); - put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0(), "rule__VLSAnnotationTerms__TermsAssignment_0"); - put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1(), "rule__VLSAnnotationTerms__TermsAssignment_1_1"); - put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_0_1(), "rule__VLSBinary__RightAssignment_1_0_1"); - put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_1_2(), "rule__VLSBinary__RightAssignment_1_1_2"); - put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_2_2(), "rule__VLSBinary__RightAssignment_1_2_2"); - put(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_2(), "rule__VLSUniversalQuantifier__VariablesAssignment_1_2"); - put(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_3_1(), "rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1"); - put(grammarAccess.getVLSUniversalQuantifierAccess().getOperandAssignment_2(), "rule__VLSUniversalQuantifier__OperandAssignment_2"); - put(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_2(), "rule__VLSExistentialQuantifier__VariablesAssignment_1_2"); - put(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_3_1(), "rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1"); - put(grammarAccess.getVLSExistentialQuantifierAccess().getOperandAssignment_2(), "rule__VLSExistentialQuantifier__OperandAssignment_2"); - put(grammarAccess.getVLSUnaryNegationAccess().getOperandAssignment_2(), "rule__VLSUnaryNegation__OperandAssignment_2"); - put(grammarAccess.getVLSUnaryInfixAccess().getRightAssignment_1_1(), "rule__VLSUnaryInfix__RightAssignment_1_1"); - put(grammarAccess.getVLSAtomicConstantAccess().getNameAssignment_0_1(), "rule__VLSAtomicConstant__NameAssignment_0_1"); - put(grammarAccess.getVLSAtomicFunctionAccess().getConstantAssignment_0_1(), "rule__VLSAtomicFunction__ConstantAssignment_0_1"); - put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_1(), "rule__VLSAtomicFunction__TermsAssignment_0_2_1"); - put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_2_1(), "rule__VLSAtomicFunction__TermsAssignment_0_2_2_1"); - put(grammarAccess.getVLSAtomicFunctionAccess().getNameAssignment_1_1(), "rule__VLSAtomicFunction__NameAssignment_1_1"); - put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_3(), "rule__VLSAtomicFunction__TermsAssignment_1_3"); - put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_5(), "rule__VLSAtomicFunction__TermsAssignment_1_5"); - put(grammarAccess.getVLSVariableAccess().getNameAssignment(), "rule__VLSVariable__NameAssignment"); - put(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0(), "rule__VLSFunctionFof__FunctorAssignment_0"); - put(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1(), "rule__VLSFunctionFof__TermsAssignment_1_1"); - put(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1(), "rule__VLSFunctionFof__TermsAssignment_1_2_1"); - put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_0_1(), "rule__VLSDefinedTerm__ValueAssignment_0_1"); - put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_1_1(), "rule__VLSDefinedTerm__ValueAssignment_1_1"); - put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1(), "rule__VLSDefinedTerm__ValueAssignment_2_1"); - put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1(), "rule__VLSDefinedTerm__ValueAssignment_3_1"); - } - }; - } - return nameMappings.get(element); + return nameMappings.getRuleName(element); } - + @Override protected String[] getInitialHiddenTokens() { return new String[] { "RULE_WS" }; @@ -165,4 +180,12 @@ public class VampireLanguageParser extends AbstractContentAssistParser { public void setGrammarAccess(VampireLanguageGrammarAccess grammarAccess) { this.grammarAccess = grammarAccess; } + + public NameMappings getNameMappings() { + return nameMappings; + } + + public void setNameMappings(NameMappings nameMappings) { + this.nameMappings = nameMappings; + } } diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g index 24768ec3..c5f2bcd0 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g @@ -1,5 +1,5 @@ /* - * generated by Xtext 2.12.0 + * generated by Xtext 2.14.0 */ grammar InternalVampireLanguage; @@ -624,25 +624,25 @@ finally { restoreStackSize(stackSize); } -// Entry rule entryRuleVLSFunctionFof -entryRuleVLSFunctionFof +// Entry rule entryRuleVLSFunctionAsTerm +entryRuleVLSFunctionAsTerm : -{ before(grammarAccess.getVLSFunctionFofRule()); } - ruleVLSFunctionFof -{ after(grammarAccess.getVLSFunctionFofRule()); } +{ before(grammarAccess.getVLSFunctionAsTermRule()); } + ruleVLSFunctionAsTerm +{ after(grammarAccess.getVLSFunctionAsTermRule()); } EOF ; -// Rule VLSFunctionFof -ruleVLSFunctionFof +// Rule VLSFunctionAsTerm +ruleVLSFunctionAsTerm @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getGroup()); } - (rule__VLSFunctionFof__Group__0) - { after(grammarAccess.getVLSFunctionFofAccess().getGroup()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); } + (rule__VLSFunctionAsTerm__Group__0) + { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); } ) ; finally { @@ -1249,9 +1249,9 @@ rule__VLSFofTerm__Alternatives ) | ( - { before(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); } - ruleVLSFunctionFof - { after(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); } + { before(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); } + ruleVLSFunctionAsTerm + { after(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); } ) | ( @@ -1264,33 +1264,33 @@ finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__FunctorAlternatives_0_0 +rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } RULE_LOWER_WORD_ID - { after(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } + { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } ) | ( - { before(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } RULE_SINGLE_QUOTE - { after(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } + { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } ) | ( - { before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } RULE_DOLLAR_ID - { after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } + { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } ) | ( - { before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } RULE_DOUBLE_DOLLAR_ID - { after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } + { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } ) ; finally { @@ -4840,53 +4840,53 @@ finally { } -rule__VLSFunctionFof__Group__0 +rule__VLSFunctionAsTerm__Group__0 @init { int stackSize = keepStackSize(); } : - rule__VLSFunctionFof__Group__0__Impl - rule__VLSFunctionFof__Group__1 + rule__VLSFunctionAsTerm__Group__0__Impl + rule__VLSFunctionAsTerm__Group__1 ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group__0__Impl +rule__VLSFunctionAsTerm__Group__0__Impl @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); } - (rule__VLSFunctionFof__FunctorAssignment_0) - { after(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); } + (rule__VLSFunctionAsTerm__FunctorAssignment_0) + { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); } ) ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group__1 +rule__VLSFunctionAsTerm__Group__1 @init { int stackSize = keepStackSize(); } : - rule__VLSFunctionFof__Group__1__Impl + rule__VLSFunctionAsTerm__Group__1__Impl ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group__1__Impl +rule__VLSFunctionAsTerm__Group__1__Impl @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); } - (rule__VLSFunctionFof__Group_1__0)? - { after(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); } + (rule__VLSFunctionAsTerm__Group_1__0)? + { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); } ) ; finally { @@ -4894,107 +4894,107 @@ finally { } -rule__VLSFunctionFof__Group_1__0 +rule__VLSFunctionAsTerm__Group_1__0 @init { int stackSize = keepStackSize(); } : - rule__VLSFunctionFof__Group_1__0__Impl - rule__VLSFunctionFof__Group_1__1 + rule__VLSFunctionAsTerm__Group_1__0__Impl + rule__VLSFunctionAsTerm__Group_1__1 ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1__0__Impl +rule__VLSFunctionAsTerm__Group_1__0__Impl @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); } '(' - { after(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); } + { after(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); } ) ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1__1 +rule__VLSFunctionAsTerm__Group_1__1 @init { int stackSize = keepStackSize(); } : - rule__VLSFunctionFof__Group_1__1__Impl - rule__VLSFunctionFof__Group_1__2 + rule__VLSFunctionAsTerm__Group_1__1__Impl + rule__VLSFunctionAsTerm__Group_1__2 ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1__1__Impl +rule__VLSFunctionAsTerm__Group_1__1__Impl @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); } - (rule__VLSFunctionFof__TermsAssignment_1_1) - { after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); } + (rule__VLSFunctionAsTerm__TermsAssignment_1_1) + { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); } ) ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1__2 +rule__VLSFunctionAsTerm__Group_1__2 @init { int stackSize = keepStackSize(); } : - rule__VLSFunctionFof__Group_1__2__Impl - rule__VLSFunctionFof__Group_1__3 + rule__VLSFunctionAsTerm__Group_1__2__Impl + rule__VLSFunctionAsTerm__Group_1__3 ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1__2__Impl +rule__VLSFunctionAsTerm__Group_1__2__Impl @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); } - (rule__VLSFunctionFof__Group_1_2__0)* - { after(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); } + (rule__VLSFunctionAsTerm__Group_1_2__0)* + { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); } ) ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1__3 +rule__VLSFunctionAsTerm__Group_1__3 @init { int stackSize = keepStackSize(); } : - rule__VLSFunctionFof__Group_1__3__Impl + rule__VLSFunctionAsTerm__Group_1__3__Impl ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1__3__Impl +rule__VLSFunctionAsTerm__Group_1__3__Impl @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); } ')' - { after(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); } + { after(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); } ) ; finally { @@ -5002,53 +5002,53 @@ finally { } -rule__VLSFunctionFof__Group_1_2__0 +rule__VLSFunctionAsTerm__Group_1_2__0 @init { int stackSize = keepStackSize(); } : - rule__VLSFunctionFof__Group_1_2__0__Impl - rule__VLSFunctionFof__Group_1_2__1 + rule__VLSFunctionAsTerm__Group_1_2__0__Impl + rule__VLSFunctionAsTerm__Group_1_2__1 ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1_2__0__Impl +rule__VLSFunctionAsTerm__Group_1_2__0__Impl @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); } ',' - { after(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); } + { after(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); } ) ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1_2__1 +rule__VLSFunctionAsTerm__Group_1_2__1 @init { int stackSize = keepStackSize(); } : - rule__VLSFunctionFof__Group_1_2__1__Impl + rule__VLSFunctionAsTerm__Group_1_2__1__Impl ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__Group_1_2__1__Impl +rule__VLSFunctionAsTerm__Group_1_2__1__Impl @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); } - (rule__VLSFunctionFof__TermsAssignment_1_2_1) - { after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); } + (rule__VLSFunctionAsTerm__TermsAssignment_1_2_1) + { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); } ) ; finally { @@ -5891,45 +5891,45 @@ finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__FunctorAssignment_0 +rule__VLSFunctionAsTerm__FunctorAssignment_0 @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); } - (rule__VLSFunctionFof__FunctorAlternatives_0_0) - { after(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); } + (rule__VLSFunctionAsTerm__FunctorAlternatives_0_0) + { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); } ) ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__TermsAssignment_1_1 +rule__VLSFunctionAsTerm__TermsAssignment_1_1 @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } ruleVLSFofTerm - { after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } + { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } ) ; finally { restoreStackSize(stackSize); } -rule__VLSFunctionFof__TermsAssignment_1_2_1 +rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 @init { int stackSize = keepStackSize(); } : ( - { before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } + { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } ruleVLSFofTerm - { after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } + { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } ) ; finally { diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java index 70e67806..8f5196ca 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java @@ -1906,20 +1906,20 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR end "ruleVLSFofTerm" - // $ANTLR start "entryRuleVLSFunctionFof" - // InternalVampireLanguage.g:628:1: entryRuleVLSFunctionFof : ruleVLSFunctionFof EOF ; - public final void entryRuleVLSFunctionFof() throws RecognitionException { + // $ANTLR start "entryRuleVLSFunctionAsTerm" + // InternalVampireLanguage.g:628:1: entryRuleVLSFunctionAsTerm : ruleVLSFunctionAsTerm EOF ; + public final void entryRuleVLSFunctionAsTerm() throws RecognitionException { try { - // InternalVampireLanguage.g:629:1: ( ruleVLSFunctionFof EOF ) - // InternalVampireLanguage.g:630:1: ruleVLSFunctionFof EOF + // InternalVampireLanguage.g:629:1: ( ruleVLSFunctionAsTerm EOF ) + // InternalVampireLanguage.g:630:1: ruleVLSFunctionAsTerm EOF { - before(grammarAccess.getVLSFunctionFofRule()); + before(grammarAccess.getVLSFunctionAsTermRule()); pushFollow(FOLLOW_1); - ruleVLSFunctionFof(); + ruleVLSFunctionAsTerm(); state._fsp--; - after(grammarAccess.getVLSFunctionFofRule()); + after(grammarAccess.getVLSFunctionAsTermRule()); match(input,EOF,FOLLOW_2); } @@ -1933,35 +1933,35 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "entryRuleVLSFunctionFof" + // $ANTLR end "entryRuleVLSFunctionAsTerm" - // $ANTLR start "ruleVLSFunctionFof" - // InternalVampireLanguage.g:637:1: ruleVLSFunctionFof : ( ( rule__VLSFunctionFof__Group__0 ) ) ; - public final void ruleVLSFunctionFof() throws RecognitionException { + // $ANTLR start "ruleVLSFunctionAsTerm" + // InternalVampireLanguage.g:637:1: ruleVLSFunctionAsTerm : ( ( rule__VLSFunctionAsTerm__Group__0 ) ) ; + public final void ruleVLSFunctionAsTerm() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:641:2: ( ( ( rule__VLSFunctionFof__Group__0 ) ) ) - // InternalVampireLanguage.g:642:2: ( ( rule__VLSFunctionFof__Group__0 ) ) + // InternalVampireLanguage.g:641:2: ( ( ( rule__VLSFunctionAsTerm__Group__0 ) ) ) + // InternalVampireLanguage.g:642:2: ( ( rule__VLSFunctionAsTerm__Group__0 ) ) { - // InternalVampireLanguage.g:642:2: ( ( rule__VLSFunctionFof__Group__0 ) ) - // InternalVampireLanguage.g:643:3: ( rule__VLSFunctionFof__Group__0 ) + // InternalVampireLanguage.g:642:2: ( ( rule__VLSFunctionAsTerm__Group__0 ) ) + // InternalVampireLanguage.g:643:3: ( rule__VLSFunctionAsTerm__Group__0 ) { - before(grammarAccess.getVLSFunctionFofAccess().getGroup()); - // InternalVampireLanguage.g:644:3: ( rule__VLSFunctionFof__Group__0 ) - // InternalVampireLanguage.g:644:4: rule__VLSFunctionFof__Group__0 + before(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); + // InternalVampireLanguage.g:644:3: ( rule__VLSFunctionAsTerm__Group__0 ) + // InternalVampireLanguage.g:644:4: rule__VLSFunctionAsTerm__Group__0 { pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group__0(); + rule__VLSFunctionAsTerm__Group__0(); state._fsp--; } - after(grammarAccess.getVLSFunctionFofAccess().getGroup()); + after(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); } @@ -1980,7 +1980,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "ruleVLSFunctionFof" + // $ANTLR end "ruleVLSFunctionAsTerm" // $ANTLR start "entryRuleVLSDefinedTerm" @@ -4386,13 +4386,13 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR start "rule__VLSFofTerm__Alternatives" - // InternalVampireLanguage.g:1240:1: rule__VLSFofTerm__Alternatives : ( ( ruleVLSVariable ) | ( ruleVLSFunctionFof ) | ( ruleVLSDefinedTerm ) ); + // InternalVampireLanguage.g:1240:1: rule__VLSFofTerm__Alternatives : ( ( ruleVLSVariable ) | ( ruleVLSFunctionAsTerm ) | ( ruleVLSDefinedTerm ) ); public final void rule__VLSFofTerm__Alternatives() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:1244:1: ( ( ruleVLSVariable ) | ( ruleVLSFunctionFof ) | ( ruleVLSDefinedTerm ) ) + // InternalVampireLanguage.g:1244:1: ( ( ruleVLSVariable ) | ( ruleVLSFunctionAsTerm ) | ( ruleVLSDefinedTerm ) ) int alt19=3; switch ( input.LA(1) ) { case RULE_UPPER_WORD_ID: @@ -4444,18 +4444,18 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } break; case 2 : - // InternalVampireLanguage.g:1251:2: ( ruleVLSFunctionFof ) + // InternalVampireLanguage.g:1251:2: ( ruleVLSFunctionAsTerm ) { - // InternalVampireLanguage.g:1251:2: ( ruleVLSFunctionFof ) - // InternalVampireLanguage.g:1252:3: ruleVLSFunctionFof + // InternalVampireLanguage.g:1251:2: ( ruleVLSFunctionAsTerm ) + // InternalVampireLanguage.g:1252:3: ruleVLSFunctionAsTerm { - before(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); + before(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); pushFollow(FOLLOW_2); - ruleVLSFunctionFof(); + ruleVLSFunctionAsTerm(); state._fsp--; - after(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); + after(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); } @@ -4498,9 +4498,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR end "rule__VLSFofTerm__Alternatives" - // $ANTLR start "rule__VLSFunctionFof__FunctorAlternatives_0_0" - // InternalVampireLanguage.g:1267:1: rule__VLSFunctionFof__FunctorAlternatives_0_0 : ( ( RULE_LOWER_WORD_ID ) | ( RULE_SINGLE_QUOTE ) | ( RULE_DOLLAR_ID ) | ( RULE_DOUBLE_DOLLAR_ID ) ); - public final void rule__VLSFunctionFof__FunctorAlternatives_0_0() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__FunctorAlternatives_0_0" + // InternalVampireLanguage.g:1267:1: rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 : ( ( RULE_LOWER_WORD_ID ) | ( RULE_SINGLE_QUOTE ) | ( RULE_DOLLAR_ID ) | ( RULE_DOUBLE_DOLLAR_ID ) ); + public final void rule__VLSFunctionAsTerm__FunctorAlternatives_0_0() throws RecognitionException { int stackSize = keepStackSize(); @@ -4542,9 +4542,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // InternalVampireLanguage.g:1272:2: ( RULE_LOWER_WORD_ID ) // InternalVampireLanguage.g:1273:3: RULE_LOWER_WORD_ID { - before(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); + before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); match(input,RULE_LOWER_WORD_ID,FOLLOW_2); - after(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); + after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } @@ -4557,9 +4557,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // InternalVampireLanguage.g:1278:2: ( RULE_SINGLE_QUOTE ) // InternalVampireLanguage.g:1279:3: RULE_SINGLE_QUOTE { - before(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); + before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); match(input,RULE_SINGLE_QUOTE,FOLLOW_2); - after(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); + after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } @@ -4572,9 +4572,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // InternalVampireLanguage.g:1284:2: ( RULE_DOLLAR_ID ) // InternalVampireLanguage.g:1285:3: RULE_DOLLAR_ID { - before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); + before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); match(input,RULE_DOLLAR_ID,FOLLOW_2); - after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); + after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } @@ -4587,9 +4587,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // InternalVampireLanguage.g:1290:2: ( RULE_DOUBLE_DOLLAR_ID ) // InternalVampireLanguage.g:1291:3: RULE_DOUBLE_DOLLAR_ID { - before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); + before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); match(input,RULE_DOUBLE_DOLLAR_ID,FOLLOW_2); - after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); + after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } @@ -4610,7 +4610,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__FunctorAlternatives_0_0" + // $ANTLR end "rule__VLSFunctionAsTerm__FunctorAlternatives_0_0" // $ANTLR start "rule__VLSDefinedTerm__Alternatives" @@ -15016,23 +15016,23 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR end "rule__VLSAtomicFunction__Group_1__6__Impl" - // $ANTLR start "rule__VLSFunctionFof__Group__0" - // InternalVampireLanguage.g:4843:1: rule__VLSFunctionFof__Group__0 : rule__VLSFunctionFof__Group__0__Impl rule__VLSFunctionFof__Group__1 ; - public final void rule__VLSFunctionFof__Group__0() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group__0" + // InternalVampireLanguage.g:4843:1: rule__VLSFunctionAsTerm__Group__0 : rule__VLSFunctionAsTerm__Group__0__Impl rule__VLSFunctionAsTerm__Group__1 ; + public final void rule__VLSFunctionAsTerm__Group__0() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4847:1: ( rule__VLSFunctionFof__Group__0__Impl rule__VLSFunctionFof__Group__1 ) - // InternalVampireLanguage.g:4848:2: rule__VLSFunctionFof__Group__0__Impl rule__VLSFunctionFof__Group__1 + // InternalVampireLanguage.g:4847:1: ( rule__VLSFunctionAsTerm__Group__0__Impl rule__VLSFunctionAsTerm__Group__1 ) + // InternalVampireLanguage.g:4848:2: rule__VLSFunctionAsTerm__Group__0__Impl rule__VLSFunctionAsTerm__Group__1 { pushFollow(FOLLOW_13); - rule__VLSFunctionFof__Group__0__Impl(); + rule__VLSFunctionAsTerm__Group__0__Impl(); state._fsp--; pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group__1(); + rule__VLSFunctionAsTerm__Group__1(); state._fsp--; @@ -15051,35 +15051,35 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group__0" + // $ANTLR end "rule__VLSFunctionAsTerm__Group__0" - // $ANTLR start "rule__VLSFunctionFof__Group__0__Impl" - // InternalVampireLanguage.g:4855:1: rule__VLSFunctionFof__Group__0__Impl : ( ( rule__VLSFunctionFof__FunctorAssignment_0 ) ) ; - public final void rule__VLSFunctionFof__Group__0__Impl() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group__0__Impl" + // InternalVampireLanguage.g:4855:1: rule__VLSFunctionAsTerm__Group__0__Impl : ( ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) ) ; + public final void rule__VLSFunctionAsTerm__Group__0__Impl() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4859:1: ( ( ( rule__VLSFunctionFof__FunctorAssignment_0 ) ) ) - // InternalVampireLanguage.g:4860:1: ( ( rule__VLSFunctionFof__FunctorAssignment_0 ) ) + // InternalVampireLanguage.g:4859:1: ( ( ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) ) ) + // InternalVampireLanguage.g:4860:1: ( ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) ) { - // InternalVampireLanguage.g:4860:1: ( ( rule__VLSFunctionFof__FunctorAssignment_0 ) ) - // InternalVampireLanguage.g:4861:2: ( rule__VLSFunctionFof__FunctorAssignment_0 ) + // InternalVampireLanguage.g:4860:1: ( ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) ) + // InternalVampireLanguage.g:4861:2: ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) { - before(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); - // InternalVampireLanguage.g:4862:2: ( rule__VLSFunctionFof__FunctorAssignment_0 ) - // InternalVampireLanguage.g:4862:3: rule__VLSFunctionFof__FunctorAssignment_0 + before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); + // InternalVampireLanguage.g:4862:2: ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) + // InternalVampireLanguage.g:4862:3: rule__VLSFunctionAsTerm__FunctorAssignment_0 { pushFollow(FOLLOW_2); - rule__VLSFunctionFof__FunctorAssignment_0(); + rule__VLSFunctionAsTerm__FunctorAssignment_0(); state._fsp--; } - after(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); + after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); } @@ -15098,21 +15098,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group__0__Impl" + // $ANTLR end "rule__VLSFunctionAsTerm__Group__0__Impl" - // $ANTLR start "rule__VLSFunctionFof__Group__1" - // InternalVampireLanguage.g:4870:1: rule__VLSFunctionFof__Group__1 : rule__VLSFunctionFof__Group__1__Impl ; - public final void rule__VLSFunctionFof__Group__1() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group__1" + // InternalVampireLanguage.g:4870:1: rule__VLSFunctionAsTerm__Group__1 : rule__VLSFunctionAsTerm__Group__1__Impl ; + public final void rule__VLSFunctionAsTerm__Group__1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4874:1: ( rule__VLSFunctionFof__Group__1__Impl ) - // InternalVampireLanguage.g:4875:2: rule__VLSFunctionFof__Group__1__Impl + // InternalVampireLanguage.g:4874:1: ( rule__VLSFunctionAsTerm__Group__1__Impl ) + // InternalVampireLanguage.g:4875:2: rule__VLSFunctionAsTerm__Group__1__Impl { pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group__1__Impl(); + rule__VLSFunctionAsTerm__Group__1__Impl(); state._fsp--; @@ -15131,24 +15131,24 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group__1" + // $ANTLR end "rule__VLSFunctionAsTerm__Group__1" - // $ANTLR start "rule__VLSFunctionFof__Group__1__Impl" - // InternalVampireLanguage.g:4881:1: rule__VLSFunctionFof__Group__1__Impl : ( ( rule__VLSFunctionFof__Group_1__0 )? ) ; - public final void rule__VLSFunctionFof__Group__1__Impl() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group__1__Impl" + // InternalVampireLanguage.g:4881:1: rule__VLSFunctionAsTerm__Group__1__Impl : ( ( rule__VLSFunctionAsTerm__Group_1__0 )? ) ; + public final void rule__VLSFunctionAsTerm__Group__1__Impl() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4885:1: ( ( ( rule__VLSFunctionFof__Group_1__0 )? ) ) - // InternalVampireLanguage.g:4886:1: ( ( rule__VLSFunctionFof__Group_1__0 )? ) + // InternalVampireLanguage.g:4885:1: ( ( ( rule__VLSFunctionAsTerm__Group_1__0 )? ) ) + // InternalVampireLanguage.g:4886:1: ( ( rule__VLSFunctionAsTerm__Group_1__0 )? ) { - // InternalVampireLanguage.g:4886:1: ( ( rule__VLSFunctionFof__Group_1__0 )? ) - // InternalVampireLanguage.g:4887:2: ( rule__VLSFunctionFof__Group_1__0 )? + // InternalVampireLanguage.g:4886:1: ( ( rule__VLSFunctionAsTerm__Group_1__0 )? ) + // InternalVampireLanguage.g:4887:2: ( rule__VLSFunctionAsTerm__Group_1__0 )? { - before(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); - // InternalVampireLanguage.g:4888:2: ( rule__VLSFunctionFof__Group_1__0 )? + before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); + // InternalVampireLanguage.g:4888:2: ( rule__VLSFunctionAsTerm__Group_1__0 )? int alt36=2; int LA36_0 = input.LA(1); @@ -15157,10 +15157,10 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } switch (alt36) { case 1 : - // InternalVampireLanguage.g:4888:3: rule__VLSFunctionFof__Group_1__0 + // InternalVampireLanguage.g:4888:3: rule__VLSFunctionAsTerm__Group_1__0 { pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group_1__0(); + rule__VLSFunctionAsTerm__Group_1__0(); state._fsp--; @@ -15170,7 +15170,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } - after(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); + after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); } @@ -15189,26 +15189,26 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group__1__Impl" + // $ANTLR end "rule__VLSFunctionAsTerm__Group__1__Impl" - // $ANTLR start "rule__VLSFunctionFof__Group_1__0" - // InternalVampireLanguage.g:4897:1: rule__VLSFunctionFof__Group_1__0 : rule__VLSFunctionFof__Group_1__0__Impl rule__VLSFunctionFof__Group_1__1 ; - public final void rule__VLSFunctionFof__Group_1__0() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__0" + // InternalVampireLanguage.g:4897:1: rule__VLSFunctionAsTerm__Group_1__0 : rule__VLSFunctionAsTerm__Group_1__0__Impl rule__VLSFunctionAsTerm__Group_1__1 ; + public final void rule__VLSFunctionAsTerm__Group_1__0() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4901:1: ( rule__VLSFunctionFof__Group_1__0__Impl rule__VLSFunctionFof__Group_1__1 ) - // InternalVampireLanguage.g:4902:2: rule__VLSFunctionFof__Group_1__0__Impl rule__VLSFunctionFof__Group_1__1 + // InternalVampireLanguage.g:4901:1: ( rule__VLSFunctionAsTerm__Group_1__0__Impl rule__VLSFunctionAsTerm__Group_1__1 ) + // InternalVampireLanguage.g:4902:2: rule__VLSFunctionAsTerm__Group_1__0__Impl rule__VLSFunctionAsTerm__Group_1__1 { pushFollow(FOLLOW_38); - rule__VLSFunctionFof__Group_1__0__Impl(); + rule__VLSFunctionAsTerm__Group_1__0__Impl(); state._fsp--; pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group_1__1(); + rule__VLSFunctionAsTerm__Group_1__1(); state._fsp--; @@ -15227,12 +15227,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1__0" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__0" - // $ANTLR start "rule__VLSFunctionFof__Group_1__0__Impl" - // InternalVampireLanguage.g:4909:1: rule__VLSFunctionFof__Group_1__0__Impl : ( '(' ) ; - public final void rule__VLSFunctionFof__Group_1__0__Impl() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__0__Impl" + // InternalVampireLanguage.g:4909:1: rule__VLSFunctionAsTerm__Group_1__0__Impl : ( '(' ) ; + public final void rule__VLSFunctionAsTerm__Group_1__0__Impl() throws RecognitionException { int stackSize = keepStackSize(); @@ -15243,9 +15243,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // InternalVampireLanguage.g:4914:1: ( '(' ) // InternalVampireLanguage.g:4915:2: '(' { - before(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); + before(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); match(input,49,FOLLOW_2); - after(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); + after(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); } @@ -15264,26 +15264,26 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1__0__Impl" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__0__Impl" - // $ANTLR start "rule__VLSFunctionFof__Group_1__1" - // InternalVampireLanguage.g:4924:1: rule__VLSFunctionFof__Group_1__1 : rule__VLSFunctionFof__Group_1__1__Impl rule__VLSFunctionFof__Group_1__2 ; - public final void rule__VLSFunctionFof__Group_1__1() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__1" + // InternalVampireLanguage.g:4924:1: rule__VLSFunctionAsTerm__Group_1__1 : rule__VLSFunctionAsTerm__Group_1__1__Impl rule__VLSFunctionAsTerm__Group_1__2 ; + public final void rule__VLSFunctionAsTerm__Group_1__1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4928:1: ( rule__VLSFunctionFof__Group_1__1__Impl rule__VLSFunctionFof__Group_1__2 ) - // InternalVampireLanguage.g:4929:2: rule__VLSFunctionFof__Group_1__1__Impl rule__VLSFunctionFof__Group_1__2 + // InternalVampireLanguage.g:4928:1: ( rule__VLSFunctionAsTerm__Group_1__1__Impl rule__VLSFunctionAsTerm__Group_1__2 ) + // InternalVampireLanguage.g:4929:2: rule__VLSFunctionAsTerm__Group_1__1__Impl rule__VLSFunctionAsTerm__Group_1__2 { pushFollow(FOLLOW_18); - rule__VLSFunctionFof__Group_1__1__Impl(); + rule__VLSFunctionAsTerm__Group_1__1__Impl(); state._fsp--; pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group_1__2(); + rule__VLSFunctionAsTerm__Group_1__2(); state._fsp--; @@ -15302,35 +15302,35 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1__1" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__1" - // $ANTLR start "rule__VLSFunctionFof__Group_1__1__Impl" - // InternalVampireLanguage.g:4936:1: rule__VLSFunctionFof__Group_1__1__Impl : ( ( rule__VLSFunctionFof__TermsAssignment_1_1 ) ) ; - public final void rule__VLSFunctionFof__Group_1__1__Impl() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__1__Impl" + // InternalVampireLanguage.g:4936:1: rule__VLSFunctionAsTerm__Group_1__1__Impl : ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) ) ; + public final void rule__VLSFunctionAsTerm__Group_1__1__Impl() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4940:1: ( ( ( rule__VLSFunctionFof__TermsAssignment_1_1 ) ) ) - // InternalVampireLanguage.g:4941:1: ( ( rule__VLSFunctionFof__TermsAssignment_1_1 ) ) + // InternalVampireLanguage.g:4940:1: ( ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) ) ) + // InternalVampireLanguage.g:4941:1: ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) ) { - // InternalVampireLanguage.g:4941:1: ( ( rule__VLSFunctionFof__TermsAssignment_1_1 ) ) - // InternalVampireLanguage.g:4942:2: ( rule__VLSFunctionFof__TermsAssignment_1_1 ) + // InternalVampireLanguage.g:4941:1: ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) ) + // InternalVampireLanguage.g:4942:2: ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) { - before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); - // InternalVampireLanguage.g:4943:2: ( rule__VLSFunctionFof__TermsAssignment_1_1 ) - // InternalVampireLanguage.g:4943:3: rule__VLSFunctionFof__TermsAssignment_1_1 + before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); + // InternalVampireLanguage.g:4943:2: ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) + // InternalVampireLanguage.g:4943:3: rule__VLSFunctionAsTerm__TermsAssignment_1_1 { pushFollow(FOLLOW_2); - rule__VLSFunctionFof__TermsAssignment_1_1(); + rule__VLSFunctionAsTerm__TermsAssignment_1_1(); state._fsp--; } - after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); + after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); } @@ -15349,26 +15349,26 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1__1__Impl" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__1__Impl" - // $ANTLR start "rule__VLSFunctionFof__Group_1__2" - // InternalVampireLanguage.g:4951:1: rule__VLSFunctionFof__Group_1__2 : rule__VLSFunctionFof__Group_1__2__Impl rule__VLSFunctionFof__Group_1__3 ; - public final void rule__VLSFunctionFof__Group_1__2() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__2" + // InternalVampireLanguage.g:4951:1: rule__VLSFunctionAsTerm__Group_1__2 : rule__VLSFunctionAsTerm__Group_1__2__Impl rule__VLSFunctionAsTerm__Group_1__3 ; + public final void rule__VLSFunctionAsTerm__Group_1__2() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4955:1: ( rule__VLSFunctionFof__Group_1__2__Impl rule__VLSFunctionFof__Group_1__3 ) - // InternalVampireLanguage.g:4956:2: rule__VLSFunctionFof__Group_1__2__Impl rule__VLSFunctionFof__Group_1__3 + // InternalVampireLanguage.g:4955:1: ( rule__VLSFunctionAsTerm__Group_1__2__Impl rule__VLSFunctionAsTerm__Group_1__3 ) + // InternalVampireLanguage.g:4956:2: rule__VLSFunctionAsTerm__Group_1__2__Impl rule__VLSFunctionAsTerm__Group_1__3 { pushFollow(FOLLOW_18); - rule__VLSFunctionFof__Group_1__2__Impl(); + rule__VLSFunctionAsTerm__Group_1__2__Impl(); state._fsp--; pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group_1__3(); + rule__VLSFunctionAsTerm__Group_1__3(); state._fsp--; @@ -15387,24 +15387,24 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1__2" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__2" - // $ANTLR start "rule__VLSFunctionFof__Group_1__2__Impl" - // InternalVampireLanguage.g:4963:1: rule__VLSFunctionFof__Group_1__2__Impl : ( ( rule__VLSFunctionFof__Group_1_2__0 )* ) ; - public final void rule__VLSFunctionFof__Group_1__2__Impl() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__2__Impl" + // InternalVampireLanguage.g:4963:1: rule__VLSFunctionAsTerm__Group_1__2__Impl : ( ( rule__VLSFunctionAsTerm__Group_1_2__0 )* ) ; + public final void rule__VLSFunctionAsTerm__Group_1__2__Impl() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4967:1: ( ( ( rule__VLSFunctionFof__Group_1_2__0 )* ) ) - // InternalVampireLanguage.g:4968:1: ( ( rule__VLSFunctionFof__Group_1_2__0 )* ) + // InternalVampireLanguage.g:4967:1: ( ( ( rule__VLSFunctionAsTerm__Group_1_2__0 )* ) ) + // InternalVampireLanguage.g:4968:1: ( ( rule__VLSFunctionAsTerm__Group_1_2__0 )* ) { - // InternalVampireLanguage.g:4968:1: ( ( rule__VLSFunctionFof__Group_1_2__0 )* ) - // InternalVampireLanguage.g:4969:2: ( rule__VLSFunctionFof__Group_1_2__0 )* + // InternalVampireLanguage.g:4968:1: ( ( rule__VLSFunctionAsTerm__Group_1_2__0 )* ) + // InternalVampireLanguage.g:4969:2: ( rule__VLSFunctionAsTerm__Group_1_2__0 )* { - before(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); - // InternalVampireLanguage.g:4970:2: ( rule__VLSFunctionFof__Group_1_2__0 )* + before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); + // InternalVampireLanguage.g:4970:2: ( rule__VLSFunctionAsTerm__Group_1_2__0 )* loop37: do { int alt37=2; @@ -15417,10 +15417,10 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist switch (alt37) { case 1 : - // InternalVampireLanguage.g:4970:3: rule__VLSFunctionFof__Group_1_2__0 + // InternalVampireLanguage.g:4970:3: rule__VLSFunctionAsTerm__Group_1_2__0 { pushFollow(FOLLOW_10); - rule__VLSFunctionFof__Group_1_2__0(); + rule__VLSFunctionAsTerm__Group_1_2__0(); state._fsp--; @@ -15433,7 +15433,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } } while (true); - after(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); + after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); } @@ -15452,21 +15452,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1__2__Impl" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__2__Impl" - // $ANTLR start "rule__VLSFunctionFof__Group_1__3" - // InternalVampireLanguage.g:4978:1: rule__VLSFunctionFof__Group_1__3 : rule__VLSFunctionFof__Group_1__3__Impl ; - public final void rule__VLSFunctionFof__Group_1__3() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__3" + // InternalVampireLanguage.g:4978:1: rule__VLSFunctionAsTerm__Group_1__3 : rule__VLSFunctionAsTerm__Group_1__3__Impl ; + public final void rule__VLSFunctionAsTerm__Group_1__3() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:4982:1: ( rule__VLSFunctionFof__Group_1__3__Impl ) - // InternalVampireLanguage.g:4983:2: rule__VLSFunctionFof__Group_1__3__Impl + // InternalVampireLanguage.g:4982:1: ( rule__VLSFunctionAsTerm__Group_1__3__Impl ) + // InternalVampireLanguage.g:4983:2: rule__VLSFunctionAsTerm__Group_1__3__Impl { pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group_1__3__Impl(); + rule__VLSFunctionAsTerm__Group_1__3__Impl(); state._fsp--; @@ -15485,12 +15485,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1__3" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__3" - // $ANTLR start "rule__VLSFunctionFof__Group_1__3__Impl" - // InternalVampireLanguage.g:4989:1: rule__VLSFunctionFof__Group_1__3__Impl : ( ')' ) ; - public final void rule__VLSFunctionFof__Group_1__3__Impl() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__3__Impl" + // InternalVampireLanguage.g:4989:1: rule__VLSFunctionAsTerm__Group_1__3__Impl : ( ')' ) ; + public final void rule__VLSFunctionAsTerm__Group_1__3__Impl() throws RecognitionException { int stackSize = keepStackSize(); @@ -15501,9 +15501,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // InternalVampireLanguage.g:4994:1: ( ')' ) // InternalVampireLanguage.g:4995:2: ')' { - before(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); + before(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); match(input,50,FOLLOW_2); - after(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); + after(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); } @@ -15522,26 +15522,26 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1__3__Impl" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__3__Impl" - // $ANTLR start "rule__VLSFunctionFof__Group_1_2__0" - // InternalVampireLanguage.g:5005:1: rule__VLSFunctionFof__Group_1_2__0 : rule__VLSFunctionFof__Group_1_2__0__Impl rule__VLSFunctionFof__Group_1_2__1 ; - public final void rule__VLSFunctionFof__Group_1_2__0() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1_2__0" + // InternalVampireLanguage.g:5005:1: rule__VLSFunctionAsTerm__Group_1_2__0 : rule__VLSFunctionAsTerm__Group_1_2__0__Impl rule__VLSFunctionAsTerm__Group_1_2__1 ; + public final void rule__VLSFunctionAsTerm__Group_1_2__0() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:5009:1: ( rule__VLSFunctionFof__Group_1_2__0__Impl rule__VLSFunctionFof__Group_1_2__1 ) - // InternalVampireLanguage.g:5010:2: rule__VLSFunctionFof__Group_1_2__0__Impl rule__VLSFunctionFof__Group_1_2__1 + // InternalVampireLanguage.g:5009:1: ( rule__VLSFunctionAsTerm__Group_1_2__0__Impl rule__VLSFunctionAsTerm__Group_1_2__1 ) + // InternalVampireLanguage.g:5010:2: rule__VLSFunctionAsTerm__Group_1_2__0__Impl rule__VLSFunctionAsTerm__Group_1_2__1 { pushFollow(FOLLOW_38); - rule__VLSFunctionFof__Group_1_2__0__Impl(); + rule__VLSFunctionAsTerm__Group_1_2__0__Impl(); state._fsp--; pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group_1_2__1(); + rule__VLSFunctionAsTerm__Group_1_2__1(); state._fsp--; @@ -15560,12 +15560,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1_2__0" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1_2__0" - // $ANTLR start "rule__VLSFunctionFof__Group_1_2__0__Impl" - // InternalVampireLanguage.g:5017:1: rule__VLSFunctionFof__Group_1_2__0__Impl : ( ',' ) ; - public final void rule__VLSFunctionFof__Group_1_2__0__Impl() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1_2__0__Impl" + // InternalVampireLanguage.g:5017:1: rule__VLSFunctionAsTerm__Group_1_2__0__Impl : ( ',' ) ; + public final void rule__VLSFunctionAsTerm__Group_1_2__0__Impl() throws RecognitionException { int stackSize = keepStackSize(); @@ -15576,9 +15576,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // InternalVampireLanguage.g:5022:1: ( ',' ) // InternalVampireLanguage.g:5023:2: ',' { - before(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); + before(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); match(input,45,FOLLOW_2); - after(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); + after(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); } @@ -15597,21 +15597,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1_2__0__Impl" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1_2__0__Impl" - // $ANTLR start "rule__VLSFunctionFof__Group_1_2__1" - // InternalVampireLanguage.g:5032:1: rule__VLSFunctionFof__Group_1_2__1 : rule__VLSFunctionFof__Group_1_2__1__Impl ; - public final void rule__VLSFunctionFof__Group_1_2__1() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1_2__1" + // InternalVampireLanguage.g:5032:1: rule__VLSFunctionAsTerm__Group_1_2__1 : rule__VLSFunctionAsTerm__Group_1_2__1__Impl ; + public final void rule__VLSFunctionAsTerm__Group_1_2__1() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:5036:1: ( rule__VLSFunctionFof__Group_1_2__1__Impl ) - // InternalVampireLanguage.g:5037:2: rule__VLSFunctionFof__Group_1_2__1__Impl + // InternalVampireLanguage.g:5036:1: ( rule__VLSFunctionAsTerm__Group_1_2__1__Impl ) + // InternalVampireLanguage.g:5037:2: rule__VLSFunctionAsTerm__Group_1_2__1__Impl { pushFollow(FOLLOW_2); - rule__VLSFunctionFof__Group_1_2__1__Impl(); + rule__VLSFunctionAsTerm__Group_1_2__1__Impl(); state._fsp--; @@ -15630,35 +15630,35 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1_2__1" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1_2__1" - // $ANTLR start "rule__VLSFunctionFof__Group_1_2__1__Impl" - // InternalVampireLanguage.g:5043:1: rule__VLSFunctionFof__Group_1_2__1__Impl : ( ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) ) ; - public final void rule__VLSFunctionFof__Group_1_2__1__Impl() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__Group_1_2__1__Impl" + // InternalVampireLanguage.g:5043:1: rule__VLSFunctionAsTerm__Group_1_2__1__Impl : ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) ) ; + public final void rule__VLSFunctionAsTerm__Group_1_2__1__Impl() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:5047:1: ( ( ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) ) ) - // InternalVampireLanguage.g:5048:1: ( ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) ) + // InternalVampireLanguage.g:5047:1: ( ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) ) ) + // InternalVampireLanguage.g:5048:1: ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) ) { - // InternalVampireLanguage.g:5048:1: ( ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) ) - // InternalVampireLanguage.g:5049:2: ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) + // InternalVampireLanguage.g:5048:1: ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) ) + // InternalVampireLanguage.g:5049:2: ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) { - before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); - // InternalVampireLanguage.g:5050:2: ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) - // InternalVampireLanguage.g:5050:3: rule__VLSFunctionFof__TermsAssignment_1_2_1 + before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); + // InternalVampireLanguage.g:5050:2: ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) + // InternalVampireLanguage.g:5050:3: rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 { pushFollow(FOLLOW_2); - rule__VLSFunctionFof__TermsAssignment_1_2_1(); + rule__VLSFunctionAsTerm__TermsAssignment_1_2_1(); state._fsp--; } - after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); + after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); } @@ -15677,7 +15677,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__Group_1_2__1__Impl" + // $ANTLR end "rule__VLSFunctionAsTerm__Group_1_2__1__Impl" // $ANTLR start "rule__VLSDefinedTerm__Group_0__0" @@ -18009,32 +18009,32 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // $ANTLR end "rule__VLSVariable__NameAssignment" - // $ANTLR start "rule__VLSFunctionFof__FunctorAssignment_0" - // InternalVampireLanguage.g:5894:1: rule__VLSFunctionFof__FunctorAssignment_0 : ( ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) ) ; - public final void rule__VLSFunctionFof__FunctorAssignment_0() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__FunctorAssignment_0" + // InternalVampireLanguage.g:5894:1: rule__VLSFunctionAsTerm__FunctorAssignment_0 : ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ; + public final void rule__VLSFunctionAsTerm__FunctorAssignment_0() throws RecognitionException { int stackSize = keepStackSize(); try { - // InternalVampireLanguage.g:5898:1: ( ( ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) ) ) - // InternalVampireLanguage.g:5899:2: ( ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) ) + // InternalVampireLanguage.g:5898:1: ( ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ) + // InternalVampireLanguage.g:5899:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) { - // InternalVampireLanguage.g:5899:2: ( ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) ) - // InternalVampireLanguage.g:5900:3: ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) + // InternalVampireLanguage.g:5899:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) + // InternalVampireLanguage.g:5900:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) { - before(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); - // InternalVampireLanguage.g:5901:3: ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) - // InternalVampireLanguage.g:5901:4: rule__VLSFunctionFof__FunctorAlternatives_0_0 + before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); + // InternalVampireLanguage.g:5901:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) + // InternalVampireLanguage.g:5901:4: rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 { pushFollow(FOLLOW_2); - rule__VLSFunctionFof__FunctorAlternatives_0_0(); + rule__VLSFunctionAsTerm__FunctorAlternatives_0_0(); state._fsp--; } - after(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); + after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); } @@ -18053,12 +18053,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__FunctorAssignment_0" + // $ANTLR end "rule__VLSFunctionAsTerm__FunctorAssignment_0" - // $ANTLR start "rule__VLSFunctionFof__TermsAssignment_1_1" - // InternalVampireLanguage.g:5909:1: rule__VLSFunctionFof__TermsAssignment_1_1 : ( ruleVLSFofTerm ) ; - public final void rule__VLSFunctionFof__TermsAssignment_1_1() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_1" + // InternalVampireLanguage.g:5909:1: rule__VLSFunctionAsTerm__TermsAssignment_1_1 : ( ruleVLSFofTerm ) ; + public final void rule__VLSFunctionAsTerm__TermsAssignment_1_1() throws RecognitionException { int stackSize = keepStackSize(); @@ -18069,13 +18069,13 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // InternalVampireLanguage.g:5914:2: ( ruleVLSFofTerm ) // InternalVampireLanguage.g:5915:3: ruleVLSFofTerm { - before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); + before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); pushFollow(FOLLOW_2); ruleVLSFofTerm(); state._fsp--; - after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); + after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } @@ -18094,12 +18094,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__TermsAssignment_1_1" + // $ANTLR end "rule__VLSFunctionAsTerm__TermsAssignment_1_1" - // $ANTLR start "rule__VLSFunctionFof__TermsAssignment_1_2_1" - // InternalVampireLanguage.g:5924:1: rule__VLSFunctionFof__TermsAssignment_1_2_1 : ( ruleVLSFofTerm ) ; - public final void rule__VLSFunctionFof__TermsAssignment_1_2_1() throws RecognitionException { + // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_2_1" + // InternalVampireLanguage.g:5924:1: rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 : ( ruleVLSFofTerm ) ; + public final void rule__VLSFunctionAsTerm__TermsAssignment_1_2_1() throws RecognitionException { int stackSize = keepStackSize(); @@ -18110,13 +18110,13 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist // InternalVampireLanguage.g:5929:2: ( ruleVLSFofTerm ) // InternalVampireLanguage.g:5930:3: ruleVLSFofTerm { - before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); + before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); pushFollow(FOLLOW_2); ruleVLSFofTerm(); state._fsp--; - after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); + after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } @@ -18135,7 +18135,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist } return ; } - // $ANTLR end "rule__VLSFunctionFof__TermsAssignment_1_2_1" + // $ANTLR end "rule__VLSFunctionAsTerm__TermsAssignment_1_2_1" // $ANTLR start "rule__VLSDefinedTerm__ValueAssignment_0_1" -- cgit v1.2.3-54-g00ecf