aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlockImpl.java
diff options
context:
space:
mode:
authorGravatar Liam Miller-Cushon <cushon@google.com>2018-03-28 11:42:55 -0700
committerGravatar Vladimir Moskva <vladmos@google.com>2018-04-04 14:13:01 +0200
commit88a007244f51ed66a62d442e28de483e13a68576 (patch)
tree7d1f05429efd1553bc18fb54648c7b51922c38a3 /third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlockImpl.java
parent83d8ef1c4a67c23c103741cca23bafafdc811c79 (diff)
Update to version 2.4.0 of Checker Framework dataflow and javacutil
Change-Id: I29e007625d0a25279d8b2967f89b1014b4825bd6
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlockImpl.java')
-rw-r--r--third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlockImpl.java59
1 files changed, 0 insertions, 59 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlockImpl.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlockImpl.java
deleted file mode 100644
index b302710d70..0000000000
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlockImpl.java
+++ /dev/null
@@ -1,59 +0,0 @@
-package org.checkerframework.dataflow.cfg.block;
-
-import java.util.Collections;
-import java.util.LinkedList;
-import java.util.List;
-import org.checkerframework.dataflow.cfg.node.Node;
-
-/**
- * Implementation of a regular basic block.
- *
- * @author Stefan Heule
- */
-public class RegularBlockImpl extends SingleSuccessorBlockImpl implements RegularBlock {
-
- /** Internal representation of the contents. */
- protected List<Node> contents;
-
- /**
- * Initialize an empty basic block to be filled with contents and linked to other basic blocks
- * later.
- */
- public RegularBlockImpl() {
- contents = new LinkedList<>();
- type = BlockType.REGULAR_BLOCK;
- }
-
- /** Add a node to the contents of this basic block. */
- public void addNode(Node t) {
- contents.add(t);
- t.setBlock(this);
- }
-
- /** Add multiple nodes to the contents of this basic block. */
- public void addNodes(List<? extends Node> ts) {
- for (Node t : ts) {
- addNode(t);
- }
- }
-
- @Override
- public List<Node> getContents() {
- return Collections.unmodifiableList(contents);
- }
-
- @Override
- public BlockImpl getRegularSuccessor() {
- return successor;
- }
-
- @Override
- public String toString() {
- return "RegularBlock(" + contents + ")";
- }
-
- @Override
- public boolean isEmpty() {
- return contents.isEmpty();
- }
-}