feat: metamodel translator

5 files changed, 10 insertions, 10 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/AbstractCallLiteral.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/AbstractCallLiteral.java
index b309f24b..3722f7f9 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/AbstractCallLiteral.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/AbstractCallLiteral.java
@@ -100,10 +100,10 @@ public abstract class AbstractCallLiteral extends AbstractLiteral {
                 if (Objects.equals(target, newTarget)) {
                         return this;
                 }
-                return internalWithTarget(newTarget);
+                return withArguments(newTarget, arguments);
         }
 
-        protected abstract AbstractCallLiteral internalWithTarget(Constraint newTarget);
+        public abstract AbstractCallLiteral withArguments(Constraint newTarget, List<Variable> newArguments);
 
         @Override
         public boolean equalsWithSubstitution(LiteralEqualityHelper helper, Literal other) {
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/AggregationLiteral.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/AggregationLiteral.java
index dac34332..a2f8e009 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/AggregationLiteral.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/AggregationLiteral.java
@@ -92,8 +92,8 @@ public class AggregationLiteral<R, T> extends AbstractCallLiteral {
         }
 
         @Override
-        protected AbstractCallLiteral internalWithTarget(Constraint newTarget) {
-                return new AggregationLiteral<>(resultVariable, aggregator, inputVariable, newTarget, getArguments());
+        public AbstractCallLiteral withArguments(Constraint newTarget, List<Variable> newArguments) {
+                return new AggregationLiteral<>(resultVariable, aggregator, inputVariable, newTarget, newArguments);
         }
 
         @Override
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/CallLiteral.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/CallLiteral.java
index 3a80cefd..1b05943d 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/CallLiteral.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/CallLiteral.java
@@ -102,8 +102,8 @@ public final class CallLiteral extends AbstractCallLiteral implements CanNegate<
         }
 
         @Override
-        protected AbstractCallLiteral internalWithTarget(Constraint newTarget) {
-                return new CallLiteral(polarity, newTarget, getArguments());
+        public AbstractCallLiteral withArguments(Constraint newTarget, List<Variable> newArguments) {
+                return new CallLiteral(polarity, newTarget, newArguments);
         }
 
         @Override
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/CountLiteral.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/CountLiteral.java
index e5f6ac0c..3d078d89 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/CountLiteral.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/CountLiteral.java
@@ -34,8 +34,8 @@ public class CountLiteral extends AbstractCountLiteral<Integer> {
         }
 
         @Override
-        protected AbstractCallLiteral internalWithTarget(Constraint newTarget) {
-                return new CountLiteral(getResultVariable(), newTarget, getArguments());
+        public AbstractCallLiteral withArguments(Constraint newTarget, List<Variable> newArguments) {
+                return new CountLiteral(getResultVariable(), newTarget, newArguments);
         }
 
         @Override
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/RepresentativeElectionLiteral.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/RepresentativeElectionLiteral.java
index 876ae253..5d57c06c 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/RepresentativeElectionLiteral.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/RepresentativeElectionLiteral.java
@@ -77,8 +77,8 @@ public class RepresentativeElectionLiteral extends AbstractCallLiteral {
         }
 
         @Override
-        protected AbstractCallLiteral internalWithTarget(Constraint newTarget) {
-                return new RepresentativeElectionLiteral(connectivity, newTarget, getArguments());
+        public AbstractCallLiteral withArguments(Constraint newTarget, List<Variable> newArguments) {
+                return new RepresentativeElectionLiteral(connectivity, newTarget, newArguments);
         }
 
         @Override