diff options
Diffstat (limited to 'subprojects/store-query-viatra/src/test/java')
-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 | } |