bcel API: Interface InstructionContext
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
An InstructionContext offers convenient access to information like control flow successors and such.
Method Summary | |
boolean |
execute(Frame inFrame,
java.util.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. |
InstructionHandle |
getInstruction()
Returns the InstructionHandle this InstructionContext is wrapped around. |
Frame |
getOutFrame(java.util.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. |
Method Detail |
public int getTag()
setTag(int tag)
public void setTag(int tag)
getTag()
public boolean execute(Frame inFrame, java.util.ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
ControlFlowGraph
,
ExecutionVisitor
,
getOutFrame(ArrayList)
public Frame getOutFrame(java.util.ArrayList executionPredecessors)
execute(Frame, ArrayList, InstConstraintVisitor, ExecutionVisitor)
public InstructionHandle getInstruction()
public InstructionContext[] getSuccessors()
getExceptionHandlers()
public ExceptionHandler[] getExceptionHandlers()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |