org.apache.bcel.verifier.structurals
public interface InstructionContext
Method Summary | |
---|---|
boolean | execute(Frame inFrame, ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
This method symbolically executes the Instruction
held in the InstructionContext.
|
ExceptionHandler[] | getExceptionHandlers()
Returns the exception handlers that protect this instruction.
|
Frame | getInFrame() |
InstructionHandle | getInstruction()
Returns the InstructionHandle this InstructionContext is wrapped around.
|
Frame | getOutFrame(ArrayList executionPredecessors)
This method returns the outgoing execution frame situation;
therefore it has to be calculated by execute(Frame, ArrayList)
first.
|
InstructionContext[] | getSuccessors()
Returns the usual control flow successors. |
int | getTag()
The getTag and setTag methods may be used for
temporary flagging, such as graph colouring.
|
void | setTag(int tag)
The getTag and setTag methods may be used for
temporary flagging, such as graph colouring.
|
Returns: true - if and only if the "outgoing" frame situation changed from the one before execute()ing.
See Also: ControlFlowGraph ExecutionVisitor getOutFrame
Returns: The InstructionHandle this InstructionContext is wrapped around.
See Also: InstructionContext
See Also: getExceptionHandlers
See Also: InstructionContext
See Also: getTag