| 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.
|
| PhaseOneResult |
A wrapper object to pass around the result of phase one.
|