Initial workspace setup

1 files changed, 93 insertions, 0 deletions

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

+ * generated by Xtext 2.12.0

+ */

+package ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal;

+

+import ca.mcgill.ecse.dslreasoner.VampireLanguageRuntimeModule;

+import ca.mcgill.ecse.dslreasoner.ui.VampireLanguageUiModule;

+import com.google.common.collect.Maps;

+import com.google.inject.Guice;

+import com.google.inject.Injector;

+import com.google.inject.Module;

+import java.util.Collections;

+import java.util.Map;

+import org.apache.log4j.Logger;

+import org.eclipse.ui.plugin.AbstractUIPlugin;

+import org.eclipse.xtext.ui.shared.SharedStateModule;

+import org.eclipse.xtext.util.Modules2;

+import org.osgi.framework.BundleContext;

+

+/**

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

+ * introduced subclass. 

+ */

+public class LanguageActivator extends AbstractUIPlugin {

+

+        public static final String CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE = "ca.mcgill.ecse.dslreasoner.VampireLanguage";

+        

+        private static final Logger logger = Logger.getLogger(LanguageActivator.class);

+        

+        private static LanguageActivator INSTANCE;

+        

+        private Map<String, Injector> injectors = Collections.synchronizedMap(Maps.<String, Injector> newHashMapWithExpectedSize(1));

+        

+        @Override

+        public void start(BundleContext context) throws Exception {

+                super.start(context);

+                INSTANCE = this;

+        }

+        

+        @Override

+        public void stop(BundleContext context) throws Exception {

+                injectors.clear();

+                INSTANCE = null;

+                super.stop(context);

+        }

+        

+        public static LanguageActivator getInstance() {

+                return INSTANCE;

+        }

+        

+        public Injector getInjector(String language) {

+                synchronized (injectors) {

+                        Injector injector = injectors.get(language);

+                        if (injector == null) {

+                                injectors.put(language, injector = createInjector(language));

+                        }

+                        return injector;

+                }

+        }

+        

+        protected Injector createInjector(String language) {

+                try {

+                        Module runtimeModule = getRuntimeModule(language);

+                        Module sharedStateModule = getSharedStateModule();

+                        Module uiModule = getUiModule(language);

+                        Module mergedModule = Modules2.mixin(runtimeModule, sharedStateModule, uiModule);

+                        return Guice.createInjector(mergedModule);

+                } catch (Exception e) {

+                        logger.error("Failed to create injector for " + language);

+                        logger.error(e.getMessage(), e);

+                        throw new RuntimeException("Failed to create injector for " + language, e);

+                }

+        }

+        

+        protected Module getRuntimeModule(String grammar) {

+                if (CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE.equals(grammar)) {

+                        return new VampireLanguageRuntimeModule();

+                }

+                throw new IllegalArgumentException(grammar);

+        }

+        

+        protected Module getUiModule(String grammar) {

+                if (CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE.equals(grammar)) {

+                        return new VampireLanguageUiModule(this);

+                }

+                throw new IllegalArgumentException(grammar);

+        }

+        

+        protected Module getSharedStateModule() {

+                return new SharedStateModule();

+        }

+        

+}