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 and Description |
---|---|
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].
|