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