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
The second elements from pairs in the queue.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
The first elements from pairs in the queue.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)
Gets a specific InstructionContext from the queue.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)
Gets a specific ExecutionChain from the queue.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)
Adds an (InstructionContext, ExecutionChain) pair to this queue.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)
Adds an (InstructionContext, ExecutionChain) pair to this queue.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.
-