diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-02-03 15:20:02 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-02-03 15:20:02 -0500 |
commit | 4d27f2788d2f728d4ee2be8861df09da62bf135f (patch) | |
tree | fd71433c91ca998d37f0038564e913a724979c80 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill | |
parent | VAMPIRE: Further Post-submission updates (diff) | |
download | VIATRA-Generator-4d27f2788d2f728d4ee2be8861df09da62bf135f.tar.gz VIATRA-Generator-4d27f2788d2f728d4ee2be8861df09da62bf135f.tar.zst VIATRA-Generator-4d27f2788d2f728d4ee2be8861df09da62bf135f.zip |
VAMPIRE: last commit
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill')
9 files changed, 2 insertions, 12 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin index 197ef5c9..7ccbe59f 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin | |||
Binary files differ | |||
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 52c819c4..b03f527f 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 b3b15fba..6bc303df 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/.GeneralTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin index 03bcbad7..a34d7d3b 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.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 0f06a39a..a8c5f173 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 8cd08fd8..cd9ba3c1 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 | |||
@@ -1,6 +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.vampire.icse.GeneralTest; | 3 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; |
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.BackendSolver; | ||
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | 5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; |
6 | import functionalarchitecture.FAMTerminator; | 7 | import functionalarchitecture.FAMTerminator; |
@@ -27,8 +28,6 @@ import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; | |||
27 | import java.util.HashMap; | 28 | import java.util.HashMap; |
28 | import java.util.List; | 29 | import java.util.List; |
29 | import java.util.Map; | 30 | import java.util.Map; |
30 | import org.eclipse.emf.common.util.EList; | ||
31 | import org.eclipse.emf.ecore.EObject; | ||
32 | import org.eclipse.emf.ecore.resource.Resource; | 31 | import org.eclipse.emf.ecore.resource.Resource; |
33 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; | 32 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; |
34 | import org.eclipse.xtend2.lib.StringConcatenation; | 33 | import org.eclipse.xtend2.lib.StringConcatenation; |
@@ -59,13 +58,11 @@ public class FAMTest { | |||
59 | map.put("logicproblem", _xMIResourceFactoryImpl); | 58 | map.put("logicproblem", _xMIResourceFactoryImpl); |
60 | InputOutput.<String>println("Input and output workspaces are created"); | 59 | InputOutput.<String>println("Input and output workspaces are created"); |
61 | final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE); | 60 | final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE); |
62 | final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "FAM/FaModel.xmi"); | ||
63 | final Object queries = null; | 61 | final Object queries = null; |
64 | InputOutput.<String>println("DSL loaded"); | 62 | InputOutput.<String>println("DSL loaded"); |
65 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); | 63 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); |
66 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); | 64 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); |
67 | LogicProblem problem = modelGenerationProblem.getOutput(); | 65 | LogicProblem problem = modelGenerationProblem.getOutput(); |
68 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).getOutput(); | ||
69 | workspace.writeModel(problem, "Fam.logicproblem"); | 66 | workspace.writeModel(problem, "Fam.logicproblem"); |
70 | InputOutput.<String>println("Problem created"); | 67 | InputOutput.<String>println("Problem created"); |
71 | long startTime = System.currentTimeMillis(); | 68 | long startTime = System.currentTimeMillis(); |
@@ -86,6 +83,7 @@ public class FAMTest { | |||
86 | it.documentationLevel = DocumentationLevel.FULL; | 83 | it.documentationLevel = DocumentationLevel.FULL; |
87 | it.typeScopes.minNewElements = 8; | 84 | it.typeScopes.minNewElements = 8; |
88 | it.typeScopes.maxNewElements = 10; | 85 | it.typeScopes.maxNewElements = 10; |
86 | it.solver = BackendSolver.LOCVAMP; | ||
89 | it.contCycleLevel = 5; | 87 | it.contCycleLevel = 5; |
90 | it.uniquenessDuplicates = false; | 88 | it.uniquenessDuplicates = false; |
91 | }; | 89 | }; |
@@ -93,13 +91,6 @@ public class FAMTest { | |||
93 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); | 91 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); |
94 | InputOutput.<String>println("Problem solved"); | 92 | InputOutput.<String>println("Problem solved"); |
95 | List<? extends LogicModelInterpretation> interpretations = reasoner.getInterpretations(((ModelResult) solution)); | 93 | List<? extends LogicModelInterpretation> interpretations = reasoner.getInterpretations(((ModelResult) solution)); |
96 | InputOutput.<Class<? extends List>>print(interpretations.getClass()); | ||
97 | for (final LogicModelInterpretation interpretation : interpretations) { | ||
98 | { | ||
99 | final EObject model = logic2Ecore.transformInterpretation(interpretation, modelGenerationProblem.getTrace()); | ||
100 | workspace.writeModel(model, "model.xmi"); | ||
101 | } | ||
102 | } | ||
103 | long _currentTimeMillis = System.currentTimeMillis(); | 94 | long _currentTimeMillis = System.currentTimeMillis(); |
104 | long _minus = (_currentTimeMillis - startTime); | 95 | long _minus = (_currentTimeMillis - startTime); |
105 | long totalTimeMin = (_minus / 60000); | 96 | long totalTimeMin = (_minus / 60000); |
@@ -107,7 +98,6 @@ public class FAMTest { | |||
107 | long _minus_1 = (_currentTimeMillis_1 - startTime); | 98 | long _minus_1 = (_currentTimeMillis_1 - startTime); |
108 | long _divide = (_minus_1 / 1000); | 99 | long _divide = (_minus_1 / 1000); |
109 | long totalTimeSec = (_divide % 60); | 100 | long totalTimeSec = (_divide % 60); |
110 | InputOutput.<String>println("Problem solved"); | ||
111 | InputOutput.<String>println(((("Time was: " + Long.valueOf(totalTimeMin)) + ":") + Long.valueOf(totalTimeSec))); | 101 | InputOutput.<String>println(((("Time was: " + Long.valueOf(totalTimeMin)) + ":") + Long.valueOf(totalTimeSec))); |
112 | } catch (Throwable _e) { | 102 | } catch (Throwable _e) { |
113 | throw Exceptions.sneakyThrow(_e); | 103 | throw Exceptions.sneakyThrow(_e); |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin index 5dcd3133..9a2c84d7 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin index 68ade593..f39505b0 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin index 80e7ebe0..51d32da7 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin | |||
Binary files differ | |||