| Frames | No Frames | |
Methods with return type org.apache.bcel.verifier.structurals.Frame | |
| Frame | |
| Frame | InstructionContext.getOutFrame(ArrayList executionPredecessors) This method returns the outgoing execution frame situation;
therefore it has to be calculated by execute(Frame, ArrayList)
first.
|
Methods with parameter type org.apache.bcel.verifier.structurals.Frame | |
| boolean | InstructionContext.execute(Frame inFrame, ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev) This method symbolically executes the Instruction
held in the InstructionContext. |
| void | The only method granting access to the single instance of
the ExecutionVisitor class. |
| void | This returns the single instance of the InstConstraintVisitor class. |