From 9301c02f7f818c96fd8f8af6816425bf2574c3ff Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Fri, 25 Oct 2024 13:35:17 +0200
Subject: [PATCH] fix position infos for operation identifiers
---
src/main/java/de/tla2b/analysis/BOperation.java | 2 +-
src/main/java/de/tla2bAst/BAstCreator.java | 4 ++++
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2b/analysis/BOperation.java b/src/main/java/de/tla2b/analysis/BOperation.java
index 8b285d8..7185744 100644
--- a/src/main/java/de/tla2b/analysis/BOperation.java
+++ b/src/main/java/de/tla2b/analysis/BOperation.java
@@ -98,7 +98,7 @@ public class BOperation extends BuiltInOPs implements ASTConstants, ToolGlobals,
return new AOperation(
new ArrayList<>(),
- BAstCreator.createTIdentifierLiteral(name),
+ bASTCreator.createPositionedTIdentifierLiteral(name, getNode()),
this.getFormalParams().stream().map(bASTCreator::createIdentifierNode).collect(Collectors.toList()),
operationBody
);
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 2378f24..743edc3 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -2353,6 +2353,10 @@ public class BAstCreator extends BuiltInOPs
return Collections.singletonList(new TIdentifierLiteral(name));
}
+ public List<TIdentifierLiteral> createPositionedTIdentifierLiteral(String name, SemanticNode node) {
+ return Collections.singletonList(createPositionedNode(new TIdentifierLiteral(name), node));
+ }
+
public Start getStartNode() {
return start;
}
--
GitLab