gov.nasa.jpf.vm.bytecode

Interface LocalVariableInstruction

All Superinterfaces:

Attributable, InstructionInterface

All Known Implementing Classes:

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

public interface LocalVariableInstruction
extends InstructionInterface

common type for various instructions that access local variables

Method Summary

Modifier and Type	Method and Description
int	getLocalVariableSlot()
LocalVarInfo	getLocalVarInfo()
java.lang.String	getVariableId()

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

asInstruction, execute, 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

Method Detail

getVariableId

java.lang.String getVariableId()

getLocalVariableSlot

int getLocalVariableSlot()

getLocalVarInfo

LocalVarInfo getLocalVarInfo()