Uses of Class org.apache.bcel.verifier.structurals.Frame

Uses in package org.apache.bcel.verifier.structurals

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.

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.