Uses of Interface
org.apache.bcel.verifier.structurals.InstructionContext
Package
Description
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
Modifier and TypeMethodDescriptionControlFlowGraph.contextOf
(InstructionHandle inst) Returns the InstructionContext of a given instruction.ControlFlowGraph.contextsOf
(InstructionHandle[] insts) Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner.ControlFlowGraph.getInstructionContexts()
Returns an InstructionContext[] with all the InstructionContext instances for the method whose control flow is represented by this ControlFlowGraph (NOT ORDERED!).InstructionContext.getSuccessors()
Returns the usual control flow successors.Modifier and TypeMethodDescriptionboolean
InstructionContext.execute
(Frame inFrame, ArrayList<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev) This method symbolically executes the Instruction held in the InstructionContext.InstructionContext.getOutFrame
(ArrayList<InstructionContext> executionPredecessors) This method returns the outgoing execution frame situation; therefore it has to be calculated by execute(Frame, ArrayList) first.