public interface ExceptionBlock extends SingleSuccessorBlock
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
Block.BlockType
Modifier and Type | Method and Description |
---|---|
java.util.Map<javax.lang.model.type.TypeMirror,java.util.Set<Block>> |
getExceptionalSuccessors() |
Node |
getNode() |
getFlowRule, getSuccessor, setFlowRule