Class SpecialBlockImpl

All Implemented Interfaces:
Block, SingleSuccessorBlock, SpecialBlock, org.plumelib.util.UniqueId

public class SpecialBlockImpl extends SingleSuccessorBlockImpl implements SpecialBlock
The implementation of a SpecialBlock.
  • Field Details

  • Constructor Details

  • Method Details

    • getSpecialType

      public SpecialBlock.SpecialBlockType getSpecialType()
      Description copied from interface: SpecialBlock
      Returns the type of this special basic block.
      Specified by:
      getSpecialType in interface SpecialBlock
      the type of this special 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 empty list.

      Specified by:
      getNodes in interface Block
      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
      the last node of this block or null
    • toString

      public String toString()
      toString in class Object