Frames | No Frames |
Methods with parameter type org.apache.bcel.verifier.structurals.ControlFlowGraph | |
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]. |