diff options
Diffstat (limited to 'subprojects/store-query/src/main/java/tools/refinery/store/query/ModelQueryBuilder.java')
-rw-r--r-- | subprojects/store-query/src/main/java/tools/refinery/store/query/ModelQueryBuilder.java | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/ModelQueryBuilder.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/ModelQueryBuilder.java index b3cfb4b4..4fdc9210 100644 --- a/subprojects/store-query/src/main/java/tools/refinery/store/query/ModelQueryBuilder.java +++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/ModelQueryBuilder.java | |||
@@ -2,21 +2,23 @@ package tools.refinery.store.query; | |||
2 | 2 | ||
3 | import tools.refinery.store.adapter.ModelAdapterBuilder; | 3 | import tools.refinery.store.adapter.ModelAdapterBuilder; |
4 | import tools.refinery.store.model.ModelStore; | 4 | import tools.refinery.store.model.ModelStore; |
5 | import tools.refinery.store.query.dnf.AnyQuery; | ||
5 | 6 | ||
6 | import java.util.Collection; | 7 | import java.util.Collection; |
7 | import java.util.List; | 8 | import java.util.List; |
8 | 9 | ||
10 | @SuppressWarnings("UnusedReturnValue") | ||
9 | public interface ModelQueryBuilder extends ModelAdapterBuilder { | 11 | public interface ModelQueryBuilder extends ModelAdapterBuilder { |
10 | default ModelQueryBuilder queries(Dnf... queries) { | 12 | default ModelQueryBuilder queries(AnyQuery... queries) { |
11 | return queries(List.of(queries)); | 13 | return queries(List.of(queries)); |
12 | } | 14 | } |
13 | 15 | ||
14 | default ModelQueryBuilder queries(Collection<Dnf> queries) { | 16 | default ModelQueryBuilder queries(Collection<? extends AnyQuery> queries) { |
15 | queries.forEach(this::query); | 17 | queries.forEach(this::query); |
16 | return this; | 18 | return this; |
17 | } | 19 | } |
18 | 20 | ||
19 | ModelQueryBuilder query(Dnf query); | 21 | ModelQueryBuilder query(AnyQuery query); |
20 | 22 | ||
21 | @Override | 23 | @Override |
22 | ModelQueryStoreAdapter createStoreAdapter(ModelStore store); | 24 | ModelQueryStoreAdapter createStoreAdapter(ModelStore store); |