aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java15
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/PartialVampireLanguageContentAssistParser.java2
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/VampireLanguageParser.java281
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g166
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguageParser.java422
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeModule.xtendbinbin1685 -> 1685 bytes
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeSetup.xtendbinbin2500 -> 2500 bytes
7 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 */
4package ca.mcgill.ecse.dslreasoner.ide; 4package ca.mcgill.ecse.dslreasoner.ide;
5 5
@@ -15,6 +15,9 @@ import org.eclipse.xtext.ide.editor.contentassist.IProposalConflictHelper;
15import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper; 15import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper;
16import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; 16import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser;
17import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; 17import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
18import org.eclipse.xtext.ide.refactoring.IRenameStrategy2;
19import org.eclipse.xtext.ide.server.rename.IRenameService;
20import 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 */
4package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr; 4package 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 */
4package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr; 4package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr;
5 5
6import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal.InternalVampireLanguageParser; 6import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal.InternalVampireLanguageParser;
7import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess; 7import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;
8import com.google.common.collect.ImmutableMap;
8import com.google.inject.Inject; 9import com.google.inject.Inject;
9import java.util.HashMap; 10import com.google.inject.Singleton;
10import java.util.Map; 11import java.util.Map;
11import org.eclipse.xtext.AbstractElement; 12import org.eclipse.xtext.AbstractElement;
12import org.eclipse.xtext.ide.editor.contentassist.antlr.AbstractContentAssistParser; 13import org.eclipse.xtext.ide.editor.contentassist.antlr.AbstractContentAssistParser;
13 14
14public class VampireLanguageParser extends AbstractContentAssistParser { 15public 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 */
4grammar InternalVampireLanguage; 4grammar 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
628entryRuleVLSFunctionFof 628entryRuleVLSFunctionAsTerm
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
637ruleVLSFunctionFof 637ruleVLSFunctionAsTerm
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;
648finally { 648finally {
@@ -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
1267rule__VLSFunctionFof__FunctorAlternatives_0_0 1267rule__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;
1296finally { 1296finally {
@@ -4840,53 +4840,53 @@ finally {
4840} 4840}
4841 4841
4842 4842
4843rule__VLSFunctionFof__Group__0 4843rule__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;
4851finally { 4851finally {
4852 restoreStackSize(stackSize); 4852 restoreStackSize(stackSize);
4853} 4853}
4854 4854
4855rule__VLSFunctionFof__Group__0__Impl 4855rule__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;
4866finally { 4866finally {
4867 restoreStackSize(stackSize); 4867 restoreStackSize(stackSize);
4868} 4868}
4869 4869
4870rule__VLSFunctionFof__Group__1 4870rule__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;
4877finally { 4877finally {
4878 restoreStackSize(stackSize); 4878 restoreStackSize(stackSize);
4879} 4879}
4880 4880
4881rule__VLSFunctionFof__Group__1__Impl 4881rule__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;
4892finally { 4892finally {
@@ -4894,107 +4894,107 @@ finally {
4894} 4894}
4895 4895
4896 4896
4897rule__VLSFunctionFof__Group_1__0 4897rule__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;
4905finally { 4905finally {
4906 restoreStackSize(stackSize); 4906 restoreStackSize(stackSize);
4907} 4907}
4908 4908
4909rule__VLSFunctionFof__Group_1__0__Impl 4909rule__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;
4920finally { 4920finally {
4921 restoreStackSize(stackSize); 4921 restoreStackSize(stackSize);
4922} 4922}
4923 4923
4924rule__VLSFunctionFof__Group_1__1 4924rule__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;
4932finally { 4932finally {
4933 restoreStackSize(stackSize); 4933 restoreStackSize(stackSize);
4934} 4934}
4935 4935
4936rule__VLSFunctionFof__Group_1__1__Impl 4936rule__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;
4947finally { 4947finally {
4948 restoreStackSize(stackSize); 4948 restoreStackSize(stackSize);
4949} 4949}
4950 4950
4951rule__VLSFunctionFof__Group_1__2 4951rule__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;
4959finally { 4959finally {
4960 restoreStackSize(stackSize); 4960 restoreStackSize(stackSize);
4961} 4961}
4962 4962
4963rule__VLSFunctionFof__Group_1__2__Impl 4963rule__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;
4974finally { 4974finally {
4975 restoreStackSize(stackSize); 4975 restoreStackSize(stackSize);
4976} 4976}
4977 4977
4978rule__VLSFunctionFof__Group_1__3 4978rule__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;
4985finally { 4985finally {
4986 restoreStackSize(stackSize); 4986 restoreStackSize(stackSize);
4987} 4987}
4988 4988
4989rule__VLSFunctionFof__Group_1__3__Impl 4989rule__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;
5000finally { 5000finally {
@@ -5002,53 +5002,53 @@ finally {
5002} 5002}
5003 5003
5004 5004
5005rule__VLSFunctionFof__Group_1_2__0 5005rule__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;
5013finally { 5013finally {
5014 restoreStackSize(stackSize); 5014 restoreStackSize(stackSize);
5015} 5015}
5016 5016
5017rule__VLSFunctionFof__Group_1_2__0__Impl 5017rule__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;
5028finally { 5028finally {
5029 restoreStackSize(stackSize); 5029 restoreStackSize(stackSize);
5030} 5030}
5031 5031
5032rule__VLSFunctionFof__Group_1_2__1 5032rule__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;
5039finally { 5039finally {
5040 restoreStackSize(stackSize); 5040 restoreStackSize(stackSize);
5041} 5041}
5042 5042
5043rule__VLSFunctionFof__Group_1_2__1__Impl 5043rule__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;
5054finally { 5054finally {
@@ -5891,45 +5891,45 @@ finally {
5891 restoreStackSize(stackSize); 5891 restoreStackSize(stackSize);
5892} 5892}
5893 5893
5894rule__VLSFunctionFof__FunctorAssignment_0 5894rule__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;
5905finally { 5905finally {
5906 restoreStackSize(stackSize); 5906 restoreStackSize(stackSize);
5907} 5907}
5908 5908
5909rule__VLSFunctionFof__TermsAssignment_1_1 5909rule__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;
5920finally { 5920finally {
5921 restoreStackSize(stackSize); 5921 restoreStackSize(stackSize);
5922} 5922}
5923 5923
5924rule__VLSFunctionFof__TermsAssignment_1_2_1 5924rule__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;
5935finally { 5935finally {
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"
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeModule.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeModule.xtendbin
index 89a95266..059cb511 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeModule.xtendbin
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeModule.xtendbin
Binary files differ
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeSetup.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeSetup.xtendbin
index 362c1696..3c6361f3 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeSetup.xtendbin
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeSetup.xtendbin
Binary files differ
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-25 08:08:39 +0000