org.checkerframework.dataflow.cfg.block

Interface ExceptionBlock

All Superinterfaces:

Block, SingleSuccessorBlock

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
 

Author:

Stefan Heule

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
java.util.Map<javax.lang.model.type.TypeMirror,java.util.Set<Block>>	getExceptionalSuccessors()
Node	getNode()

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

getFlowRule, getSuccessor, setFlowRule

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

getId, getType

Method Detail

getNode

Node getNode()

Returns:

the node of this block

getExceptionalSuccessors

java.util.Map<javax.lang.model.type.TypeMirror,java.util.Set<Block>> getExceptionalSuccessors()

Returns:

the list of exceptional successor blocks as an unmodifiable map