diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/PartialVampireLanguageContentAssistParser.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/PartialVampireLanguageContentAssistParser.java | 34 |
1 files changed, 34 insertions, 0 deletions
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 new file mode 100644 index 00000000..3e7d7281 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/PartialVampireLanguageContentAssistParser.java | |||
@@ -0,0 +1,34 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.14.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr; | ||
5 | |||
6 | import java.util.Collection; | ||
7 | import java.util.Collections; | ||
8 | import org.eclipse.xtext.AbstractRule; | ||
9 | import org.eclipse.xtext.ide.editor.contentassist.antlr.FollowElement; | ||
10 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser; | ||
11 | import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser; | ||
12 | import org.eclipse.xtext.util.PolymorphicDispatcher; | ||
13 | |||
14 | public class PartialVampireLanguageContentAssistParser extends VampireLanguageParser implements IPartialEditingContentAssistParser { | ||
15 | |||
16 | private AbstractRule rule; | ||
17 | |||
18 | @Override | ||
19 | public void initializeFor(AbstractRule rule) { | ||
20 | this.rule = rule; | ||
21 | } | ||
22 | |||
23 | @Override | ||
24 | protected Collection<FollowElement> getFollowElements(AbstractInternalContentAssistParser parser) { | ||
25 | if (rule == null || rule.eIsProxy()) | ||
26 | return Collections.emptyList(); | ||
27 | String methodName = "entryRule" + rule.getName(); | ||
28 | PolymorphicDispatcher<Collection<FollowElement>> dispatcher = | ||
29 | new PolymorphicDispatcher<Collection<FollowElement>>(methodName, 0, 0, Collections.singletonList(parser)); | ||
30 | dispatcher.invoke(); | ||
31 | return parser.getFollowElements(); | ||
32 | } | ||
33 | |||
34 | } | ||