From cfe01405cb55504f65eab6625a1930f1ab0068b5 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Mon, 28 Oct 2024 08:00:35 +0100
Subject: [PATCH] remove unused fields in PrimedVariablesFinder
---
src/main/java/de/tla2b/analysis/BOperation.java | 7 -------
1 file changed, 7 deletions(-)
diff --git a/src/main/java/de/tla2b/analysis/BOperation.java b/src/main/java/de/tla2b/analysis/BOperation.java
index 7185744..fa875b8 100644
--- a/src/main/java/de/tla2b/analysis/BOperation.java
+++ b/src/main/java/de/tla2b/analysis/BOperation.java
@@ -339,13 +339,10 @@ public class BOperation extends BuiltInOPs implements ASTConstants, ToolGlobals,
class PrimedVariablesFinder extends AbstractASTVisitor {
private final Set<SymbolNode> all;
private final Set<SymbolNode> twiceUsedVariables;
- private final Hashtable<SemanticNode, Set<SymbolNode>> table;
- private Set<SymbolNode> currentSet;
public PrimedVariablesFinder(List<ExprOrOpArgNode> list) {
this.all = new HashSet<>();
this.twiceUsedVariables = new HashSet<>();
- this.table = new Hashtable<>();
for (ExprOrOpArgNode exprOrOpArgNode : list) {
findPrimedVariables(exprOrOpArgNode);
@@ -353,9 +350,7 @@ class PrimedVariablesFinder extends AbstractASTVisitor {
}
public void findPrimedVariables(ExprOrOpArgNode n) {
- currentSet = new HashSet<>();
this.visitExprOrOpArgNode(n);
- table.put(n, currentSet);
}
public void visitBuiltInNode(OpApplNode n) {
@@ -364,8 +359,6 @@ class PrimedVariablesFinder extends AbstractASTVisitor {
OpApplNode varNode = (OpApplNode) n.getArgs()[0];
SymbolNode var = varNode.getOperator();
- currentSet.add(var);
-
if (all.contains(var)) {
twiceUsedVariables.add(var);
} else {
--
GitLab