From 7cc91f59351721deb2c6a6652540d3b0fae9e7f3 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Mon, 16 Sep 2024 14:13:28 +0200
Subject: [PATCH] replace definition nodes by positioned nodes
---
src/main/java/de/tla2bAst/BAstCreator.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 1b2fbb4..013d9d4 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -210,7 +210,7 @@ public class BAstCreator extends BuiltInOPs
d.setName(new TDefLiteralPredicate(getName(opDefNode)));
d.setParameters(list);
d.setRhs(visitExprNodePredicate(opDefNode.getBody()));
- defs.add(d);
+ defs.add(createPositionedNode(d,opDefNode));
} else {
AExpressionDefinitionDefinition d = new AExpressionDefinitionDefinition();
d.setName(new TIdentifierLiteral(getName(opDefNode)));
@@ -219,7 +219,7 @@ public class BAstCreator extends BuiltInOPs
d.setParameters(list);
d.setRhs(visitExprNodeExpression(opDefNode.getBody()));
- defs.add(d);
+ defs.add(createPositionedNode(d,opDefNode));
}
}
--
GitLab