refactor: split query and partial from store

Allows more complicated dependency hiearchies (e.g., use
store-query-viatra for testing store-partial) and better separation of
test fixtures.

1 files changed, 25 insertions, 0 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/ResultSet.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/ResultSet.java
new file mode 100644
index 00000000..3542e252
--- /dev/null
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/ResultSet.java
@@ -0,0 +1,25 @@
+package tools.refinery.store.query;
+
+import tools.refinery.store.tuple.Tuple;
+import tools.refinery.store.tuple.TupleLike;
+
+import java.util.Optional;
+import java.util.stream.Stream;
+
+public interface ResultSet {
+        boolean hasResult();
+
+        boolean hasResult(Tuple parameters);
+
+        Optional<TupleLike> oneResult();
+
+        Optional<TupleLike> oneResult(Tuple parameters);
+
+        Stream<TupleLike> allResults();
+
+        Stream<TupleLike> allResults(Tuple parameters);
+
+        int countResults();
+
+        int countResults(Tuple parameters);
+}