diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen')
5 files changed, 461 insertions, 425 deletions
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 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.ide; | 4 | package ca.mcgill.ecse.dslreasoner.ide; |
5 | 5 | ||
@@ -15,6 +15,9 @@ import org.eclipse.xtext.ide.editor.contentassist.IProposalConflictHelper; | |||
15 | import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper; | 15 | import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper; |
16 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; | 16 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; |
17 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; | 17 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; |
18 | import org.eclipse.xtext.ide.refactoring.IRenameStrategy2; | ||
19 | import org.eclipse.xtext.ide.server.rename.IRenameService; | ||
20 | import org.eclipse.xtext.ide.server.rename.RenameService; | ||
18 | 21 | ||
19 | /** | 22 | /** |
20 | * Manual modifications go to {@link VampireLanguageIdeModule}. | 23 | * Manual modifications go to {@link VampireLanguageIdeModule}. |
@@ -44,4 +47,14 @@ public abstract class AbstractVampireLanguageIdeModule extends DefaultIdeModule | |||
44 | return FQNPrefixMatcher.class; | 47 | return FQNPrefixMatcher.class; |
45 | } | 48 | } |
46 | 49 | ||
50 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
51 | public Class<? extends IRenameService> bindIRenameService() { | ||
52 | return RenameService.class; | ||
53 | } | ||
54 | |||
55 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
56 | public Class<? extends IRenameStrategy2> bindIRenameStrategy2() { | ||
57 | return IRenameStrategy2.DefaultImpl.class; | ||
58 | } | ||
59 | |||
47 | } | 60 | } |
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 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr; | 4 | package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr; |
5 | 5 | ||
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 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr; | 4 | package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal.InternalVampireLanguageParser; | 6 | import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal.InternalVampireLanguageParser; |
7 | import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess; | 7 | import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess; |
8 | import com.google.common.collect.ImmutableMap; | ||
8 | import com.google.inject.Inject; | 9 | import com.google.inject.Inject; |
9 | import java.util.HashMap; | 10 | import com.google.inject.Singleton; |
10 | import java.util.Map; | 11 | import java.util.Map; |
11 | import org.eclipse.xtext.AbstractElement; | 12 | import org.eclipse.xtext.AbstractElement; |
12 | import org.eclipse.xtext.ide.editor.contentassist.antlr.AbstractContentAssistParser; | 13 | import org.eclipse.xtext.ide.editor.contentassist.antlr.AbstractContentAssistParser; |
13 | 14 | ||
14 | public class VampireLanguageParser extends AbstractContentAssistParser { | 15 | public class VampireLanguageParser extends AbstractContentAssistParser { |
15 | 16 | ||
17 | @Singleton | ||
18 | public static final class NameMappings { | ||
19 | |||
20 | private final Map<AbstractElement, String> mappings; | ||
21 | |||
22 | @Inject | ||
23 | public NameMappings(VampireLanguageGrammarAccess grammarAccess) { | ||
24 | ImmutableMap.Builder<AbstractElement, String> builder = ImmutableMap.builder(); | ||
25 | init(builder, grammarAccess); | ||
26 | this.mappings = builder.build(); | ||
27 | } | ||
28 | |||
29 | public String getRuleName(AbstractElement element) { | ||
30 | return mappings.get(element); | ||
31 | } | ||
32 | |||
33 | private static void init(ImmutableMap.Builder<AbstractElement, String> builder, VampireLanguageGrammarAccess grammarAccess) { | ||
34 | builder.put(grammarAccess.getVampireModelAccess().getAlternatives(), "rule__VampireModel__Alternatives"); | ||
35 | builder.put(grammarAccess.getVLSNameAccess().getNameAlternatives_0(), "rule__VLSName__NameAlternatives_0"); | ||
36 | builder.put(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0(), "rule__VLSFofFormula__NameAlternatives_2_0"); | ||
37 | builder.put(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0(), "rule__VLSTffFormula__NameAlternatives_2_0"); | ||
38 | builder.put(grammarAccess.getVLSRoleAccess().getAlternatives(), "rule__VLSRole__Alternatives"); | ||
39 | builder.put(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0(), "rule__VLSAnnotation__NameAlternatives_1_0"); | ||
40 | builder.put(grammarAccess.getVLSBinaryAccess().getAlternatives_1(), "rule__VLSBinary__Alternatives_1"); | ||
41 | builder.put(grammarAccess.getVLSBinaryAccess().getAlternatives_1_0_0(), "rule__VLSBinary__Alternatives_1_0_0"); | ||
42 | builder.put(grammarAccess.getVLSUnitaryFormulaAccess().getAlternatives(), "rule__VLSUnitaryFormula__Alternatives"); | ||
43 | builder.put(grammarAccess.getVLSUnaryInfixAccess().getAlternatives_1_0(), "rule__VLSUnaryInfix__Alternatives_1_0"); | ||
44 | builder.put(grammarAccess.getVLSAtomicAccess().getAlternatives(), "rule__VLSAtomic__Alternatives"); | ||
45 | builder.put(grammarAccess.getVLSAtomicConstantAccess().getAlternatives(), "rule__VLSAtomicConstant__Alternatives"); | ||
46 | builder.put(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0(), "rule__VLSAtomicConstant__NameAlternatives_0_1_0"); | ||
47 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getAlternatives(), "rule__VLSAtomicFunction__Alternatives"); | ||
48 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0(), "rule__VLSAtomicFunction__ConstantAlternatives_0_1_0"); | ||
49 | builder.put(grammarAccess.getVLSFofTermAccess().getAlternatives(), "rule__VLSFofTerm__Alternatives"); | ||
50 | builder.put(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0(), "rule__VLSFunctionAsTerm__FunctorAlternatives_0_0"); | ||
51 | builder.put(grammarAccess.getVLSDefinedTermAccess().getAlternatives(), "rule__VLSDefinedTerm__Alternatives"); | ||
52 | builder.put(grammarAccess.getVLSIncludeAccess().getGroup(), "rule__VLSInclude__Group__0"); | ||
53 | builder.put(grammarAccess.getVLSIncludeAccess().getGroup_2(), "rule__VLSInclude__Group_2__0"); | ||
54 | builder.put(grammarAccess.getVLSIncludeAccess().getGroup_2_2(), "rule__VLSInclude__Group_2_2__0"); | ||
55 | builder.put(grammarAccess.getVLSCommentAccess().getGroup(), "rule__VLSComment__Group__0"); | ||
56 | builder.put(grammarAccess.getVLSSatisfiableAccess().getGroup(), "rule__VLSSatisfiable__Group__0"); | ||
57 | builder.put(grammarAccess.getVLSFofFormulaAccess().getGroup(), "rule__VLSFofFormula__Group__0"); | ||
58 | builder.put(grammarAccess.getVLSFofFormulaAccess().getGroup_7(), "rule__VLSFofFormula__Group_7__0"); | ||
59 | builder.put(grammarAccess.getVLSTffFormulaAccess().getGroup(), "rule__VLSTffFormula__Group__0"); | ||
60 | builder.put(grammarAccess.getVLSTffFormulaAccess().getGroup_7(), "rule__VLSTffFormula__Group_7__0"); | ||
61 | builder.put(grammarAccess.getVLSAnnotationAccess().getGroup(), "rule__VLSAnnotation__Group__0"); | ||
62 | builder.put(grammarAccess.getVLSAnnotationAccess().getGroup_2(), "rule__VLSAnnotation__Group_2__0"); | ||
63 | builder.put(grammarAccess.getVLSAnnotationTermsAccess().getGroup(), "rule__VLSAnnotationTerms__Group__0"); | ||
64 | builder.put(grammarAccess.getVLSAnnotationTermsAccess().getGroup_1(), "rule__VLSAnnotationTerms__Group_1__0"); | ||
65 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup(), "rule__VLSBinary__Group__0"); | ||
66 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0(), "rule__VLSBinary__Group_1_0__0"); | ||
67 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_0(), "rule__VLSBinary__Group_1_0_0_0__0"); | ||
68 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_1(), "rule__VLSBinary__Group_1_0_0_1__0"); | ||
69 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_2(), "rule__VLSBinary__Group_1_0_0_2__0"); | ||
70 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_3(), "rule__VLSBinary__Group_1_0_0_3__0"); | ||
71 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_4(), "rule__VLSBinary__Group_1_0_0_4__0"); | ||
72 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_5(), "rule__VLSBinary__Group_1_0_0_5__0"); | ||
73 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_1(), "rule__VLSBinary__Group_1_1__0"); | ||
74 | builder.put(grammarAccess.getVLSBinaryAccess().getGroup_1_2(), "rule__VLSBinary__Group_1_2__0"); | ||
75 | builder.put(grammarAccess.getVLSUnitaryFormulaAccess().getGroup_4(), "rule__VLSUnitaryFormula__Group_4__0"); | ||
76 | builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup(), "rule__VLSUniversalQuantifier__Group__0"); | ||
77 | builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1(), "rule__VLSUniversalQuantifier__Group_1__0"); | ||
78 | builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1_3(), "rule__VLSUniversalQuantifier__Group_1_3__0"); | ||
79 | builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup(), "rule__VLSExistentialQuantifier__Group__0"); | ||
80 | builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1(), "rule__VLSExistentialQuantifier__Group_1__0"); | ||
81 | builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1_3(), "rule__VLSExistentialQuantifier__Group_1_3__0"); | ||
82 | builder.put(grammarAccess.getVLSUnaryNegationAccess().getGroup(), "rule__VLSUnaryNegation__Group__0"); | ||
83 | builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup(), "rule__VLSUnaryInfix__Group__0"); | ||
84 | builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1(), "rule__VLSUnaryInfix__Group_1__0"); | ||
85 | builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_0(), "rule__VLSUnaryInfix__Group_1_0_0__0"); | ||
86 | builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_1(), "rule__VLSUnaryInfix__Group_1_0_1__0"); | ||
87 | builder.put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_2(), "rule__VLSUnaryInfix__Group_1_0_2__0"); | ||
88 | builder.put(grammarAccess.getVLSAtomicConstantAccess().getGroup_0(), "rule__VLSAtomicConstant__Group_0__0"); | ||
89 | builder.put(grammarAccess.getVLSAtomicConstantAccess().getGroup_1(), "rule__VLSAtomicConstant__Group_1__0"); | ||
90 | builder.put(grammarAccess.getVLSAtomicConstantAccess().getGroup_2(), "rule__VLSAtomicConstant__Group_2__0"); | ||
91 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0(), "rule__VLSAtomicFunction__Group_0__0"); | ||
92 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2(), "rule__VLSAtomicFunction__Group_0_2__0"); | ||
93 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2_2(), "rule__VLSAtomicFunction__Group_0_2_2__0"); | ||
94 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_1(), "rule__VLSAtomicFunction__Group_1__0"); | ||
95 | builder.put(grammarAccess.getVLSFunctionAsTermAccess().getGroup(), "rule__VLSFunctionAsTerm__Group__0"); | ||
96 | builder.put(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1(), "rule__VLSFunctionAsTerm__Group_1__0"); | ||
97 | builder.put(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2(), "rule__VLSFunctionAsTerm__Group_1_2__0"); | ||
98 | builder.put(grammarAccess.getVLSDefinedTermAccess().getGroup_0(), "rule__VLSDefinedTerm__Group_0__0"); | ||
99 | builder.put(grammarAccess.getVLSDefinedTermAccess().getGroup_1(), "rule__VLSDefinedTerm__Group_1__0"); | ||
100 | builder.put(grammarAccess.getVLSDefinedTermAccess().getGroup_2(), "rule__VLSDefinedTerm__Group_2__0"); | ||
101 | builder.put(grammarAccess.getVLSDefinedTermAccess().getGroup_3(), "rule__VLSDefinedTerm__Group_3__0"); | ||
102 | builder.put(grammarAccess.getVampireModelAccess().getIncludesAssignment_0(), "rule__VampireModel__IncludesAssignment_0"); | ||
103 | builder.put(grammarAccess.getVampireModelAccess().getCommentsAssignment_1(), "rule__VampireModel__CommentsAssignment_1"); | ||
104 | builder.put(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2(), "rule__VampireModel__ConfirmationsAssignment_2"); | ||
105 | builder.put(grammarAccess.getVampireModelAccess().getFormulasAssignment_3(), "rule__VampireModel__FormulasAssignment_3"); | ||
106 | builder.put(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4(), "rule__VampireModel__TfformulasAssignment_4"); | ||
107 | builder.put(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1(), "rule__VLSInclude__FileNameAssignment_1"); | ||
108 | builder.put(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1(), "rule__VLSInclude__NamesAssignment_2_1"); | ||
109 | builder.put(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1(), "rule__VLSInclude__NamesAssignment_2_2_1"); | ||
110 | builder.put(grammarAccess.getVLSNameAccess().getNameAssignment(), "rule__VLSName__NameAssignment"); | ||
111 | builder.put(grammarAccess.getVLSCommentAccess().getCommentAssignment_1(), "rule__VLSComment__CommentAssignment_1"); | ||
112 | builder.put(grammarAccess.getVLSFofFormulaAccess().getNameAssignment_2(), "rule__VLSFofFormula__NameAssignment_2"); | ||
113 | builder.put(grammarAccess.getVLSFofFormulaAccess().getFofRoleAssignment_4(), "rule__VLSFofFormula__FofRoleAssignment_4"); | ||
114 | builder.put(grammarAccess.getVLSFofFormulaAccess().getFofFormulaAssignment_6(), "rule__VLSFofFormula__FofFormulaAssignment_6"); | ||
115 | builder.put(grammarAccess.getVLSFofFormulaAccess().getAnnotationsAssignment_7_1(), "rule__VLSFofFormula__AnnotationsAssignment_7_1"); | ||
116 | builder.put(grammarAccess.getVLSTffFormulaAccess().getNameAssignment_2(), "rule__VLSTffFormula__NameAssignment_2"); | ||
117 | builder.put(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4(), "rule__VLSTffFormula__FofRoleAssignment_4"); | ||
118 | builder.put(grammarAccess.getVLSTffFormulaAccess().getFofFormulaAssignment_6(), "rule__VLSTffFormula__FofFormulaAssignment_6"); | ||
119 | builder.put(grammarAccess.getVLSTffFormulaAccess().getAnnotationsAssignment_7_1(), "rule__VLSTffFormula__AnnotationsAssignment_7_1"); | ||
120 | builder.put(grammarAccess.getVLSAnnotationAccess().getNameAssignment_1(), "rule__VLSAnnotation__NameAssignment_1"); | ||
121 | builder.put(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1(), "rule__VLSAnnotation__FollowupAssignment_2_1"); | ||
122 | builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0(), "rule__VLSAnnotationTerms__TermsAssignment_0"); | ||
123 | builder.put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1(), "rule__VLSAnnotationTerms__TermsAssignment_1_1"); | ||
124 | builder.put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_0_1(), "rule__VLSBinary__RightAssignment_1_0_1"); | ||
125 | builder.put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_1_2(), "rule__VLSBinary__RightAssignment_1_1_2"); | ||
126 | builder.put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_2_2(), "rule__VLSBinary__RightAssignment_1_2_2"); | ||
127 | builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_2(), "rule__VLSUniversalQuantifier__VariablesAssignment_1_2"); | ||
128 | builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_3_1(), "rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1"); | ||
129 | builder.put(grammarAccess.getVLSUniversalQuantifierAccess().getOperandAssignment_2(), "rule__VLSUniversalQuantifier__OperandAssignment_2"); | ||
130 | builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_2(), "rule__VLSExistentialQuantifier__VariablesAssignment_1_2"); | ||
131 | builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_3_1(), "rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1"); | ||
132 | builder.put(grammarAccess.getVLSExistentialQuantifierAccess().getOperandAssignment_2(), "rule__VLSExistentialQuantifier__OperandAssignment_2"); | ||
133 | builder.put(grammarAccess.getVLSUnaryNegationAccess().getOperandAssignment_2(), "rule__VLSUnaryNegation__OperandAssignment_2"); | ||
134 | builder.put(grammarAccess.getVLSUnaryInfixAccess().getRightAssignment_1_1(), "rule__VLSUnaryInfix__RightAssignment_1_1"); | ||
135 | builder.put(grammarAccess.getVLSAtomicConstantAccess().getNameAssignment_0_1(), "rule__VLSAtomicConstant__NameAssignment_0_1"); | ||
136 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getConstantAssignment_0_1(), "rule__VLSAtomicFunction__ConstantAssignment_0_1"); | ||
137 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_1(), "rule__VLSAtomicFunction__TermsAssignment_0_2_1"); | ||
138 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_2_1(), "rule__VLSAtomicFunction__TermsAssignment_0_2_2_1"); | ||
139 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getNameAssignment_1_1(), "rule__VLSAtomicFunction__NameAssignment_1_1"); | ||
140 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_3(), "rule__VLSAtomicFunction__TermsAssignment_1_3"); | ||
141 | builder.put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_5(), "rule__VLSAtomicFunction__TermsAssignment_1_5"); | ||
142 | builder.put(grammarAccess.getVLSVariableAccess().getNameAssignment(), "rule__VLSVariable__NameAssignment"); | ||
143 | builder.put(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0(), "rule__VLSFunctionAsTerm__FunctorAssignment_0"); | ||
144 | builder.put(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1(), "rule__VLSFunctionAsTerm__TermsAssignment_1_1"); | ||
145 | builder.put(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1(), "rule__VLSFunctionAsTerm__TermsAssignment_1_2_1"); | ||
146 | builder.put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_0_1(), "rule__VLSDefinedTerm__ValueAssignment_0_1"); | ||
147 | builder.put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_1_1(), "rule__VLSDefinedTerm__ValueAssignment_1_1"); | ||
148 | builder.put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1(), "rule__VLSDefinedTerm__ValueAssignment_2_1"); | ||
149 | builder.put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1(), "rule__VLSDefinedTerm__ValueAssignment_3_1"); | ||
150 | } | ||
151 | } | ||
152 | |||
16 | @Inject | 153 | @Inject |
17 | private VampireLanguageGrammarAccess grammarAccess; | 154 | private NameMappings nameMappings; |
18 | 155 | ||
19 | private Map<AbstractElement, String> nameMappings; | 156 | @Inject |
157 | private VampireLanguageGrammarAccess grammarAccess; | ||
20 | 158 | ||
21 | @Override | 159 | @Override |
22 | protected InternalVampireLanguageParser createParser() { | 160 | protected InternalVampireLanguageParser createParser() { |
@@ -27,132 +165,9 @@ public class VampireLanguageParser extends AbstractContentAssistParser { | |||
27 | 165 | ||
28 | @Override | 166 | @Override |
29 | protected String getRuleName(AbstractElement element) { | 167 | protected String getRuleName(AbstractElement element) { |
30 | if (nameMappings == null) { | 168 | return nameMappings.getRuleName(element); |
31 | nameMappings = new HashMap<AbstractElement, String>() { | ||
32 | private static final long serialVersionUID = 1L; | ||
33 | { | ||
34 | put(grammarAccess.getVampireModelAccess().getAlternatives(), "rule__VampireModel__Alternatives"); | ||
35 | put(grammarAccess.getVLSNameAccess().getNameAlternatives_0(), "rule__VLSName__NameAlternatives_0"); | ||
36 | put(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0(), "rule__VLSFofFormula__NameAlternatives_2_0"); | ||
37 | put(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0(), "rule__VLSTffFormula__NameAlternatives_2_0"); | ||
38 | put(grammarAccess.getVLSRoleAccess().getAlternatives(), "rule__VLSRole__Alternatives"); | ||
39 | put(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0(), "rule__VLSAnnotation__NameAlternatives_1_0"); | ||
40 | put(grammarAccess.getVLSBinaryAccess().getAlternatives_1(), "rule__VLSBinary__Alternatives_1"); | ||
41 | put(grammarAccess.getVLSBinaryAccess().getAlternatives_1_0_0(), "rule__VLSBinary__Alternatives_1_0_0"); | ||
42 | put(grammarAccess.getVLSUnitaryFormulaAccess().getAlternatives(), "rule__VLSUnitaryFormula__Alternatives"); | ||
43 | put(grammarAccess.getVLSUnaryInfixAccess().getAlternatives_1_0(), "rule__VLSUnaryInfix__Alternatives_1_0"); | ||
44 | put(grammarAccess.getVLSAtomicAccess().getAlternatives(), "rule__VLSAtomic__Alternatives"); | ||
45 | put(grammarAccess.getVLSAtomicConstantAccess().getAlternatives(), "rule__VLSAtomicConstant__Alternatives"); | ||
46 | put(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0(), "rule__VLSAtomicConstant__NameAlternatives_0_1_0"); | ||
47 | put(grammarAccess.getVLSAtomicFunctionAccess().getAlternatives(), "rule__VLSAtomicFunction__Alternatives"); | ||
48 | put(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0(), "rule__VLSAtomicFunction__ConstantAlternatives_0_1_0"); | ||
49 | put(grammarAccess.getVLSFofTermAccess().getAlternatives(), "rule__VLSFofTerm__Alternatives"); | ||
50 | put(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0(), "rule__VLSFunctionFof__FunctorAlternatives_0_0"); | ||
51 | put(grammarAccess.getVLSDefinedTermAccess().getAlternatives(), "rule__VLSDefinedTerm__Alternatives"); | ||
52 | put(grammarAccess.getVLSIncludeAccess().getGroup(), "rule__VLSInclude__Group__0"); | ||
53 | put(grammarAccess.getVLSIncludeAccess().getGroup_2(), "rule__VLSInclude__Group_2__0"); | ||
54 | put(grammarAccess.getVLSIncludeAccess().getGroup_2_2(), "rule__VLSInclude__Group_2_2__0"); | ||
55 | put(grammarAccess.getVLSCommentAccess().getGroup(), "rule__VLSComment__Group__0"); | ||
56 | put(grammarAccess.getVLSSatisfiableAccess().getGroup(), "rule__VLSSatisfiable__Group__0"); | ||
57 | put(grammarAccess.getVLSFofFormulaAccess().getGroup(), "rule__VLSFofFormula__Group__0"); | ||
58 | put(grammarAccess.getVLSFofFormulaAccess().getGroup_7(), "rule__VLSFofFormula__Group_7__0"); | ||
59 | put(grammarAccess.getVLSTffFormulaAccess().getGroup(), "rule__VLSTffFormula__Group__0"); | ||
60 | put(grammarAccess.getVLSTffFormulaAccess().getGroup_7(), "rule__VLSTffFormula__Group_7__0"); | ||
61 | put(grammarAccess.getVLSAnnotationAccess().getGroup(), "rule__VLSAnnotation__Group__0"); | ||
62 | put(grammarAccess.getVLSAnnotationAccess().getGroup_2(), "rule__VLSAnnotation__Group_2__0"); | ||
63 | put(grammarAccess.getVLSAnnotationTermsAccess().getGroup(), "rule__VLSAnnotationTerms__Group__0"); | ||
64 | put(grammarAccess.getVLSAnnotationTermsAccess().getGroup_1(), "rule__VLSAnnotationTerms__Group_1__0"); | ||
65 | put(grammarAccess.getVLSBinaryAccess().getGroup(), "rule__VLSBinary__Group__0"); | ||
66 | put(grammarAccess.getVLSBinaryAccess().getGroup_1_0(), "rule__VLSBinary__Group_1_0__0"); | ||
67 | put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_0(), "rule__VLSBinary__Group_1_0_0_0__0"); | ||
68 | put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_1(), "rule__VLSBinary__Group_1_0_0_1__0"); | ||
69 | put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_2(), "rule__VLSBinary__Group_1_0_0_2__0"); | ||
70 | put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_3(), "rule__VLSBinary__Group_1_0_0_3__0"); | ||
71 | put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_4(), "rule__VLSBinary__Group_1_0_0_4__0"); | ||
72 | put(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_5(), "rule__VLSBinary__Group_1_0_0_5__0"); | ||
73 | put(grammarAccess.getVLSBinaryAccess().getGroup_1_1(), "rule__VLSBinary__Group_1_1__0"); | ||
74 | put(grammarAccess.getVLSBinaryAccess().getGroup_1_2(), "rule__VLSBinary__Group_1_2__0"); | ||
75 | put(grammarAccess.getVLSUnitaryFormulaAccess().getGroup_4(), "rule__VLSUnitaryFormula__Group_4__0"); | ||
76 | put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup(), "rule__VLSUniversalQuantifier__Group__0"); | ||
77 | put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1(), "rule__VLSUniversalQuantifier__Group_1__0"); | ||
78 | put(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1_3(), "rule__VLSUniversalQuantifier__Group_1_3__0"); | ||
79 | put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup(), "rule__VLSExistentialQuantifier__Group__0"); | ||
80 | put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1(), "rule__VLSExistentialQuantifier__Group_1__0"); | ||
81 | put(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1_3(), "rule__VLSExistentialQuantifier__Group_1_3__0"); | ||
82 | put(grammarAccess.getVLSUnaryNegationAccess().getGroup(), "rule__VLSUnaryNegation__Group__0"); | ||
83 | put(grammarAccess.getVLSUnaryInfixAccess().getGroup(), "rule__VLSUnaryInfix__Group__0"); | ||
84 | put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1(), "rule__VLSUnaryInfix__Group_1__0"); | ||
85 | put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_0(), "rule__VLSUnaryInfix__Group_1_0_0__0"); | ||
86 | put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_1(), "rule__VLSUnaryInfix__Group_1_0_1__0"); | ||
87 | put(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_2(), "rule__VLSUnaryInfix__Group_1_0_2__0"); | ||
88 | put(grammarAccess.getVLSAtomicConstantAccess().getGroup_0(), "rule__VLSAtomicConstant__Group_0__0"); | ||
89 | put(grammarAccess.getVLSAtomicConstantAccess().getGroup_1(), "rule__VLSAtomicConstant__Group_1__0"); | ||
90 | put(grammarAccess.getVLSAtomicConstantAccess().getGroup_2(), "rule__VLSAtomicConstant__Group_2__0"); | ||
91 | put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0(), "rule__VLSAtomicFunction__Group_0__0"); | ||
92 | put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2(), "rule__VLSAtomicFunction__Group_0_2__0"); | ||
93 | put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2_2(), "rule__VLSAtomicFunction__Group_0_2_2__0"); | ||
94 | put(grammarAccess.getVLSAtomicFunctionAccess().getGroup_1(), "rule__VLSAtomicFunction__Group_1__0"); | ||
95 | put(grammarAccess.getVLSFunctionFofAccess().getGroup(), "rule__VLSFunctionFof__Group__0"); | ||
96 | put(grammarAccess.getVLSFunctionFofAccess().getGroup_1(), "rule__VLSFunctionFof__Group_1__0"); | ||
97 | put(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2(), "rule__VLSFunctionFof__Group_1_2__0"); | ||
98 | put(grammarAccess.getVLSDefinedTermAccess().getGroup_0(), "rule__VLSDefinedTerm__Group_0__0"); | ||
99 | put(grammarAccess.getVLSDefinedTermAccess().getGroup_1(), "rule__VLSDefinedTerm__Group_1__0"); | ||
100 | put(grammarAccess.getVLSDefinedTermAccess().getGroup_2(), "rule__VLSDefinedTerm__Group_2__0"); | ||
101 | put(grammarAccess.getVLSDefinedTermAccess().getGroup_3(), "rule__VLSDefinedTerm__Group_3__0"); | ||
102 | put(grammarAccess.getVampireModelAccess().getIncludesAssignment_0(), "rule__VampireModel__IncludesAssignment_0"); | ||
103 | put(grammarAccess.getVampireModelAccess().getCommentsAssignment_1(), "rule__VampireModel__CommentsAssignment_1"); | ||
104 | put(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2(), "rule__VampireModel__ConfirmationsAssignment_2"); | ||
105 | put(grammarAccess.getVampireModelAccess().getFormulasAssignment_3(), "rule__VampireModel__FormulasAssignment_3"); | ||
106 | put(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4(), "rule__VampireModel__TfformulasAssignment_4"); | ||
107 | put(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1(), "rule__VLSInclude__FileNameAssignment_1"); | ||
108 | put(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1(), "rule__VLSInclude__NamesAssignment_2_1"); | ||
109 | put(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1(), "rule__VLSInclude__NamesAssignment_2_2_1"); | ||
110 | put(grammarAccess.getVLSNameAccess().getNameAssignment(), "rule__VLSName__NameAssignment"); | ||
111 | put(grammarAccess.getVLSCommentAccess().getCommentAssignment_1(), "rule__VLSComment__CommentAssignment_1"); | ||
112 | put(grammarAccess.getVLSFofFormulaAccess().getNameAssignment_2(), "rule__VLSFofFormula__NameAssignment_2"); | ||
113 | put(grammarAccess.getVLSFofFormulaAccess().getFofRoleAssignment_4(), "rule__VLSFofFormula__FofRoleAssignment_4"); | ||
114 | put(grammarAccess.getVLSFofFormulaAccess().getFofFormulaAssignment_6(), "rule__VLSFofFormula__FofFormulaAssignment_6"); | ||
115 | put(grammarAccess.getVLSFofFormulaAccess().getAnnotationsAssignment_7_1(), "rule__VLSFofFormula__AnnotationsAssignment_7_1"); | ||
116 | put(grammarAccess.getVLSTffFormulaAccess().getNameAssignment_2(), "rule__VLSTffFormula__NameAssignment_2"); | ||
117 | put(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4(), "rule__VLSTffFormula__FofRoleAssignment_4"); | ||
118 | put(grammarAccess.getVLSTffFormulaAccess().getFofFormulaAssignment_6(), "rule__VLSTffFormula__FofFormulaAssignment_6"); | ||
119 | put(grammarAccess.getVLSTffFormulaAccess().getAnnotationsAssignment_7_1(), "rule__VLSTffFormula__AnnotationsAssignment_7_1"); | ||
120 | put(grammarAccess.getVLSAnnotationAccess().getNameAssignment_1(), "rule__VLSAnnotation__NameAssignment_1"); | ||
121 | put(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1(), "rule__VLSAnnotation__FollowupAssignment_2_1"); | ||
122 | put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0(), "rule__VLSAnnotationTerms__TermsAssignment_0"); | ||
123 | put(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1(), "rule__VLSAnnotationTerms__TermsAssignment_1_1"); | ||
124 | put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_0_1(), "rule__VLSBinary__RightAssignment_1_0_1"); | ||
125 | put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_1_2(), "rule__VLSBinary__RightAssignment_1_1_2"); | ||
126 | put(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_2_2(), "rule__VLSBinary__RightAssignment_1_2_2"); | ||
127 | put(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_2(), "rule__VLSUniversalQuantifier__VariablesAssignment_1_2"); | ||
128 | put(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_3_1(), "rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1"); | ||
129 | put(grammarAccess.getVLSUniversalQuantifierAccess().getOperandAssignment_2(), "rule__VLSUniversalQuantifier__OperandAssignment_2"); | ||
130 | put(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_2(), "rule__VLSExistentialQuantifier__VariablesAssignment_1_2"); | ||
131 | put(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_3_1(), "rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1"); | ||
132 | put(grammarAccess.getVLSExistentialQuantifierAccess().getOperandAssignment_2(), "rule__VLSExistentialQuantifier__OperandAssignment_2"); | ||
133 | put(grammarAccess.getVLSUnaryNegationAccess().getOperandAssignment_2(), "rule__VLSUnaryNegation__OperandAssignment_2"); | ||
134 | put(grammarAccess.getVLSUnaryInfixAccess().getRightAssignment_1_1(), "rule__VLSUnaryInfix__RightAssignment_1_1"); | ||
135 | put(grammarAccess.getVLSAtomicConstantAccess().getNameAssignment_0_1(), "rule__VLSAtomicConstant__NameAssignment_0_1"); | ||
136 | put(grammarAccess.getVLSAtomicFunctionAccess().getConstantAssignment_0_1(), "rule__VLSAtomicFunction__ConstantAssignment_0_1"); | ||
137 | put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_1(), "rule__VLSAtomicFunction__TermsAssignment_0_2_1"); | ||
138 | put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_2_1(), "rule__VLSAtomicFunction__TermsAssignment_0_2_2_1"); | ||
139 | put(grammarAccess.getVLSAtomicFunctionAccess().getNameAssignment_1_1(), "rule__VLSAtomicFunction__NameAssignment_1_1"); | ||
140 | put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_3(), "rule__VLSAtomicFunction__TermsAssignment_1_3"); | ||
141 | put(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_5(), "rule__VLSAtomicFunction__TermsAssignment_1_5"); | ||
142 | put(grammarAccess.getVLSVariableAccess().getNameAssignment(), "rule__VLSVariable__NameAssignment"); | ||
143 | put(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0(), "rule__VLSFunctionFof__FunctorAssignment_0"); | ||
144 | put(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1(), "rule__VLSFunctionFof__TermsAssignment_1_1"); | ||
145 | put(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1(), "rule__VLSFunctionFof__TermsAssignment_1_2_1"); | ||
146 | put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_0_1(), "rule__VLSDefinedTerm__ValueAssignment_0_1"); | ||
147 | put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_1_1(), "rule__VLSDefinedTerm__ValueAssignment_1_1"); | ||
148 | put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1(), "rule__VLSDefinedTerm__ValueAssignment_2_1"); | ||
149 | put(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1(), "rule__VLSDefinedTerm__ValueAssignment_3_1"); | ||
150 | } | ||
151 | }; | ||
152 | } | ||
153 | return nameMappings.get(element); | ||
154 | } | 169 | } |
155 | 170 | ||
156 | @Override | 171 | @Override |
157 | protected String[] getInitialHiddenTokens() { | 172 | protected String[] getInitialHiddenTokens() { |
158 | return new String[] { "RULE_WS" }; | 173 | return new String[] { "RULE_WS" }; |
@@ -165,4 +180,12 @@ public class VampireLanguageParser extends AbstractContentAssistParser { | |||
165 | public void setGrammarAccess(VampireLanguageGrammarAccess grammarAccess) { | 180 | public void setGrammarAccess(VampireLanguageGrammarAccess grammarAccess) { |
166 | this.grammarAccess = grammarAccess; | 181 | this.grammarAccess = grammarAccess; |
167 | } | 182 | } |
183 | |||
184 | public NameMappings getNameMappings() { | ||
185 | return nameMappings; | ||
186 | } | ||
187 | |||
188 | public void setNameMappings(NameMappings nameMappings) { | ||
189 | this.nameMappings = nameMappings; | ||
190 | } | ||
168 | } | 191 | } |
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 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | grammar InternalVampireLanguage; | 4 | grammar InternalVampireLanguage; |
5 | 5 | ||
@@ -624,25 +624,25 @@ finally { | |||
624 | restoreStackSize(stackSize); | 624 | restoreStackSize(stackSize); |
625 | } | 625 | } |
626 | 626 | ||
627 | // Entry rule entryRuleVLSFunctionFof | 627 | // Entry rule entryRuleVLSFunctionAsTerm |
628 | entryRuleVLSFunctionFof | 628 | entryRuleVLSFunctionAsTerm |
629 | : | 629 | : |
630 | { before(grammarAccess.getVLSFunctionFofRule()); } | 630 | { before(grammarAccess.getVLSFunctionAsTermRule()); } |
631 | ruleVLSFunctionFof | 631 | ruleVLSFunctionAsTerm |
632 | { after(grammarAccess.getVLSFunctionFofRule()); } | 632 | { after(grammarAccess.getVLSFunctionAsTermRule()); } |
633 | EOF | 633 | EOF |
634 | ; | 634 | ; |
635 | 635 | ||
636 | // Rule VLSFunctionFof | 636 | // Rule VLSFunctionAsTerm |
637 | ruleVLSFunctionFof | 637 | ruleVLSFunctionAsTerm |
638 | @init { | 638 | @init { |
639 | int stackSize = keepStackSize(); | 639 | int stackSize = keepStackSize(); |
640 | } | 640 | } |
641 | : | 641 | : |
642 | ( | 642 | ( |
643 | { before(grammarAccess.getVLSFunctionFofAccess().getGroup()); } | 643 | { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); } |
644 | (rule__VLSFunctionFof__Group__0) | 644 | (rule__VLSFunctionAsTerm__Group__0) |
645 | { after(grammarAccess.getVLSFunctionFofAccess().getGroup()); } | 645 | { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); } |
646 | ) | 646 | ) |
647 | ; | 647 | ; |
648 | finally { | 648 | finally { |
@@ -1249,9 +1249,9 @@ rule__VLSFofTerm__Alternatives | |||
1249 | ) | 1249 | ) |
1250 | | | 1250 | | |
1251 | ( | 1251 | ( |
1252 | { before(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); } | 1252 | { before(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); } |
1253 | ruleVLSFunctionFof | 1253 | ruleVLSFunctionAsTerm |
1254 | { after(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); } | 1254 | { after(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); } |
1255 | ) | 1255 | ) |
1256 | | | 1256 | | |
1257 | ( | 1257 | ( |
@@ -1264,33 +1264,33 @@ finally { | |||
1264 | restoreStackSize(stackSize); | 1264 | restoreStackSize(stackSize); |
1265 | } | 1265 | } |
1266 | 1266 | ||
1267 | rule__VLSFunctionFof__FunctorAlternatives_0_0 | 1267 | rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 |
1268 | @init { | 1268 | @init { |
1269 | int stackSize = keepStackSize(); | 1269 | int stackSize = keepStackSize(); |
1270 | } | 1270 | } |
1271 | : | 1271 | : |
1272 | ( | 1272 | ( |
1273 | { before(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } | 1273 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } |
1274 | RULE_LOWER_WORD_ID | 1274 | RULE_LOWER_WORD_ID |
1275 | { after(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } | 1275 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); } |
1276 | ) | 1276 | ) |
1277 | | | 1277 | | |
1278 | ( | 1278 | ( |
1279 | { before(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } | 1279 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } |
1280 | RULE_SINGLE_QUOTE | 1280 | RULE_SINGLE_QUOTE |
1281 | { after(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } | 1281 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); } |
1282 | ) | 1282 | ) |
1283 | | | 1283 | | |
1284 | ( | 1284 | ( |
1285 | { before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } | 1285 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } |
1286 | RULE_DOLLAR_ID | 1286 | RULE_DOLLAR_ID |
1287 | { after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } | 1287 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); } |
1288 | ) | 1288 | ) |
1289 | | | 1289 | | |
1290 | ( | 1290 | ( |
1291 | { before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } | 1291 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } |
1292 | RULE_DOUBLE_DOLLAR_ID | 1292 | RULE_DOUBLE_DOLLAR_ID |
1293 | { after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } | 1293 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); } |
1294 | ) | 1294 | ) |
1295 | ; | 1295 | ; |
1296 | finally { | 1296 | finally { |
@@ -4840,53 +4840,53 @@ finally { | |||
4840 | } | 4840 | } |
4841 | 4841 | ||
4842 | 4842 | ||
4843 | rule__VLSFunctionFof__Group__0 | 4843 | rule__VLSFunctionAsTerm__Group__0 |
4844 | @init { | 4844 | @init { |
4845 | int stackSize = keepStackSize(); | 4845 | int stackSize = keepStackSize(); |
4846 | } | 4846 | } |
4847 | : | 4847 | : |
4848 | rule__VLSFunctionFof__Group__0__Impl | 4848 | rule__VLSFunctionAsTerm__Group__0__Impl |
4849 | rule__VLSFunctionFof__Group__1 | 4849 | rule__VLSFunctionAsTerm__Group__1 |
4850 | ; | 4850 | ; |
4851 | finally { | 4851 | finally { |
4852 | restoreStackSize(stackSize); | 4852 | restoreStackSize(stackSize); |
4853 | } | 4853 | } |
4854 | 4854 | ||
4855 | rule__VLSFunctionFof__Group__0__Impl | 4855 | rule__VLSFunctionAsTerm__Group__0__Impl |
4856 | @init { | 4856 | @init { |
4857 | int stackSize = keepStackSize(); | 4857 | int stackSize = keepStackSize(); |
4858 | } | 4858 | } |
4859 | : | 4859 | : |
4860 | ( | 4860 | ( |
4861 | { before(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); } | 4861 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); } |
4862 | (rule__VLSFunctionFof__FunctorAssignment_0) | 4862 | (rule__VLSFunctionAsTerm__FunctorAssignment_0) |
4863 | { after(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); } | 4863 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); } |
4864 | ) | 4864 | ) |
4865 | ; | 4865 | ; |
4866 | finally { | 4866 | finally { |
4867 | restoreStackSize(stackSize); | 4867 | restoreStackSize(stackSize); |
4868 | } | 4868 | } |
4869 | 4869 | ||
4870 | rule__VLSFunctionFof__Group__1 | 4870 | rule__VLSFunctionAsTerm__Group__1 |
4871 | @init { | 4871 | @init { |
4872 | int stackSize = keepStackSize(); | 4872 | int stackSize = keepStackSize(); |
4873 | } | 4873 | } |
4874 | : | 4874 | : |
4875 | rule__VLSFunctionFof__Group__1__Impl | 4875 | rule__VLSFunctionAsTerm__Group__1__Impl |
4876 | ; | 4876 | ; |
4877 | finally { | 4877 | finally { |
4878 | restoreStackSize(stackSize); | 4878 | restoreStackSize(stackSize); |
4879 | } | 4879 | } |
4880 | 4880 | ||
4881 | rule__VLSFunctionFof__Group__1__Impl | 4881 | rule__VLSFunctionAsTerm__Group__1__Impl |
4882 | @init { | 4882 | @init { |
4883 | int stackSize = keepStackSize(); | 4883 | int stackSize = keepStackSize(); |
4884 | } | 4884 | } |
4885 | : | 4885 | : |
4886 | ( | 4886 | ( |
4887 | { before(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); } | 4887 | { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); } |
4888 | (rule__VLSFunctionFof__Group_1__0)? | 4888 | (rule__VLSFunctionAsTerm__Group_1__0)? |
4889 | { after(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); } | 4889 | { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); } |
4890 | ) | 4890 | ) |
4891 | ; | 4891 | ; |
4892 | finally { | 4892 | finally { |
@@ -4894,107 +4894,107 @@ finally { | |||
4894 | } | 4894 | } |
4895 | 4895 | ||
4896 | 4896 | ||
4897 | rule__VLSFunctionFof__Group_1__0 | 4897 | rule__VLSFunctionAsTerm__Group_1__0 |
4898 | @init { | 4898 | @init { |
4899 | int stackSize = keepStackSize(); | 4899 | int stackSize = keepStackSize(); |
4900 | } | 4900 | } |
4901 | : | 4901 | : |
4902 | rule__VLSFunctionFof__Group_1__0__Impl | 4902 | rule__VLSFunctionAsTerm__Group_1__0__Impl |
4903 | rule__VLSFunctionFof__Group_1__1 | 4903 | rule__VLSFunctionAsTerm__Group_1__1 |
4904 | ; | 4904 | ; |
4905 | finally { | 4905 | finally { |
4906 | restoreStackSize(stackSize); | 4906 | restoreStackSize(stackSize); |
4907 | } | 4907 | } |
4908 | 4908 | ||
4909 | rule__VLSFunctionFof__Group_1__0__Impl | 4909 | rule__VLSFunctionAsTerm__Group_1__0__Impl |
4910 | @init { | 4910 | @init { |
4911 | int stackSize = keepStackSize(); | 4911 | int stackSize = keepStackSize(); |
4912 | } | 4912 | } |
4913 | : | 4913 | : |
4914 | ( | 4914 | ( |
4915 | { before(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); } | 4915 | { before(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); } |
4916 | '(' | 4916 | '(' |
4917 | { after(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); } | 4917 | { after(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); } |
4918 | ) | 4918 | ) |
4919 | ; | 4919 | ; |
4920 | finally { | 4920 | finally { |
4921 | restoreStackSize(stackSize); | 4921 | restoreStackSize(stackSize); |
4922 | } | 4922 | } |
4923 | 4923 | ||
4924 | rule__VLSFunctionFof__Group_1__1 | 4924 | rule__VLSFunctionAsTerm__Group_1__1 |
4925 | @init { | 4925 | @init { |
4926 | int stackSize = keepStackSize(); | 4926 | int stackSize = keepStackSize(); |
4927 | } | 4927 | } |
4928 | : | 4928 | : |
4929 | rule__VLSFunctionFof__Group_1__1__Impl | 4929 | rule__VLSFunctionAsTerm__Group_1__1__Impl |
4930 | rule__VLSFunctionFof__Group_1__2 | 4930 | rule__VLSFunctionAsTerm__Group_1__2 |
4931 | ; | 4931 | ; |
4932 | finally { | 4932 | finally { |
4933 | restoreStackSize(stackSize); | 4933 | restoreStackSize(stackSize); |
4934 | } | 4934 | } |
4935 | 4935 | ||
4936 | rule__VLSFunctionFof__Group_1__1__Impl | 4936 | rule__VLSFunctionAsTerm__Group_1__1__Impl |
4937 | @init { | 4937 | @init { |
4938 | int stackSize = keepStackSize(); | 4938 | int stackSize = keepStackSize(); |
4939 | } | 4939 | } |
4940 | : | 4940 | : |
4941 | ( | 4941 | ( |
4942 | { before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); } | 4942 | { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); } |
4943 | (rule__VLSFunctionFof__TermsAssignment_1_1) | 4943 | (rule__VLSFunctionAsTerm__TermsAssignment_1_1) |
4944 | { after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); } | 4944 | { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); } |
4945 | ) | 4945 | ) |
4946 | ; | 4946 | ; |
4947 | finally { | 4947 | finally { |
4948 | restoreStackSize(stackSize); | 4948 | restoreStackSize(stackSize); |
4949 | } | 4949 | } |
4950 | 4950 | ||
4951 | rule__VLSFunctionFof__Group_1__2 | 4951 | rule__VLSFunctionAsTerm__Group_1__2 |
4952 | @init { | 4952 | @init { |
4953 | int stackSize = keepStackSize(); | 4953 | int stackSize = keepStackSize(); |
4954 | } | 4954 | } |
4955 | : | 4955 | : |
4956 | rule__VLSFunctionFof__Group_1__2__Impl | 4956 | rule__VLSFunctionAsTerm__Group_1__2__Impl |
4957 | rule__VLSFunctionFof__Group_1__3 | 4957 | rule__VLSFunctionAsTerm__Group_1__3 |
4958 | ; | 4958 | ; |
4959 | finally { | 4959 | finally { |
4960 | restoreStackSize(stackSize); | 4960 | restoreStackSize(stackSize); |
4961 | } | 4961 | } |
4962 | 4962 | ||
4963 | rule__VLSFunctionFof__Group_1__2__Impl | 4963 | rule__VLSFunctionAsTerm__Group_1__2__Impl |
4964 | @init { | 4964 | @init { |
4965 | int stackSize = keepStackSize(); | 4965 | int stackSize = keepStackSize(); |
4966 | } | 4966 | } |
4967 | : | 4967 | : |
4968 | ( | 4968 | ( |
4969 | { before(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); } | 4969 | { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); } |
4970 | (rule__VLSFunctionFof__Group_1_2__0)* | 4970 | (rule__VLSFunctionAsTerm__Group_1_2__0)* |
4971 | { after(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); } | 4971 | { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); } |
4972 | ) | 4972 | ) |
4973 | ; | 4973 | ; |
4974 | finally { | 4974 | finally { |
4975 | restoreStackSize(stackSize); | 4975 | restoreStackSize(stackSize); |
4976 | } | 4976 | } |
4977 | 4977 | ||
4978 | rule__VLSFunctionFof__Group_1__3 | 4978 | rule__VLSFunctionAsTerm__Group_1__3 |
4979 | @init { | 4979 | @init { |
4980 | int stackSize = keepStackSize(); | 4980 | int stackSize = keepStackSize(); |
4981 | } | 4981 | } |
4982 | : | 4982 | : |
4983 | rule__VLSFunctionFof__Group_1__3__Impl | 4983 | rule__VLSFunctionAsTerm__Group_1__3__Impl |
4984 | ; | 4984 | ; |
4985 | finally { | 4985 | finally { |
4986 | restoreStackSize(stackSize); | 4986 | restoreStackSize(stackSize); |
4987 | } | 4987 | } |
4988 | 4988 | ||
4989 | rule__VLSFunctionFof__Group_1__3__Impl | 4989 | rule__VLSFunctionAsTerm__Group_1__3__Impl |
4990 | @init { | 4990 | @init { |
4991 | int stackSize = keepStackSize(); | 4991 | int stackSize = keepStackSize(); |
4992 | } | 4992 | } |
4993 | : | 4993 | : |
4994 | ( | 4994 | ( |
4995 | { before(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); } | 4995 | { before(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); } |
4996 | ')' | 4996 | ')' |
4997 | { after(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); } | 4997 | { after(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); } |
4998 | ) | 4998 | ) |
4999 | ; | 4999 | ; |
5000 | finally { | 5000 | finally { |
@@ -5002,53 +5002,53 @@ finally { | |||
5002 | } | 5002 | } |
5003 | 5003 | ||
5004 | 5004 | ||
5005 | rule__VLSFunctionFof__Group_1_2__0 | 5005 | rule__VLSFunctionAsTerm__Group_1_2__0 |
5006 | @init { | 5006 | @init { |
5007 | int stackSize = keepStackSize(); | 5007 | int stackSize = keepStackSize(); |
5008 | } | 5008 | } |
5009 | : | 5009 | : |
5010 | rule__VLSFunctionFof__Group_1_2__0__Impl | 5010 | rule__VLSFunctionAsTerm__Group_1_2__0__Impl |
5011 | rule__VLSFunctionFof__Group_1_2__1 | 5011 | rule__VLSFunctionAsTerm__Group_1_2__1 |
5012 | ; | 5012 | ; |
5013 | finally { | 5013 | finally { |
5014 | restoreStackSize(stackSize); | 5014 | restoreStackSize(stackSize); |
5015 | } | 5015 | } |
5016 | 5016 | ||
5017 | rule__VLSFunctionFof__Group_1_2__0__Impl | 5017 | rule__VLSFunctionAsTerm__Group_1_2__0__Impl |
5018 | @init { | 5018 | @init { |
5019 | int stackSize = keepStackSize(); | 5019 | int stackSize = keepStackSize(); |
5020 | } | 5020 | } |
5021 | : | 5021 | : |
5022 | ( | 5022 | ( |
5023 | { before(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); } | 5023 | { before(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); } |
5024 | ',' | 5024 | ',' |
5025 | { after(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); } | 5025 | { after(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); } |
5026 | ) | 5026 | ) |
5027 | ; | 5027 | ; |
5028 | finally { | 5028 | finally { |
5029 | restoreStackSize(stackSize); | 5029 | restoreStackSize(stackSize); |
5030 | } | 5030 | } |
5031 | 5031 | ||
5032 | rule__VLSFunctionFof__Group_1_2__1 | 5032 | rule__VLSFunctionAsTerm__Group_1_2__1 |
5033 | @init { | 5033 | @init { |
5034 | int stackSize = keepStackSize(); | 5034 | int stackSize = keepStackSize(); |
5035 | } | 5035 | } |
5036 | : | 5036 | : |
5037 | rule__VLSFunctionFof__Group_1_2__1__Impl | 5037 | rule__VLSFunctionAsTerm__Group_1_2__1__Impl |
5038 | ; | 5038 | ; |
5039 | finally { | 5039 | finally { |
5040 | restoreStackSize(stackSize); | 5040 | restoreStackSize(stackSize); |
5041 | } | 5041 | } |
5042 | 5042 | ||
5043 | rule__VLSFunctionFof__Group_1_2__1__Impl | 5043 | rule__VLSFunctionAsTerm__Group_1_2__1__Impl |
5044 | @init { | 5044 | @init { |
5045 | int stackSize = keepStackSize(); | 5045 | int stackSize = keepStackSize(); |
5046 | } | 5046 | } |
5047 | : | 5047 | : |
5048 | ( | 5048 | ( |
5049 | { before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); } | 5049 | { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); } |
5050 | (rule__VLSFunctionFof__TermsAssignment_1_2_1) | 5050 | (rule__VLSFunctionAsTerm__TermsAssignment_1_2_1) |
5051 | { after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); } | 5051 | { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); } |
5052 | ) | 5052 | ) |
5053 | ; | 5053 | ; |
5054 | finally { | 5054 | finally { |
@@ -5891,45 +5891,45 @@ finally { | |||
5891 | restoreStackSize(stackSize); | 5891 | restoreStackSize(stackSize); |
5892 | } | 5892 | } |
5893 | 5893 | ||
5894 | rule__VLSFunctionFof__FunctorAssignment_0 | 5894 | rule__VLSFunctionAsTerm__FunctorAssignment_0 |
5895 | @init { | 5895 | @init { |
5896 | int stackSize = keepStackSize(); | 5896 | int stackSize = keepStackSize(); |
5897 | } | 5897 | } |
5898 | : | 5898 | : |
5899 | ( | 5899 | ( |
5900 | { before(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); } | 5900 | { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); } |
5901 | (rule__VLSFunctionFof__FunctorAlternatives_0_0) | 5901 | (rule__VLSFunctionAsTerm__FunctorAlternatives_0_0) |
5902 | { after(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); } | 5902 | { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); } |
5903 | ) | 5903 | ) |
5904 | ; | 5904 | ; |
5905 | finally { | 5905 | finally { |
5906 | restoreStackSize(stackSize); | 5906 | restoreStackSize(stackSize); |
5907 | } | 5907 | } |
5908 | 5908 | ||
5909 | rule__VLSFunctionFof__TermsAssignment_1_1 | 5909 | rule__VLSFunctionAsTerm__TermsAssignment_1_1 |
5910 | @init { | 5910 | @init { |
5911 | int stackSize = keepStackSize(); | 5911 | int stackSize = keepStackSize(); |
5912 | } | 5912 | } |
5913 | : | 5913 | : |
5914 | ( | 5914 | ( |
5915 | { before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } | 5915 | { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } |
5916 | ruleVLSFofTerm | 5916 | ruleVLSFofTerm |
5917 | { after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } | 5917 | { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); } |
5918 | ) | 5918 | ) |
5919 | ; | 5919 | ; |
5920 | finally { | 5920 | finally { |
5921 | restoreStackSize(stackSize); | 5921 | restoreStackSize(stackSize); |
5922 | } | 5922 | } |
5923 | 5923 | ||
5924 | rule__VLSFunctionFof__TermsAssignment_1_2_1 | 5924 | rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 |
5925 | @init { | 5925 | @init { |
5926 | int stackSize = keepStackSize(); | 5926 | int stackSize = keepStackSize(); |
5927 | } | 5927 | } |
5928 | : | 5928 | : |
5929 | ( | 5929 | ( |
5930 | { before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } | 5930 | { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } |
5931 | ruleVLSFofTerm | 5931 | ruleVLSFofTerm |
5932 | { after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } | 5932 | { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); } |
5933 | ) | 5933 | ) |
5934 | ; | 5934 | ; |
5935 | finally { | 5935 | 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 | |||
1906 | // $ANTLR end "ruleVLSFofTerm" | 1906 | // $ANTLR end "ruleVLSFofTerm" |
1907 | 1907 | ||
1908 | 1908 | ||
1909 | // $ANTLR start "entryRuleVLSFunctionFof" | 1909 | // $ANTLR start "entryRuleVLSFunctionAsTerm" |
1910 | // InternalVampireLanguage.g:628:1: entryRuleVLSFunctionFof : ruleVLSFunctionFof EOF ; | 1910 | // InternalVampireLanguage.g:628:1: entryRuleVLSFunctionAsTerm : ruleVLSFunctionAsTerm EOF ; |
1911 | public final void entryRuleVLSFunctionFof() throws RecognitionException { | 1911 | public final void entryRuleVLSFunctionAsTerm() throws RecognitionException { |
1912 | try { | 1912 | try { |
1913 | // InternalVampireLanguage.g:629:1: ( ruleVLSFunctionFof EOF ) | 1913 | // InternalVampireLanguage.g:629:1: ( ruleVLSFunctionAsTerm EOF ) |
1914 | // InternalVampireLanguage.g:630:1: ruleVLSFunctionFof EOF | 1914 | // InternalVampireLanguage.g:630:1: ruleVLSFunctionAsTerm EOF |
1915 | { | 1915 | { |
1916 | before(grammarAccess.getVLSFunctionFofRule()); | 1916 | before(grammarAccess.getVLSFunctionAsTermRule()); |
1917 | pushFollow(FOLLOW_1); | 1917 | pushFollow(FOLLOW_1); |
1918 | ruleVLSFunctionFof(); | 1918 | ruleVLSFunctionAsTerm(); |
1919 | 1919 | ||
1920 | state._fsp--; | 1920 | state._fsp--; |
1921 | 1921 | ||
1922 | after(grammarAccess.getVLSFunctionFofRule()); | 1922 | after(grammarAccess.getVLSFunctionAsTermRule()); |
1923 | match(input,EOF,FOLLOW_2); | 1923 | match(input,EOF,FOLLOW_2); |
1924 | 1924 | ||
1925 | } | 1925 | } |
@@ -1933,35 +1933,35 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
1933 | } | 1933 | } |
1934 | return ; | 1934 | return ; |
1935 | } | 1935 | } |
1936 | // $ANTLR end "entryRuleVLSFunctionFof" | 1936 | // $ANTLR end "entryRuleVLSFunctionAsTerm" |
1937 | 1937 | ||
1938 | 1938 | ||
1939 | // $ANTLR start "ruleVLSFunctionFof" | 1939 | // $ANTLR start "ruleVLSFunctionAsTerm" |
1940 | // InternalVampireLanguage.g:637:1: ruleVLSFunctionFof : ( ( rule__VLSFunctionFof__Group__0 ) ) ; | 1940 | // InternalVampireLanguage.g:637:1: ruleVLSFunctionAsTerm : ( ( rule__VLSFunctionAsTerm__Group__0 ) ) ; |
1941 | public final void ruleVLSFunctionFof() throws RecognitionException { | 1941 | public final void ruleVLSFunctionAsTerm() throws RecognitionException { |
1942 | 1942 | ||
1943 | int stackSize = keepStackSize(); | 1943 | int stackSize = keepStackSize(); |
1944 | 1944 | ||
1945 | try { | 1945 | try { |
1946 | // InternalVampireLanguage.g:641:2: ( ( ( rule__VLSFunctionFof__Group__0 ) ) ) | 1946 | // InternalVampireLanguage.g:641:2: ( ( ( rule__VLSFunctionAsTerm__Group__0 ) ) ) |
1947 | // InternalVampireLanguage.g:642:2: ( ( rule__VLSFunctionFof__Group__0 ) ) | 1947 | // InternalVampireLanguage.g:642:2: ( ( rule__VLSFunctionAsTerm__Group__0 ) ) |
1948 | { | 1948 | { |
1949 | // InternalVampireLanguage.g:642:2: ( ( rule__VLSFunctionFof__Group__0 ) ) | 1949 | // InternalVampireLanguage.g:642:2: ( ( rule__VLSFunctionAsTerm__Group__0 ) ) |
1950 | // InternalVampireLanguage.g:643:3: ( rule__VLSFunctionFof__Group__0 ) | 1950 | // InternalVampireLanguage.g:643:3: ( rule__VLSFunctionAsTerm__Group__0 ) |
1951 | { | 1951 | { |
1952 | before(grammarAccess.getVLSFunctionFofAccess().getGroup()); | 1952 | before(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); |
1953 | // InternalVampireLanguage.g:644:3: ( rule__VLSFunctionFof__Group__0 ) | 1953 | // InternalVampireLanguage.g:644:3: ( rule__VLSFunctionAsTerm__Group__0 ) |
1954 | // InternalVampireLanguage.g:644:4: rule__VLSFunctionFof__Group__0 | 1954 | // InternalVampireLanguage.g:644:4: rule__VLSFunctionAsTerm__Group__0 |
1955 | { | 1955 | { |
1956 | pushFollow(FOLLOW_2); | 1956 | pushFollow(FOLLOW_2); |
1957 | rule__VLSFunctionFof__Group__0(); | 1957 | rule__VLSFunctionAsTerm__Group__0(); |
1958 | 1958 | ||
1959 | state._fsp--; | 1959 | state._fsp--; |
1960 | 1960 | ||
1961 | 1961 | ||
1962 | } | 1962 | } |
1963 | 1963 | ||
1964 | after(grammarAccess.getVLSFunctionFofAccess().getGroup()); | 1964 | after(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); |
1965 | 1965 | ||
1966 | } | 1966 | } |
1967 | 1967 | ||
@@ -1980,7 +1980,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
1980 | } | 1980 | } |
1981 | return ; | 1981 | return ; |
1982 | } | 1982 | } |
1983 | // $ANTLR end "ruleVLSFunctionFof" | 1983 | // $ANTLR end "ruleVLSFunctionAsTerm" |
1984 | 1984 | ||
1985 | 1985 | ||
1986 | // $ANTLR start "entryRuleVLSDefinedTerm" | 1986 | // $ANTLR start "entryRuleVLSDefinedTerm" |
@@ -4386,13 +4386,13 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
4386 | 4386 | ||
4387 | 4387 | ||
4388 | // $ANTLR start "rule__VLSFofTerm__Alternatives" | 4388 | // $ANTLR start "rule__VLSFofTerm__Alternatives" |
4389 | // InternalVampireLanguage.g:1240:1: rule__VLSFofTerm__Alternatives : ( ( ruleVLSVariable ) | ( ruleVLSFunctionFof ) | ( ruleVLSDefinedTerm ) ); | 4389 | // InternalVampireLanguage.g:1240:1: rule__VLSFofTerm__Alternatives : ( ( ruleVLSVariable ) | ( ruleVLSFunctionAsTerm ) | ( ruleVLSDefinedTerm ) ); |
4390 | public final void rule__VLSFofTerm__Alternatives() throws RecognitionException { | 4390 | public final void rule__VLSFofTerm__Alternatives() throws RecognitionException { |
4391 | 4391 | ||
4392 | int stackSize = keepStackSize(); | 4392 | int stackSize = keepStackSize(); |
4393 | 4393 | ||
4394 | try { | 4394 | try { |
4395 | // InternalVampireLanguage.g:1244:1: ( ( ruleVLSVariable ) | ( ruleVLSFunctionFof ) | ( ruleVLSDefinedTerm ) ) | 4395 | // InternalVampireLanguage.g:1244:1: ( ( ruleVLSVariable ) | ( ruleVLSFunctionAsTerm ) | ( ruleVLSDefinedTerm ) ) |
4396 | int alt19=3; | 4396 | int alt19=3; |
4397 | switch ( input.LA(1) ) { | 4397 | switch ( input.LA(1) ) { |
4398 | case RULE_UPPER_WORD_ID: | 4398 | case RULE_UPPER_WORD_ID: |
@@ -4444,18 +4444,18 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
4444 | } | 4444 | } |
4445 | break; | 4445 | break; |
4446 | case 2 : | 4446 | case 2 : |
4447 | // InternalVampireLanguage.g:1251:2: ( ruleVLSFunctionFof ) | 4447 | // InternalVampireLanguage.g:1251:2: ( ruleVLSFunctionAsTerm ) |
4448 | { | 4448 | { |
4449 | // InternalVampireLanguage.g:1251:2: ( ruleVLSFunctionFof ) | 4449 | // InternalVampireLanguage.g:1251:2: ( ruleVLSFunctionAsTerm ) |
4450 | // InternalVampireLanguage.g:1252:3: ruleVLSFunctionFof | 4450 | // InternalVampireLanguage.g:1252:3: ruleVLSFunctionAsTerm |
4451 | { | 4451 | { |
4452 | before(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); | 4452 | before(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); |
4453 | pushFollow(FOLLOW_2); | 4453 | pushFollow(FOLLOW_2); |
4454 | ruleVLSFunctionFof(); | 4454 | ruleVLSFunctionAsTerm(); |
4455 | 4455 | ||
4456 | state._fsp--; | 4456 | state._fsp--; |
4457 | 4457 | ||
4458 | after(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); | 4458 | after(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); |
4459 | 4459 | ||
4460 | } | 4460 | } |
4461 | 4461 | ||
@@ -4498,9 +4498,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
4498 | // $ANTLR end "rule__VLSFofTerm__Alternatives" | 4498 | // $ANTLR end "rule__VLSFofTerm__Alternatives" |
4499 | 4499 | ||
4500 | 4500 | ||
4501 | // $ANTLR start "rule__VLSFunctionFof__FunctorAlternatives_0_0" | 4501 | // $ANTLR start "rule__VLSFunctionAsTerm__FunctorAlternatives_0_0" |
4502 | // InternalVampireLanguage.g:1267:1: rule__VLSFunctionFof__FunctorAlternatives_0_0 : ( ( RULE_LOWER_WORD_ID ) | ( RULE_SINGLE_QUOTE ) | ( RULE_DOLLAR_ID ) | ( RULE_DOUBLE_DOLLAR_ID ) ); | 4502 | // InternalVampireLanguage.g:1267:1: rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 : ( ( RULE_LOWER_WORD_ID ) | ( RULE_SINGLE_QUOTE ) | ( RULE_DOLLAR_ID ) | ( RULE_DOUBLE_DOLLAR_ID ) ); |
4503 | public final void rule__VLSFunctionFof__FunctorAlternatives_0_0() throws RecognitionException { | 4503 | public final void rule__VLSFunctionAsTerm__FunctorAlternatives_0_0() throws RecognitionException { |
4504 | 4504 | ||
4505 | int stackSize = keepStackSize(); | 4505 | int stackSize = keepStackSize(); |
4506 | 4506 | ||
@@ -4542,9 +4542,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
4542 | // InternalVampireLanguage.g:1272:2: ( RULE_LOWER_WORD_ID ) | 4542 | // InternalVampireLanguage.g:1272:2: ( RULE_LOWER_WORD_ID ) |
4543 | // InternalVampireLanguage.g:1273:3: RULE_LOWER_WORD_ID | 4543 | // InternalVampireLanguage.g:1273:3: RULE_LOWER_WORD_ID |
4544 | { | 4544 | { |
4545 | before(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); | 4545 | before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); |
4546 | match(input,RULE_LOWER_WORD_ID,FOLLOW_2); | 4546 | match(input,RULE_LOWER_WORD_ID,FOLLOW_2); |
4547 | after(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); | 4547 | after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); |
4548 | 4548 | ||
4549 | } | 4549 | } |
4550 | 4550 | ||
@@ -4557,9 +4557,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
4557 | // InternalVampireLanguage.g:1278:2: ( RULE_SINGLE_QUOTE ) | 4557 | // InternalVampireLanguage.g:1278:2: ( RULE_SINGLE_QUOTE ) |
4558 | // InternalVampireLanguage.g:1279:3: RULE_SINGLE_QUOTE | 4558 | // InternalVampireLanguage.g:1279:3: RULE_SINGLE_QUOTE |
4559 | { | 4559 | { |
4560 | before(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); | 4560 | before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); |
4561 | match(input,RULE_SINGLE_QUOTE,FOLLOW_2); | 4561 | match(input,RULE_SINGLE_QUOTE,FOLLOW_2); |
4562 | after(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); | 4562 | after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); |
4563 | 4563 | ||
4564 | } | 4564 | } |
4565 | 4565 | ||
@@ -4572,9 +4572,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
4572 | // InternalVampireLanguage.g:1284:2: ( RULE_DOLLAR_ID ) | 4572 | // InternalVampireLanguage.g:1284:2: ( RULE_DOLLAR_ID ) |
4573 | // InternalVampireLanguage.g:1285:3: RULE_DOLLAR_ID | 4573 | // InternalVampireLanguage.g:1285:3: RULE_DOLLAR_ID |
4574 | { | 4574 | { |
4575 | before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); | 4575 | before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); |
4576 | match(input,RULE_DOLLAR_ID,FOLLOW_2); | 4576 | match(input,RULE_DOLLAR_ID,FOLLOW_2); |
4577 | after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); | 4577 | after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); |
4578 | 4578 | ||
4579 | } | 4579 | } |
4580 | 4580 | ||
@@ -4587,9 +4587,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
4587 | // InternalVampireLanguage.g:1290:2: ( RULE_DOUBLE_DOLLAR_ID ) | 4587 | // InternalVampireLanguage.g:1290:2: ( RULE_DOUBLE_DOLLAR_ID ) |
4588 | // InternalVampireLanguage.g:1291:3: RULE_DOUBLE_DOLLAR_ID | 4588 | // InternalVampireLanguage.g:1291:3: RULE_DOUBLE_DOLLAR_ID |
4589 | { | 4589 | { |
4590 | before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); | 4590 | before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); |
4591 | match(input,RULE_DOUBLE_DOLLAR_ID,FOLLOW_2); | 4591 | match(input,RULE_DOUBLE_DOLLAR_ID,FOLLOW_2); |
4592 | after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); | 4592 | after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); |
4593 | 4593 | ||
4594 | } | 4594 | } |
4595 | 4595 | ||
@@ -4610,7 +4610,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
4610 | } | 4610 | } |
4611 | return ; | 4611 | return ; |
4612 | } | 4612 | } |
4613 | // $ANTLR end "rule__VLSFunctionFof__FunctorAlternatives_0_0" | 4613 | // $ANTLR end "rule__VLSFunctionAsTerm__FunctorAlternatives_0_0" |
4614 | 4614 | ||
4615 | 4615 | ||
4616 | // $ANTLR start "rule__VLSDefinedTerm__Alternatives" | 4616 | // $ANTLR start "rule__VLSDefinedTerm__Alternatives" |
@@ -15016,23 +15016,23 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15016 | // $ANTLR end "rule__VLSAtomicFunction__Group_1__6__Impl" | 15016 | // $ANTLR end "rule__VLSAtomicFunction__Group_1__6__Impl" |
15017 | 15017 | ||
15018 | 15018 | ||
15019 | // $ANTLR start "rule__VLSFunctionFof__Group__0" | 15019 | // $ANTLR start "rule__VLSFunctionAsTerm__Group__0" |
15020 | // InternalVampireLanguage.g:4843:1: rule__VLSFunctionFof__Group__0 : rule__VLSFunctionFof__Group__0__Impl rule__VLSFunctionFof__Group__1 ; | 15020 | // InternalVampireLanguage.g:4843:1: rule__VLSFunctionAsTerm__Group__0 : rule__VLSFunctionAsTerm__Group__0__Impl rule__VLSFunctionAsTerm__Group__1 ; |
15021 | public final void rule__VLSFunctionFof__Group__0() throws RecognitionException { | 15021 | public final void rule__VLSFunctionAsTerm__Group__0() throws RecognitionException { |
15022 | 15022 | ||
15023 | int stackSize = keepStackSize(); | 15023 | int stackSize = keepStackSize(); |
15024 | 15024 | ||
15025 | try { | 15025 | try { |
15026 | // InternalVampireLanguage.g:4847:1: ( rule__VLSFunctionFof__Group__0__Impl rule__VLSFunctionFof__Group__1 ) | 15026 | // InternalVampireLanguage.g:4847:1: ( rule__VLSFunctionAsTerm__Group__0__Impl rule__VLSFunctionAsTerm__Group__1 ) |
15027 | // InternalVampireLanguage.g:4848:2: rule__VLSFunctionFof__Group__0__Impl rule__VLSFunctionFof__Group__1 | 15027 | // InternalVampireLanguage.g:4848:2: rule__VLSFunctionAsTerm__Group__0__Impl rule__VLSFunctionAsTerm__Group__1 |
15028 | { | 15028 | { |
15029 | pushFollow(FOLLOW_13); | 15029 | pushFollow(FOLLOW_13); |
15030 | rule__VLSFunctionFof__Group__0__Impl(); | 15030 | rule__VLSFunctionAsTerm__Group__0__Impl(); |
15031 | 15031 | ||
15032 | state._fsp--; | 15032 | state._fsp--; |
15033 | 15033 | ||
15034 | pushFollow(FOLLOW_2); | 15034 | pushFollow(FOLLOW_2); |
15035 | rule__VLSFunctionFof__Group__1(); | 15035 | rule__VLSFunctionAsTerm__Group__1(); |
15036 | 15036 | ||
15037 | state._fsp--; | 15037 | state._fsp--; |
15038 | 15038 | ||
@@ -15051,35 +15051,35 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15051 | } | 15051 | } |
15052 | return ; | 15052 | return ; |
15053 | } | 15053 | } |
15054 | // $ANTLR end "rule__VLSFunctionFof__Group__0" | 15054 | // $ANTLR end "rule__VLSFunctionAsTerm__Group__0" |
15055 | 15055 | ||
15056 | 15056 | ||
15057 | // $ANTLR start "rule__VLSFunctionFof__Group__0__Impl" | 15057 | // $ANTLR start "rule__VLSFunctionAsTerm__Group__0__Impl" |
15058 | // InternalVampireLanguage.g:4855:1: rule__VLSFunctionFof__Group__0__Impl : ( ( rule__VLSFunctionFof__FunctorAssignment_0 ) ) ; | 15058 | // InternalVampireLanguage.g:4855:1: rule__VLSFunctionAsTerm__Group__0__Impl : ( ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) ) ; |
15059 | public final void rule__VLSFunctionFof__Group__0__Impl() throws RecognitionException { | 15059 | public final void rule__VLSFunctionAsTerm__Group__0__Impl() throws RecognitionException { |
15060 | 15060 | ||
15061 | int stackSize = keepStackSize(); | 15061 | int stackSize = keepStackSize(); |
15062 | 15062 | ||
15063 | try { | 15063 | try { |
15064 | // InternalVampireLanguage.g:4859:1: ( ( ( rule__VLSFunctionFof__FunctorAssignment_0 ) ) ) | 15064 | // InternalVampireLanguage.g:4859:1: ( ( ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) ) ) |
15065 | // InternalVampireLanguage.g:4860:1: ( ( rule__VLSFunctionFof__FunctorAssignment_0 ) ) | 15065 | // InternalVampireLanguage.g:4860:1: ( ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) ) |
15066 | { | 15066 | { |
15067 | // InternalVampireLanguage.g:4860:1: ( ( rule__VLSFunctionFof__FunctorAssignment_0 ) ) | 15067 | // InternalVampireLanguage.g:4860:1: ( ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) ) |
15068 | // InternalVampireLanguage.g:4861:2: ( rule__VLSFunctionFof__FunctorAssignment_0 ) | 15068 | // InternalVampireLanguage.g:4861:2: ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) |
15069 | { | 15069 | { |
15070 | before(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); | 15070 | before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); |
15071 | // InternalVampireLanguage.g:4862:2: ( rule__VLSFunctionFof__FunctorAssignment_0 ) | 15071 | // InternalVampireLanguage.g:4862:2: ( rule__VLSFunctionAsTerm__FunctorAssignment_0 ) |
15072 | // InternalVampireLanguage.g:4862:3: rule__VLSFunctionFof__FunctorAssignment_0 | 15072 | // InternalVampireLanguage.g:4862:3: rule__VLSFunctionAsTerm__FunctorAssignment_0 |
15073 | { | 15073 | { |
15074 | pushFollow(FOLLOW_2); | 15074 | pushFollow(FOLLOW_2); |
15075 | rule__VLSFunctionFof__FunctorAssignment_0(); | 15075 | rule__VLSFunctionAsTerm__FunctorAssignment_0(); |
15076 | 15076 | ||
15077 | state._fsp--; | 15077 | state._fsp--; |
15078 | 15078 | ||
15079 | 15079 | ||
15080 | } | 15080 | } |
15081 | 15081 | ||
15082 | after(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); | 15082 | after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); |
15083 | 15083 | ||
15084 | } | 15084 | } |
15085 | 15085 | ||
@@ -15098,21 +15098,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15098 | } | 15098 | } |
15099 | return ; | 15099 | return ; |
15100 | } | 15100 | } |
15101 | // $ANTLR end "rule__VLSFunctionFof__Group__0__Impl" | 15101 | // $ANTLR end "rule__VLSFunctionAsTerm__Group__0__Impl" |
15102 | 15102 | ||
15103 | 15103 | ||
15104 | // $ANTLR start "rule__VLSFunctionFof__Group__1" | 15104 | // $ANTLR start "rule__VLSFunctionAsTerm__Group__1" |
15105 | // InternalVampireLanguage.g:4870:1: rule__VLSFunctionFof__Group__1 : rule__VLSFunctionFof__Group__1__Impl ; | 15105 | // InternalVampireLanguage.g:4870:1: rule__VLSFunctionAsTerm__Group__1 : rule__VLSFunctionAsTerm__Group__1__Impl ; |
15106 | public final void rule__VLSFunctionFof__Group__1() throws RecognitionException { | 15106 | public final void rule__VLSFunctionAsTerm__Group__1() throws RecognitionException { |
15107 | 15107 | ||
15108 | int stackSize = keepStackSize(); | 15108 | int stackSize = keepStackSize(); |
15109 | 15109 | ||
15110 | try { | 15110 | try { |
15111 | // InternalVampireLanguage.g:4874:1: ( rule__VLSFunctionFof__Group__1__Impl ) | 15111 | // InternalVampireLanguage.g:4874:1: ( rule__VLSFunctionAsTerm__Group__1__Impl ) |
15112 | // InternalVampireLanguage.g:4875:2: rule__VLSFunctionFof__Group__1__Impl | 15112 | // InternalVampireLanguage.g:4875:2: rule__VLSFunctionAsTerm__Group__1__Impl |
15113 | { | 15113 | { |
15114 | pushFollow(FOLLOW_2); | 15114 | pushFollow(FOLLOW_2); |
15115 | rule__VLSFunctionFof__Group__1__Impl(); | 15115 | rule__VLSFunctionAsTerm__Group__1__Impl(); |
15116 | 15116 | ||
15117 | state._fsp--; | 15117 | state._fsp--; |
15118 | 15118 | ||
@@ -15131,24 +15131,24 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15131 | } | 15131 | } |
15132 | return ; | 15132 | return ; |
15133 | } | 15133 | } |
15134 | // $ANTLR end "rule__VLSFunctionFof__Group__1" | 15134 | // $ANTLR end "rule__VLSFunctionAsTerm__Group__1" |
15135 | 15135 | ||
15136 | 15136 | ||
15137 | // $ANTLR start "rule__VLSFunctionFof__Group__1__Impl" | 15137 | // $ANTLR start "rule__VLSFunctionAsTerm__Group__1__Impl" |
15138 | // InternalVampireLanguage.g:4881:1: rule__VLSFunctionFof__Group__1__Impl : ( ( rule__VLSFunctionFof__Group_1__0 )? ) ; | 15138 | // InternalVampireLanguage.g:4881:1: rule__VLSFunctionAsTerm__Group__1__Impl : ( ( rule__VLSFunctionAsTerm__Group_1__0 )? ) ; |
15139 | public final void rule__VLSFunctionFof__Group__1__Impl() throws RecognitionException { | 15139 | public final void rule__VLSFunctionAsTerm__Group__1__Impl() throws RecognitionException { |
15140 | 15140 | ||
15141 | int stackSize = keepStackSize(); | 15141 | int stackSize = keepStackSize(); |
15142 | 15142 | ||
15143 | try { | 15143 | try { |
15144 | // InternalVampireLanguage.g:4885:1: ( ( ( rule__VLSFunctionFof__Group_1__0 )? ) ) | 15144 | // InternalVampireLanguage.g:4885:1: ( ( ( rule__VLSFunctionAsTerm__Group_1__0 )? ) ) |
15145 | // InternalVampireLanguage.g:4886:1: ( ( rule__VLSFunctionFof__Group_1__0 )? ) | 15145 | // InternalVampireLanguage.g:4886:1: ( ( rule__VLSFunctionAsTerm__Group_1__0 )? ) |
15146 | { | 15146 | { |
15147 | // InternalVampireLanguage.g:4886:1: ( ( rule__VLSFunctionFof__Group_1__0 )? ) | 15147 | // InternalVampireLanguage.g:4886:1: ( ( rule__VLSFunctionAsTerm__Group_1__0 )? ) |
15148 | // InternalVampireLanguage.g:4887:2: ( rule__VLSFunctionFof__Group_1__0 )? | 15148 | // InternalVampireLanguage.g:4887:2: ( rule__VLSFunctionAsTerm__Group_1__0 )? |
15149 | { | 15149 | { |
15150 | before(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); | 15150 | before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); |
15151 | // InternalVampireLanguage.g:4888:2: ( rule__VLSFunctionFof__Group_1__0 )? | 15151 | // InternalVampireLanguage.g:4888:2: ( rule__VLSFunctionAsTerm__Group_1__0 )? |
15152 | int alt36=2; | 15152 | int alt36=2; |
15153 | int LA36_0 = input.LA(1); | 15153 | int LA36_0 = input.LA(1); |
15154 | 15154 | ||
@@ -15157,10 +15157,10 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15157 | } | 15157 | } |
15158 | switch (alt36) { | 15158 | switch (alt36) { |
15159 | case 1 : | 15159 | case 1 : |
15160 | // InternalVampireLanguage.g:4888:3: rule__VLSFunctionFof__Group_1__0 | 15160 | // InternalVampireLanguage.g:4888:3: rule__VLSFunctionAsTerm__Group_1__0 |
15161 | { | 15161 | { |
15162 | pushFollow(FOLLOW_2); | 15162 | pushFollow(FOLLOW_2); |
15163 | rule__VLSFunctionFof__Group_1__0(); | 15163 | rule__VLSFunctionAsTerm__Group_1__0(); |
15164 | 15164 | ||
15165 | state._fsp--; | 15165 | state._fsp--; |
15166 | 15166 | ||
@@ -15170,7 +15170,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15170 | 15170 | ||
15171 | } | 15171 | } |
15172 | 15172 | ||
15173 | after(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); | 15173 | after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); |
15174 | 15174 | ||
15175 | } | 15175 | } |
15176 | 15176 | ||
@@ -15189,26 +15189,26 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15189 | } | 15189 | } |
15190 | return ; | 15190 | return ; |
15191 | } | 15191 | } |
15192 | // $ANTLR end "rule__VLSFunctionFof__Group__1__Impl" | 15192 | // $ANTLR end "rule__VLSFunctionAsTerm__Group__1__Impl" |
15193 | 15193 | ||
15194 | 15194 | ||
15195 | // $ANTLR start "rule__VLSFunctionFof__Group_1__0" | 15195 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__0" |
15196 | // InternalVampireLanguage.g:4897:1: rule__VLSFunctionFof__Group_1__0 : rule__VLSFunctionFof__Group_1__0__Impl rule__VLSFunctionFof__Group_1__1 ; | 15196 | // InternalVampireLanguage.g:4897:1: rule__VLSFunctionAsTerm__Group_1__0 : rule__VLSFunctionAsTerm__Group_1__0__Impl rule__VLSFunctionAsTerm__Group_1__1 ; |
15197 | public final void rule__VLSFunctionFof__Group_1__0() throws RecognitionException { | 15197 | public final void rule__VLSFunctionAsTerm__Group_1__0() throws RecognitionException { |
15198 | 15198 | ||
15199 | int stackSize = keepStackSize(); | 15199 | int stackSize = keepStackSize(); |
15200 | 15200 | ||
15201 | try { | 15201 | try { |
15202 | // InternalVampireLanguage.g:4901:1: ( rule__VLSFunctionFof__Group_1__0__Impl rule__VLSFunctionFof__Group_1__1 ) | 15202 | // InternalVampireLanguage.g:4901:1: ( rule__VLSFunctionAsTerm__Group_1__0__Impl rule__VLSFunctionAsTerm__Group_1__1 ) |
15203 | // InternalVampireLanguage.g:4902:2: rule__VLSFunctionFof__Group_1__0__Impl rule__VLSFunctionFof__Group_1__1 | 15203 | // InternalVampireLanguage.g:4902:2: rule__VLSFunctionAsTerm__Group_1__0__Impl rule__VLSFunctionAsTerm__Group_1__1 |
15204 | { | 15204 | { |
15205 | pushFollow(FOLLOW_38); | 15205 | pushFollow(FOLLOW_38); |
15206 | rule__VLSFunctionFof__Group_1__0__Impl(); | 15206 | rule__VLSFunctionAsTerm__Group_1__0__Impl(); |
15207 | 15207 | ||
15208 | state._fsp--; | 15208 | state._fsp--; |
15209 | 15209 | ||
15210 | pushFollow(FOLLOW_2); | 15210 | pushFollow(FOLLOW_2); |
15211 | rule__VLSFunctionFof__Group_1__1(); | 15211 | rule__VLSFunctionAsTerm__Group_1__1(); |
15212 | 15212 | ||
15213 | state._fsp--; | 15213 | state._fsp--; |
15214 | 15214 | ||
@@ -15227,12 +15227,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15227 | } | 15227 | } |
15228 | return ; | 15228 | return ; |
15229 | } | 15229 | } |
15230 | // $ANTLR end "rule__VLSFunctionFof__Group_1__0" | 15230 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__0" |
15231 | 15231 | ||
15232 | 15232 | ||
15233 | // $ANTLR start "rule__VLSFunctionFof__Group_1__0__Impl" | 15233 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__0__Impl" |
15234 | // InternalVampireLanguage.g:4909:1: rule__VLSFunctionFof__Group_1__0__Impl : ( '(' ) ; | 15234 | // InternalVampireLanguage.g:4909:1: rule__VLSFunctionAsTerm__Group_1__0__Impl : ( '(' ) ; |
15235 | public final void rule__VLSFunctionFof__Group_1__0__Impl() throws RecognitionException { | 15235 | public final void rule__VLSFunctionAsTerm__Group_1__0__Impl() throws RecognitionException { |
15236 | 15236 | ||
15237 | int stackSize = keepStackSize(); | 15237 | int stackSize = keepStackSize(); |
15238 | 15238 | ||
@@ -15243,9 +15243,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15243 | // InternalVampireLanguage.g:4914:1: ( '(' ) | 15243 | // InternalVampireLanguage.g:4914:1: ( '(' ) |
15244 | // InternalVampireLanguage.g:4915:2: '(' | 15244 | // InternalVampireLanguage.g:4915:2: '(' |
15245 | { | 15245 | { |
15246 | before(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); | 15246 | before(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); |
15247 | match(input,49,FOLLOW_2); | 15247 | match(input,49,FOLLOW_2); |
15248 | after(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); | 15248 | after(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); |
15249 | 15249 | ||
15250 | } | 15250 | } |
15251 | 15251 | ||
@@ -15264,26 +15264,26 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15264 | } | 15264 | } |
15265 | return ; | 15265 | return ; |
15266 | } | 15266 | } |
15267 | // $ANTLR end "rule__VLSFunctionFof__Group_1__0__Impl" | 15267 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__0__Impl" |
15268 | 15268 | ||
15269 | 15269 | ||
15270 | // $ANTLR start "rule__VLSFunctionFof__Group_1__1" | 15270 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__1" |
15271 | // InternalVampireLanguage.g:4924:1: rule__VLSFunctionFof__Group_1__1 : rule__VLSFunctionFof__Group_1__1__Impl rule__VLSFunctionFof__Group_1__2 ; | 15271 | // InternalVampireLanguage.g:4924:1: rule__VLSFunctionAsTerm__Group_1__1 : rule__VLSFunctionAsTerm__Group_1__1__Impl rule__VLSFunctionAsTerm__Group_1__2 ; |
15272 | public final void rule__VLSFunctionFof__Group_1__1() throws RecognitionException { | 15272 | public final void rule__VLSFunctionAsTerm__Group_1__1() throws RecognitionException { |
15273 | 15273 | ||
15274 | int stackSize = keepStackSize(); | 15274 | int stackSize = keepStackSize(); |
15275 | 15275 | ||
15276 | try { | 15276 | try { |
15277 | // InternalVampireLanguage.g:4928:1: ( rule__VLSFunctionFof__Group_1__1__Impl rule__VLSFunctionFof__Group_1__2 ) | 15277 | // InternalVampireLanguage.g:4928:1: ( rule__VLSFunctionAsTerm__Group_1__1__Impl rule__VLSFunctionAsTerm__Group_1__2 ) |
15278 | // InternalVampireLanguage.g:4929:2: rule__VLSFunctionFof__Group_1__1__Impl rule__VLSFunctionFof__Group_1__2 | 15278 | // InternalVampireLanguage.g:4929:2: rule__VLSFunctionAsTerm__Group_1__1__Impl rule__VLSFunctionAsTerm__Group_1__2 |
15279 | { | 15279 | { |
15280 | pushFollow(FOLLOW_18); | 15280 | pushFollow(FOLLOW_18); |
15281 | rule__VLSFunctionFof__Group_1__1__Impl(); | 15281 | rule__VLSFunctionAsTerm__Group_1__1__Impl(); |
15282 | 15282 | ||
15283 | state._fsp--; | 15283 | state._fsp--; |
15284 | 15284 | ||
15285 | pushFollow(FOLLOW_2); | 15285 | pushFollow(FOLLOW_2); |
15286 | rule__VLSFunctionFof__Group_1__2(); | 15286 | rule__VLSFunctionAsTerm__Group_1__2(); |
15287 | 15287 | ||
15288 | state._fsp--; | 15288 | state._fsp--; |
15289 | 15289 | ||
@@ -15302,35 +15302,35 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15302 | } | 15302 | } |
15303 | return ; | 15303 | return ; |
15304 | } | 15304 | } |
15305 | // $ANTLR end "rule__VLSFunctionFof__Group_1__1" | 15305 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__1" |
15306 | 15306 | ||
15307 | 15307 | ||
15308 | // $ANTLR start "rule__VLSFunctionFof__Group_1__1__Impl" | 15308 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__1__Impl" |
15309 | // InternalVampireLanguage.g:4936:1: rule__VLSFunctionFof__Group_1__1__Impl : ( ( rule__VLSFunctionFof__TermsAssignment_1_1 ) ) ; | 15309 | // InternalVampireLanguage.g:4936:1: rule__VLSFunctionAsTerm__Group_1__1__Impl : ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) ) ; |
15310 | public final void rule__VLSFunctionFof__Group_1__1__Impl() throws RecognitionException { | 15310 | public final void rule__VLSFunctionAsTerm__Group_1__1__Impl() throws RecognitionException { |
15311 | 15311 | ||
15312 | int stackSize = keepStackSize(); | 15312 | int stackSize = keepStackSize(); |
15313 | 15313 | ||
15314 | try { | 15314 | try { |
15315 | // InternalVampireLanguage.g:4940:1: ( ( ( rule__VLSFunctionFof__TermsAssignment_1_1 ) ) ) | 15315 | // InternalVampireLanguage.g:4940:1: ( ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) ) ) |
15316 | // InternalVampireLanguage.g:4941:1: ( ( rule__VLSFunctionFof__TermsAssignment_1_1 ) ) | 15316 | // InternalVampireLanguage.g:4941:1: ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) ) |
15317 | { | 15317 | { |
15318 | // InternalVampireLanguage.g:4941:1: ( ( rule__VLSFunctionFof__TermsAssignment_1_1 ) ) | 15318 | // InternalVampireLanguage.g:4941:1: ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) ) |
15319 | // InternalVampireLanguage.g:4942:2: ( rule__VLSFunctionFof__TermsAssignment_1_1 ) | 15319 | // InternalVampireLanguage.g:4942:2: ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) |
15320 | { | 15320 | { |
15321 | before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); | 15321 | before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); |
15322 | // InternalVampireLanguage.g:4943:2: ( rule__VLSFunctionFof__TermsAssignment_1_1 ) | 15322 | // InternalVampireLanguage.g:4943:2: ( rule__VLSFunctionAsTerm__TermsAssignment_1_1 ) |
15323 | // InternalVampireLanguage.g:4943:3: rule__VLSFunctionFof__TermsAssignment_1_1 | 15323 | // InternalVampireLanguage.g:4943:3: rule__VLSFunctionAsTerm__TermsAssignment_1_1 |
15324 | { | 15324 | { |
15325 | pushFollow(FOLLOW_2); | 15325 | pushFollow(FOLLOW_2); |
15326 | rule__VLSFunctionFof__TermsAssignment_1_1(); | 15326 | rule__VLSFunctionAsTerm__TermsAssignment_1_1(); |
15327 | 15327 | ||
15328 | state._fsp--; | 15328 | state._fsp--; |
15329 | 15329 | ||
15330 | 15330 | ||
15331 | } | 15331 | } |
15332 | 15332 | ||
15333 | after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); | 15333 | after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); |
15334 | 15334 | ||
15335 | } | 15335 | } |
15336 | 15336 | ||
@@ -15349,26 +15349,26 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15349 | } | 15349 | } |
15350 | return ; | 15350 | return ; |
15351 | } | 15351 | } |
15352 | // $ANTLR end "rule__VLSFunctionFof__Group_1__1__Impl" | 15352 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__1__Impl" |
15353 | 15353 | ||
15354 | 15354 | ||
15355 | // $ANTLR start "rule__VLSFunctionFof__Group_1__2" | 15355 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__2" |
15356 | // InternalVampireLanguage.g:4951:1: rule__VLSFunctionFof__Group_1__2 : rule__VLSFunctionFof__Group_1__2__Impl rule__VLSFunctionFof__Group_1__3 ; | 15356 | // InternalVampireLanguage.g:4951:1: rule__VLSFunctionAsTerm__Group_1__2 : rule__VLSFunctionAsTerm__Group_1__2__Impl rule__VLSFunctionAsTerm__Group_1__3 ; |
15357 | public final void rule__VLSFunctionFof__Group_1__2() throws RecognitionException { | 15357 | public final void rule__VLSFunctionAsTerm__Group_1__2() throws RecognitionException { |
15358 | 15358 | ||
15359 | int stackSize = keepStackSize(); | 15359 | int stackSize = keepStackSize(); |
15360 | 15360 | ||
15361 | try { | 15361 | try { |
15362 | // InternalVampireLanguage.g:4955:1: ( rule__VLSFunctionFof__Group_1__2__Impl rule__VLSFunctionFof__Group_1__3 ) | 15362 | // InternalVampireLanguage.g:4955:1: ( rule__VLSFunctionAsTerm__Group_1__2__Impl rule__VLSFunctionAsTerm__Group_1__3 ) |
15363 | // InternalVampireLanguage.g:4956:2: rule__VLSFunctionFof__Group_1__2__Impl rule__VLSFunctionFof__Group_1__3 | 15363 | // InternalVampireLanguage.g:4956:2: rule__VLSFunctionAsTerm__Group_1__2__Impl rule__VLSFunctionAsTerm__Group_1__3 |
15364 | { | 15364 | { |
15365 | pushFollow(FOLLOW_18); | 15365 | pushFollow(FOLLOW_18); |
15366 | rule__VLSFunctionFof__Group_1__2__Impl(); | 15366 | rule__VLSFunctionAsTerm__Group_1__2__Impl(); |
15367 | 15367 | ||
15368 | state._fsp--; | 15368 | state._fsp--; |
15369 | 15369 | ||
15370 | pushFollow(FOLLOW_2); | 15370 | pushFollow(FOLLOW_2); |
15371 | rule__VLSFunctionFof__Group_1__3(); | 15371 | rule__VLSFunctionAsTerm__Group_1__3(); |
15372 | 15372 | ||
15373 | state._fsp--; | 15373 | state._fsp--; |
15374 | 15374 | ||
@@ -15387,24 +15387,24 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15387 | } | 15387 | } |
15388 | return ; | 15388 | return ; |
15389 | } | 15389 | } |
15390 | // $ANTLR end "rule__VLSFunctionFof__Group_1__2" | 15390 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__2" |
15391 | 15391 | ||
15392 | 15392 | ||
15393 | // $ANTLR start "rule__VLSFunctionFof__Group_1__2__Impl" | 15393 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__2__Impl" |
15394 | // InternalVampireLanguage.g:4963:1: rule__VLSFunctionFof__Group_1__2__Impl : ( ( rule__VLSFunctionFof__Group_1_2__0 )* ) ; | 15394 | // InternalVampireLanguage.g:4963:1: rule__VLSFunctionAsTerm__Group_1__2__Impl : ( ( rule__VLSFunctionAsTerm__Group_1_2__0 )* ) ; |
15395 | public final void rule__VLSFunctionFof__Group_1__2__Impl() throws RecognitionException { | 15395 | public final void rule__VLSFunctionAsTerm__Group_1__2__Impl() throws RecognitionException { |
15396 | 15396 | ||
15397 | int stackSize = keepStackSize(); | 15397 | int stackSize = keepStackSize(); |
15398 | 15398 | ||
15399 | try { | 15399 | try { |
15400 | // InternalVampireLanguage.g:4967:1: ( ( ( rule__VLSFunctionFof__Group_1_2__0 )* ) ) | 15400 | // InternalVampireLanguage.g:4967:1: ( ( ( rule__VLSFunctionAsTerm__Group_1_2__0 )* ) ) |
15401 | // InternalVampireLanguage.g:4968:1: ( ( rule__VLSFunctionFof__Group_1_2__0 )* ) | 15401 | // InternalVampireLanguage.g:4968:1: ( ( rule__VLSFunctionAsTerm__Group_1_2__0 )* ) |
15402 | { | 15402 | { |
15403 | // InternalVampireLanguage.g:4968:1: ( ( rule__VLSFunctionFof__Group_1_2__0 )* ) | 15403 | // InternalVampireLanguage.g:4968:1: ( ( rule__VLSFunctionAsTerm__Group_1_2__0 )* ) |
15404 | // InternalVampireLanguage.g:4969:2: ( rule__VLSFunctionFof__Group_1_2__0 )* | 15404 | // InternalVampireLanguage.g:4969:2: ( rule__VLSFunctionAsTerm__Group_1_2__0 )* |
15405 | { | 15405 | { |
15406 | before(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); | 15406 | before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); |
15407 | // InternalVampireLanguage.g:4970:2: ( rule__VLSFunctionFof__Group_1_2__0 )* | 15407 | // InternalVampireLanguage.g:4970:2: ( rule__VLSFunctionAsTerm__Group_1_2__0 )* |
15408 | loop37: | 15408 | loop37: |
15409 | do { | 15409 | do { |
15410 | int alt37=2; | 15410 | int alt37=2; |
@@ -15417,10 +15417,10 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15417 | 15417 | ||
15418 | switch (alt37) { | 15418 | switch (alt37) { |
15419 | case 1 : | 15419 | case 1 : |
15420 | // InternalVampireLanguage.g:4970:3: rule__VLSFunctionFof__Group_1_2__0 | 15420 | // InternalVampireLanguage.g:4970:3: rule__VLSFunctionAsTerm__Group_1_2__0 |
15421 | { | 15421 | { |
15422 | pushFollow(FOLLOW_10); | 15422 | pushFollow(FOLLOW_10); |
15423 | rule__VLSFunctionFof__Group_1_2__0(); | 15423 | rule__VLSFunctionAsTerm__Group_1_2__0(); |
15424 | 15424 | ||
15425 | state._fsp--; | 15425 | state._fsp--; |
15426 | 15426 | ||
@@ -15433,7 +15433,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15433 | } | 15433 | } |
15434 | } while (true); | 15434 | } while (true); |
15435 | 15435 | ||
15436 | after(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); | 15436 | after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); |
15437 | 15437 | ||
15438 | } | 15438 | } |
15439 | 15439 | ||
@@ -15452,21 +15452,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15452 | } | 15452 | } |
15453 | return ; | 15453 | return ; |
15454 | } | 15454 | } |
15455 | // $ANTLR end "rule__VLSFunctionFof__Group_1__2__Impl" | 15455 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__2__Impl" |
15456 | 15456 | ||
15457 | 15457 | ||
15458 | // $ANTLR start "rule__VLSFunctionFof__Group_1__3" | 15458 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__3" |
15459 | // InternalVampireLanguage.g:4978:1: rule__VLSFunctionFof__Group_1__3 : rule__VLSFunctionFof__Group_1__3__Impl ; | 15459 | // InternalVampireLanguage.g:4978:1: rule__VLSFunctionAsTerm__Group_1__3 : rule__VLSFunctionAsTerm__Group_1__3__Impl ; |
15460 | public final void rule__VLSFunctionFof__Group_1__3() throws RecognitionException { | 15460 | public final void rule__VLSFunctionAsTerm__Group_1__3() throws RecognitionException { |
15461 | 15461 | ||
15462 | int stackSize = keepStackSize(); | 15462 | int stackSize = keepStackSize(); |
15463 | 15463 | ||
15464 | try { | 15464 | try { |
15465 | // InternalVampireLanguage.g:4982:1: ( rule__VLSFunctionFof__Group_1__3__Impl ) | 15465 | // InternalVampireLanguage.g:4982:1: ( rule__VLSFunctionAsTerm__Group_1__3__Impl ) |
15466 | // InternalVampireLanguage.g:4983:2: rule__VLSFunctionFof__Group_1__3__Impl | 15466 | // InternalVampireLanguage.g:4983:2: rule__VLSFunctionAsTerm__Group_1__3__Impl |
15467 | { | 15467 | { |
15468 | pushFollow(FOLLOW_2); | 15468 | pushFollow(FOLLOW_2); |
15469 | rule__VLSFunctionFof__Group_1__3__Impl(); | 15469 | rule__VLSFunctionAsTerm__Group_1__3__Impl(); |
15470 | 15470 | ||
15471 | state._fsp--; | 15471 | state._fsp--; |
15472 | 15472 | ||
@@ -15485,12 +15485,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15485 | } | 15485 | } |
15486 | return ; | 15486 | return ; |
15487 | } | 15487 | } |
15488 | // $ANTLR end "rule__VLSFunctionFof__Group_1__3" | 15488 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__3" |
15489 | 15489 | ||
15490 | 15490 | ||
15491 | // $ANTLR start "rule__VLSFunctionFof__Group_1__3__Impl" | 15491 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1__3__Impl" |
15492 | // InternalVampireLanguage.g:4989:1: rule__VLSFunctionFof__Group_1__3__Impl : ( ')' ) ; | 15492 | // InternalVampireLanguage.g:4989:1: rule__VLSFunctionAsTerm__Group_1__3__Impl : ( ')' ) ; |
15493 | public final void rule__VLSFunctionFof__Group_1__3__Impl() throws RecognitionException { | 15493 | public final void rule__VLSFunctionAsTerm__Group_1__3__Impl() throws RecognitionException { |
15494 | 15494 | ||
15495 | int stackSize = keepStackSize(); | 15495 | int stackSize = keepStackSize(); |
15496 | 15496 | ||
@@ -15501,9 +15501,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15501 | // InternalVampireLanguage.g:4994:1: ( ')' ) | 15501 | // InternalVampireLanguage.g:4994:1: ( ')' ) |
15502 | // InternalVampireLanguage.g:4995:2: ')' | 15502 | // InternalVampireLanguage.g:4995:2: ')' |
15503 | { | 15503 | { |
15504 | before(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); | 15504 | before(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); |
15505 | match(input,50,FOLLOW_2); | 15505 | match(input,50,FOLLOW_2); |
15506 | after(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); | 15506 | after(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); |
15507 | 15507 | ||
15508 | } | 15508 | } |
15509 | 15509 | ||
@@ -15522,26 +15522,26 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15522 | } | 15522 | } |
15523 | return ; | 15523 | return ; |
15524 | } | 15524 | } |
15525 | // $ANTLR end "rule__VLSFunctionFof__Group_1__3__Impl" | 15525 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1__3__Impl" |
15526 | 15526 | ||
15527 | 15527 | ||
15528 | // $ANTLR start "rule__VLSFunctionFof__Group_1_2__0" | 15528 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1_2__0" |
15529 | // InternalVampireLanguage.g:5005:1: rule__VLSFunctionFof__Group_1_2__0 : rule__VLSFunctionFof__Group_1_2__0__Impl rule__VLSFunctionFof__Group_1_2__1 ; | 15529 | // InternalVampireLanguage.g:5005:1: rule__VLSFunctionAsTerm__Group_1_2__0 : rule__VLSFunctionAsTerm__Group_1_2__0__Impl rule__VLSFunctionAsTerm__Group_1_2__1 ; |
15530 | public final void rule__VLSFunctionFof__Group_1_2__0() throws RecognitionException { | 15530 | public final void rule__VLSFunctionAsTerm__Group_1_2__0() throws RecognitionException { |
15531 | 15531 | ||
15532 | int stackSize = keepStackSize(); | 15532 | int stackSize = keepStackSize(); |
15533 | 15533 | ||
15534 | try { | 15534 | try { |
15535 | // InternalVampireLanguage.g:5009:1: ( rule__VLSFunctionFof__Group_1_2__0__Impl rule__VLSFunctionFof__Group_1_2__1 ) | 15535 | // InternalVampireLanguage.g:5009:1: ( rule__VLSFunctionAsTerm__Group_1_2__0__Impl rule__VLSFunctionAsTerm__Group_1_2__1 ) |
15536 | // InternalVampireLanguage.g:5010:2: rule__VLSFunctionFof__Group_1_2__0__Impl rule__VLSFunctionFof__Group_1_2__1 | 15536 | // InternalVampireLanguage.g:5010:2: rule__VLSFunctionAsTerm__Group_1_2__0__Impl rule__VLSFunctionAsTerm__Group_1_2__1 |
15537 | { | 15537 | { |
15538 | pushFollow(FOLLOW_38); | 15538 | pushFollow(FOLLOW_38); |
15539 | rule__VLSFunctionFof__Group_1_2__0__Impl(); | 15539 | rule__VLSFunctionAsTerm__Group_1_2__0__Impl(); |
15540 | 15540 | ||
15541 | state._fsp--; | 15541 | state._fsp--; |
15542 | 15542 | ||
15543 | pushFollow(FOLLOW_2); | 15543 | pushFollow(FOLLOW_2); |
15544 | rule__VLSFunctionFof__Group_1_2__1(); | 15544 | rule__VLSFunctionAsTerm__Group_1_2__1(); |
15545 | 15545 | ||
15546 | state._fsp--; | 15546 | state._fsp--; |
15547 | 15547 | ||
@@ -15560,12 +15560,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15560 | } | 15560 | } |
15561 | return ; | 15561 | return ; |
15562 | } | 15562 | } |
15563 | // $ANTLR end "rule__VLSFunctionFof__Group_1_2__0" | 15563 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1_2__0" |
15564 | 15564 | ||
15565 | 15565 | ||
15566 | // $ANTLR start "rule__VLSFunctionFof__Group_1_2__0__Impl" | 15566 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1_2__0__Impl" |
15567 | // InternalVampireLanguage.g:5017:1: rule__VLSFunctionFof__Group_1_2__0__Impl : ( ',' ) ; | 15567 | // InternalVampireLanguage.g:5017:1: rule__VLSFunctionAsTerm__Group_1_2__0__Impl : ( ',' ) ; |
15568 | public final void rule__VLSFunctionFof__Group_1_2__0__Impl() throws RecognitionException { | 15568 | public final void rule__VLSFunctionAsTerm__Group_1_2__0__Impl() throws RecognitionException { |
15569 | 15569 | ||
15570 | int stackSize = keepStackSize(); | 15570 | int stackSize = keepStackSize(); |
15571 | 15571 | ||
@@ -15576,9 +15576,9 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15576 | // InternalVampireLanguage.g:5022:1: ( ',' ) | 15576 | // InternalVampireLanguage.g:5022:1: ( ',' ) |
15577 | // InternalVampireLanguage.g:5023:2: ',' | 15577 | // InternalVampireLanguage.g:5023:2: ',' |
15578 | { | 15578 | { |
15579 | before(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); | 15579 | before(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); |
15580 | match(input,45,FOLLOW_2); | 15580 | match(input,45,FOLLOW_2); |
15581 | after(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); | 15581 | after(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); |
15582 | 15582 | ||
15583 | } | 15583 | } |
15584 | 15584 | ||
@@ -15597,21 +15597,21 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15597 | } | 15597 | } |
15598 | return ; | 15598 | return ; |
15599 | } | 15599 | } |
15600 | // $ANTLR end "rule__VLSFunctionFof__Group_1_2__0__Impl" | 15600 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1_2__0__Impl" |
15601 | 15601 | ||
15602 | 15602 | ||
15603 | // $ANTLR start "rule__VLSFunctionFof__Group_1_2__1" | 15603 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1_2__1" |
15604 | // InternalVampireLanguage.g:5032:1: rule__VLSFunctionFof__Group_1_2__1 : rule__VLSFunctionFof__Group_1_2__1__Impl ; | 15604 | // InternalVampireLanguage.g:5032:1: rule__VLSFunctionAsTerm__Group_1_2__1 : rule__VLSFunctionAsTerm__Group_1_2__1__Impl ; |
15605 | public final void rule__VLSFunctionFof__Group_1_2__1() throws RecognitionException { | 15605 | public final void rule__VLSFunctionAsTerm__Group_1_2__1() throws RecognitionException { |
15606 | 15606 | ||
15607 | int stackSize = keepStackSize(); | 15607 | int stackSize = keepStackSize(); |
15608 | 15608 | ||
15609 | try { | 15609 | try { |
15610 | // InternalVampireLanguage.g:5036:1: ( rule__VLSFunctionFof__Group_1_2__1__Impl ) | 15610 | // InternalVampireLanguage.g:5036:1: ( rule__VLSFunctionAsTerm__Group_1_2__1__Impl ) |
15611 | // InternalVampireLanguage.g:5037:2: rule__VLSFunctionFof__Group_1_2__1__Impl | 15611 | // InternalVampireLanguage.g:5037:2: rule__VLSFunctionAsTerm__Group_1_2__1__Impl |
15612 | { | 15612 | { |
15613 | pushFollow(FOLLOW_2); | 15613 | pushFollow(FOLLOW_2); |
15614 | rule__VLSFunctionFof__Group_1_2__1__Impl(); | 15614 | rule__VLSFunctionAsTerm__Group_1_2__1__Impl(); |
15615 | 15615 | ||
15616 | state._fsp--; | 15616 | state._fsp--; |
15617 | 15617 | ||
@@ -15630,35 +15630,35 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15630 | } | 15630 | } |
15631 | return ; | 15631 | return ; |
15632 | } | 15632 | } |
15633 | // $ANTLR end "rule__VLSFunctionFof__Group_1_2__1" | 15633 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1_2__1" |
15634 | 15634 | ||
15635 | 15635 | ||
15636 | // $ANTLR start "rule__VLSFunctionFof__Group_1_2__1__Impl" | 15636 | // $ANTLR start "rule__VLSFunctionAsTerm__Group_1_2__1__Impl" |
15637 | // InternalVampireLanguage.g:5043:1: rule__VLSFunctionFof__Group_1_2__1__Impl : ( ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) ) ; | 15637 | // InternalVampireLanguage.g:5043:1: rule__VLSFunctionAsTerm__Group_1_2__1__Impl : ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) ) ; |
15638 | public final void rule__VLSFunctionFof__Group_1_2__1__Impl() throws RecognitionException { | 15638 | public final void rule__VLSFunctionAsTerm__Group_1_2__1__Impl() throws RecognitionException { |
15639 | 15639 | ||
15640 | int stackSize = keepStackSize(); | 15640 | int stackSize = keepStackSize(); |
15641 | 15641 | ||
15642 | try { | 15642 | try { |
15643 | // InternalVampireLanguage.g:5047:1: ( ( ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) ) ) | 15643 | // InternalVampireLanguage.g:5047:1: ( ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) ) ) |
15644 | // InternalVampireLanguage.g:5048:1: ( ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) ) | 15644 | // InternalVampireLanguage.g:5048:1: ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) ) |
15645 | { | 15645 | { |
15646 | // InternalVampireLanguage.g:5048:1: ( ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) ) | 15646 | // InternalVampireLanguage.g:5048:1: ( ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) ) |
15647 | // InternalVampireLanguage.g:5049:2: ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) | 15647 | // InternalVampireLanguage.g:5049:2: ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) |
15648 | { | 15648 | { |
15649 | before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); | 15649 | before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); |
15650 | // InternalVampireLanguage.g:5050:2: ( rule__VLSFunctionFof__TermsAssignment_1_2_1 ) | 15650 | // InternalVampireLanguage.g:5050:2: ( rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 ) |
15651 | // InternalVampireLanguage.g:5050:3: rule__VLSFunctionFof__TermsAssignment_1_2_1 | 15651 | // InternalVampireLanguage.g:5050:3: rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 |
15652 | { | 15652 | { |
15653 | pushFollow(FOLLOW_2); | 15653 | pushFollow(FOLLOW_2); |
15654 | rule__VLSFunctionFof__TermsAssignment_1_2_1(); | 15654 | rule__VLSFunctionAsTerm__TermsAssignment_1_2_1(); |
15655 | 15655 | ||
15656 | state._fsp--; | 15656 | state._fsp--; |
15657 | 15657 | ||
15658 | 15658 | ||
15659 | } | 15659 | } |
15660 | 15660 | ||
15661 | after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); | 15661 | after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); |
15662 | 15662 | ||
15663 | } | 15663 | } |
15664 | 15664 | ||
@@ -15677,7 +15677,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
15677 | } | 15677 | } |
15678 | return ; | 15678 | return ; |
15679 | } | 15679 | } |
15680 | // $ANTLR end "rule__VLSFunctionFof__Group_1_2__1__Impl" | 15680 | // $ANTLR end "rule__VLSFunctionAsTerm__Group_1_2__1__Impl" |
15681 | 15681 | ||
15682 | 15682 | ||
15683 | // $ANTLR start "rule__VLSDefinedTerm__Group_0__0" | 15683 | // $ANTLR start "rule__VLSDefinedTerm__Group_0__0" |
@@ -18009,32 +18009,32 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
18009 | // $ANTLR end "rule__VLSVariable__NameAssignment" | 18009 | // $ANTLR end "rule__VLSVariable__NameAssignment" |
18010 | 18010 | ||
18011 | 18011 | ||
18012 | // $ANTLR start "rule__VLSFunctionFof__FunctorAssignment_0" | 18012 | // $ANTLR start "rule__VLSFunctionAsTerm__FunctorAssignment_0" |
18013 | // InternalVampireLanguage.g:5894:1: rule__VLSFunctionFof__FunctorAssignment_0 : ( ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) ) ; | 18013 | // InternalVampireLanguage.g:5894:1: rule__VLSFunctionAsTerm__FunctorAssignment_0 : ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ; |
18014 | public final void rule__VLSFunctionFof__FunctorAssignment_0() throws RecognitionException { | 18014 | public final void rule__VLSFunctionAsTerm__FunctorAssignment_0() throws RecognitionException { |
18015 | 18015 | ||
18016 | int stackSize = keepStackSize(); | 18016 | int stackSize = keepStackSize(); |
18017 | 18017 | ||
18018 | try { | 18018 | try { |
18019 | // InternalVampireLanguage.g:5898:1: ( ( ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) ) ) | 18019 | // InternalVampireLanguage.g:5898:1: ( ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) ) |
18020 | // InternalVampireLanguage.g:5899:2: ( ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) ) | 18020 | // InternalVampireLanguage.g:5899:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) |
18021 | { | 18021 | { |
18022 | // InternalVampireLanguage.g:5899:2: ( ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) ) | 18022 | // InternalVampireLanguage.g:5899:2: ( ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) ) |
18023 | // InternalVampireLanguage.g:5900:3: ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) | 18023 | // InternalVampireLanguage.g:5900:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) |
18024 | { | 18024 | { |
18025 | before(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); | 18025 | before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); |
18026 | // InternalVampireLanguage.g:5901:3: ( rule__VLSFunctionFof__FunctorAlternatives_0_0 ) | 18026 | // InternalVampireLanguage.g:5901:3: ( rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 ) |
18027 | // InternalVampireLanguage.g:5901:4: rule__VLSFunctionFof__FunctorAlternatives_0_0 | 18027 | // InternalVampireLanguage.g:5901:4: rule__VLSFunctionAsTerm__FunctorAlternatives_0_0 |
18028 | { | 18028 | { |
18029 | pushFollow(FOLLOW_2); | 18029 | pushFollow(FOLLOW_2); |
18030 | rule__VLSFunctionFof__FunctorAlternatives_0_0(); | 18030 | rule__VLSFunctionAsTerm__FunctorAlternatives_0_0(); |
18031 | 18031 | ||
18032 | state._fsp--; | 18032 | state._fsp--; |
18033 | 18033 | ||
18034 | 18034 | ||
18035 | } | 18035 | } |
18036 | 18036 | ||
18037 | after(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); | 18037 | after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); |
18038 | 18038 | ||
18039 | } | 18039 | } |
18040 | 18040 | ||
@@ -18053,12 +18053,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
18053 | } | 18053 | } |
18054 | return ; | 18054 | return ; |
18055 | } | 18055 | } |
18056 | // $ANTLR end "rule__VLSFunctionFof__FunctorAssignment_0" | 18056 | // $ANTLR end "rule__VLSFunctionAsTerm__FunctorAssignment_0" |
18057 | 18057 | ||
18058 | 18058 | ||
18059 | // $ANTLR start "rule__VLSFunctionFof__TermsAssignment_1_1" | 18059 | // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_1" |
18060 | // InternalVampireLanguage.g:5909:1: rule__VLSFunctionFof__TermsAssignment_1_1 : ( ruleVLSFofTerm ) ; | 18060 | // InternalVampireLanguage.g:5909:1: rule__VLSFunctionAsTerm__TermsAssignment_1_1 : ( ruleVLSFofTerm ) ; |
18061 | public final void rule__VLSFunctionFof__TermsAssignment_1_1() throws RecognitionException { | 18061 | public final void rule__VLSFunctionAsTerm__TermsAssignment_1_1() throws RecognitionException { |
18062 | 18062 | ||
18063 | int stackSize = keepStackSize(); | 18063 | int stackSize = keepStackSize(); |
18064 | 18064 | ||
@@ -18069,13 +18069,13 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
18069 | // InternalVampireLanguage.g:5914:2: ( ruleVLSFofTerm ) | 18069 | // InternalVampireLanguage.g:5914:2: ( ruleVLSFofTerm ) |
18070 | // InternalVampireLanguage.g:5915:3: ruleVLSFofTerm | 18070 | // InternalVampireLanguage.g:5915:3: ruleVLSFofTerm |
18071 | { | 18071 | { |
18072 | before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); | 18072 | before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); |
18073 | pushFollow(FOLLOW_2); | 18073 | pushFollow(FOLLOW_2); |
18074 | ruleVLSFofTerm(); | 18074 | ruleVLSFofTerm(); |
18075 | 18075 | ||
18076 | state._fsp--; | 18076 | state._fsp--; |
18077 | 18077 | ||
18078 | after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); | 18078 | after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); |
18079 | 18079 | ||
18080 | } | 18080 | } |
18081 | 18081 | ||
@@ -18094,12 +18094,12 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
18094 | } | 18094 | } |
18095 | return ; | 18095 | return ; |
18096 | } | 18096 | } |
18097 | // $ANTLR end "rule__VLSFunctionFof__TermsAssignment_1_1" | 18097 | // $ANTLR end "rule__VLSFunctionAsTerm__TermsAssignment_1_1" |
18098 | 18098 | ||
18099 | 18099 | ||
18100 | // $ANTLR start "rule__VLSFunctionFof__TermsAssignment_1_2_1" | 18100 | // $ANTLR start "rule__VLSFunctionAsTerm__TermsAssignment_1_2_1" |
18101 | // InternalVampireLanguage.g:5924:1: rule__VLSFunctionFof__TermsAssignment_1_2_1 : ( ruleVLSFofTerm ) ; | 18101 | // InternalVampireLanguage.g:5924:1: rule__VLSFunctionAsTerm__TermsAssignment_1_2_1 : ( ruleVLSFofTerm ) ; |
18102 | public final void rule__VLSFunctionFof__TermsAssignment_1_2_1() throws RecognitionException { | 18102 | public final void rule__VLSFunctionAsTerm__TermsAssignment_1_2_1() throws RecognitionException { |
18103 | 18103 | ||
18104 | int stackSize = keepStackSize(); | 18104 | int stackSize = keepStackSize(); |
18105 | 18105 | ||
@@ -18110,13 +18110,13 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
18110 | // InternalVampireLanguage.g:5929:2: ( ruleVLSFofTerm ) | 18110 | // InternalVampireLanguage.g:5929:2: ( ruleVLSFofTerm ) |
18111 | // InternalVampireLanguage.g:5930:3: ruleVLSFofTerm | 18111 | // InternalVampireLanguage.g:5930:3: ruleVLSFofTerm |
18112 | { | 18112 | { |
18113 | before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); | 18113 | before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); |
18114 | pushFollow(FOLLOW_2); | 18114 | pushFollow(FOLLOW_2); |
18115 | ruleVLSFofTerm(); | 18115 | ruleVLSFofTerm(); |
18116 | 18116 | ||
18117 | state._fsp--; | 18117 | state._fsp--; |
18118 | 18118 | ||
18119 | after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); | 18119 | after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); |
18120 | 18120 | ||
18121 | } | 18121 | } |
18122 | 18122 | ||
@@ -18135,7 +18135,7 @@ public class InternalVampireLanguageParser extends AbstractInternalContentAssist | |||
18135 | } | 18135 | } |
18136 | return ; | 18136 | return ; |
18137 | } | 18137 | } |
18138 | // $ANTLR end "rule__VLSFunctionFof__TermsAssignment_1_2_1" | 18138 | // $ANTLR end "rule__VLSFunctionAsTerm__TermsAssignment_1_2_1" |
18139 | 18139 | ||
18140 | 18140 | ||
18141 | // $ANTLR start "rule__VLSDefinedTerm__ValueAssignment_0_1" | 18141 | // $ANTLR start "rule__VLSDefinedTerm__ValueAssignment_0_1" |