From 90d80629f3b7a80e85520bf3183e6f96aabfdfab Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Fri, 20 Dec 2024 15:38:10 +0100
Subject: [PATCH] remove setPosition method
---
src/main/java/de/tla2bAst/BAstCreator.java | 12 ++----------
1 file changed, 2 insertions(+), 10 deletions(-)
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 9f42816..5356fce 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -885,18 +885,14 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals, BBuil
AFlooredDivExpression aFlooredDivExpression = new AFlooredDivExpression(
visitExprOrOpArgNodeExpression(opApplNode.getArgs()[0]),
visitExprOrOpArgNodeExpression(opApplNode.getArgs()[1]));
-
- setPosition(aFlooredDivExpression, opApplNode);
- returnNode = aFlooredDivExpression;
+ returnNode = createPositionedNode(aFlooredDivExpression, opApplNode);;
break;
case B_OPCODE_realdiv: // /
ADivExpression aDivExpression = new ADivExpression(
visitExprOrOpArgNodeExpression(opApplNode.getArgs()[0]),
visitExprOrOpArgNodeExpression(opApplNode.getArgs()[1]));
-
- setPosition(aDivExpression, opApplNode);
- returnNode = aDivExpression;
+ returnNode = createPositionedNode(aDivExpression, opApplNode);
break;
case B_OPCODE_dotdot: // ..
@@ -1043,10 +1039,6 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals, BBuil
return positionedNode;
}
- private void setPosition(PositionedNode positionNode, OpApplNode opApplNode) {
- createPositionedNode(positionNode, opApplNode);
- }
-
private PExpression visitBuiltInKindExpression(OpApplNode n) {
switch (getOpCode(n.getOperator().getName())) {
--
GitLab