| 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 | 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.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 | Description |
|---|---|
| CFGBuilder.ExtendedNode.ExtendedNodeType |
Extended node types (description see above).
|
| UnderlyingAST.Kind |