diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill')
6 files changed, 14 insertions, 4 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin index 796bed43..9ef2b1a0 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin index 830ec7f9..468a5b6f 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin index 395fc452..bed2786b 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin | |||
Binary files differ | |||
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(); |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java index 21d2a307..4a971fd6 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java | |||
@@ -1,5 +1,7 @@ | |||
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.filesystem.Dir; | ||
4 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.File; | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage; | 5 | import ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.filesystemPackage; |
4 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns; | 7 | import ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns; |
@@ -65,8 +67,12 @@ public class FileSystemTest { | |||
65 | VampireSolver _vampireSolver = new VampireSolver(); | 67 | VampireSolver _vampireSolver = new VampireSolver(); |
66 | reasoner = _vampireSolver; | 68 | reasoner = _vampireSolver; |
67 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); | 69 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); |
70 | classMapMin.put(Dir.class, Integer.valueOf(10)); | ||
71 | classMapMin.put(File.class, Integer.valueOf(5)); | ||
68 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 72 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
69 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); | 73 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); |
74 | classMapMax.put(File.class, Integer.valueOf(15)); | ||
75 | classMapMax.put(Dir.class, Integer.valueOf(15)); | ||
70 | 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()); |
71 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 77 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
72 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 78 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
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) -> { |