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
 

Methods in org.apache.bcel.verifier.structurals that return Frame
 Frame Frame.getClone()
           
 Frame InstructionContext.getInFrame()
           
 Frame InstructionContext.getOutFrame(ArrayList 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
 boolean InstructionContext.execute(Frame inFrame, ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
          This method symbolically executes the Instruction held in the InstructionContext.
 void InstConstraintVisitor.setFrame(Frame f)
          This returns the single instance of the InstConstraintVisitor class.
 void ExecutionVisitor.setFrame(Frame f)
          The only method granting access to the single instance of the ExecutionVisitor class.
 



Copyright © 2002-2006 Apache Software Foundation. All Rights Reserved.