From 67de394a853b074630d5f9dc833842772c6cff4e Mon Sep 17 00:00:00 2001 From: Jan Gruteser <jan.gruteser@hhu.de> Date: Fri, 25 Oct 2024 13:38:53 +0200 Subject: [PATCH] minor simplification --- src/main/java/de/tla2bAst/BAstCreator.java | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java index 743edc3..245110d 100644 --- a/src/main/java/de/tla2bAst/BAstCreator.java +++ b/src/main/java/de/tla2bAst/BAstCreator.java @@ -377,8 +377,7 @@ public class BAstCreator extends BuiltInOPs List<PExpression> constantsList = new ArrayList<>(); for (OpDeclNode opDeclNode : bConstants) { - AIdentifierExpression id = createPositionedNode( - new AIdentifierExpression(createTIdentifierLiteral(getName(opDeclNode))), opDeclNode); + AIdentifierExpression id = createPositionedNode(createIdentifierNode(getName(opDeclNode)), opDeclNode); constantsList.add(id); TLAType type = (TLAType) opDeclNode.getToolObject(TYPE_ID); types.put(id, type); @@ -397,6 +396,10 @@ public class BAstCreator extends BuiltInOPs } } + public static AIdentifierExpression createIdentifierNode(String name) { + return new AIdentifierExpression(createTIdentifierLiteral(name)); + } + private void createPropertyClause() { List<PPredicate> propertiesList = new ArrayList<>(); propertiesList.addAll(evalRecursiveDefinitions()); @@ -2311,10 +2314,6 @@ public class BAstCreator extends BuiltInOPs } } - public static AIdentifierExpression createIdentifierNode(String name) { - return new AIdentifierExpression(createTIdentifierLiteral(name)); - } - public PPredicate createConjunction(List<PPredicate> list) { if (list.size() == 1) return list.get(0); -- GitLab