diff options
author | 2023-07-09 19:53:46 +0200 | |
---|---|---|
committer | 2023-07-09 19:53:46 +0200 | |
commit | f6440ff43e2e7497116c2cf762f61e07834b229f (patch) | |
tree | 0c5719408fcf061aa72781424af1002d6bbabe39 /subprojects/store-query-viatra/src/main/java/tools | |
parent | refactor: Dnf lifter (diff) | |
download | refinery-f6440ff43e2e7497116c2cf762f61e07834b229f.tar.gz refinery-f6440ff43e2e7497116c2cf762f61e07834b229f.tar.zst refinery-f6440ff43e2e7497116c2cf762f61e07834b229f.zip |
refactor: enable data variable unification
This is needed for demand set transformation of DNFs with input data parameters,
where the result of the transformation has an out data parameter that has to be
unified with the variable in the parent clause.
Diffstat (limited to 'subprojects/store-query-viatra/src/main/java/tools')
-rw-r--r-- | subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java index 38fd017e..d51bc9fc 100644 --- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java +++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java | |||
@@ -88,7 +88,7 @@ public class Dnf2PQuery { | |||
88 | List<PParameter> parameterList = new ArrayList<>(); | 88 | List<PParameter> parameterList = new ArrayList<>(); |
89 | for (var parameter : dnfQuery.getSymbolicParameters()) { | 89 | for (var parameter : dnfQuery.getSymbolicParameters()) { |
90 | var direction = switch (parameter.getDirection()) { | 90 | var direction = switch (parameter.getDirection()) { |
91 | case OUT -> parameter.isUnifiable() ? PParameterDirection.INOUT : PParameterDirection.OUT; | 91 | case OUT -> PParameterDirection.INOUT; |
92 | case IN -> throw new IllegalArgumentException("Query %s with input parameter %s is not supported" | 92 | case IN -> throw new IllegalArgumentException("Query %s with input parameter %s is not supported" |
93 | .formatted(dnfQuery, parameter.getVariable())); | 93 | .formatted(dnfQuery, parameter.getVariable())); |
94 | }; | 94 | }; |