aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <semerath@mit.bme.hu>2021-09-19 18:09:21 +0200
committerLibravatar OszkarSemerath <semerath@mit.bme.hu>2021-09-19 18:09:21 +0200
commit6f12f475cf57590ea6f49d5b2ebd0161d1e54873 (patch)
tree173b84ca8b9820f683997718cb12785132ebe57a
parentPredicateTranslator first version (diff)
downloadrefinery-6f12f475cf57590ea6f49d5b2ebd0161d1e54873.tar.gz
refinery-6f12f475cf57590ea6f49d5b2ebd0161d1e54873.tar.zst
refinery-6f12f475cf57590ea6f49d5b2ebd0161d1e54873.zip
Import fix
-rw-r--r--model-data/src/test/java/org/eclipse/viatra/solver/data/query/test/QueryTest.java6
1 files changed, 3 insertions, 3 deletions
diff --git a/model-data/src/test/java/org/eclipse/viatra/solver/data/query/test/QueryTest.java b/model-data/src/test/java/org/eclipse/viatra/solver/data/query/test/QueryTest.java
index 5555dac8..182f6c94 100644
--- a/model-data/src/test/java/org/eclipse/viatra/solver/data/query/test/QueryTest.java
+++ b/model-data/src/test/java/org/eclipse/viatra/solver/data/query/test/QueryTest.java
@@ -18,8 +18,8 @@ import org.eclipse.viatra.solver.data.model.ModelStoreImpl;
18import org.eclipse.viatra.solver.data.model.Tuple; 18import org.eclipse.viatra.solver.data.model.Tuple;
19import org.eclipse.viatra.solver.data.model.representation.Relation; 19import org.eclipse.viatra.solver.data.model.representation.Relation;
20import org.eclipse.viatra.solver.data.model.representation.TruthValue; 20import org.eclipse.viatra.solver.data.model.representation.TruthValue;
21import org.eclipse.viatra.solver.data.query.RelationalQuery;
22import org.eclipse.viatra.solver.data.query.RelationalScope; 21import org.eclipse.viatra.solver.data.query.RelationalScope;
22import org.eclipse.viatra.solver.data.query.internal.PredicateTranslator;
23import org.eclipse.viatra.solver.data.query.view.FilteredRelationView; 23import org.eclipse.viatra.solver.data.query.view.FilteredRelationView;
24import org.eclipse.viatra.solver.data.query.view.FunctionalRelationView; 24import org.eclipse.viatra.solver.data.query.view.FunctionalRelationView;
25import org.eclipse.viatra.solver.data.query.view.RelationView; 25import org.eclipse.viatra.solver.data.query.view.RelationView;
@@ -32,7 +32,7 @@ class QueryTest {
32 Relation<Boolean> person = new Relation<>("Person", 1, false); 32 Relation<Boolean> person = new Relation<>("Person", 1, false);
33 33
34 RelationView<Boolean> persionView = new KeyOnlyRelationView(person); 34 RelationView<Boolean> persionView = new KeyOnlyRelationView(person);
35 GenericQuerySpecification<GenericPatternMatcher> personQuery = (new RelationalQuery("PersonQuery")) 35 GenericQuerySpecification<GenericPatternMatcher> personQuery = (new PredicateTranslator("PersonQuery"))
36 .addParameter("p", persionView).addConstraint(persionView, "p").build(); 36 .addParameter("p", persionView).addConstraint(persionView, "p").build();
37 37
38 ModelStore store = new ModelStoreImpl(Set.of(person)); 38 ModelStore store = new ModelStoreImpl(Set.of(person));
@@ -76,7 +76,7 @@ class QueryTest {
76 76
77 RelationalScope scope = new RelationalScope(model, Set.of(persionView, ageView, friendMustView, friendMayView)); 77 RelationalScope scope = new RelationalScope(model, Set.of(persionView, ageView, friendMustView, friendMayView));
78 78
79 GenericQuerySpecification<GenericPatternMatcher> personQuery = (new RelationalQuery("PersonQuery")) 79 GenericQuerySpecification<GenericPatternMatcher> personQuery = (new PredicateTranslator("PersonQuery"))
80 .addParameter("p", persionView).addConstraint(persionView, "p").build(); 80 .addParameter("p", persionView).addConstraint(persionView, "p").build();
81 81
82 ViatraQueryEngine engine = AdvancedViatraQueryEngine.on(scope); 82 ViatraQueryEngine engine = AdvancedViatraQueryEngine.on(scope);