Package org.checkerframework.dataflow.cfg.builder

Interface Summary

Interface	Description
CFGTranslationPhaseThree.PredecessorHolder	A simple wrapper object that holds a basic block and allows to set one of its successors.

Class Summary

Class	Description
CFGBuilder	Builds the control flow graph of some Java code (either a method, or an arbitrary statement).
CFGTranslationPhaseOne	Class that performs phase one of the translation process.
CFGTranslationPhaseThree	Class that performs phase three of the translation process.
CFGTranslationPhaseTwo	Class that performs phase two of the translation process.
ConditionalJump	An extended node of type ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP.
ExtendedNode	An extended node can be one of several things (depending on its type): NODE: NodeHolder.
Label	A label is used to refer to other extended nodes using a mapping from labels to extended nodes.
PhaseOneResult	A wrapper object to pass around the result of phase one.

Enum Summary

Enum	Description
ExtendedNode.ExtendedNodeType	Extended node types (description see above).