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

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

    Methods in org.apache.bcel.verifier.structurals that return InstructionContext
    Modifier and Type | Method and 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 and 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.

Copyright © 2004–2022 The Apache Software Foundation. All rights reserved.