refactor: VIATRA adapter fixes

5 files changed, 81 insertions, 17 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/partial/PartialInterpretation.java b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialInterpretation.java
new file mode 100644
index 00000000..7d367937
--- /dev/null
+++ b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialInterpretation.java
@@ -0,0 +1,18 @@
+package tools.refinery.store.partial;
+
+import tools.refinery.store.adapter.ModelAdapterBuilderFactory;
+import tools.refinery.store.model.ModelStoreBuilder;
+
+public final class PartialInterpretation extends ModelAdapterBuilderFactory<PartialModelAdapter,
+                PartialModelStoreAdapter, PartialModelAdapterBuilder> {
+        public static final PartialInterpretation ADAPTER = new PartialInterpretation();
+
+        private PartialInterpretation() {
+                super(PartialModelAdapter.class, PartialModelStoreAdapter.class, PartialModelAdapterBuilder.class);
+        }
+
+        @Override
+        public PartialModelAdapterBuilder createBuilder(ModelStoreBuilder storeBuilder) {
+                return new PartialModelAdapterBuilder(storeBuilder);
+        }
+}
diff --git a/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapter.java b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapter.java
new file mode 100644
index 00000000..cdab5606
--- /dev/null
+++ b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapter.java
@@ -0,0 +1,24 @@
+package tools.refinery.store.partial;
+
+import tools.refinery.store.adapter.ModelAdapter;
+import tools.refinery.store.model.Model;
+
+public class PartialModelAdapter implements ModelAdapter {
+        private final Model model;
+        private final PartialModelStoreAdapter storeAdapter;
+
+        PartialModelAdapter(Model model, PartialModelStoreAdapter storeAdapter) {
+                this.model = model;
+                this.storeAdapter = storeAdapter;
+        }
+
+        @Override
+        public Model getModel() {
+                return model;
+        }
+
+        @Override
+        public PartialModelStoreAdapter getStoreAdapter() {
+                return storeAdapter;
+        }
+}
diff --git a/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapterBuilder.java b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapterBuilder.java
new file mode 100644
index 00000000..0d4a32b9
--- /dev/null
+++ b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapterBuilder.java
@@ -0,0 +1,16 @@
+package tools.refinery.store.partial;
+
+import tools.refinery.store.adapter.AbstractModelAdapterBuilder;
+import tools.refinery.store.model.ModelStore;
+import tools.refinery.store.model.ModelStoreBuilder;
+
+public class PartialModelAdapterBuilder extends AbstractModelAdapterBuilder {
+        PartialModelAdapterBuilder(ModelStoreBuilder storeBuilder) {
+                super(storeBuilder);
+        }
+
+        @Override
+        public PartialModelStoreAdapter createStoreAdapter(ModelStore store) {
+                return null;
+        }
+}
diff --git a/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelStoreAdapter.java b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelStoreAdapter.java
new file mode 100644
index 00000000..d9432a7d
--- /dev/null
+++ b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelStoreAdapter.java
@@ -0,0 +1,23 @@
+package tools.refinery.store.partial;
+
+import tools.refinery.store.adapter.ModelStoreAdapter;
+import tools.refinery.store.model.Model;
+import tools.refinery.store.model.ModelStore;
+
+public class PartialModelStoreAdapter implements ModelStoreAdapter {
+        private final ModelStore store;
+
+        PartialModelStoreAdapter(ModelStore store) {
+                this.store = store;
+        }
+
+        @Override
+        public ModelStore getStore() {
+                return store;
+        }
+
+        @Override
+        public PartialModelAdapter createModelAdapter(Model model) {
+                return new PartialModelAdapter(model, this);
+        }
+}
diff --git a/subprojects/store/src/main/java/tools/refinery/store/query/atom/ModalRelation.java b/subprojects/store/src/main/java/tools/refinery/store/query/atom/ModalRelation.java
deleted file mode 100644
index c2ca1fdb..00000000
--- a/subprojects/store/src/main/java/tools/refinery/store/query/atom/ModalRelation.java
+++ /dev/null
@@ -1,17 +0,0 @@
-package tools.refinery.store.query.atom;
-
-import tools.refinery.store.representation.SymbolLike;
-import tools.refinery.store.representation.Symbol;
-import tools.refinery.store.representation.TruthValue;
-
-public record ModalRelation(Modality modality, Symbol<TruthValue> relation) implements SymbolLike {
-        @Override
-        public String name() {
-                return "%s %s".formatted(modality, relation);
-        }
-
-        @Override
-        public int arity() {
-                return relation.arity();
-        }
-}