1 files changed, 15 insertions, 8 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
index 5ef7b226..726c20f5 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
@@ -1,5 +1,5 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 package ca.mcgill.ecse.dslreasoner.ui;

 

@@ -11,6 +11,7 @@ import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageDescriptionLabelPro
 import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageLabelProvider;

 import ca.mcgill.ecse.dslreasoner.ui.outline.VampireLanguageOutlineTreeProvider;

 import ca.mcgill.ecse.dslreasoner.ui.quickfix.VampireLanguageQuickfixProvider;

+import ca.mcgill.ecse.dslreasoner.validation.VampireLanguageValidatorConfigurationBlock;

 import com.google.inject.Binder;

 import com.google.inject.Provider;

 import com.google.inject.name.Names;

@@ -78,6 +79,7 @@ import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport;
 import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences;

 import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider;

 import org.eclipse.xtext.ui.shared.Access;

+import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock;

 

 /**

  * Manual modifications go to {@link VampireLanguageUiModule}.

@@ -135,6 +137,11 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule {
                 binder.bind(InternalVampireLanguageLexer.class).toProvider(LexerProvider.create(InternalVampireLanguageLexer.class));

         }

         

+        // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2

+        public Class<? extends AbstractValidatorConfigurationBlock> bindAbstractValidatorConfigurationBlock() {

+                return VampireLanguageValidatorConfigurationBlock.class;

+        }

+        

         // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2

         public Class<? extends PrefixMatcher> bindPrefixMatcher() {

                 return FQNPrefixMatcher.class;

@@ -223,6 +230,13 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule {
         }

         

         // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2

+        public void configureIPreferenceStoreInitializer(Binder binder) {

+                binder.bind(IPreferenceStoreInitializer.class)

+                        .annotatedWith(Names.named("RefactoringPreferences"))

+                        .to(RefactoringPreferences.Initializer.class);

+        }

+        

+        // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2

         public Class<? extends IRenameStrategy> bindIRenameStrategy() {

                 return DefaultRenameStrategy.class;

         }

@@ -233,13 +247,6 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule {
         }

         

         // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2

-        public void configureIPreferenceStoreInitializer(Binder binder) {

-                binder.bind(IPreferenceStoreInitializer.class)

-                        .annotatedWith(Names.named("RefactoringPreferences"))

-                        .to(RefactoringPreferences.Initializer.class);

-        }

-        

-        // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2

         public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() {

                 return DefaultRenameRefactoringProvider.class;

         }