diff options
Diffstat (limited to 'subprojects/store-dse')
4 files changed, 7 insertions, 7 deletions
diff --git a/subprojects/store-dse/build.gradle.kts b/subprojects/store-dse/build.gradle.kts index 5517e189..041adf70 100644 --- a/subprojects/store-dse/build.gradle.kts +++ b/subprojects/store-dse/build.gradle.kts | |||
@@ -13,5 +13,5 @@ dependencies { | |||
13 | implementation(project(":refinery-store-dse-visualization")) | 13 | implementation(project(":refinery-store-dse-visualization")) |
14 | implementation(libs.eclipseCollections.api) | 14 | implementation(libs.eclipseCollections.api) |
15 | runtimeOnly(libs.eclipseCollections) | 15 | runtimeOnly(libs.eclipseCollections) |
16 | testImplementation(project(":refinery-store-query-viatra")) | 16 | testImplementation(project(":refinery-store-query-interpreter")) |
17 | } | 17 | } |
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 63da6cc3..fa0b3c73 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 | |||
@@ -21,7 +21,7 @@ import tools.refinery.store.query.ModelQueryAdapter; | |||
21 | import tools.refinery.store.query.dnf.Query; | 21 | import tools.refinery.store.query.dnf.Query; |
22 | import tools.refinery.store.query.dnf.RelationalQuery; | 22 | import tools.refinery.store.query.dnf.RelationalQuery; |
23 | import tools.refinery.store.query.term.Variable; | 23 | import tools.refinery.store.query.term.Variable; |
24 | import tools.refinery.store.query.viatra.ViatraModelQueryAdapter; | 24 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; |
25 | import tools.refinery.store.query.view.AnySymbolView; | 25 | import tools.refinery.store.query.view.AnySymbolView; |
26 | import tools.refinery.store.query.view.KeyOnlyView; | 26 | import tools.refinery.store.query.view.KeyOnlyView; |
27 | import tools.refinery.store.representation.Symbol; | 27 | import tools.refinery.store.representation.Symbol; |
@@ -115,7 +115,7 @@ class CRAExamplesTest { | |||
115 | void craTest() { | 115 | void craTest() { |
116 | var store = ModelStore.builder() | 116 | var store = ModelStore.builder() |
117 | .symbols(classElement, encapsulates, attribute, method, dataDependency, functionalDependency, name) | 117 | .symbols(classElement, encapsulates, attribute, method, dataDependency, functionalDependency, name) |
118 | .with(ViatraModelQueryAdapter.builder()) | 118 | .with(QueryInterpreterAdapter.builder()) |
119 | .with(ModelVisualizerAdapter.builder() | 119 | .with(ModelVisualizerAdapter.builder() |
120 | .withOutputPath("test_output") | 120 | .withOutputPath("test_output") |
121 | .withFormat(FileFormat.DOT) | 121 | .withFormat(FileFormat.DOT) |
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 b912eba3..caead7be 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 | |||
@@ -15,7 +15,7 @@ import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; | |||
15 | import tools.refinery.store.dse.transition.Rule; | 15 | import tools.refinery.store.dse.transition.Rule; |
16 | import tools.refinery.store.model.ModelStore; | 16 | import tools.refinery.store.model.ModelStore; |
17 | import tools.refinery.store.query.ModelQueryAdapter; | 17 | import tools.refinery.store.query.ModelQueryAdapter; |
18 | import tools.refinery.store.query.viatra.ViatraModelQueryAdapter; | 18 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; |
19 | import tools.refinery.store.query.view.AnySymbolView; | 19 | import tools.refinery.store.query.view.AnySymbolView; |
20 | import tools.refinery.store.query.view.KeyOnlyView; | 20 | import tools.refinery.store.query.view.KeyOnlyView; |
21 | import tools.refinery.store.representation.Symbol; | 21 | import tools.refinery.store.representation.Symbol; |
@@ -62,7 +62,7 @@ class DebugTest { | |||
62 | 62 | ||
63 | var store = ModelStore.builder() | 63 | var store = ModelStore.builder() |
64 | .symbols(classModel, classElement, feature, classes, features) | 64 | .symbols(classModel, classElement, feature, classes, features) |
65 | .with(ViatraModelQueryAdapter.builder()) | 65 | .with(QueryInterpreterAdapter.builder()) |
66 | .with(ModelVisualizerAdapter.builder() | 66 | .with(ModelVisualizerAdapter.builder() |
67 | .withOutputPath("test_output") | 67 | .withOutputPath("test_output") |
68 | .withFormat(FileFormat.DOT) | 68 | .withFormat(FileFormat.DOT) |
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java index 42a0f89b..a79547ec 100644 --- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java +++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java | |||
@@ -17,7 +17,7 @@ import tools.refinery.store.query.dnf.Query; | |||
17 | import tools.refinery.store.query.dnf.RelationalQuery; | 17 | import tools.refinery.store.query.dnf.RelationalQuery; |
18 | import tools.refinery.store.query.term.Variable; | 18 | import tools.refinery.store.query.term.Variable; |
19 | import tools.refinery.store.query.term.int_.IntTerms; | 19 | import tools.refinery.store.query.term.int_.IntTerms; |
20 | import tools.refinery.store.query.viatra.ViatraModelQueryAdapter; | 20 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; |
21 | import tools.refinery.store.query.view.AnySymbolView; | 21 | import tools.refinery.store.query.view.AnySymbolView; |
22 | import tools.refinery.store.query.view.KeyOnlyView; | 22 | import tools.refinery.store.query.view.KeyOnlyView; |
23 | import tools.refinery.store.representation.Symbol; | 23 | import tools.refinery.store.representation.Symbol; |
@@ -135,7 +135,7 @@ class TransitionBuildTests { | |||
135 | private Model getModel() { | 135 | private Model getModel() { |
136 | var store = ModelStore.builder() | 136 | var store = ModelStore.builder() |
137 | .symbols(person, friend) | 137 | .symbols(person, friend) |
138 | .with(ViatraModelQueryAdapter.builder()) | 138 | .with(QueryInterpreterAdapter.builder()) |
139 | .with(StateCoderAdapter.builder()) | 139 | .with(StateCoderAdapter.builder()) |
140 | .with(ModificationAdapter.builder()) | 140 | .with(ModificationAdapter.builder()) |
141 | .with(DesignSpaceExplorationAdapter.builder() | 141 | .with(DesignSpaceExplorationAdapter.builder() |