Package org.checkerframework.dataflow.cfg

Interface Summary

Interface	Description
CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder	A simple wrapper object that holds a basic block and allows to set one of its successors.
CFGBuilder.TryFrame	A TryFrame takes a thrown exception type and maps it to a set of possible control-flow successors.
CFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>	Perform some visualization on a control flow graph.

Class Summary

Class	Description
CFGBuilder	Builds the control flow graph of some Java code (either a method, or an arbitrary statement).
CFGBuilder.CFGTranslationPhaseThree	Class that performs phase three of the translation process.
CFGBuilder.ConditionalJump	An extended node of type CFGBuilder.ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP.
CFGBuilder.ExtendedNode	An extended node can be one of several things (depending on its type): NODE.
CFGBuilder.Label	A label is used to refer to other extended nodes using a mapping from labels to extended nodes.
CFGBuilder.NodeHolder	An extended node of type NODE.
CFGBuilder.NodeWithExceptionsHolder	An extended node of type EXCEPTION_NODE.
CFGBuilder.PhaseOneResult	A wrapper object to pass around the result of phase one.
CFGBuilder.TryCatchFrame	A TryCatchFrame contains an ordered list of catch labels that apply to exceptions with specific types.
CFGBuilder.TryFinallyFrame	A TryFinallyFrame applies to exceptions of any type
CFGBuilder.TryStack	An exception stack represents the set of all try-catch blocks in effect at a given point in a program.
CFGBuilder.Tuple<A,B,C>	Tuple class with up to three members.
CFGBuilder.UnconditionalJump	An extended node of type CFGBuilder.ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP.
ControlFlowGraph	A control flow graph (CFG for short) of a single method.
DOTCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>	Generate a graph description in the DOT language of a control graph.
JavaSource2CFGDOT	Class to generate the DOT representation of the control flow graph of a given method.
UnderlyingAST	Represents an abstract syntax tree of type Tree that underlies a given control flow graph.
UnderlyingAST.CFGLambda	If the underlying AST is a lambda.
UnderlyingAST.CFGMethod	If the underlying AST is a method.
UnderlyingAST.CFGStatement	If the underlying AST is a statement or expression.

Enum Summary

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