1 files changed, 27 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java
new file mode 100644
index 00000000..18440e58
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java
@@ -0,0 +1,27 @@
+/*

+ * generated by Xtext 2.12.0

+ */

+package ca.mcgill.ecse.dslreasoner.ui;

+

+import ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal.LanguageActivator;

+import com.google.inject.Injector;

+import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory;

+import org.osgi.framework.Bundle;

+

+/**

+ * This class was generated. Customizations should only happen in a newly

+ * introduced subclass. 

+ */

+public class VampireLanguageExecutableExtensionFactory extends AbstractGuiceAwareExecutableExtensionFactory {

+

+        @Override

+        protected Bundle getBundle() {

+                return LanguageActivator.getInstance().getBundle();

+        }

+        

+        @Override

+        protected Injector getInjector() {

+                return LanguageActivator.getInstance().getInjector(LanguageActivator.CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE);

+        }

+        

+}