diff options
Diffstat (limited to 'subprojects/store-dse/src/test')
-rw-r--r-- | subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java | 11 | ||||
-rw-r--r-- | subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java | 11 |
2 files changed, 14 insertions, 8 deletions
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java index f1e90280..23f0e703 100644 --- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java +++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java | |||
@@ -188,7 +188,13 @@ class CRAExamplesTest { | |||
188 | .queries(feature, assignFeaturePreconditionHelper, assignFeaturePrecondition, | 188 | .queries(feature, assignFeaturePreconditionHelper, assignFeaturePrecondition, |
189 | deleteEmptyClassPrecondition, createClassPreconditionHelper, createClassPrecondition, | 189 | deleteEmptyClassPrecondition, createClassPreconditionHelper, createClassPrecondition, |
190 | moveFeaturePrecondition)) | 190 | moveFeaturePrecondition)) |
191 | .with(ModelVisualizerAdapter.builder()) | 191 | .with(ModelVisualizerAdapter.builder() |
192 | .withOutputpath("test_output") | ||
193 | .withFormat(FileFormat.DOT) | ||
194 | .withFormat(FileFormat.SVG) | ||
195 | .saveStates() | ||
196 | .saveDesignSpace() | ||
197 | ) | ||
192 | .with(DesignSpaceExplorationAdapter.builder() | 198 | .with(DesignSpaceExplorationAdapter.builder() |
193 | .transformations(assignFeatureRule, deleteEmptyClassRule, createClassRule, moveFeatureRule) | 199 | .transformations(assignFeatureRule, deleteEmptyClassRule, createClassRule, moveFeatureRule) |
194 | // .strategy(new DepthFirstStrategy(3).continueIfHardObjectivesFulfilled() | 200 | // .strategy(new DepthFirstStrategy(3).continueIfHardObjectivesFulfilled() |
@@ -271,9 +277,6 @@ class CRAExamplesTest { | |||
271 | 277 | ||
272 | var states = dseAdapter.explore(); | 278 | var states = dseAdapter.explore(); |
273 | System.out.println("states size: " + states.size()); | 279 | System.out.println("states size: " + states.size()); |
274 | System.out.println("states: " + states); | ||
275 | var visualizer = model.getAdapter(ModelVisualizerAdapter.class); | ||
276 | visualizer.renderDesignSpace("test_output", FileFormat.SVG); | ||
277 | } | 280 | } |
278 | 281 | ||
279 | } | 282 | } |
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java index 553510c8..88c4f152 100644 --- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java +++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java | |||
@@ -90,7 +90,13 @@ class DebugTest { | |||
90 | .symbols(classModel, classElement, feature, isEncapsulatedBy, encapsulates, classes, features) | 90 | .symbols(classModel, classElement, feature, isEncapsulatedBy, encapsulates, classes, features) |
91 | .with(ViatraModelQueryAdapter.builder() | 91 | .with(ViatraModelQueryAdapter.builder() |
92 | .queries(createClassPrecondition, createFeaturePrecondition)) | 92 | .queries(createClassPrecondition, createFeaturePrecondition)) |
93 | .with(ModelVisualizerAdapter.builder()) | 93 | .with(ModelVisualizerAdapter.builder() |
94 | .withOutputpath("test_output") | ||
95 | .withFormat(FileFormat.DOT) | ||
96 | .withFormat(FileFormat.SVG) | ||
97 | .saveStates() | ||
98 | .saveDesignSpace() | ||
99 | ) | ||
94 | .with(DesignSpaceExplorationAdapter.builder() | 100 | .with(DesignSpaceExplorationAdapter.builder() |
95 | .transformations(createClassRule, createFeatureRule) | 101 | .transformations(createClassRule, createFeatureRule) |
96 | .strategy(new DepthFirstStrategy(4).continueIfHardObjectivesFulfilled() | 102 | .strategy(new DepthFirstStrategy(4).continueIfHardObjectivesFulfilled() |
@@ -113,10 +119,7 @@ class DebugTest { | |||
113 | 119 | ||
114 | 120 | ||
115 | var states = dseAdapter.explore(); | 121 | var states = dseAdapter.explore(); |
116 | var visualizer = model.getAdapter(ModelVisualizerAdapter.class); | ||
117 | visualizer.renderDesignSpace("test_output", FileFormat.SVG); | ||
118 | System.out.println("states size: " + states.size()); | 122 | System.out.println("states size: " + states.size()); |
119 | System.out.println("states: " + states); | ||
120 | 123 | ||
121 | } | 124 | } |
122 | } | 125 | } |