From 57e614aabedc176ba9965d0ca5e6daa23c5f4758 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 1 Feb 2019 16:03:30 -0500 Subject: Fix FAM Test. Begin Grammar Fix. --- .../ecse/dslreasoner/vampire/icse/FAMTest.xtend | 33 ++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend') 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) + } + + +} -- cgit v1.2.3-54-g00ecf