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.

7 files changed, 13 insertions, 13 deletions

diff --git a/subprojects/store-reasoning/build.gradle.kts b/subprojects/store-reasoning/build.gradle.kts
index ed8355f3..068256c2 100644
--- a/subprojects/store-reasoning/build.gradle.kts
+++ b/subprojects/store-reasoning/build.gradle.kts
@@ -11,5 +11,5 @@ plugins {
 dependencies {
         api(project(":refinery-store-dse"))
         testImplementation(testFixtures(project(":refinery-store-query")))
-        testImplementation(project(":refinery-store-query-viatra"))
+        testImplementation(project(":refinery-store-query-interpreter"))
 }
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/PartialModelTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/PartialModelTest.java
index 77560a68..f8135102 100644
--- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/PartialModelTest.java
+++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/PartialModelTest.java
@@ -10,7 +10,7 @@ import tools.refinery.store.model.ModelStore;
 import tools.refinery.store.query.ModelQueryAdapter;
 import tools.refinery.store.query.dnf.Query;
 import tools.refinery.store.query.term.Variable;
-import tools.refinery.store.query.viatra.ViatraModelQueryAdapter;
+import tools.refinery.store.query.interpreter.QueryInterpreterAdapter;
 import tools.refinery.store.query.view.ForbiddenView;
 import tools.refinery.store.reasoning.literal.Concreteness;
 import tools.refinery.store.reasoning.representation.PartialRelation;
@@ -42,7 +42,7 @@ class PartialModelTest {
                 var friendStorage = Symbol.of("friend", 2, TruthValue.class, TruthValue.UNKNOWN);
 
                 var store = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(ReasoningAdapter.builder())
                                 .with(new MultiObjectTranslator())
                                 .with(PartialRelationTranslator.of(person)
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslatorTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslatorTest.java
index bbfaff84..1d0ac02d 100644
--- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslatorTest.java
+++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslatorTest.java
@@ -8,7 +8,7 @@ package tools.refinery.store.reasoning.translator.containment;
 import org.junit.jupiter.api.BeforeEach;
 import org.junit.jupiter.api.Test;
 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;
@@ -52,7 +52,7 @@ class ContainmentHierarchyTranslatorTest {
                 );
 
                 store = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(ReasoningAdapter.builder())
                                 .with(new MultiObjectTranslator())
                                 .with(new TypeHierarchyTranslator(typeHierarchy))
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelTest.java
index eabbdffe..6c2f55af 100644
--- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelTest.java
+++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelTest.java
@@ -8,7 +8,7 @@ package tools.refinery.store.reasoning.translator.metamodel;
 import org.junit.jupiter.api.Test;
 import tools.refinery.store.model.Model;
 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;
@@ -141,7 +141,7 @@ class MetamodelTest {
 
         private static Model createModel(Metamodel metamodel, ModelSeed seed) {
                 var store = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(ReasoningAdapter.builder())
                                 .with(new MultiObjectTranslator())
                                 .with(new MetamodelTranslator(metamodel))
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/multiobject/PartialCountTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/multiobject/PartialCountTest.java
index 64230cf6..48a046fc 100644
--- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/multiobject/PartialCountTest.java
+++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/multiobject/PartialCountTest.java
@@ -11,7 +11,7 @@ import tools.refinery.store.query.ModelQueryAdapter;
 import tools.refinery.store.query.dnf.Query;
 import tools.refinery.store.query.resultset.ResultSet;
 import tools.refinery.store.query.term.Variable;
-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.CountLowerBoundLiteral;
@@ -305,7 +305,7 @@ class PartialCountTest {
                 var friendStorage = Symbol.of("friend", 2, TruthValue.class, TruthValue.FALSE);
 
                 var store = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder()
+                                .with(QueryInterpreterAdapter.builder()
                                                 .query(query))
                                 .with(ReasoningAdapter.builder())
                                 .with(new MultiObjectTranslator())
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/ConcreteSupertypeTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/ConcreteSupertypeTest.java
index 3658d603..4bef9d8e 100644
--- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/ConcreteSupertypeTest.java
+++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/ConcreteSupertypeTest.java
@@ -8,7 +8,7 @@ package tools.refinery.store.reasoning.translator.typehierarchy;
 import org.junit.jupiter.api.BeforeEach;
 import org.junit.jupiter.api.Test;
 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;
@@ -34,7 +34,7 @@ class ConcreteSupertypeTest {
                                 .build();
 
                 store = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(ReasoningAdapter.builder())
                                 .with(new TypeHierarchyTranslator(typeHierarchy))
                                 .build();
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyPartialModelTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyPartialModelTest.java
index cd9df19a..5af725bb 100644
--- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyPartialModelTest.java
+++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyPartialModelTest.java
@@ -10,7 +10,7 @@ import org.junit.jupiter.api.Test;
 import tools.refinery.store.model.Model;
 import tools.refinery.store.model.ModelStore;
 import tools.refinery.store.query.ModelQueryAdapter;
-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;
@@ -42,7 +42,7 @@ class TypeHierarchyPartialModelTest {
                                 .build();
 
                 var store = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(ReasoningAdapter.builder())
                                 .with(new TypeHierarchyTranslator(typeHierarchy))
                                 .build();