1 files changed, 42 insertions, 0 deletions

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

+ * generated by Xtext 2.12.0

+ */

+package ca.mcgill.ecse.dslreasoner;

+

+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;

+import com.google.inject.Guice;

+import com.google.inject.Injector;

+import org.eclipse.emf.ecore.EPackage;

+import org.eclipse.emf.ecore.resource.Resource;

+import org.eclipse.xtext.ISetup;

+import org.eclipse.xtext.common.TerminalsStandaloneSetup;

+import org.eclipse.xtext.resource.IResourceFactory;

+import org.eclipse.xtext.resource.IResourceServiceProvider;

+

+@SuppressWarnings("all")

+public class VampireLanguageStandaloneSetupGenerated implements ISetup {

+

+        @Override

+        public Injector createInjectorAndDoEMFRegistration() {

+                TerminalsStandaloneSetup.doSetup();

+

+                Injector injector = createInjector();

+                register(injector);

+                return injector;

+        }

+        

+        public Injector createInjector() {

+                return Guice.createInjector(new VampireLanguageRuntimeModule());

+        }

+        

+        public void register(Injector injector) {

+                if (!EPackage.Registry.INSTANCE.containsKey("http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage")) {

+                        EPackage.Registry.INSTANCE.put("http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage", VampireLanguagePackage.eINSTANCE);

+                }

+                IResourceFactory resourceFactory = injector.getInstance(IResourceFactory.class);

+                IResourceServiceProvider serviceProvider = injector.getInstance(IResourceServiceProvider.class);

+                

+                Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap().put("tptp", resourceFactory);

+                IResourceServiceProvider.Registry.INSTANCE.getExtensionToFactoryMap().put("tptp", serviceProvider);

+        }

+}