Interface SingleSuccessorBlock

All Superinterfaces:
Block, org.plumelib.util.UniqueId
All Known Subinterfaces:
ExceptionBlock, RegularBlock, SpecialBlock
All Known Implementing Classes:
ExceptionBlockImpl, RegularBlockImpl, SingleSuccessorBlockImpl, SpecialBlockImpl

public interface SingleSuccessorBlock extends Block
A basic block that has exactly one non-exceptional successor.
  • Nested Class Summary

    Nested classes/interfaces inherited from interface org.checkerframework.dataflow.cfg.block.Block

    Block.BlockType
  • Method Summary

    Modifier and Type
    Method
    Description
    Returns the flow rule for information flowing from this block to its successor.
    Returns the non-exceptional successor block, or null if there is no non-exceptional successor.
    void
    Set the flow rule for information flowing from this block to its successor.

    Methods inherited from interface org.checkerframework.dataflow.cfg.block.Block

    getLastNode, getNodes, getPredecessors, getSuccessors, getType

    Methods inherited from interface org.plumelib.util.UniqueId

    getClassAndUid, getUid
  • Method Details

    • getSuccessor

      @Pure @Nullable Block getSuccessor()
      Returns the non-exceptional successor block, or null if there is no non-exceptional successor.
      Returns:
      the non-exceptional successor block, or null if there is no non-exceptional successor
    • getFlowRule

      @Pure Store.FlowRule getFlowRule()
      Returns the flow rule for information flowing from this block to its successor.
      Returns:
      the flow rule for information flowing from this block to its successor
    • setFlowRule

      void setFlowRule(Store.FlowRule rule)
      Set the flow rule for information flowing from this block to its successor.
      Parameters:
      rule - the new flow rule for information flowing from this block to its successor