Package org.checkerframework.dataflow.cfg.block

Class RegularBlockImpl

java.lang.Object
org.checkerframework.dataflow.cfg.block.BlockImpl
org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
org.checkerframework.dataflow.cfg.block.RegularBlockImpl
All Implemented Interfaces:
Block, RegularBlock, SingleSuccessorBlock, org.plumelib.util.UniqueId
public class RegularBlockImpl extends SingleSuccessorBlockImpl implements RegularBlock
Implementation of a regular basic block.

  • Field Details

    • contents

      protected final List<Node> contents
      Internal representation of the contents.

  • Constructor Details

    • RegularBlockImpl

      public RegularBlockImpl()
      Initialize an empty basic block to be filled with contents and linked to other basic blocks later.

  • Method Details

    • addNode

      public void addNode(Node n)
      Add a node to the contents of this basic block.
      Parameters:
      n - a node to add to this basic block

    • addNodes

      public void addNodes(List<? extends Node> ns)
      Add multiple nodes to the contents of this basic block.
      Parameters:
      ns - the nodes to add to this basic block

    • getNodes

      public List<Node> getNodes()
      Returns the nodes contained within this basic block. The list may be empty.

      The following invariant holds. 

       forall n in getNodes() :: n.getBlock() == this

      This implementation returns an non-empty list.

      Specified by:
      getNodes in interface Block
      Returns:
      the nodes contained within this basic block

    • getLastNode

      public @Nullable Node getLastNode()
      Description copied from interface: Block
      Returns the last node of this block, or null if none.
      Specified by:
      getLastNode in interface Block
      Returns:
      the last node of this block or null

    • getRegularSuccessor

      public @Nullable BlockImpl getRegularSuccessor()
      Description copied from interface: RegularBlock
      Returns the regular successor block.
      Specified by:
      getRegularSuccessor in interface RegularBlock
      Returns:
      the regular successor block

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • isEmpty

      public boolean isEmpty()
      Description copied from interface: RegularBlock
      Is this block empty (i.e., does it not contain any contents).
      Specified by:
      isEmpty in interface RegularBlock