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

Packages that use Frame
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
private  Frame ExecutionVisitor.frame
          The executionframe we're operating on.
private  Frame InstConstraintVisitor.frame
          The Execution Frame we're working on.
 

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

Methods in org.apache.bcel.verifier.structurals with parameters of type Frame
private  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 InstructionContext.execute(Frame inFrame, java.util.ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
          This method symbolically executes the Instruction held in the InstructionContext.
 boolean ControlFlowGraph.InstructionContextImpl.execute(Frame inFrame, java.util.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.
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.