diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java index 2906e24d..5d94a5bb 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java | |||
@@ -3,6 +3,7 @@ | |||
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner; | 4 | package ca.mcgill.ecse.dslreasoner; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.formatting2.VampireLanguageFormatter; | ||
6 | import ca.mcgill.ecse.dslreasoner.generator.VampireLanguageGenerator; | 7 | import ca.mcgill.ecse.dslreasoner.generator.VampireLanguageGenerator; |
7 | import ca.mcgill.ecse.dslreasoner.parser.antlr.VampireLanguageAntlrTokenFileProvider; | 8 | import ca.mcgill.ecse.dslreasoner.parser.antlr.VampireLanguageAntlrTokenFileProvider; |
8 | import ca.mcgill.ecse.dslreasoner.parser.antlr.VampireLanguageParser; | 9 | import ca.mcgill.ecse.dslreasoner.parser.antlr.VampireLanguageParser; |
@@ -18,6 +19,9 @@ import com.google.inject.name.Names; | |||
18 | import java.util.Properties; | 19 | import java.util.Properties; |
19 | import org.eclipse.xtext.Constants; | 20 | import org.eclipse.xtext.Constants; |
20 | import org.eclipse.xtext.IGrammarAccess; | 21 | import org.eclipse.xtext.IGrammarAccess; |
22 | import org.eclipse.xtext.formatting2.FormatterPreferenceValuesProvider; | ||
23 | import org.eclipse.xtext.formatting2.FormatterPreferences; | ||
24 | import org.eclipse.xtext.formatting2.IFormatter2; | ||
21 | import org.eclipse.xtext.generator.IGenerator2; | 25 | import org.eclipse.xtext.generator.IGenerator2; |
22 | import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider; | 26 | import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider; |
23 | import org.eclipse.xtext.naming.IQualifiedNameProvider; | 27 | import org.eclipse.xtext.naming.IQualifiedNameProvider; |
@@ -30,6 +34,7 @@ import org.eclipse.xtext.parser.antlr.ITokenDefProvider; | |||
30 | import org.eclipse.xtext.parser.antlr.Lexer; | 34 | import org.eclipse.xtext.parser.antlr.Lexer; |
31 | import org.eclipse.xtext.parser.antlr.LexerBindings; | 35 | import org.eclipse.xtext.parser.antlr.LexerBindings; |
32 | import org.eclipse.xtext.parser.antlr.LexerProvider; | 36 | import org.eclipse.xtext.parser.antlr.LexerProvider; |
37 | import org.eclipse.xtext.preferences.IPreferenceValuesProvider; | ||
33 | import org.eclipse.xtext.resource.IContainer; | 38 | import org.eclipse.xtext.resource.IContainer; |
34 | import org.eclipse.xtext.resource.IResourceDescriptions; | 39 | import org.eclipse.xtext.resource.IResourceDescriptions; |
35 | import org.eclipse.xtext.resource.containers.IAllContainersState; | 40 | import org.eclipse.xtext.resource.containers.IAllContainersState; |
@@ -191,4 +196,14 @@ public abstract class AbstractVampireLanguageRuntimeModule extends DefaultRuntim | |||
191 | return VampireLanguageGenerator.class; | 196 | return VampireLanguageGenerator.class; |
192 | } | 197 | } |
193 | 198 | ||
199 | // contributed by org.eclipse.xtext.xtext.generator.formatting.Formatter2Fragment2 | ||
200 | public Class<? extends IFormatter2> bindIFormatter2() { | ||
201 | return VampireLanguageFormatter.class; | ||
202 | } | ||
203 | |||
204 | // contributed by org.eclipse.xtext.xtext.generator.formatting.Formatter2Fragment2 | ||
205 | public void configureFormatterPreferences(Binder binder) { | ||
206 | binder.bind(IPreferenceValuesProvider.class).annotatedWith(FormatterPreferences.class).to(FormatterPreferenceValuesProvider.class); | ||
207 | } | ||
208 | |||
194 | } | 209 | } |