From 6f14b43990583575aaf1b7c19f3129d83df8ea83 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Fri, 3 Jan 2025 20:08:16 +0100
Subject: [PATCH] simplify SetSummation
---
src/main/java/de/tla2bAst/BAstCreator.java | 18 +++++++++---------
1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index c88eaa6..032a348 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -997,15 +997,15 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals, BBuil
}
case B_OPCODE_setsum: {
- AGeneralSumExpression sum = new AGeneralSumExpression();
- String variableName = "t_"; // TODO unused identifier name
- sum.setIdentifiers(Collections.singletonList(createIdentifierNode(variableName)));
- AMemberPredicate memberPredicate = new AMemberPredicate();
- memberPredicate.setLeft(createIdentifierNode(variableName));
- memberPredicate.setRight(visitExprOrOpArgNodeExpression(opApplNode.getArgs()[0]));
- sum.setPredicates(memberPredicate);
- sum.setExpression(createIdentifierNode(variableName));
- returnNode = sum;
+ AIdentifierExpression variable = createIdentifierNode("t_"); // TODO unused identifier name
+ returnNode = new AGeneralSumExpression(
+ Collections.singletonList(variable.clone()),
+ new AMemberPredicate(
+ variable.clone(),
+ visitExprOrOpArgNodeExpression(opApplNode.getArgs()[0])
+ ),
+ variable.clone()
+ );
break;
}
--
GitLab