|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ControlFlowGraph | |
|---|---|
| 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. |
| Uses of ControlFlowGraph in org.apache.bcel.verifier.structurals |
|---|
| Methods in org.apache.bcel.verifier.structurals with parameters of type ControlFlowGraph | |
|---|---|
private void |
Pass3bVerifier.circulationPump(ControlFlowGraph cfg,
InstructionContext start,
Frame vanillaFrame,
InstConstraintVisitor icv,
ExecutionVisitor ev)
Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited]. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||