Package org.checkerframework.dataflow.cfg.block

Interface ExceptionBlock

All Superinterfaces:
Block, SingleSuccessorBlock, org.plumelib.util.UniqueId
All Known Implementing Classes:
ExceptionBlockImpl
public interface ExceptionBlock extends SingleSuccessorBlock
Represents a basic block that contains exactly one Node which can throw an exception. This block has exactly one non-exceptional successor, and one or more exceptional successors.

The following invariant holds. 

 getNode().getBlock() == this

  • Method Details

    • getNode

      @Pure Node getNode()
      Returns the node of this block.
      Returns:
      the node of this block

    • getExceptionalSuccessors

      @Pure Map<TypeMirror,Set<Block>> getExceptionalSuccessors()
      Returns the list of exceptional successor blocks as an unmodifiable map.
      Returns:
      the list of exceptional successor blocks as an unmodifiable map