| 
 | |||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| 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 | 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 | Frame.getClone() | 
| Methods in org.apache.bcel.verifier.structurals with parameters of type Frame | |
|  boolean | InstructionContext.execute(Frame inFrame,
        java.util.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. | 
| 
 | |||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||