Added generated artefacts for the alloy parser

1 files changed, 45 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AlloyLanguageStandaloneSetupGenerated.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AlloyLanguageStandaloneSetupGenerated.java
new file mode 100644
index 00000000..d4e7bff4
--- /dev/null
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AlloyLanguageStandaloneSetupGenerated.java
@@ -0,0 +1,45 @@
+/*

+ * generated by Xtext

+ */

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

+

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

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

+import org.eclipse.xtext.ISetup;

+

+import com.google.inject.Guice;

+import com.google.inject.Injector;

+

+/**

+ * Generated from StandaloneSetup.xpt!

+ */

+@SuppressWarnings("all")

+public class AlloyLanguageStandaloneSetupGenerated implements ISetup {

+

+        @Override

+        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.AlloyLanguageRuntimeModule());

+        }

+        

+        public void register(Injector injector) {

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

+                EPackage.Registry.INSTANCE.put("http://www.bme.hu/mit/inf/dslreasoner/AlloyLanguage", hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage.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("als", resourceFactory);

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

+                

+

+

+        }

+}