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 @@
  */

 package ca.mcgill.ecse.dslreasoner;

 

+import ca.mcgill.ecse.dslreasoner.formatting2.VampireLanguageFormatter;

 import ca.mcgill.ecse.dslreasoner.generator.VampireLanguageGenerator;

 import ca.mcgill.ecse.dslreasoner.parser.antlr.VampireLanguageAntlrTokenFileProvider;

 import ca.mcgill.ecse.dslreasoner.parser.antlr.VampireLanguageParser;

@@ -18,6 +19,9 @@ import com.google.inject.name.Names;
 import java.util.Properties;

 import org.eclipse.xtext.Constants;

 import org.eclipse.xtext.IGrammarAccess;

+import org.eclipse.xtext.formatting2.FormatterPreferenceValuesProvider;

+import org.eclipse.xtext.formatting2.FormatterPreferences;

+import org.eclipse.xtext.formatting2.IFormatter2;

 import org.eclipse.xtext.generator.IGenerator2;

 import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider;

 import org.eclipse.xtext.naming.IQualifiedNameProvider;

@@ -30,6 +34,7 @@ import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
 import org.eclipse.xtext.parser.antlr.Lexer;

 import org.eclipse.xtext.parser.antlr.LexerBindings;

 import org.eclipse.xtext.parser.antlr.LexerProvider;

+import org.eclipse.xtext.preferences.IPreferenceValuesProvider;

 import org.eclipse.xtext.resource.IContainer;

 import org.eclipse.xtext.resource.IResourceDescriptions;

 import org.eclipse.xtext.resource.containers.IAllContainersState;

@@ -191,4 +196,14 @@ public abstract class AbstractVampireLanguageRuntimeModule extends DefaultRuntim
                 return VampireLanguageGenerator.class;

         }

         

+        // contributed by org.eclipse.xtext.xtext.generator.formatting.Formatter2Fragment2

+        public Class<? extends IFormatter2> bindIFormatter2() {

+                return VampireLanguageFormatter.class;

+        }

+        

+        // contributed by org.eclipse.xtext.xtext.generator.formatting.Formatter2Fragment2

+        public void configureFormatterPreferences(Binder binder) {

+                binder.bind(IPreferenceValuesProvider.class).annotatedWith(FormatterPreferences.class).to(FormatterPreferenceValuesProvider.class);

+        }

+        

 }