diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java | 47 |
1 files changed, 47 insertions, 0 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 new file mode 100644 index 00000000..323e4df4 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java | |||
@@ -0,0 +1,47 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.12.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.ide; | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.VampireLanguageParser; | ||
7 | import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal.InternalVampireLanguageLexer; | ||
8 | import com.google.inject.Binder; | ||
9 | import com.google.inject.name.Names; | ||
10 | import org.eclipse.xtext.ide.DefaultIdeModule; | ||
11 | import org.eclipse.xtext.ide.LexerIdeBindings; | ||
12 | import org.eclipse.xtext.ide.editor.contentassist.FQNPrefixMatcher; | ||
13 | import org.eclipse.xtext.ide.editor.contentassist.IPrefixMatcher; | ||
14 | import org.eclipse.xtext.ide.editor.contentassist.IProposalConflictHelper; | ||
15 | import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper; | ||
16 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; | ||
17 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; | ||
18 | |||
19 | /** | ||
20 | * Manual modifications go to {@link VampireLanguageIdeModule}. | ||
21 | */ | ||
22 | @SuppressWarnings("all") | ||
23 | public abstract class AbstractVampireLanguageIdeModule extends DefaultIdeModule { | ||
24 | |||
25 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
26 | public void configureContentAssistLexer(Binder binder) { | ||
27 | binder.bind(Lexer.class) | ||
28 | .annotatedWith(Names.named(LexerIdeBindings.CONTENT_ASSIST)) | ||
29 | .to(InternalVampireLanguageLexer.class); | ||
30 | } | ||
31 | |||
32 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
33 | public Class<? extends IContentAssistParser> bindIContentAssistParser() { | ||
34 | return VampireLanguageParser.class; | ||
35 | } | ||
36 | |||
37 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
38 | public Class<? extends IProposalConflictHelper> bindIProposalConflictHelper() { | ||
39 | return AntlrProposalConflictHelper.class; | ||
40 | } | ||
41 | |||
42 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 | ||
43 | public Class<? extends IPrefixMatcher> bindIPrefixMatcher() { | ||
44 | return FQNPrefixMatcher.class; | ||
45 | } | ||
46 | |||
47 | } | ||