diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java index 1fcaf9bd..855909aa 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | |||
@@ -4,6 +4,7 @@ import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; | |||
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | 4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | 5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; |
6 | import functionalarchitecture.Function; | 6 | import functionalarchitecture.Function; |
7 | import functionalarchitecture.FunctionalArchitectureModel; | ||
7 | import functionalarchitecture.FunctionalOutput; | 8 | import functionalarchitecture.FunctionalOutput; |
8 | import functionalarchitecture.FunctionalarchitecturePackage; | 9 | import functionalarchitecture.FunctionalarchitecturePackage; |
9 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; | 10 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; |
@@ -65,11 +66,13 @@ public class FAMTest { | |||
65 | VampireSolver _vampireSolver = new VampireSolver(); | 66 | VampireSolver _vampireSolver = new VampireSolver(); |
66 | reasoner = _vampireSolver; | 67 | reasoner = _vampireSolver; |
67 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); | 68 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); |
69 | classMapMin.put(FunctionalArchitectureModel.class, Integer.valueOf(1)); | ||
68 | classMapMin.put(Function.class, Integer.valueOf(1)); | 70 | classMapMin.put(Function.class, Integer.valueOf(1)); |
69 | classMapMin.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2)); | 71 | classMapMin.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2)); |
70 | classMapMin.put(FunctionalOutput.class, Integer.valueOf(3)); | 72 | classMapMin.put(FunctionalOutput.class, Integer.valueOf(3)); |
71 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 73 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
72 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); | 74 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); |
75 | classMapMax.put(FunctionalArchitectureModel.class, Integer.valueOf(3)); | ||
73 | classMapMax.put(Function.class, Integer.valueOf(5)); | 76 | classMapMax.put(Function.class, Integer.valueOf(5)); |
74 | classMapMax.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2)); | 77 | classMapMax.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2)); |
75 | classMapMax.put(FunctionalOutput.class, Integer.valueOf(4)); | 78 | classMapMax.put(FunctionalOutput.class, Integer.valueOf(4)); |