diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-04-25 02:50:40 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 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/YakinduTest.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/YakinduTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java index ceae8ed2..f0d7d924 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java | |||
@@ -1,6 +1,9 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.icse; | 1 | package ca.mcgill.ecse.dslreasoner.vampire.icse; |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement; | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region; | 4 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region; |
5 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization; | ||
6 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition; | ||
4 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage; | 7 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; | 8 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; |
6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | 9 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; |
@@ -65,9 +68,13 @@ public class YakinduTest { | |||
65 | reasoner = _vampireSolver; | 68 | reasoner = _vampireSolver; |
66 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); | 69 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); |
67 | classMapMin.put(Region.class, Integer.valueOf(1)); | 70 | classMapMin.put(Region.class, Integer.valueOf(1)); |
71 | classMapMin.put(Transition.class, Integer.valueOf(2)); | ||
72 | classMapMin.put(CompositeElement.class, Integer.valueOf(3)); | ||
68 | 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()); |
69 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); | 74 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); |
70 | classMapMax.put(Region.class, Integer.valueOf(5)); | 75 | classMapMax.put(Region.class, Integer.valueOf(5)); |
76 | classMapMax.put(Transition.class, Integer.valueOf(2)); | ||
77 | classMapMax.put(Synchronization.class, Integer.valueOf(4)); | ||
71 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 78 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
72 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 79 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
73 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 80 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |