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

Packages that use Frame
Package
Description
org.apache.bcel.verifier.structurals
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
  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
  Description
  `boolean`
  InstructionContext.`execute(Frame inFrame, ArrayList<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)`
  This method symbolically executes the Instruction held in the InstructionContext.
  `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.