gov.nasa.jpf.jvm.bytecode

Class JVMLocalVariableInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.bytecode.JVMLocalVariableInstruction

All Implemented Interfaces:

JVMInstruction, Attributable, InstructionInterface, LocalVariableInstruction, java.lang.Cloneable

Direct Known Subclasses:

ALOAD, ASTORE, DLOAD, DSTORE, FLOAD, FSTORE, ILOAD, ISTORE, LLOAD, LSTORE

public abstract class JVMLocalVariableInstruction
extends Instruction
implements JVMInstruction, LocalVariableInstruction

class abstracting instructions that access local variables, to keep track of slot/varname mapping

Field Summary

Fields

Modifier and Type	Field and Description
protected int	index
protected LocalVarInfo	lv

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	JVMLocalVariableInstruction(int index)

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)
abstract java.lang.String	getBaseMnemonic()
int	getLocalVariableIndex()
java.lang.String	getLocalVariableName()
int	getLocalVariableSlot()
java.lang.String	getLocalVariableType()
LocalVarInfo	getLocalVarInfo()
java.lang.String	getMnemonic()
java.lang.String	getVariableId() return the fully qualified class/method/var name (don't use this for top-level filtering since it dynamically constructs the name)
java.lang.String	toString()

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

addAttr, asInstruction, attrIterator, attrIterator, cleanupTransients, execute, getAttr, getAttr, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, 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, 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, execute, getByteCode, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, 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

index

protected int index

lv

protected LocalVarInfo lv

Constructor Detail

JVMLocalVariableInstruction

protected JVMLocalVariableInstruction(int index)

Method Detail

getLocalVariableSlot

public int getLocalVariableSlot()

Specified by:

getLocalVariableSlot in interface LocalVariableInstruction

getLocalVariableIndex

public int getLocalVariableIndex()

getLocalVarInfo

public LocalVarInfo getLocalVarInfo()

Specified by:

getLocalVarInfo in interface LocalVariableInstruction

getLocalVariableName

public java.lang.String getLocalVariableName()

getLocalVariableType

public java.lang.String getLocalVariableType()

getVariableId

public java.lang.String getVariableId()

return the fully qualified class/method/var name (don't use this for top-level filtering since it dynamically constructs the name)

Specified by:

getVariableId in interface LocalVariableInstruction

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

getBaseMnemonic

public abstract java.lang.String getBaseMnemonic()

getMnemonic

public java.lang.String getMnemonic()

Specified by:

getMnemonic in interface InstructionInterface

Overrides:

getMnemonic in class Instruction

toString

public java.lang.String toString()

Overrides:

toString in class Instruction