gov.nasa.jpf.jvm.bytecode

Class SwitchInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.bytecode.SwitchInstruction

All Implemented Interfaces:

JVMInstruction, Attributable, InstructionInterface, java.lang.Cloneable

Direct Known Subclasses:

LOOKUPSWITCH, TABLESWITCH

public abstract class SwitchInstruction
extends Instruction
implements JVMInstruction

common root class for LOOKUPSWITCH and TABLESWITCH insns <2do> this is inefficient. First, we should store targets as instruction indexes to avoid execution() looping. Second, there are no matches for a TABLESWITCH

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT
protected int	lastIdx
protected int[]	matches
protected int	target
protected int[]	targets

Fields inherited from class gov.nasa.jpf.vm.Instruction

attr, insnIndex, mi, position

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SwitchInstruction(int defaultTarget, int numberOfTargets)

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor 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()

Methods inherited from class gov.nasa.jpf.vm.Instruction

addAttr, asInstruction, attrIterator, attrIterator, cleanupTransients, getAttr, getAttr, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getNextAttr, getPosition, getPrev, getSourceLine, getSourceLocation, getSourceOrLocation, hasAttr, hasAttr, init, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, isMonitorEnterPrologue, isSchedulingRelevant, removeAttr, replaceAttr, requiresClinitExecution, setAttr, setContext, setLocation, setMethodInfo, toPostExecString, toString, typeSafeClone

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface gov.nasa.jpf.vm.bytecode.InstructionInterface

asInstruction, getByteCode, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getPosition, getPrev, getSourceLine, getSourceLocation, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, toPostExecString

Methods inherited from interface gov.nasa.jpf.util.Attributable

addAttr, attrIterator, attrIterator, getAttr, getAttr, getNextAttr, hasAttr, hasAttr, removeAttr, replaceAttr, setAttr

Field Detail

DEFAULT

public static final int DEFAULT

See Also:

Constant Field Values

target

protected int target

targets

protected int[] targets

matches

protected int[] matches

lastIdx

protected int lastIdx

Constructor Detail

SwitchInstruction

protected SwitchInstruction(int defaultTarget,
                            int numberOfTargets)

Method Detail

getNumberOfEntries

public int getNumberOfEntries()

executeConditional

protected Instruction executeConditional(ThreadInfo ti)

execute

public Instruction execute(ThreadInfo ti)

Description copied from class: Instruction

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. the callee of InvokeVirtuals is not known yet), putting the burden of duplicating the related code of enter() in the listener. It would be better if we factor this 'prepareExecution' out of enter()

Specified by:

execute in interface InstructionInterface

Specified by:

execute in class Instruction

executeAllBranches

public Instruction executeAllBranches(SystemState ss,
                                      KernelState ks,
                                      ThreadInfo ti)

useful for symbolic execution modes

getLastTargetIndex

public int getLastTargetIndex()

getNumberOfTargets

public int getNumberOfTargets()

getMatchConst

public int getMatchConst(int idx)

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

getTarget

public int getTarget()

getTargets

public int[] getTargets()

getMatches

public int[] getMatches()