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 and Description
Map<TypeMirror,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.SingleSuccessorBlock

getFlowRule, getSuccessor, setFlowRule

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 Detail

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