aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java')
-rw-r--r--subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java123
1 files changed, 61 insertions, 62 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 a90889c6..46ce37b4 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
@@ -8,7 +8,7 @@ package tools.refinery.store.query.viatra;
8import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; 8import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint;
9import org.junit.jupiter.api.Test; 9import org.junit.jupiter.api.Test;
10import tools.refinery.store.model.ModelStore; 10import tools.refinery.store.model.ModelStore;
11import tools.refinery.store.query.ModelQuery; 11import tools.refinery.store.query.ModelQueryAdapter;
12import tools.refinery.store.query.dnf.Dnf; 12import tools.refinery.store.query.dnf.Dnf;
13import tools.refinery.store.query.dnf.Query; 13import tools.refinery.store.query.dnf.Query;
14import tools.refinery.store.query.term.Variable; 14import tools.refinery.store.query.term.Variable;
@@ -41,15 +41,15 @@ class QueryTest {
41 41
42 var store = ModelStore.builder() 42 var store = ModelStore.builder()
43 .symbols(person, asset) 43 .symbols(person, asset)
44 .with(ViatraModelQuery.ADAPTER) 44 .with(ViatraModelQueryAdapter.builder()
45 .defaultHint(hint) 45 .defaultHint(hint)
46 .query(predicate) 46 .queries(predicate))
47 .build(); 47 .build();
48 48
49 var model = store.createEmptyModel(); 49 var model = store.createEmptyModel();
50 var personInterpretation = model.getInterpretation(person); 50 var personInterpretation = model.getInterpretation(person);
51 var assetInterpretation = model.getInterpretation(asset); 51 var assetInterpretation = model.getInterpretation(asset);
52 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 52 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
53 var predicateResultSet = queryEngine.getResultSet(predicate); 53 var predicateResultSet = queryEngine.getResultSet(predicate);
54 54
55 personInterpretation.put(Tuple.of(0), true); 55 personInterpretation.put(Tuple.of(0), true);
@@ -81,15 +81,15 @@ class QueryTest {
81 81
82 var store = ModelStore.builder() 82 var store = ModelStore.builder()
83 .symbols(person, friend) 83 .symbols(person, friend)
84 .with(ViatraModelQuery.ADAPTER) 84 .with(ViatraModelQueryAdapter.builder()
85 .defaultHint(hint) 85 .defaultHint(hint)
86 .queries(predicate) 86 .queries(predicate))
87 .build(); 87 .build();
88 88
89 var model = store.createEmptyModel(); 89 var model = store.createEmptyModel();
90 var personInterpretation = model.getInterpretation(person); 90 var personInterpretation = model.getInterpretation(person);
91 var friendInterpretation = model.getInterpretation(friend); 91 var friendInterpretation = model.getInterpretation(friend);
92 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 92 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
93 var predicateResultSet = queryEngine.getResultSet(predicate); 93 var predicateResultSet = queryEngine.getResultSet(predicate);
94 94
95 personInterpretation.put(Tuple.of(0), true); 95 personInterpretation.put(Tuple.of(0), true);
@@ -125,15 +125,15 @@ class QueryTest {
125 125
126 var store = ModelStore.builder() 126 var store = ModelStore.builder()
127 .symbols(person, friend) 127 .symbols(person, friend)
128 .with(ViatraModelQuery.ADAPTER) 128 .with(ViatraModelQueryAdapter.builder()
129 .defaultHint(hint) 129 .defaultHint(hint)
130 .queries(predicate) 130 .queries(predicate))
131 .build(); 131 .build();
132 132
133 var model = store.createEmptyModel(); 133 var model = store.createEmptyModel();
134 var personInterpretation = model.getInterpretation(person); 134 var personInterpretation = model.getInterpretation(person);
135 var friendInterpretation = model.getInterpretation(friend); 135 var friendInterpretation = model.getInterpretation(friend);
136 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 136 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
137 var predicateResultSet = queryEngine.getResultSet(predicate); 137 var predicateResultSet = queryEngine.getResultSet(predicate);
138 138
139 personInterpretation.put(Tuple.of(0), true); 139 personInterpretation.put(Tuple.of(0), true);
@@ -175,16 +175,16 @@ class QueryTest {
175 175
176 var store = ModelStore.builder() 176 var store = ModelStore.builder()
177 .symbols(person, animal, friend) 177 .symbols(person, animal, friend)
178 .with(ViatraModelQuery.ADAPTER) 178 .with(ViatraModelQueryAdapter.builder()
179 .defaultHint(hint) 179 .defaultHint(hint)
180 .queries(predicate) 180 .queries(predicate))
181 .build(); 181 .build();
182 182
183 var model = store.createEmptyModel(); 183 var model = store.createEmptyModel();
184 var personInterpretation = model.getInterpretation(person); 184 var personInterpretation = model.getInterpretation(person);
185 var animalInterpretation = model.getInterpretation(animal); 185 var animalInterpretation = model.getInterpretation(animal);
186 var friendInterpretation = model.getInterpretation(friend); 186 var friendInterpretation = model.getInterpretation(friend);
187 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 187 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
188 var predicateResultSet = queryEngine.getResultSet(predicate); 188 var predicateResultSet = queryEngine.getResultSet(predicate);
189 189
190 personInterpretation.put(Tuple.of(0), true); 190 personInterpretation.put(Tuple.of(0), true);
@@ -221,14 +221,14 @@ class QueryTest {
221 221
222 var store = ModelStore.builder() 222 var store = ModelStore.builder()
223 .symbols(person) 223 .symbols(person)
224 .with(ViatraModelQuery.ADAPTER) 224 .with(ViatraModelQueryAdapter.builder()
225 .defaultHint(hint) 225 .defaultHint(hint)
226 .queries(predicate) 226 .queries(predicate))
227 .build(); 227 .build();
228 228
229 var model = store.createEmptyModel(); 229 var model = store.createEmptyModel();
230 var personInterpretation = model.getInterpretation(person); 230 var personInterpretation = model.getInterpretation(person);
231 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 231 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
232 var predicateResultSet = queryEngine.getResultSet(predicate); 232 var predicateResultSet = queryEngine.getResultSet(predicate);
233 233
234 personInterpretation.put(Tuple.of(0), true); 234 personInterpretation.put(Tuple.of(0), true);
@@ -262,15 +262,15 @@ class QueryTest {
262 262
263 var store = ModelStore.builder() 263 var store = ModelStore.builder()
264 .symbols(person, friend) 264 .symbols(person, friend)
265 .with(ViatraModelQuery.ADAPTER) 265 .with(ViatraModelQueryAdapter.builder()
266 .defaultHint(hint) 266 .defaultHint(hint)
267 .queries(predicate) 267 .queries(predicate))
268 .build(); 268 .build();
269 269
270 var model = store.createEmptyModel(); 270 var model = store.createEmptyModel();
271 var personInterpretation = model.getInterpretation(person); 271 var personInterpretation = model.getInterpretation(person);
272 var friendInterpretation = model.getInterpretation(friend); 272 var friendInterpretation = model.getInterpretation(friend);
273 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 273 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
274 var predicateResultSet = queryEngine.getResultSet(predicate); 274 var predicateResultSet = queryEngine.getResultSet(predicate);
275 275
276 personInterpretation.put(Tuple.of(0), true); 276 personInterpretation.put(Tuple.of(0), true);
@@ -312,15 +312,15 @@ class QueryTest {
312 312
313 var store = ModelStore.builder() 313 var store = ModelStore.builder()
314 .symbols(person, friend) 314 .symbols(person, friend)
315 .with(ViatraModelQuery.ADAPTER) 315 .with(ViatraModelQueryAdapter.builder()
316 .defaultHint(hint) 316 .defaultHint(hint)
317 .queries(predicate) 317 .queries(predicate))
318 .build(); 318 .build();
319 319
320 var model = store.createEmptyModel(); 320 var model = store.createEmptyModel();
321 var personInterpretation = model.getInterpretation(person); 321 var personInterpretation = model.getInterpretation(person);
322 var friendInterpretation = model.getInterpretation(friend); 322 var friendInterpretation = model.getInterpretation(friend);
323 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 323 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
324 var predicateResultSet = queryEngine.getResultSet(predicate); 324 var predicateResultSet = queryEngine.getResultSet(predicate);
325 325
326 personInterpretation.put(Tuple.of(0), true); 326 personInterpretation.put(Tuple.of(0), true);
@@ -355,15 +355,15 @@ class QueryTest {
355 355
356 var store = ModelStore.builder() 356 var store = ModelStore.builder()
357 .symbols(person, friend) 357 .symbols(person, friend)
358 .with(ViatraModelQuery.ADAPTER) 358 .with(ViatraModelQueryAdapter.builder()
359 .defaultHint(hint) 359 .defaultHint(hint)
360 .queries(predicate) 360 .queries(predicate))
361 .build(); 361 .build();
362 362
363 var model = store.createEmptyModel(); 363 var model = store.createEmptyModel();
364 var personInterpretation = model.getInterpretation(person); 364 var personInterpretation = model.getInterpretation(person);
365 var friendInterpretation = model.getInterpretation(friend); 365 var friendInterpretation = model.getInterpretation(friend);
366 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 366 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
367 var predicateResultSet = queryEngine.getResultSet(predicate); 367 var predicateResultSet = queryEngine.getResultSet(predicate);
368 368
369 personInterpretation.put(Tuple.of(0), true); 369 personInterpretation.put(Tuple.of(0), true);
@@ -413,15 +413,15 @@ class QueryTest {
413 413
414 var store = ModelStore.builder() 414 var store = ModelStore.builder()
415 .symbols(person, friend) 415 .symbols(person, friend)
416 .with(ViatraModelQuery.ADAPTER) 416 .with(ViatraModelQueryAdapter.builder()
417 .defaultHint(hint) 417 .defaultHint(hint)
418 .queries(predicate) 418 .queries(predicate))
419 .build(); 419 .build();
420 420
421 var model = store.createEmptyModel(); 421 var model = store.createEmptyModel();
422 var personInterpretation = model.getInterpretation(person); 422 var personInterpretation = model.getInterpretation(person);
423 var friendInterpretation = model.getInterpretation(friend); 423 var friendInterpretation = model.getInterpretation(friend);
424 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 424 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
425 var predicateResultSet = queryEngine.getResultSet(predicate); 425 var predicateResultSet = queryEngine.getResultSet(predicate);
426 426
427 personInterpretation.put(Tuple.of(0), true); 427 personInterpretation.put(Tuple.of(0), true);
@@ -461,15 +461,15 @@ class QueryTest {
461 461
462 var store = ModelStore.builder() 462 var store = ModelStore.builder()
463 .symbols(person, friend) 463 .symbols(person, friend)
464 .with(ViatraModelQuery.ADAPTER) 464 .with(ViatraModelQueryAdapter.builder()
465 .defaultHint(hint) 465 .defaultHint(hint)
466 .queries(predicate) 466 .queries(predicate))
467 .build(); 467 .build();
468 468
469 var model = store.createEmptyModel(); 469 var model = store.createEmptyModel();
470 var personInterpretation = model.getInterpretation(person); 470 var personInterpretation = model.getInterpretation(person);
471 var friendInterpretation = model.getInterpretation(friend); 471 var friendInterpretation = model.getInterpretation(friend);
472 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 472 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
473 var predicateResultSet = queryEngine.getResultSet(predicate); 473 var predicateResultSet = queryEngine.getResultSet(predicate);
474 474
475 personInterpretation.put(Tuple.of(0), true); 475 personInterpretation.put(Tuple.of(0), true);
@@ -511,15 +511,15 @@ class QueryTest {
511 511
512 var store = ModelStore.builder() 512 var store = ModelStore.builder()
513 .symbols(person, friend) 513 .symbols(person, friend)
514 .with(ViatraModelQuery.ADAPTER) 514 .with(ViatraModelQueryAdapter.builder()
515 .defaultHint(hint) 515 .defaultHint(hint)
516 .queries(predicate) 516 .queries(predicate))
517 .build(); 517 .build();
518 518
519 var model = store.createEmptyModel(); 519 var model = store.createEmptyModel();
520 var personInterpretation = model.getInterpretation(person); 520 var personInterpretation = model.getInterpretation(person);
521 var friendInterpretation = model.getInterpretation(friend); 521 var friendInterpretation = model.getInterpretation(friend);
522 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 522 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
523 var predicateResultSet = queryEngine.getResultSet(predicate); 523 var predicateResultSet = queryEngine.getResultSet(predicate);
524 524
525 personInterpretation.put(Tuple.of(0), true); 525 personInterpretation.put(Tuple.of(0), true);
@@ -553,15 +553,15 @@ class QueryTest {
553 553
554 var store = ModelStore.builder() 554 var store = ModelStore.builder()
555 .symbols(person, friend) 555 .symbols(person, friend)
556 .with(ViatraModelQuery.ADAPTER) 556 .with(ViatraModelQueryAdapter.builder()
557 .defaultHint(hint) 557 .defaultHint(hint)
558 .queries(predicate) 558 .queries(predicate))
559 .build(); 559 .build();
560 560
561 var model = store.createEmptyModel(); 561 var model = store.createEmptyModel();
562 var personInterpretation = model.getInterpretation(person); 562 var personInterpretation = model.getInterpretation(person);
563 var friendInterpretation = model.getInterpretation(friend); 563 var friendInterpretation = model.getInterpretation(friend);
564 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 564 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
565 var predicateResultSet = queryEngine.getResultSet(predicate); 565 var predicateResultSet = queryEngine.getResultSet(predicate);
566 566
567 personInterpretation.put(Tuple.of(0), true); 567 personInterpretation.put(Tuple.of(0), true);
@@ -610,15 +610,15 @@ class QueryTest {
610 610
611 var store = ModelStore.builder() 611 var store = ModelStore.builder()
612 .symbols(person, friend) 612 .symbols(person, friend)
613 .with(ViatraModelQuery.ADAPTER) 613 .with(ViatraModelQueryAdapter.builder()
614 .defaultHint(hint) 614 .defaultHint(hint)
615 .queries(predicate) 615 .queries(predicate))
616 .build(); 616 .build();
617 617
618 var model = store.createEmptyModel(); 618 var model = store.createEmptyModel();
619 var personInterpretation = model.getInterpretation(person); 619 var personInterpretation = model.getInterpretation(person);
620 var friendInterpretation = model.getInterpretation(friend); 620 var friendInterpretation = model.getInterpretation(friend);
621 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 621 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
622 var predicateResultSet = queryEngine.getResultSet(predicate); 622 var predicateResultSet = queryEngine.getResultSet(predicate);
623 623
624 personInterpretation.put(Tuple.of(0), true); 624 personInterpretation.put(Tuple.of(0), true);
@@ -658,15 +658,15 @@ class QueryTest {
658 658
659 var store = ModelStore.builder() 659 var store = ModelStore.builder()
660 .symbols(person, age) 660 .symbols(person, age)
661 .with(ViatraModelQuery.ADAPTER) 661 .with(ViatraModelQueryAdapter.builder()
662 .defaultHint(hint) 662 .defaultHint(hint)
663 .queries(query) 663 .queries(query))
664 .build(); 664 .build();
665 665
666 var model = store.createEmptyModel(); 666 var model = store.createEmptyModel();
667 var personInterpretation = model.getInterpretation(person); 667 var personInterpretation = model.getInterpretation(person);
668 var ageInterpretation = model.getInterpretation(age); 668 var ageInterpretation = model.getInterpretation(age);
669 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 669 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
670 var queryResultSet = queryEngine.getResultSet(query); 670 var queryResultSet = queryEngine.getResultSet(query);
671 671
672 personInterpretation.put(Tuple.of(0), true); 672 personInterpretation.put(Tuple.of(0), true);
@@ -691,13 +691,13 @@ class QueryTest {
691 691
692 var store = ModelStore.builder() 692 var store = ModelStore.builder()
693 .symbols(person) 693 .symbols(person)
694 .with(ViatraModelQuery.ADAPTER) 694 .with(ViatraModelQueryAdapter.builder()
695 .queries(predicate) 695 .queries(predicate))
696 .build(); 696 .build();
697 697
698 var model = store.createEmptyModel(); 698 var model = store.createEmptyModel();
699 var personInterpretation = model.getInterpretation(person); 699 var personInterpretation = model.getInterpretation(person);
700 var queryEngine = model.getAdapter(ModelQuery.ADAPTER); 700 var queryEngine = model.getAdapter(ModelQueryAdapter.class);
701 var predicateResultSet = queryEngine.getResultSet(predicate); 701 var predicateResultSet = queryEngine.getResultSet(predicate);
702 702
703 personInterpretation.put(Tuple.of(0), true); 703 personInterpretation.put(Tuple.of(0), true);
@@ -713,8 +713,7 @@ class QueryTest {
713 var p1 = Variable.of("p1"); 713 var p1 = Variable.of("p1");
714 var predicate = Query.builder("AlwaysTrue").parameters(p1).clause().build(); 714 var predicate = Query.builder("AlwaysTrue").parameters(p1).clause().build();
715 715
716 var storeBuilder = ModelStore.builder().symbols(person); 716 var queryBuilder = ViatraModelQueryAdapter.builder();
717 var queryBuilder = storeBuilder.with(ViatraModelQuery.ADAPTER);
718 717
719 assertThrows(IllegalArgumentException.class, () -> queryBuilder.queries(predicate)); 718 assertThrows(IllegalArgumentException.class, () -> queryBuilder.queries(predicate));
720 } 719 }
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-21 01:56:18 +0000