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()
Frame	InstructionContext.getInFrame()
Frame	InstructionContext.getOutFrame(ArrayList<InstructionContext> executionPredecessors)	This method returns 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)	The only method granting access to the single instance of the ExecutionVisitor class.
void	InstConstraintVisitor.setFrame(Frame f)	This returns the single instance of the InstConstraintVisitor class.