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

Packages that use Frame

Package	Description
org.apache.bcel.verifier.structurals	Provides 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

Fields in org.apache.bcel.verifier.structurals declared as Frame

Modifier and Type	Field	Description
private Frame	ExecutionVisitor.frame	The executionframe we're operating on.
private Frame	InstConstraintVisitor.frame	The Execution Frame we're working on.

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

Modifier and Type	Field	Description
private java.util.Map<InstructionContext,Frame>	ControlFlowGraph.InstructionContextImpl.inFrames	The 'incoming' execution Frames.
private java.util.Map<InstructionContext,Frame>	ControlFlowGraph.InstructionContextImpl.outFrames	The 'outgoing' execution Frames.

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

Modifier and Type	Method	Description
Frame	Frame.getClone()
Frame	ControlFlowGraph.InstructionContextImpl.getInFrame()
Frame	InstructionContext.getInFrame()
Frame	ControlFlowGraph.InstructionContextImpl.getOutFrame(java.util.ArrayList<InstructionContext> execChain)	Returns a clone of the "outgoing" frame situation with respect to the given ExecutionChain.
Frame	InstructionContext.getOutFrame(java.util.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
private void	Pass3bVerifier.circulationPump(MethodGen m, 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, java.util.ArrayList<InstructionContext> 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, java.util.ArrayList<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)	This method symbolically executes the Instruction held in the InstructionContext.
private boolean	ControlFlowGraph.InstructionContextImpl.mergeInFrames(Frame inFrame)	Does the actual merging (vmspec2, page 146).
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.