diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-09-07 23:08:09 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-07 23:08:47 +0200 |
commit | 59dff3ea8673e402c576d94a28ec26d3ab181a92 (patch) | |
tree | fcc769ea25605a8cd7289c76784db9bfab68defa /subprojects/store-dse-visualization/src/main | |
parent | Merge remote-tracking branch 'nagilooh/datastructure' into partial-interpreta... (diff) | |
download | refinery-59dff3ea8673e402c576d94a28ec26d3ab181a92.tar.gz refinery-59dff3ea8673e402c576d94a28ec26d3ab181a92.tar.zst refinery-59dff3ea8673e402c576d94a28ec26d3ab181a92.zip |
fix(dse): best-first strategy
The query engine must be flushed after firing a tranformation activation.
Diffstat (limited to 'subprojects/store-dse-visualization/src/main')
2 files changed, 4 insertions, 4 deletions
diff --git a/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/ModelVisualizerBuilder.java b/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/ModelVisualizerBuilder.java index 592f5fcf..1ee41cc3 100644 --- a/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/ModelVisualizerBuilder.java +++ b/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/ModelVisualizerBuilder.java | |||
@@ -9,7 +9,7 @@ import tools.refinery.store.adapter.ModelAdapterBuilder; | |||
9 | import tools.refinery.visualization.internal.FileFormat; | 9 | import tools.refinery.visualization.internal.FileFormat; |
10 | 10 | ||
11 | public interface ModelVisualizerBuilder extends ModelAdapterBuilder { | 11 | public interface ModelVisualizerBuilder extends ModelAdapterBuilder { |
12 | ModelVisualizerBuilder withOutputpath(String outputpath); | 12 | ModelVisualizerBuilder withOutputPath(String outputPath); |
13 | ModelVisualizerBuilder withFormat(FileFormat format); | 13 | ModelVisualizerBuilder withFormat(FileFormat format); |
14 | ModelVisualizerBuilder saveDesignSpace(); | 14 | ModelVisualizerBuilder saveDesignSpace(); |
15 | ModelVisualizerBuilder saveStates(); | 15 | ModelVisualizerBuilder saveStates(); |
diff --git a/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerBuilderImpl.java b/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerBuilderImpl.java index e4d801d8..9ba2abe8 100644 --- a/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerBuilderImpl.java +++ b/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerBuilderImpl.java | |||
@@ -18,7 +18,7 @@ public class ModelVisualizerBuilderImpl | |||
18 | private String outputPath; | 18 | private String outputPath; |
19 | private boolean saveDesignSpace = false; | 19 | private boolean saveDesignSpace = false; |
20 | private boolean saveStates = false; | 20 | private boolean saveStates = false; |
21 | private Set<FileFormat> formats = new LinkedHashSet<>(); | 21 | private final Set<FileFormat> formats = new LinkedHashSet<>(); |
22 | 22 | ||
23 | @Override | 23 | @Override |
24 | protected ModelVisualizeStoreAdapterImpl doBuild(ModelStore store) { | 24 | protected ModelVisualizeStoreAdapterImpl doBuild(ModelStore store) { |
@@ -26,9 +26,9 @@ public class ModelVisualizerBuilderImpl | |||
26 | } | 26 | } |
27 | 27 | ||
28 | @Override | 28 | @Override |
29 | public ModelVisualizerBuilder withOutputpath(String outputpath) { | 29 | public ModelVisualizerBuilder withOutputPath(String outputPath) { |
30 | checkNotConfigured(); | 30 | checkNotConfigured(); |
31 | this.outputPath = outputpath; | 31 | this.outputPath = outputPath; |
32 | return this; | 32 | return this; |
33 | } | 33 | } |
34 | 34 | ||