1 files changed, 34 insertions, 0 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
new file mode 100644
index 00000000..e4f6f87a
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend
@@ -0,0 +1,34 @@
+package ca.mcgill.ecse.dslreasoner.vampire.icse

+

+import functionalarchitecture.FunctionalarchitecturePackage

+import hu.bme.mit.inf.dslreasoner.domains.y

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

+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

+

+class YakinduTest {

+        def static void main(String[] args) {

+                //Workspace setup

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

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

+                workspace.initAndClear

+                

+                //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 queries = GeneralTest.loadQueries(metamodel, 

+

+                println("DSL loaded")

+                

+                GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace)  

+        }

+        

+        

+}