gov.nasa.jpf.jvm.bytecode

Interface JVMFieldInstruction

All Superinterfaces:

Attributable, InstructionInterface, JVMInstruction

All Known Implementing Classes:

GETFIELD, GETSTATIC, JVMInstanceFieldInstruction, JVMStaticFieldInstruction, PUTFIELD, PUTSTATIC

public interface JVMFieldInstruction
extends JVMInstruction

common type for all GET/PUT insns

Method Summary

Modifier and Type	Method and Description
FieldInfo	getFieldInfo()
java.lang.String	getFieldName()
long	getLastValue()
boolean	isReferenceField()
ElementInfo	peekElementInfo(ThreadInfo ti)

Methods inherited from interface gov.nasa.jpf.jvm.bytecode.JVMInstruction

accept

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

getFieldInfo

FieldInfo getFieldInfo()

getLastValue

long getLastValue()

getFieldName

java.lang.String getFieldName()

isReferenceField

boolean isReferenceField()

peekElementInfo

ElementInfo peekElementInfo(ThreadInfo ti)