diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 21:02:33 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 21:02:33 +0200 |
commit | 771e3773bb7ebbf6712724cb2b248467c9cc2e3c (patch) | |
tree | b1724af24b9c583b2780c7a2fe76e76fd174359d /Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/AbstractSolverLanguageIdeModule.java | |
parent | Update solver language grammar (diff) | |
download | VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.gz VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.zst VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.zip |
Synthetic tokens for solver language
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/AbstractSolverLanguageIdeModule.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/AbstractSolverLanguageIdeModule.java | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/AbstractSolverLanguageIdeModule.java b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/AbstractSolverLanguageIdeModule.java index 71f91821..3c6c55d8 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/AbstractSolverLanguageIdeModule.java +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/AbstractSolverLanguageIdeModule.java | |||
@@ -6,12 +6,14 @@ package org.eclipse.viatra.solver.language.ide; | |||
6 | import com.google.inject.Binder; | 6 | import com.google.inject.Binder; |
7 | import com.google.inject.name.Names; | 7 | import com.google.inject.name.Names; |
8 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.SolverLanguageParser; | 8 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.SolverLanguageParser; |
9 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.internal.InternalSolverLanguageLexer; | 9 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.lexer.InternalSolverLanguageLexer; |
10 | import org.eclipse.xtext.ide.DefaultIdeModule; | 10 | import org.eclipse.xtext.ide.DefaultIdeModule; |
11 | import org.eclipse.xtext.ide.LexerIdeBindings; | 11 | import org.eclipse.xtext.ide.LexerIdeBindings; |
12 | import org.eclipse.xtext.ide.editor.contentassist.CompletionPrefixProvider; | ||
12 | import org.eclipse.xtext.ide.editor.contentassist.FQNPrefixMatcher; | 13 | 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.IPrefixMatcher; |
14 | import org.eclipse.xtext.ide.editor.contentassist.IProposalConflictHelper; | 15 | import org.eclipse.xtext.ide.editor.contentassist.IProposalConflictHelper; |
16 | import org.eclipse.xtext.ide.editor.contentassist.IndentationAwareCompletionPrefixProvider; | ||
15 | import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper; | 17 | import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper; |
16 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; | 18 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; |
17 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; | 19 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; |
@@ -42,6 +44,11 @@ public abstract class AbstractSolverLanguageIdeModule extends DefaultIdeModule { | |||
42 | return AntlrProposalConflictHelper.class; | 44 | return AntlrProposalConflictHelper.class; |
43 | } | 45 | } |
44 | 46 | ||
47 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
48 | public Class<? extends CompletionPrefixProvider> bindCompletionPrefixProvider() { | ||
49 | return IndentationAwareCompletionPrefixProvider.class; | ||
50 | } | ||
51 | |||
45 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 | 52 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 |
46 | public Class<? extends IPrefixMatcher> bindIPrefixMatcher() { | 53 | public Class<? extends IPrefixMatcher> bindIPrefixMatcher() { |
47 | return FQNPrefixMatcher.class; | 54 | return FQNPrefixMatcher.class; |