Frames | No Frames |
Fields of type org.apache.bcel.verifier.structurals.Frame | |
Frame | The executionframe we're operating on. |
Frame | The Execution Frame we're working on. |
Methods with parameter type org.apache.bcel.verifier.structurals.Frame | |
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 | ControlFlowGraph.InstructionContextImpl.execute(Frame inFrame, 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. |
boolean | InstructionContext.execute(Frame inFrame, ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev) This method symbolically executes the Instruction
held in the InstructionContext. |
boolean | Does the actual merging (vmspec2, page 146). |
void | The only method granting access to the single instance of
the ExecutionVisitor class. |
void | This returns the single instance of the InstConstraintVisitor class. |
Methods with return type org.apache.bcel.verifier.structurals.Frame | |
Frame | |
Frame | |
Frame | |
Frame | ControlFlowGraph.InstructionContextImpl.getOutFrame(ArrayList execChain) Returns a clone of the "outgoing" frame situation with respect to the given ExecutionChain. |
Frame | InstructionContext.getOutFrame(ArrayList executionPredecessors) This method returns the outgoing execution frame situation;
therefore it has to be calculated by execute(Frame, ArrayList)
first.
|