From 8af821e133a51179c1692cd48fb03cad80124e54 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 24 Apr 2019 19:54:57 -0400 Subject: VAMPIRE : initial model handling almost done. only typeScope remains #40 --- .../src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (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 index bbea9822..ccf36550 100644 --- 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 @@ -17,6 +17,7 @@ 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 functionalarchitecture.FunctionalArchitectureModel class FAMTest { def static void main(String[] args) { @@ -46,7 +47,7 @@ class FAMTest { val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration()) var problem = modelGenerationProblem.output - problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output +// problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output // problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output workspace.writeModel(problem, "Fam.logicproblem") @@ -62,6 +63,7 @@ class FAMTest { // ///////////////////////////////////////////////////// // Minimum Scope val classMapMin = new HashMap + classMapMin.put(FunctionalArchitectureModel, 1) classMapMin.put(Function, 1) classMapMin.put(FunctionalInterface, 2) classMapMin.put(FunctionalOutput, 3) @@ -70,6 +72,7 @@ class FAMTest { // Maximum Scope val classMapMax = new HashMap + classMapMax.put(FunctionalArchitectureModel, 3) classMapMax.put(Function, 5) classMapMax.put(FunctionalInterface, 2) classMapMax.put(FunctionalOutput, 4) -- cgit v1.2.3-54-g00ecf