|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use InstructionContext | |
---|---|
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 | |
---|---|
private class |
ControlFlowGraph.InstructionContextImpl
Objects of this class represent a node in a ControlFlowGraph. |
Methods in org.apache.bcel.verifier.structurals that return InstructionContext | |
---|---|
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[] |
InstructionContext.getSuccessors()
Returns the usual control flow successors. |
InstructionContext[] |
ControlFlowGraph.InstructionContextImpl.getSuccessors()
|
Methods in org.apache.bcel.verifier.structurals with parameters of type InstructionContext | |
---|---|
void |
Pass3bVerifier.InstructionContextQueue.add(InstructionContext ic,
java.util.ArrayList executionChain)
|
private void |
Pass3bVerifier.circulationPump(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]. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |