diff options
Diffstat (limited to 'subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/AssumptionEvaluator.java')
-rw-r--r-- | subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/AssumptionEvaluator.java | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/AssumptionEvaluator.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/AssumptionEvaluator.java new file mode 100644 index 00000000..a80b0f90 --- /dev/null +++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/AssumptionEvaluator.java | |||
@@ -0,0 +1,16 @@ | |||
1 | package tools.refinery.store.query.viatra.internal.pquery; | ||
2 | |||
3 | import org.eclipse.viatra.query.runtime.matchers.psystem.IValueProvider; | ||
4 | import tools.refinery.store.query.term.Term; | ||
5 | |||
6 | class AssumptionEvaluator extends TermEvaluator<Boolean> { | ||
7 | public AssumptionEvaluator(Term<Boolean> term) { | ||
8 | super(term); | ||
9 | } | ||
10 | |||
11 | @Override | ||
12 | public Object evaluateExpression(IValueProvider provider) { | ||
13 | var result = super.evaluateExpression(provider); | ||
14 | return result == null ? Boolean.FALSE : result; | ||
15 | } | ||
16 | } | ||