gov.nasa.jpf.vm.bytecode

Class FieldInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.FieldInstruction

All Implemented Interfaces:

Attributable, InstructionInterface, ReadOrWriteInstruction, java.lang.Cloneable

Direct Known Subclasses:

InstanceFieldInstruction, StaticFieldInstruction, StaticFieldInstruction

public abstract class FieldInstruction
extends Instruction
implements ReadOrWriteInstruction

abstract base for all field access instructions

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	className
protected FieldInfo	fi
protected java.lang.String	fname
protected java.lang.String	ftype
protected boolean	isReferenceField
protected long	lastValue
protected int	size
protected java.lang.String	varId

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FieldInstruction(java.lang.String name, java.lang.String clsName, java.lang.String fieldDescriptor)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getClassName()
abstract FieldInfo	getFieldInfo()
java.lang.String	getFieldName()
int	getFieldSize()
java.lang.String	getId(ElementInfo ei)
abstract ElementInfo	getLastElementInfo()
long	getLastValue() only defined in instructionExecuted() notification context
java.lang.String	getVariableId()
boolean	isMonitorEnterPrologue() is this instruction part of a monitorenter code pattern
abstract boolean	isRead()
boolean	isReferenceField()
abstract ElementInfo	peekElementInfo(ThreadInfo ti)
void	setField(java.lang.String fname, java.lang.String fclsName) for explicit construction
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, getMnemonic, getNext, getNext, getNextAttr, getPosition, getPrev, getSourceLine, getSourceLocation, getSourceOrLocation, hasAttr, hasAttr, init, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, 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.ReadOrWriteInstruction

getElementInfo

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

Field Detail

fname

protected java.lang.String fname

ftype

protected java.lang.String ftype

className

protected java.lang.String className

varId

protected java.lang.String varId

fi

protected FieldInfo fi

size

protected int size

isReferenceField

protected boolean isReferenceField

lastValue

protected long lastValue

Constructor Detail

FieldInstruction

protected FieldInstruction(java.lang.String name,
                           java.lang.String clsName,
                           java.lang.String fieldDescriptor)

Method Detail

setField

public void setField(java.lang.String fname,
                     java.lang.String fclsName)

for explicit construction

getFieldInfo

public abstract FieldInfo getFieldInfo()

isRead

public abstract boolean isRead()

Specified by:

isRead in interface ReadOrWriteInstruction

getLastElementInfo

public abstract ElementInfo getLastElementInfo()

peekElementInfo

public abstract ElementInfo peekElementInfo(ThreadInfo ti)

getClassName

public java.lang.String getClassName()

getFieldName

public java.lang.String getFieldName()

getFieldSize

public int getFieldSize()

isReferenceField

public boolean isReferenceField()

getLastValue

public long getLastValue()

only defined in instructionExecuted() notification context

getVariableId

public java.lang.String getVariableId()

getId

public java.lang.String getId(ElementInfo ei)

toString

public java.lang.String toString()

Overrides:

toString in class Instruction

isMonitorEnterPrologue

public boolean isMonitorEnterPrologue()

Description copied from class: Instruction

is this instruction part of a monitorenter code pattern

Overrides:

isMonitorEnterPrologue in class Instruction