# Uses of Interface
org.apache.bcel.verifier.structurals.InstructionContext

Packages that use InstructionContext
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 InstructionContext in org.apache.bcel.verifier.structurals

  Methods in org.apache.bcel.verifier.structurals that return InstructionContext
  Modifier and Type
  Method
  Description
  `InstructionContext`
  ControlFlowGraph.`contextOf(InstructionHandle inst)`
  Returns the InstructionContext of a given instruction.
  `InstructionContext[]`
  ControlFlowGraph.`contextsOf(InstructionHandle[] insts)`
  Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner.
  `InstructionContext[]`
  ControlFlowGraph.`getInstructionContexts()`
  Returns an InstructionContext[] with all the InstructionContext instances for the method whose control flow is represented by this ControlFlowGraph (NOT ORDERED!)
  `InstructionContext[]`
  InstructionContext.`getSuccessors()`
  Returns the usual control flow successors.
  Method parameters in org.apache.bcel.verifier.structurals with type arguments of type InstructionContext
  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.
  `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.