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

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

Fields of type org.apache.bcel.verifier.structurals.Frame
Frame	ExecutionVisitor.frame The executionframe we're operating on.
Frame	InstConstraintVisitor.frame The Execution Frame we're working on.

Methods with parameter type org.apache.bcel.verifier.structurals.Frame
void	Pass3bVerifier.circulationPump(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, ArrayList 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, ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev) This method symbolically executes the Instruction held in the InstructionContext.
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.

Methods with return type org.apache.bcel.verifier.structurals.Frame
Frame	Frame.getClone()
Frame	ControlFlowGraph.InstructionContextImpl.getInFrame()
Frame	InstructionContext.getInFrame()
Frame	ControlFlowGraph.InstructionContextImpl.getOutFrame(ArrayList execChain) Returns a clone of the "outgoing" frame situation with respect to the given ExecutionChain.
Frame	InstructionContext.getOutFrame(ArrayList executionPredecessors) This method returns the outgoing execution frame situation; therefore it has to be calculated by execute(Frame, ArrayList) first.