gov.nasa.jpf.jvm.bytecode

Class LocalVariableInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.LocalVariableInstruction

All Implemented Interfaces:

InstructionVisitorAcceptor, VariableAccessor, Cloneable

Direct Known Subclasses:

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

public abstract class LocalVariableInstruction
extends JVMInstruction
implements VariableAccessor

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	LocalVariableInstruction(int index)

Method Summary

Methods

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

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

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

Methods inherited from class java.lang.Object

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

Field Detail

index

protected int index

lv

protected LocalVarInfo lv

Constructor Detail

LocalVariableInstruction

protected LocalVariableInstruction(int index)

Method Detail

getLocalVariableIndex

public int getLocalVariableIndex()

getLocalVarInfo

public LocalVarInfo getLocalVarInfo()

getLocalVariableName

public String getLocalVariableName()

getLocalVariableType

public String getLocalVariableType()

getVariableId

public 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 VariableAccessor

accept

public void accept(InstructionVisitor insVisitor)

Specified by:

accept in interface InstructionVisitorAcceptor

getBaseMnemonic

public abstract String getBaseMnemonic()

getMnemonic

public String getMnemonic()

Overrides:

getMnemonic in class Instruction

toString

public String toString()

Overrides:

toString in class Instruction