Fix FAM Test. Begin Grammar Fix.

1 files changed, 33 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend
new file mode 100644
index 00000000..9ae00f8d
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend
@@ -0,0 +1,33 @@
+package ca.mcgill.ecse.dslreasoner.vampire.icse

+

+import functionalarchitecture.FunctionalarchitecturePackage

+import hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns

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

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

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

+

+class FAMTest {

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

+                //Workspace setup

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

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

+                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(FunctionalarchitecturePackage.eINSTANCE)

+                val partialModel = GeneralTest.loadPartialModel(inputs, "FunctionalArchitectureModel.xmi")

+                val queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance)

+

+                println("DSL loaded")

+                

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

+        }

+        

+        

+}