diff options
author | 2023-09-16 13:19:31 +0200 | |
---|---|---|
committer | 2023-09-16 16:53:01 +0200 | |
commit | 97b0c4c1192fe5580a7957c844acc8092b56c604 (patch) | |
tree | bea3cdf9aaeb5da2864fcf87780d356661af8f63 /subprojects/store-dse/src/test | |
parent | build: fix Sonar quality gate issues (diff) | |
download | refinery-97b0c4c1192fe5580a7957c844acc8092b56c604.tar.gz refinery-97b0c4c1192fe5580a7957c844acc8092b56c604.tar.zst refinery-97b0c4c1192fe5580a7957c844acc8092b56c604.zip |
chore: remove VIATRA branding
Rename VIATRA subprojects to Refinery Interpreter to avoid interfering with
Eclipse Foundation trademarks.
Uses refering to a specific (historical) version of VIATRA were kept to avoid
ambiguity.
Diffstat (limited to 'subprojects/store-dse/src/test')
3 files changed, 6 insertions, 6 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 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() |