Package org.checkerframework.dataflow.cfg.block

Interface Summary

Interface	Description
Block	Represents a basic block in a control flow graph.
ConditionalBlock	Represents a conditional basic block.
ExceptionBlock	Represents a basic block that contains exactly one Node which can throw an exception.
RegularBlock	A regular basic block that contains a sequence of Nodes.
SingleSuccessorBlock	A basic block that has exactly one non-exceptional successor.
SpecialBlock	Represents a special basic block; i.e., one of the following: Entry block of a method.

Class Summary

Class	Description
BlockImpl	Base class of the Block implementation hierarchy.
ConditionalBlockImpl	Implementation of a conditional basic block.
ExceptionBlockImpl	Implementation of ExceptionBlock.
RegularBlockImpl	Implementation of a regular basic block.
SingleSuccessorBlockImpl	A basic block that has at most one successor.
SpecialBlockImpl	The implementation of a SpecialBlock.

Enum Summary

Enum	Description
Block.BlockType	The types of basic blocks.
SpecialBlock.SpecialBlockType	The types of special basic blocks.