diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse')
6 files changed, 12 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 9ac7c906..796bed43 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 60e770c6..830ec7f9 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 5b017f34..395fc452 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 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)); |
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 f7f8a5ee..21d2a307 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 | |||
@@ -57,6 +57,7 @@ public class FileSystemTest { | |||
57 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); | 57 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); |
58 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); | 58 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); |
59 | LogicProblem problem = modelGenerationProblem.getOutput(); | 59 | LogicProblem problem = modelGenerationProblem.getOutput(); |
60 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).getOutput(); | ||
60 | workspace.writeModel(problem, "FileSystem.logicproblem"); | 61 | workspace.writeModel(problem, "FileSystem.logicproblem"); |
61 | InputOutput.<String>println("Problem created"); | 62 | InputOutput.<String>println("Problem created"); |
62 | long startTime = System.currentTimeMillis(); | 63 | long startTime = System.currentTimeMillis(); |
@@ -70,8 +71,8 @@ public class FileSystemTest { | |||
70 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 71 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
71 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 72 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
72 | it.documentationLevel = DocumentationLevel.FULL; | 73 | it.documentationLevel = DocumentationLevel.FULL; |
73 | it.typeScopes.minNewElements = 40; | 74 | it.typeScopes.minNewElements = 10; |
74 | it.typeScopes.maxNewElements = 59; | 75 | it.typeScopes.maxNewElements = 25; |
75 | int _size = typeMapMin.size(); | 76 | int _size = typeMapMin.size(); |
76 | boolean _notEquals = (_size != 0); | 77 | boolean _notEquals = (_size != 0); |
77 | if (_notEquals) { | 78 | if (_notEquals) { |
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 3a322ee0..ceae8ed2 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,5 +1,6 @@ | |||
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.Region; | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage; | 4 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage; |
4 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; | 5 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; |
@@ -55,6 +56,7 @@ public class YakinduTest { | |||
55 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); | 56 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); |
56 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); | 57 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); |
57 | LogicProblem problem = modelGenerationProblem.getOutput(); | 58 | LogicProblem problem = modelGenerationProblem.getOutput(); |
59 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).getOutput(); | ||
58 | workspace.writeModel(problem, "Yakindu.logicproblem"); | 60 | workspace.writeModel(problem, "Yakindu.logicproblem"); |
59 | InputOutput.<String>println("Problem created"); | 61 | InputOutput.<String>println("Problem created"); |
60 | long startTime = System.currentTimeMillis(); | 62 | long startTime = System.currentTimeMillis(); |
@@ -62,14 +64,16 @@ public class YakinduTest { | |||
62 | VampireSolver _vampireSolver = new VampireSolver(); | 64 | VampireSolver _vampireSolver = new VampireSolver(); |
63 | reasoner = _vampireSolver; | 65 | reasoner = _vampireSolver; |
64 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); | 66 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); |
67 | classMapMin.put(Region.class, Integer.valueOf(1)); | ||
65 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 68 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
66 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); | 69 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); |
70 | classMapMax.put(Region.class, Integer.valueOf(5)); | ||
67 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 71 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
68 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 72 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
69 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 73 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
70 | it.documentationLevel = DocumentationLevel.FULL; | 74 | it.documentationLevel = DocumentationLevel.FULL; |
71 | it.typeScopes.minNewElements = 53; | 75 | it.typeScopes.minNewElements = 20; |
72 | it.typeScopes.maxNewElements = 53; | 76 | it.typeScopes.maxNewElements = 30; |
73 | int _size = typeMapMin.size(); | 77 | int _size = typeMapMin.size(); |
74 | boolean _notEquals = (_size != 0); | 78 | boolean _notEquals = (_size != 0); |
75 | if (_notEquals) { | 79 | if (_notEquals) { |