From 97b0c4c1192fe5580a7957c844acc8092b56c604 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 16 Sep 2023 13:19:31 +0200 Subject: 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. --- .../refinery/language/semantics/model/CountPropagationTest.java | 4 ++-- .../refinery/language/semantics/model/ModelGenerationTest.java | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'subprojects/language-semantics/src/test') diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/CountPropagationTest.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/CountPropagationTest.java index eee2c4ae..6beae93a 100644 --- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/CountPropagationTest.java +++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/CountPropagationTest.java @@ -10,7 +10,7 @@ import tools.refinery.store.dse.propagation.PropagationAdapter; import tools.refinery.store.dse.propagation.PropagationResult; import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; import tools.refinery.store.model.ModelStore; -import tools.refinery.store.query.viatra.ViatraModelQueryAdapter; +import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; import tools.refinery.store.reasoning.ReasoningAdapter; import tools.refinery.store.reasoning.ReasoningStoreAdapter; import tools.refinery.store.reasoning.representation.PartialRelation; @@ -40,7 +40,7 @@ class CountPropagationTest { .build(); var store = ModelStore.builder() - .with(ViatraModelQueryAdapter.builder()) + .with(QueryInterpreterAdapter.builder()) .with(PropagationAdapter.builder()) .with(DesignSpaceExplorationAdapter.builder()) .with(ReasoningAdapter.builder()) diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java index d756099c..c8a79c37 100644 --- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java +++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java @@ -18,7 +18,7 @@ import tools.refinery.store.dse.propagation.PropagationAdapter; import tools.refinery.store.dse.strategy.BestFirstStoreManager; import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; import tools.refinery.store.model.ModelStore; -import tools.refinery.store.query.viatra.ViatraModelQueryAdapter; +import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; import tools.refinery.store.reasoning.ReasoningAdapter; import tools.refinery.store.reasoning.ReasoningStoreAdapter; import tools.refinery.store.reasoning.literal.Concreteness; @@ -81,7 +81,7 @@ class ModelGenerationTest { var problem = parsedProblem.problem(); var storeBuilder = ModelStore.builder() - .with(ViatraModelQueryAdapter.builder()) + .with(QueryInterpreterAdapter.builder()) .with(ModelVisualizerAdapter.builder() .withOutputPath("test_output") .withFormat(FileFormat.DOT) @@ -215,7 +215,7 @@ class ModelGenerationTest { var problem = parsedProblem.problem(); var storeBuilder = ModelStore.builder() - .with(ViatraModelQueryAdapter.builder()) + .with(QueryInterpreterAdapter.builder()) // .with(ModelVisualizerAdapter.builder() // .withOutputPath("test_output") // .withFormat(FileFormat.DOT) @@ -282,7 +282,7 @@ class ModelGenerationTest { var problem = parsedProblem.problem(); var storeBuilder = ModelStore.builder() - .with(ViatraModelQueryAdapter.builder()) + .with(QueryInterpreterAdapter.builder()) // .with(ModelVisualizerAdapter.builder() // .withOutputPath("test_output") // .withFormat(FileFormat.DOT) -- cgit v1.2.3-70-g09d2