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	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, java.util.ArrayList<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)	This method symbolically executes the Instruction held in the InstructionContext.
Frame	InstructionContext.getOutFrame(java.util.ArrayList<InstructionContext> executionPredecessors)	This method returns the outgoing execution frame situation; therefore it has to be calculated by execute(Frame, ArrayList) first.