aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-query/src/main/java/tools/refinery/store/query/ModelQueryBuilder.java
diff options
context:
space:
mode:
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.java8
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
3import tools.refinery.store.adapter.ModelAdapterBuilder; 3import tools.refinery.store.adapter.ModelAdapterBuilder;
4import tools.refinery.store.model.ModelStore; 4import tools.refinery.store.model.ModelStore;
5import tools.refinery.store.query.dnf.AnyQuery;
5 6
6import java.util.Collection; 7import java.util.Collection;
7import java.util.List; 8import java.util.List;
8 9
10@SuppressWarnings("UnusedReturnValue")
9public interface ModelQueryBuilder extends ModelAdapterBuilder { 11public 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);