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

Classes in org.apache.bcel.verifier.structurals that implement InstructionContext

Modifier and Type	Class	Description
private class	ControlFlowGraph.InstructionContextImpl	Objects of this class represent a node in a ControlFlowGraph.

Fields in org.apache.bcel.verifier.structurals with type parameters of type InstructionContext

Modifier and Type	Field	Description
private java.util.List<java.util.ArrayList<InstructionContext>>	Pass3bVerifier.InstructionContextQueue.ecs
private java.util.List<InstructionContext>	ControlFlowGraph.InstructionContextImpl.executionPredecessors	The 'execution predecessors' - a list of type InstructionContext of those instances that have been execute()d before in that order.
private java.util.List<InstructionContext>	Pass3bVerifier.InstructionContextQueue.ics
private java.util.Map<InstructionContext,Frame>	ControlFlowGraph.InstructionContextImpl.inFrames	The 'incoming' execution Frames.
private java.util.Map<InstructionHandle,InstructionContext>	ControlFlowGraph.instructionContexts	All InstructionContext instances of this ControlFlowGraph.
private java.util.Map<InstructionContext,Frame>	ControlFlowGraph.InstructionContextImpl.outFrames	The 'outgoing' execution Frames.

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	Pass3bVerifier.InstructionContextQueue.getIC(int i)
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[]	ControlFlowGraph.InstructionContextImpl.getSuccessors()
InstructionContext[]	InstructionContext.getSuccessors()	Returns the usual control flow successors.

Methods in org.apache.bcel.verifier.structurals that return types with arguments of type InstructionContext

Modifier and Type	Method	Description
java.util.ArrayList<InstructionContext>	Pass3bVerifier.InstructionContextQueue.getEC(int i)

Methods in org.apache.bcel.verifier.structurals with parameters of type InstructionContext

Modifier and Type	Method	Description
void	Pass3bVerifier.InstructionContextQueue.add(InstructionContext ic, java.util.ArrayList<InstructionContext> executionChain)
private void	Pass3bVerifier.circulationPump(MethodGen m, ControlFlowGraph cfg, InstructionContext start, Frame vanillaFrame, InstConstraintVisitor icv, ExecutionVisitor ev)	Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited].

Method parameters in org.apache.bcel.verifier.structurals with type arguments of type InstructionContext

Modifier and Type	Method	Description
void	Pass3bVerifier.InstructionContextQueue.add(InstructionContext ic, java.util.ArrayList<InstructionContext> executionChain)
boolean	ControlFlowGraph.InstructionContextImpl.execute(Frame inFrame, java.util.ArrayList<InstructionContext> execPreds, InstConstraintVisitor icv, ExecutionVisitor ev)	"Merges in" (vmspec2, page 146) the "incoming" frame situation; executes the instructions symbolically and therefore calculates the "outgoing" frame situation.
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	ControlFlowGraph.InstructionContextImpl.getOutFrame(java.util.ArrayList<InstructionContext> execChain)	Returns a clone of the "outgoing" frame situation with respect to the given ExecutionChain.
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.