1 files changed, 0 insertions, 57 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/BlockImpl.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/BlockImpl.java
deleted file mode 100644
index 0421a1e3f5..0000000000
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/BlockImpl.java
+++ /dev/null
@@ -1,57 +0,0 @@
-package org.checkerframework.dataflow.cfg.block;
-
-import java.util.Collections;
-import java.util.HashSet;
-import java.util.Set;
-
-/**
- * Base class of the {@link Block} implementation hierarchy.
- *
- * @author Stefan Heule
- */
-public abstract class BlockImpl implements Block {
-
-    /** A unique ID for this node. */
-    protected long id = BlockImpl.uniqueID();
-
-    /** The last ID that has already been used. */
-    protected static long lastId = 0;
-
-    /** The type of this basic block. */
-    protected BlockType type;
-
-    /** The set of predecessors. */
-    protected Set<BlockImpl> predecessors;
-
-    /** @return a fresh identifier */
-    private static long uniqueID() {
-        return lastId++;
-    }
-
-    public BlockImpl() {
-        predecessors = new HashSet<>();
-    }
-
-    @Override
-    public long getId() {
-        return id;
-    }
-
-    @Override
-    public BlockType getType() {
-        return type;
-    }
-
-    /** @return the list of predecessors of this basic block */
-    public Set<BlockImpl> getPredecessors() {
-        return Collections.unmodifiableSet(predecessors);
-    }
-
-    public void addPredecessor(BlockImpl pred) {
-        predecessors.add(pred);
-    }
-
-    public void removePredecessor(BlockImpl pred) {
-        predecessors.remove(pred);
-    }
-}