diff options
author | 2019-09-03 00:03:48 -0400 | |
---|---|---|
committer | 2019-09-03 00:03:48 -0400 | |
commit | 9fc9e413e61ca00beaf7d8217be173f25cf52b5d (patch) | |
tree | e105e400cceb0a2a3c0c43dd6ab47eda5b4292b3 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse | |
parent | VAMPIRE: implement Vampire Model Interpreter, 2/3 done (diff) | |
download | VIATRA-Generator-9fc9e413e61ca00beaf7d8217be173f25cf52b5d.tar.gz VIATRA-Generator-9fc9e413e61ca00beaf7d8217be173f25cf52b5d.tar.zst VIATRA-Generator-9fc9e413e61ca00beaf7d8217be173f25cf52b5d.zip |
VAMPIRE: complete first version of VampireModelInterpretation
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse')
9 files changed, 26 insertions, 15 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 9033512f..771e1d1a 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 18295021..ad844992 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 eb8d5506..7dcb4392 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 1023ad44..dc040005 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 c996fa4f..2bb8be0d 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 71f522de..8ef096d9 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 | |||
@@ -21,18 +21,23 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | |||
21 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore; | 21 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore; |
22 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; | 22 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; |
23 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; | 23 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; |
24 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2PartialInterpretation; | ||
25 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; | ||
26 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretation2Gml; | ||
27 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretationVisualisation; | ||
28 | import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualiser; | ||
24 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; | 29 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; |
25 | import java.util.HashMap; | 30 | import java.util.HashMap; |
26 | import java.util.List; | 31 | import java.util.List; |
27 | import java.util.Map; | 32 | import java.util.Map; |
28 | import org.eclipse.emf.common.util.EList; | 33 | import org.eclipse.emf.common.util.EList; |
29 | import org.eclipse.emf.ecore.EAttribute; | ||
30 | import org.eclipse.emf.ecore.EObject; | 34 | import org.eclipse.emf.ecore.EObject; |
31 | import org.eclipse.emf.ecore.resource.Resource; | 35 | import org.eclipse.emf.ecore.resource.Resource; |
32 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; | 36 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; |
33 | import org.eclipse.xtend2.lib.StringConcatenation; | 37 | import org.eclipse.xtend2.lib.StringConcatenation; |
34 | import org.eclipse.xtext.xbase.lib.Exceptions; | 38 | import org.eclipse.xtext.xbase.lib.Exceptions; |
35 | import org.eclipse.xtext.xbase.lib.InputOutput; | 39 | import org.eclipse.xtext.xbase.lib.InputOutput; |
40 | import org.eclipse.xtext.xbase.lib.IteratorExtensions; | ||
36 | import org.eclipse.xtext.xbase.lib.ObjectExtensions; | 41 | import org.eclipse.xtext.xbase.lib.ObjectExtensions; |
37 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; | 42 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; |
38 | 43 | ||
@@ -44,6 +49,7 @@ public class FAMTest { | |||
44 | final Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic); | 49 | final Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic); |
45 | final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic); | 50 | final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic); |
46 | final InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic(); | 51 | final InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic(); |
52 | final InstanceModel2PartialInterpretation im2pi = new InstanceModel2PartialInterpretation(); | ||
47 | StringConcatenation _builder = new StringConcatenation(); | 53 | StringConcatenation _builder = new StringConcatenation(); |
48 | _builder.append("initialModels/"); | 54 | _builder.append("initialModels/"); |
49 | final FileSystemWorkspace inputs = new FileSystemWorkspace(_builder.toString(), ""); | 55 | final FileSystemWorkspace inputs = new FileSystemWorkspace(_builder.toString(), ""); |
@@ -82,26 +88,31 @@ public class FAMTest { | |||
82 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 88 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
83 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 89 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
84 | it.documentationLevel = DocumentationLevel.FULL; | 90 | it.documentationLevel = DocumentationLevel.FULL; |
85 | it.typeScopes.minNewElements = 24; | 91 | it.typeScopes.minNewElements = 4; |
86 | it.typeScopes.maxNewElements = 25; | 92 | it.typeScopes.maxNewElements = 5; |
87 | int _size = typeMapMin.size(); | ||
88 | boolean _notEquals = (_size != 0); | ||
89 | if (_notEquals) { | ||
90 | it.typeScopes.minNewElementsByType = typeMapMin; | ||
91 | } | ||
92 | int _size_1 = typeMapMin.size(); | ||
93 | boolean _notEquals_1 = (_size_1 != 0); | ||
94 | if (_notEquals_1) { | ||
95 | it.typeScopes.maxNewElementsByType = typeMapMax; | ||
96 | } | ||
97 | it.contCycleLevel = 5; | 93 | it.contCycleLevel = 5; |
98 | it.uniquenessDuplicates = false; | 94 | it.uniquenessDuplicates = false; |
99 | }; | 95 | }; |
100 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | 96 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); |
101 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); | 97 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); |
102 | List<? extends LogicModelInterpretation> interpretations = reasoner.getInterpretations(((ModelResult) solution)); | 98 | List<? extends LogicModelInterpretation> interpretations = reasoner.getInterpretations(((ModelResult) solution)); |
103 | interpretations.get(0); | 99 | for (final LogicModelInterpretation interpretation : interpretations) { |
104 | InputOutput.<Iterable<EAttribute>>println(ecore2Logic.allAttributesInScope(modelGenerationProblem.getTrace())); | 100 | { |
101 | final EObject model = logic2Ecore.transformInterpretation(interpretation, modelGenerationProblem.getTrace()); | ||
102 | workspace.writeModel(model, "model.xmi"); | ||
103 | final PartialInterpretation representation = im2pi.transform(modelGenerationProblem, IteratorExtensions.<EObject>toList(model.eAllContents()), false); | ||
104 | if ((representation instanceof PartialInterpretation)) { | ||
105 | final PartialInterpretation2Gml vis1 = new PartialInterpretation2Gml(); | ||
106 | final String gml = vis1.transform(representation); | ||
107 | workspace.writeText("model.gml", gml); | ||
108 | final GraphvizVisualiser vis2 = new GraphvizVisualiser(); | ||
109 | final PartialInterpretationVisualisation dot = vis2.visualiseConcretization(representation); | ||
110 | dot.writeToFile(workspace, "model.png"); | ||
111 | } else { | ||
112 | InputOutput.<String>println("ERROR"); | ||
113 | } | ||
114 | } | ||
115 | } | ||
105 | long _currentTimeMillis = System.currentTimeMillis(); | 116 | long _currentTimeMillis = System.currentTimeMillis(); |
106 | long _minus = (_currentTimeMillis - startTime); | 117 | long _minus = (_currentTimeMillis - startTime); |
107 | long totalTimeMin = (_minus / 60000); | 118 | long totalTimeMin = (_minus / 60000); |
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 796f7103..7ab6b54b 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 a2cecacf..f7c267ec 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 c1a25e40..e91e816f 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 | |||