Methods in org.apache.bcel.verifier.structurals with parameters of type InstConstraintVisitor |
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]. |
boolean |
InstructionContext.execute(Frame inFrame,
java.util.ArrayList executionPredecessors,
InstConstraintVisitor icv,
ExecutionVisitor ev)
This method symbolically executes the Instruction
held in the InstructionContext. |
boolean |
ControlFlowGraph.InstructionContextImpl.execute(Frame inFrame,
java.util.ArrayList execPreds,
InstConstraintVisitor icv,
ExecutionVisitor ev)
"Merges in" (vmspec2, page 146) the "incoming" frame situation;
executes the instructions symbolically
and therefore calculates the "outgoing" frame situation. |