diff options
author | 2023-05-26 22:24:40 +0200 | |
---|---|---|
committer | 2023-05-26 22:24:40 +0200 | |
commit | d2348a15846ad861fc58b018f50a502a288bfcec (patch) | |
tree | 3a03b9eb35e9f90fd7f0e669ed00bf3aa8636982 /subprojects/store-query-viatra/src/test | |
parent | feat: count and aggregation literal reduction (diff) | |
download | refinery-d2348a15846ad861fc58b018f50a502a288bfcec.tar.gz refinery-d2348a15846ad861fc58b018f50a502a288bfcec.tar.zst refinery-d2348a15846ad861fc58b018f50a502a288bfcec.zip |
refactor: simplified Dnf parameter directions
Diffstat (limited to 'subprojects/store-query-viatra/src/test')
-rw-r--r-- | subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java index 46ce37b4..a9a2f71c 100644 --- a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java +++ b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java | |||
@@ -23,7 +23,6 @@ import tools.refinery.store.tuple.Tuple; | |||
23 | import java.util.List; | 23 | import java.util.List; |
24 | import java.util.Map; | 24 | import java.util.Map; |
25 | 25 | ||
26 | import static org.junit.jupiter.api.Assertions.assertThrows; | ||
27 | import static tools.refinery.store.query.literal.Literals.assume; | 26 | import static tools.refinery.store.query.literal.Literals.assume; |
28 | import static tools.refinery.store.query.literal.Literals.not; | 27 | import static tools.refinery.store.query.literal.Literals.not; |
29 | import static tools.refinery.store.query.term.int_.IntTerms.constant; | 28 | import static tools.refinery.store.query.term.int_.IntTerms.constant; |
@@ -707,14 +706,4 @@ class QueryTest { | |||
707 | queryEngine.flushChanges(); | 706 | queryEngine.flushChanges(); |
708 | assertResults(Map.of(), predicateResultSet); | 707 | assertResults(Map.of(), predicateResultSet); |
709 | } | 708 | } |
710 | |||
711 | @Test | ||
712 | void alwaysTrueTest() { | ||
713 | var p1 = Variable.of("p1"); | ||
714 | var predicate = Query.builder("AlwaysTrue").parameters(p1).clause().build(); | ||
715 | |||
716 | var queryBuilder = ViatraModelQueryAdapter.builder(); | ||
717 | |||
718 | assertThrows(IllegalArgumentException.class, () -> queryBuilder.queries(predicate)); | ||
719 | } | ||
720 | } | 709 | } |