diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-03-01 21:20:10 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-03-01 21:20:10 +0100 |
commit | 2bf484cd882949c53a82c40e28319f74ef8ae477 (patch) | |
tree | 083eb6793b0fc6fd77f402c51cd5579cfa4c56a2 /subprojects/store-query/src | |
parent | refactor: more direct access to VIATRA result set (diff) | |
download | refinery-2bf484cd882949c53a82c40e28319f74ef8ae477.tar.gz refinery-2bf484cd882949c53a82c40e28319f74ef8ae477.tar.zst refinery-2bf484cd882949c53a82c40e28319f74ef8ae477.zip |
refactor: use Cursor in query result sets
Diffstat (limited to 'subprojects/store-query/src')
-rw-r--r-- | subprojects/store-query/src/main/java/tools/refinery/store/query/EmptyResultSet.java | 8 | ||||
-rw-r--r-- | subprojects/store-query/src/main/java/tools/refinery/store/query/ResultSet.java | 5 |
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 @@ | |||
1 | package tools.refinery.store.query; | 1 | package tools.refinery.store.query; |
2 | 2 | ||
3 | import tools.refinery.store.map.Cursor; | ||
4 | import tools.refinery.store.map.Cursors; | ||
3 | import tools.refinery.store.tuple.TupleLike; | 5 | import tools.refinery.store.tuple.TupleLike; |
4 | 6 | ||
5 | import java.util.stream.Stream; | ||
6 | |||
7 | public class EmptyResultSet implements ResultSet { | 7 | public 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 @@ | |||
1 | package tools.refinery.store.query; | 1 | package tools.refinery.store.query; |
2 | 2 | ||
3 | import tools.refinery.store.map.Cursor; | ||
3 | import tools.refinery.store.tuple.TupleLike; | 4 | import tools.refinery.store.tuple.TupleLike; |
4 | 5 | ||
5 | import java.util.stream.Stream; | ||
6 | |||
7 | public interface ResultSet { | 6 | public 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 | } |