Package | Description |
---|---|
org.apache.bcel.verifier.structurals |
Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as
a nice side effect.
|
Modifier and Type | Method | Description |
---|---|---|
InstructionContext |
ControlFlowGraph.contextOf(InstructionHandle inst) |
Returns the InstructionContext of a given instruction.
|
InstructionContext[] |
ControlFlowGraph.contextsOf(InstructionHandle[] insts) |
Returns the InstructionContext[] of a given InstructionHandle[],
in a naturally ordered manner.
|
InstructionContext[] |
ControlFlowGraph.getInstructionContexts() |
Returns an InstructionContext[] with all the InstructionContext instances
for the method whose control flow is represented by this ControlFlowGraph
(NOT ORDERED!).
|
InstructionContext[] |
InstructionContext.getSuccessors() |
Returns the usual control flow successors.
|