public abstract class SwitchInstruction extends JVMInstruction
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT |
protected int |
lastIdx |
protected int[] |
matches |
protected int |
target |
protected int[] |
targets |
attr, insnIndex, mi, position
Modifier | Constructor and Description |
---|---|
protected |
SwitchInstruction(int defaultTarget,
int numberOfTargets) |
Modifier and Type | Method and Description |
---|---|
void |
accept(InstructionVisitor insVisitor) |
Instruction |
execute(ThreadInfo ti)
this is the real workhorse
returns next instruction to enter in this thread
<2do> it's unfortunate we roll every side effect into this method, because
it diminishes the value of the 'executeInstruction' notification: all
insns that require some sort of late binding (InvokeVirtual, GetField, ..)
are not yet fully analyzable (e.g.
|
Instruction |
executeAllBranches(SystemState ss,
KernelState ks,
ThreadInfo ti)
useful for symbolic execution modes
|
protected Instruction |
executeConditional(ThreadInfo ti) |
int |
getLastTargetIndex() |
int |
getMatchConst(int idx) |
int[] |
getMatches() |
int |
getNumberOfEntries() |
int |
getNumberOfTargets() |
int |
getTarget() |
int[] |
getTargets() |
addAttr, attrIterator, attrIterator, cleanupTransients, getAttr, getAttr, getByteCode, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getNextAttr, getPosition, getPrev, getSourceLine, getSourceLocation, getSourceOrLocation, hasAttr, hasAttr, init, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, isSchedulingRelevant, removeAttr, replaceAttr, requiresClinitExecution, setAttr, setContext, setLocation, setMethodInfo, toString, typeSafeClone
public static final int DEFAULT
protected int target
protected int[] targets
protected int[] matches
protected int lastIdx
protected SwitchInstruction(int defaultTarget, int numberOfTargets)
public int getNumberOfEntries()
protected Instruction executeConditional(ThreadInfo ti)
public Instruction execute(ThreadInfo ti)
Instruction
execute
in class Instruction
public Instruction executeAllBranches(SystemState ss, KernelState ks, ThreadInfo ti)
public int getLastTargetIndex()
public int getNumberOfTargets()
public int getMatchConst(int idx)
public void accept(InstructionVisitor insVisitor)
public int getTarget()
public int[] getTargets()
public int[] getMatches()