## 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

    Methods in org.apache.bcel.verifier.structurals that return Frame
    Modifier and Type | Method and Description
    --- | ---
    `Frame` | Frame.`getClone()`
    `Frame` | InstructionContext.`getInFrame()`
    `Frame` | InstructionContext.`getOutFrame(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 and Description
    --- | ---
    `boolean` | InstructionContext.`execute(Frame inFrame, ArrayList<InstructionContext> 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 © 2004–2019 The Apache Software Foundation. All rights reserved.