From 553a90ba21bcb3448138eb02c99f7f925f4a6a56 Mon Sep 17 00:00:00 2001 From: Jan Gruteser <jan.gruteser@hhu.de> Date: Thu, 2 Jan 2025 16:05:59 +0100 Subject: [PATCH] delete AbstractSymbol has not been used for a long time --- .../de/tla2b/types/AbstractHasFollowers.java | 2 -- .../java/de/tla2b/types/AbstractSymbol.java | 22 ------------------- 2 files changed, 24 deletions(-) delete mode 100644 src/main/java/de/tla2b/types/AbstractSymbol.java diff --git a/src/main/java/de/tla2b/types/AbstractHasFollowers.java b/src/main/java/de/tla2b/types/AbstractHasFollowers.java index 057ee58..295c4cf 100644 --- a/src/main/java/de/tla2b/types/AbstractHasFollowers.java +++ b/src/main/java/de/tla2b/types/AbstractHasFollowers.java @@ -45,8 +45,6 @@ public abstract class AbstractHasFollowers extends TLAType { if (newType instanceof AbstractHasFollowers) { ((AbstractHasFollowers) newType).addFollower(follower); } - } else if (follower instanceof AbstractSymbol) { - ((AbstractSymbol) follower).setType(newType); } else if (follower instanceof SetType) { ((SetType) follower).setSubType(newType); } else if (follower instanceof TupleType) { diff --git a/src/main/java/de/tla2b/types/AbstractSymbol.java b/src/main/java/de/tla2b/types/AbstractSymbol.java deleted file mode 100644 index 027cb69..0000000 --- a/src/main/java/de/tla2b/types/AbstractSymbol.java +++ /dev/null @@ -1,22 +0,0 @@ -package de.tla2b.types; - -public abstract class AbstractSymbol { - - private TLAType type; - - public AbstractSymbol(TLAType t) { - setType(t); - } - - public TLAType getType() { - return type; - } - - protected void setType(TLAType t) { - this.type = t; - if (type instanceof AbstractHasFollowers) { - AbstractHasFollowers p = (AbstractHasFollowers) t; - p.addFollower(this); - } - } -} -- GitLab