diff options
author | 2019-04-25 02:50:40 -0400 | |
---|---|---|
committer | 2020-06-07 19:37:07 -0400 | |
commit | 598daf4605d97466d07c74b1bc76d165be145288 (patch) | |
tree | 3756188257ae023e0cdf22b840ea4ce5dfa95505 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | |
parent | VAMPIRE : initial model handling almost done. only typeScope remains #40 (diff) | |
download | VIATRA-Generator-598daf4605d97466d07c74b1bc76d165be145288.tar.gz VIATRA-Generator-598daf4605d97466d07c74b1bc76d165be145288.tar.zst VIATRA-Generator-598daf4605d97466d07c74b1bc76d165be145288.zip |
VAMPIRE: fixed MANY bugs in containment and scope. #40 is good for now
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 | 5 |
1 files changed, 1 insertions, 4 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 855909aa..ddbe05d7 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 | |||
@@ -66,15 +66,12 @@ public class FAMTest { | |||
66 | VampireSolver _vampireSolver = new VampireSolver(); | 66 | VampireSolver _vampireSolver = new VampireSolver(); |
67 | reasoner = _vampireSolver; | 67 | reasoner = _vampireSolver; |
68 | 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)); | ||
70 | classMapMin.put(Function.class, Integer.valueOf(1)); | ||
71 | classMapMin.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2)); | ||
72 | classMapMin.put(FunctionalOutput.class, Integer.valueOf(3)); | 69 | classMapMin.put(FunctionalOutput.class, Integer.valueOf(3)); |
73 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 70 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
74 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); | 71 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); |
75 | classMapMax.put(FunctionalArchitectureModel.class, Integer.valueOf(3)); | 72 | classMapMax.put(FunctionalArchitectureModel.class, Integer.valueOf(3)); |
76 | classMapMax.put(Function.class, Integer.valueOf(5)); | 73 | classMapMax.put(Function.class, Integer.valueOf(5)); |
77 | classMapMax.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2)); | 74 | classMapMax.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(3)); |
78 | classMapMax.put(FunctionalOutput.class, Integer.valueOf(4)); | 75 | classMapMax.put(FunctionalOutput.class, Integer.valueOf(4)); |
79 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 76 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
80 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 77 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |