1 files changed, 86 insertions, 12 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend
index eb3f4b14..1fac968b 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend
@@ -1,34 +1,108 @@
 package ca.mcgill.ecse.dslreasoner.vampire.icse

 

-import functionalarchitecture.FunctionalarchitecturePackage

+import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage

+import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver

+import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration

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

+import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration

+import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel

+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner

+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult

+import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic

 import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace

+import java.util.HashMap

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

 import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl

-import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage

-import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.queries.YakinduPatterns

 

 class YakinduTest {

         def static void main(String[] args) {

-                //Workspace setup

+                val Ecore2Logic ecore2Logic = new Ecore2Logic

+                val Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic)

+                val InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic

+

+                // Workspace setup

                 val inputs = new FileSystemWorkspace('''initialModels/''', "")

                 val workspace = new FileSystemWorkspace('''output/YakinduTest/''', "")

                 workspace.initAndClear

-                

-                //Logicproblem writing setup

+

+                // Logicproblem writing setup

                 val reg = Resource.Factory.Registry.INSTANCE

                 val map = reg.extensionToFactoryMap

                 map.put("logicproblem", new XMIResourceFactoryImpl)

 

                 println("Input and output workspaces are created")

 

-                val metamodel = GeneralTest.loadMetamodel(YakindummPackage.eINSTANCE)

-                val partialModel = GeneralTest.loadPartialModel(inputs, "Yakindu.xmi")

+                val metamodel = GeneralTest.loadMetamodel(yakinduPackage.eINSTANCE)

+                val partialModel = GeneralTest.loadPartialModel(inputs, "yakindu/yakinduinstance.xmi")

 //              val queries = GeneralTest.loadQueries(metamodel, FamPa

+                val queries = null

 

                 println("DSL loaded")

-                

-//              GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace)  

+

+                val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration())

+                var problem = modelGenerationProblem.output

+//              problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output

+//              problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output

+                workspace.writeModel(problem, "Yakindu.logicproblem")

+

+                println("Problem created")

+

+                // Start Time

+                var startTime = System.currentTimeMillis

+

+                var LogicReasoner reasoner

+                // *

+                reasoner = new VampireSolver

+

+                // /////////////////////////////////////////////////////

+                // Minimum Scope

+                val classMapMin = new HashMap<Class, Integer>

+//              classMapMin.put(Function, 1)

+//              classMapMin.put(FunctionalInterface, 2)

+//              classMapMin.put(FunctionalOutput, 3)

+                val typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.trace)

+

+                // Maximum Scope

+                val classMapMax = new HashMap<Class, Integer>

+//              classMapMax.put(Function, 5)

+//              classMapMax.put(FunctionalInterface, 2)

+//              classMapMax.put(FunctionalOutput, 4)

+                val typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.trace)

+

+                // Define Config File           

+                val vampireConfig = new VampireSolverConfiguration => [

+                        // add configuration things, in config file first

+                        it.documentationLevel = DocumentationLevel::FULL

+

+                        it.typeScopes.minNewElements = 20

+                        it.typeScopes.maxNewElements = 30

+                        if(typeMapMin.size != 0) it.typeScopes.minNewElementsByType = typeMapMin

+                        if(typeMapMin.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax

+                        it.contCycleLevel = 5

+                        it.uniquenessDuplicates = false

+                ]

+

+                var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace)

+

+                /*/

+                 * 

+                 * reasoner = new AlloySolver

+                 * val alloyConfig = new AlloySolverConfiguration => [

+                 *      it.typeScopes.maxNewElements = 7

+                 *      it.typeScopes.minNewElements = 3

+                 *      it.solutionScope.numberOfRequiredSolution = 1

+                 *      it.typeScopes.maxNewIntegers = 0

+                 *      it.documentationLevel = DocumentationLevel::NORMAL

+                 * ]

+                 * solution = reasoner.solve(problem, alloyConfig, workspace)

+                 //*/

+                // /////////////////////////////////////////////////////

+                var totalTimeMin = (System.currentTimeMillis - startTime) / 60000

+                var totalTimeSec = ((System.currentTimeMillis - startTime) / 1000) % 60

+

+                println("Problem solved")

+                println("Time was: " + totalTimeMin + ":" + totalTimeSec)

         }

-        

-        

+

 }