1 files changed, 44 insertions, 0 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/SmtLanguageStandaloneSetupGenerated.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/SmtLanguageStandaloneSetupGenerated.java
new file mode 100644
index 00000000..b86420d3
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/SmtLanguageStandaloneSetupGenerated.java
@@ -0,0 +1,44 @@
+/*

+* generated by Xtext

+*/

+package hu.bme.mit.inf.dslreasoner;

+

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

+import org.eclipse.xtext.ISetup;

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

+

+import com.google.inject.Guice;

+import com.google.inject.Injector;

+

+/**

+ * Generated from StandaloneSetup.xpt!

+ */

+@SuppressWarnings("all")

+public class SmtLanguageStandaloneSetupGenerated implements ISetup {

+

+        public Injector createInjectorAndDoEMFRegistration() {

+                org.eclipse.xtext.common.TerminalsStandaloneSetup.doSetup();

+

+                Injector injector = createInjector();

+                register(injector);

+                return injector;

+        }

+        

+        public Injector createInjector() {

+                return Guice.createInjector(new hu.bme.mit.inf.dslreasoner.SmtLanguageRuntimeModule());

+        }

+        

+        public void register(Injector injector) {

+        if (!EPackage.Registry.INSTANCE.containsKey("http://www.bme.hu/mit/inf/dslreasoner/SmtLanguage")) {

+                EPackage.Registry.INSTANCE.put("http://www.bme.hu/mit/inf/dslreasoner/SmtLanguage", hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage.eINSTANCE);

+        }

+

+                org.eclipse.xtext.resource.IResourceFactory resourceFactory = injector.getInstance(org.eclipse.xtext.resource.IResourceFactory.class);

+                org.eclipse.xtext.resource.IResourceServiceProvider serviceProvider = injector.getInstance(org.eclipse.xtext.resource.IResourceServiceProvider.class);

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

+                org.eclipse.xtext.resource.IResourceServiceProvider.Registry.INSTANCE.getExtensionToFactoryMap().put("smt2", serviceProvider);

+                

+

+

+        }

+}