diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | 5 |
1 files changed, 4 insertions, 1 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 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 | |||
17 | import java.util.HashMap | 17 | import java.util.HashMap |
18 | import org.eclipse.emf.ecore.resource.Resource | 18 | import org.eclipse.emf.ecore.resource.Resource |
19 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl | 19 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl |
20 | import functionalarchitecture.FunctionalArchitectureModel | ||
20 | 21 | ||
21 | class FAMTest { | 22 | class FAMTest { |
22 | def static void main(String[] args) { | 23 | def static void main(String[] args) { |
@@ -46,7 +47,7 @@ class FAMTest { | |||
46 | 47 | ||
47 | val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration()) | 48 | val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration()) |
48 | var problem = modelGenerationProblem.output | 49 | var problem = modelGenerationProblem.output |
49 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output | 50 | // problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output |
50 | // problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output | 51 | // problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output |
51 | workspace.writeModel(problem, "Fam.logicproblem") | 52 | workspace.writeModel(problem, "Fam.logicproblem") |
52 | 53 | ||
@@ -62,6 +63,7 @@ class FAMTest { | |||
62 | // ///////////////////////////////////////////////////// | 63 | // ///////////////////////////////////////////////////// |
63 | // Minimum Scope | 64 | // Minimum Scope |
64 | val classMapMin = new HashMap<Class, Integer> | 65 | val classMapMin = new HashMap<Class, Integer> |
66 | classMapMin.put(FunctionalArchitectureModel, 1) | ||
65 | classMapMin.put(Function, 1) | 67 | classMapMin.put(Function, 1) |
66 | classMapMin.put(FunctionalInterface, 2) | 68 | classMapMin.put(FunctionalInterface, 2) |
67 | classMapMin.put(FunctionalOutput, 3) | 69 | classMapMin.put(FunctionalOutput, 3) |
@@ -70,6 +72,7 @@ class FAMTest { | |||
70 | 72 | ||
71 | // Maximum Scope | 73 | // Maximum Scope |
72 | val classMapMax = new HashMap<Class, Integer> | 74 | val classMapMax = new HashMap<Class, Integer> |
75 | classMapMax.put(FunctionalArchitectureModel, 3) | ||
73 | classMapMax.put(Function, 5) | 76 | classMapMax.put(Function, 5) |
74 | classMapMax.put(FunctionalInterface, 2) | 77 | classMapMax.put(FunctionalInterface, 2) |
75 | classMapMax.put(FunctionalOutput, 4) | 78 | classMapMax.put(FunctionalOutput, 4) |