1 files changed, 0 insertions, 81 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlockImpl.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlockImpl.java
deleted file mode 100644
index bd12522983..0000000000
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlockImpl.java
+++ /dev/null
@@ -1,81 +0,0 @@
-package org.checkerframework.dataflow.cfg.block;
-
-import org.checkerframework.dataflow.analysis.Store;
-
-/**
- * Implementation of a conditional basic block.
- *
- * @author Stefan Heule
- */
-public class ConditionalBlockImpl extends BlockImpl implements ConditionalBlock {
-
-    /** Successor of the then branch. */
-    protected BlockImpl thenSuccessor;
-
-    /** Successor of the else branch. */
-    protected BlockImpl elseSuccessor;
-
-    /**
-     * The rules below say that the THEN store before a conditional block flows to BOTH of the
-     * stores of the then successor, while the ELSE store before a conditional block flows to BOTH
-     * of the stores of the else successor.
-     */
-    protected Store.FlowRule thenFlowRule = Store.FlowRule.THEN_TO_BOTH;
-
-    protected Store.FlowRule elseFlowRule = Store.FlowRule.ELSE_TO_BOTH;
-
-    /**
-     * Initialize an empty conditional basic block to be filled with contents and linked to other
-     * basic blocks later.
-     */
-    public ConditionalBlockImpl() {
-        type = BlockType.CONDITIONAL_BLOCK;
-    }
-
-    /** Set the then branch successor. */
-    public void setThenSuccessor(BlockImpl b) {
-        thenSuccessor = b;
-        b.addPredecessor(this);
-    }
-
-    /** Set the else branch successor. */
-    public void setElseSuccessor(BlockImpl b) {
-        elseSuccessor = b;
-        b.addPredecessor(this);
-    }
-
-    @Override
-    public Block getThenSuccessor() {
-        return thenSuccessor;
-    }
-
-    @Override
-    public Block getElseSuccessor() {
-        return elseSuccessor;
-    }
-
-    @Override
-    public Store.FlowRule getThenFlowRule() {
-        return thenFlowRule;
-    }
-
-    @Override
-    public Store.FlowRule getElseFlowRule() {
-        return elseFlowRule;
-    }
-
-    @Override
-    public void setThenFlowRule(Store.FlowRule rule) {
-        thenFlowRule = rule;
-    }
-
-    @Override
-    public void setElseFlowRule(Store.FlowRule rule) {
-        elseFlowRule = rule;
-    }
-
-    @Override
-    public String toString() {
-        return "ConditionalBlock()";
-    }
-}