| Interface | Description |
|---|---|
| CFGTranslationPhaseThree.PredecessorHolder |
A simple wrapper object that holds a basic block and allows to set one of its successors.
|
| 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 | Description |
|---|---|
| ExtendedNode.ExtendedNodeType |
Extended node types (description see above).
|