org.apache.bcel.verifier.structurals
private class ControlFlowGraph.InstructionContextImpl extends Object implements InstructionContext
Constructor Summary | |
---|---|
InstructionContextImpl(InstructionHandle inst)
Creates an InstructionHandleImpl object from an InstructionHandle.
|
Method Summary | |
---|---|
boolean | execute(Frame inFrame, ArrayList 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.
|
ExceptionHandler[] | getExceptionHandlers()
Returns the exception handlers of this instruction. |
Frame | getInFrame() |
InstructionHandle | getInstruction() |
Frame | getOutFrame(ArrayList execChain)
Returns a clone of the "outgoing" frame situation with respect to the given ExecutionChain. |
InstructionContext[] | getSuccessors() |
int | getTag() |
void | setTag(int tag) |
String | toString()
Returns a simple String representation of this InstructionContext. |
Returns: true - if and only if the "outgoing" frame situation changed from the one before execute()ing.