public interface InstructionContext
Modifier and Type | Method and Description |
---|---|
boolean |
execute(Frame inFrame,
ArrayList<InstructionContext> 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<InstructionContext> 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.
|
int getTag()
setTag(int tag)
void setTag(int tag)
getTag()
boolean execute(Frame inFrame, ArrayList<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
ControlFlowGraph
,
ExecutionVisitor
,
getOutFrame(ArrayList)
Frame getInFrame()
Frame getOutFrame(ArrayList<InstructionContext> executionPredecessors)
InstructionHandle getInstruction()
InstructionContext[] getSuccessors()
getExceptionHandlers()
ExceptionHandler[] getExceptionHandlers()
Copyright © 2004–2019 The Apache Software Foundation. All rights reserved.