From 8b165835e208b002cd5a591165c0659c70f227af Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Mon, 30 Dec 2024 07:48:20 +0100
Subject: [PATCH] remove unneeded implements
---
src/main/java/de/tla2b/analysis/BOperation.java | 3 +--
src/main/java/de/tla2b/global/OperatorTypes.java | 4 +---
src/main/java/de/tla2b/translation/BDefinitionsFinder.java | 2 +-
src/main/java/de/tla2b/translation/OperationsFinder.java | 7 +++----
4 files changed, 6 insertions(+), 10 deletions(-)
diff --git a/src/main/java/de/tla2b/analysis/BOperation.java b/src/main/java/de/tla2b/analysis/BOperation.java
index e067ee3..87c49dd 100644
--- a/src/main/java/de/tla2b/analysis/BOperation.java
+++ b/src/main/java/de/tla2b/analysis/BOperation.java
@@ -7,13 +7,12 @@ import de.tla2b.types.TLAType;
import de.tla2bAst.BAstCreator;
import tla2sany.semantic.*;
import tlc2.tool.BuiltInOPs;
-import tlc2.tool.ToolGlobals;
import java.util.*;
import java.util.Map.Entry;
import java.util.stream.Collectors;
-public class BOperation extends BuiltInOPs implements ASTConstants, ToolGlobals, TranslationGlobals {
+public class BOperation extends BuiltInOPs implements TranslationGlobals {
private final String name;
private final OpApplNode node;
private final List<OpApplNode> existQuans;
diff --git a/src/main/java/de/tla2b/global/OperatorTypes.java b/src/main/java/de/tla2b/global/OperatorTypes.java
index 8d8c797..2253bcb 100644
--- a/src/main/java/de/tla2b/global/OperatorTypes.java
+++ b/src/main/java/de/tla2b/global/OperatorTypes.java
@@ -1,11 +1,9 @@
package de.tla2b.global;
-import tlc2.tool.ToolGlobals;
-
import java.util.HashSet;
import java.util.Set;
-public class OperatorTypes implements ToolGlobals, BBuildIns {
+public class OperatorTypes implements BBuildIns {
private static final Set<Integer> TLA_Predicate_Operators;
private static final Set<Integer> BBuiltIn_Predicate_Operators;
diff --git a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
index fcbf6c3..1f2beb7 100644
--- a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
@@ -11,7 +11,7 @@ import tlc2.tool.ToolGlobals;
import java.util.HashSet;
import java.util.Set;
-public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstants, ToolGlobals, TranslationGlobals {
+public class BDefinitionsFinder extends AbstractASTVisitor {
private final Set<OpDefNode> bDefinitionsSet = new HashSet<>();
public BDefinitionsFinder(SpecAnalyser specAnalyser) {
diff --git a/src/main/java/de/tla2b/translation/OperationsFinder.java b/src/main/java/de/tla2b/translation/OperationsFinder.java
index 4bb59e0..162e9d5 100644
--- a/src/main/java/de/tla2b/translation/OperationsFinder.java
+++ b/src/main/java/de/tla2b/translation/OperationsFinder.java
@@ -5,16 +5,15 @@ import de.tla2b.analysis.BOperation;
import de.tla2b.analysis.SpecAnalyser;
import de.tla2b.global.BBuildIns;
import de.tla2b.global.BBuiltInOPs;
-import de.tla2b.global.TranslationGlobals;
import tla2sany.semantic.*;
import tlc2.tool.BuiltInOPs;
-import tlc2.tool.ToolGlobals;
import util.UniqueString;
import java.util.ArrayList;
-public class OperationsFinder extends AbstractASTVisitor implements
- ASTConstants, ToolGlobals, TranslationGlobals {
+import static de.tla2b.global.TranslationGlobals.SUBSTITUTE_PARAM;
+
+public class OperationsFinder extends AbstractASTVisitor {
private final SpecAnalyser specAnalyser;
private String currentName;
--
GitLab