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

Packages that use Frame

Package	Description
org.apache.bcel.verifier.structurals	A PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect.

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

Methods in org.apache.bcel.verifier.structurals that return Frame

Modifier and Type	Method	Description
Frame	Frame.getClone()	Gets a clone of this frame.
Frame	InstructionContext.getInFrame()	Gets the incoming frame.
Frame	InstructionContext.getOutFrame(ArrayList<InstructionContext> executionPredecessors)	Gets the outgoing execution frame situation; therefore it has to be calculated by execute(Frame, ArrayList) first.

Methods in org.apache.bcel.verifier.structurals with parameters of type Frame

Modifier and Type	Method	Description
boolean	InstructionContext.execute(Frame inFrame, ArrayList<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)	This method symbolically executes the Instruction held in the InstructionContext.
void	ExecutionVisitor.setFrame(Frame f)	Sets the execution frame.
void	InstConstraintVisitor.setFrame(Frame f)	Sets the execution frame.