gov.nasa.jpf.vm.bytecode

Class InstanceFieldInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.FieldInstruction

gov.nasa.jpf.vm.bytecode.InstanceFieldInstruction

All Implemented Interfaces:

Attributable, InstructionInterface, ReadOrWriteInstruction, java.lang.Cloneable

Direct Known Subclasses:

JVMInstanceFieldInstruction

public abstract class InstanceFieldInstruction
extends FieldInstruction

common machine independent type for all instance field access instructions

Field Summary

Fields

Modifier and Type	Field and Description
protected int	lastThis

Fields inherited from class gov.nasa.jpf.vm.bytecode.FieldInstruction

className, fi, fname, ftype, isReferenceField, lastValue, size, varId

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InstanceFieldInstruction(java.lang.String fieldName, java.lang.String classType, java.lang.String fieldDescriptor)

Method Summary

Modifier and Type	Method and Description
ElementInfo	getElementInfo(ThreadInfo ti) where do we read from/write to NOTE - this is a StaticElementInfo in case this is a PUT/GETSTATIC
java.lang.String	getFieldDescriptor()
FieldInfo	getFieldInfo()
ElementInfo	getLastElementInfo() since this is based on getLastThis(), the same context restrictions apply
int	getLastThis() NOTE - the return value is *only* valid in a instructionExecuted() context, since the same instruction can be executed from different threads
abstract int	getObjectSlot(StackFrame frame)
java.lang.String	toPostExecString() this can contain additional info that was gathered/cached during execution

Methods inherited from class gov.nasa.jpf.vm.bytecode.FieldInstruction

getClassName, getFieldName, getFieldSize, getId, getLastValue, getVariableId, isMonitorEnterPrologue, isRead, isReferenceField, peekElementInfo, setField, toString

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

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

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

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

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

Field Detail

lastThis

protected int lastThis

Constructor Detail

InstanceFieldInstruction

protected InstanceFieldInstruction(java.lang.String fieldName,
                                   java.lang.String classType,
                                   java.lang.String fieldDescriptor)

Method Detail

getObjectSlot

public abstract int getObjectSlot(StackFrame frame)

getElementInfo

public ElementInfo getElementInfo(ThreadInfo ti)

Description copied from interface: ReadOrWriteInstruction

where do we read from/write to NOTE - this is a StaticElementInfo in case this is a PUT/GETSTATIC

toPostExecString

public java.lang.String toPostExecString()

Description copied from class: Instruction

this can contain additional info that was gathered/cached during execution

Specified by:

toPostExecString in interface InstructionInterface

Overrides:

toPostExecString in class Instruction

getFieldInfo

public FieldInfo getFieldInfo()

Specified by:

getFieldInfo in class FieldInstruction

getLastThis

public int getLastThis()

NOTE - the return value is *only* valid in a instructionExecuted() context, since the same instruction can be executed from different threads

getLastElementInfo

public ElementInfo getLastElementInfo()

since this is based on getLastThis(), the same context restrictions apply

Specified by:

getLastElementInfo in class FieldInstruction

getFieldDescriptor

public java.lang.String getFieldDescriptor()