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
 

Nested Class Summary

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

Block.BlockType

Method Summary

Modifier and Type	Method	Description
java.util.Map<javax.lang.model.type.TypeMirror,java.util.Set<Block>>	getExceptionalSuccessors()	Returns the list of exceptional successor blocks as an unmodifiable map.
Node	getNode()	Returns the node of this block.

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

getLastNode, getNodes, getPredecessors, getSuccessors, getType

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

getFlowRule, getSuccessor, setFlowRule

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid, getUid

Method Detail

getNode

@Pure
Node getNode()

Returns the node of this block.

Returns:

the node of this block

getExceptionalSuccessors

@Pure
java.util.Map<javax.lang.model.type.TypeMirror,java.util.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