aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-query/src/main/java
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2023-03-01 21:20:10 +0100
committerLibravatar Kristóf Marussy <kristof@marussy.com>2023-03-01 21:20:10 +0100
commit2bf484cd882949c53a82c40e28319f74ef8ae477 (patch)
tree083eb6793b0fc6fd77f402c51cd5579cfa4c56a2 /subprojects/store-query/src/main/java
parentrefactor: more direct access to VIATRA result set (diff)
downloadrefinery-2bf484cd882949c53a82c40e28319f74ef8ae477.tar.gz
refinery-2bf484cd882949c53a82c40e28319f74ef8ae477.tar.zst
refinery-2bf484cd882949c53a82c40e28319f74ef8ae477.zip
refactor: use Cursor in query result sets
Diffstat (limited to 'subprojects/store-query/src/main/java')
-rw-r--r--subprojects/store-query/src/main/java/tools/refinery/store/query/EmptyResultSet.java8
-rw-r--r--subprojects/store-query/src/main/java/tools/refinery/store/query/ResultSet.java5
2 files changed, 6 insertions, 7 deletions
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/EmptyResultSet.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/EmptyResultSet.java
index 0c2e07d6..9ff6df26 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/EmptyResultSet.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/EmptyResultSet.java
@@ -1,9 +1,9 @@
1package tools.refinery.store.query; 1package tools.refinery.store.query;
2 2
3import tools.refinery.store.map.Cursor;
4import tools.refinery.store.map.Cursors;
3import tools.refinery.store.tuple.TupleLike; 5import tools.refinery.store.tuple.TupleLike;
4 6
5import java.util.stream.Stream;
6
7public class EmptyResultSet implements ResultSet { 7public class EmptyResultSet implements ResultSet {
8 @Override 8 @Override
9 public boolean hasResult(TupleLike parameters) { 9 public boolean hasResult(TupleLike parameters) {
@@ -11,8 +11,8 @@ public class EmptyResultSet implements ResultSet {
11 } 11 }
12 12
13 @Override 13 @Override
14 public Stream<TupleLike> allResults() { 14 public Cursor<TupleLike, Boolean> allResults() {
15 return Stream.of(); 15 return Cursors.empty();
16 } 16 }
17 17
18 @Override 18 @Override
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
index 407cf075..d2b8c9dd 100644
--- 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
@@ -1,9 +1,8 @@
1package tools.refinery.store.query; 1package tools.refinery.store.query;
2 2
3import tools.refinery.store.map.Cursor;
3import tools.refinery.store.tuple.TupleLike; 4import tools.refinery.store.tuple.TupleLike;
4 5
5import java.util.stream.Stream;
6
7public interface ResultSet { 6public interface ResultSet {
8 default boolean hasResult() { 7 default boolean hasResult() {
9 return countResults() > 0; 8 return countResults() > 0;
@@ -11,7 +10,7 @@ public interface ResultSet {
11 10
12 boolean hasResult(TupleLike parameters); 11 boolean hasResult(TupleLike parameters);
13 12
14 Stream<TupleLike> allResults(); 13 Cursor<TupleLike, Boolean> allResults();
15 14
16 int countResults(); 15 int countResults();
17} 16}