aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbinbin6302 -> 6360 bytes
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbinbin6618 -> 6654 bytes
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbinbin6040 -> 6171 bytes
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java3
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java5
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java8
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;
4import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; 4import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver;
5import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; 5import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration;
6import functionalarchitecture.Function; 6import functionalarchitecture.Function;
7import functionalarchitecture.FunctionalArchitectureModel;
7import functionalarchitecture.FunctionalOutput; 8import functionalarchitecture.FunctionalOutput;
8import functionalarchitecture.FunctionalarchitecturePackage; 9import functionalarchitecture.FunctionalarchitecturePackage;
9import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; 10import 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 @@
1package ca.mcgill.ecse.dslreasoner.vampire.icse; 1package ca.mcgill.ecse.dslreasoner.vampire.icse;
2 2
3import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region;
3import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage; 4import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage;
4import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; 5import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest;
5import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; 6import 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) {
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 18:33:29 +0000