5 files changed, 28 insertions, 12 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
index c3ba9f81..d718bb91 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
@@ -1,5 +1,6 @@
 package hu.bme.mit.inf.dslreasoner.application.execution

 

+import com.google.inject.Injector

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask

 import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic

@@ -24,7 +25,9 @@ import java.util.LinkedList
 import java.util.Optional

 import org.eclipse.core.runtime.IProgressMonitor

 import org.eclipse.emf.common.util.URI

+import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor

 

+@FinalFieldsConstructor

 class GenerationTaskExecutor {

         val metamodelLoader = new MetamodelLoader

         val modelLoader = new ModelLoader

@@ -32,6 +35,7 @@ class GenerationTaskExecutor {
         val solverLoader = new SolverLoader

         val scopeLoader = new ScopeLoader

         val statisticsUtil = new StatisticSections2CSV

+        val Injector injector

         

         def executeGenerationTask(

                 GenerationTask task,

@@ -102,7 +106,7 @@ class GenerationTaskExecutor {
                         var domain2LogicTransformationTime = System.nanoTime

                         val Ecore2Logic ecore2Logic = new Ecore2Logic

                         val Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic)

-                        val Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic)

+                        val Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic, injector)

                         val InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic

                         

                         var modelGeneration = ecore2Logic.transformMetamodel(metamodelDescriptor,new Ecore2LogicConfiguration())

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/PatternLanguageWithRSSetup.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/PatternLanguageWithRSSetup.xtend
index c209cde5..371f6f8c 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/PatternLanguageWithRSSetup.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/PatternLanguageWithRSSetup.xtend
@@ -1,11 +1,7 @@
 package hu.bme.mit.inf.dslreasoner.application.execution

 

-import org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguageStandaloneSetupGenerated

-import com.google.inject.Injector

 import com.google.inject.Guice

-import org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguageRuntimeModule

-import com.google.inject.Guice;

-import com.google.inject.Injector;

+import com.google.inject.Injector

 import org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguageStandaloneSetup

 

 class PatternLanguageWithRSSetup extends EMFPatternLanguageStandaloneSetup{

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend
index 3dea677f..9d0985d2 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend
@@ -1,5 +1,7 @@
 package hu.bme.mit.inf.dslreasoner.application.execution

 

+import com.google.inject.Inject

+import com.google.inject.Injector

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigReference

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigSpecification

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript

@@ -33,11 +35,19 @@ import org.eclipse.core.runtime.jobs.Job
 import org.eclipse.emf.common.util.URI

 import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor

 

-@FinalFieldsConstructor

 class ScriptExecutor {

         val parser = new ApplicationConfigurationParser

         

         val ScriptConsole.Factory scriptConsoleFactory

+        val Injector injector

+        

+        @FinalFieldsConstructor

+        new() {

+        }

+        

+        new(ScriptConsole.Factory scriptConsoleFactory) {

+                this(scriptConsoleFactory, null)

+        }

         

         /**

          * Executes a script

@@ -101,7 +111,7 @@ class ScriptExecutor {
         }

         

         def dispatch void execute(GenerationTask task, IProgressMonitor monitor) {

-                val generationTaskExecutor = new GenerationTaskExecutor

+                val generationTaskExecutor = new GenerationTaskExecutor(injector)

                 generationTaskExecutor.executeGenerationTask(task,this,scriptConsoleFactory,monitor)

         }

         

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
index a549df00..fd50ad51 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
@@ -28,6 +28,7 @@ import java.util.Optional
 import org.eclipse.viatra.query.patternlanguage.emf.vql.PatternModel

 import org.eclipse.xtext.EcoreUtil2

 import org.eclipse.xtext.xbase.lib.Functions.Function1

+import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloyBackendSolver

 

 class SolverLoader {

         def loadSolver(Solver solver, Map<String, String> config) {

@@ -73,9 +74,9 @@ class SolverLoader {
                                 if (!objectiveEntries.empty) {

                                         throw new IllegalArgumentException("Objectives are not supported by Alloy.")

                                 }

-                                val c = new SmtSolverConfiguration

-                                config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it]

-                                config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it]

+                                val c = new AlloySolverConfiguration

+                                config.getAsInteger("symmetry", console).ifPresent[c.symmetry = it]

+                                config.getAsType("solver",console,[x|AlloyBackendSolver::valueOf(x)],AlloyBackendSolver).ifPresent[c.solver = it]

                                 c

                         }

                         case SMT_SOLVER: {

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend
index 42be3ed7..23c76758 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend
@@ -12,6 +12,8 @@ import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl
 import org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguageStandaloneSetup

 import org.eclipse.viatra.query.runtime.rete.matcher.ReteEngine

 import org.eclipse.xtext.resource.XtextResourceSet

+import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions

+import org.eclipse.viatra.query.runtime.rete.matcher.ReteBackendFactory

 

 class StandaloneScriptExecutor {

         def static void main(String[] args) {

@@ -44,7 +46,10 @@ class StandaloneScriptExecutor {
                 Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("xmi",new XMIResourceFactoryImpl)

                 Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("logicproblem",new XMIResourceFactoryImpl)

                 Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("partialmodel",new XMIResourceFactoryImpl)

-                ReteEngine.getClass

+                //ReteEngine.getClass

+                

+                ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE,

+                        ReteBackendFactory.INSTANCE)

                 

                 val ext = path.split("\\.").last

                 if(ext.equals("vsconfig")) {