aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-query-viatra/src/test/java
diff options
context:
space:
mode:
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.java11
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;
23import java.util.List; 23import java.util.List;
24import java.util.Map; 24import java.util.Map;
25 25
26import static org.junit.jupiter.api.Assertions.assertThrows;
27import static tools.refinery.store.query.literal.Literals.assume; 26import static tools.refinery.store.query.literal.Literals.assume;
28import static tools.refinery.store.query.literal.Literals.not; 27import static tools.refinery.store.query.literal.Literals.not;
29import static tools.refinery.store.query.term.int_.IntTerms.constant; 28import 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}