gov.nasa.jpf.vm.bytecode

Class StaticFieldInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.FieldInstruction

gov.nasa.jpf.vm.bytecode.StaticFieldInstruction

All Implemented Interfaces:

Attributable, InstructionInterface, ReadOrWriteInstruction, java.lang.Cloneable

Direct Known Subclasses:

JVMStaticFieldInstruction

public abstract class StaticFieldInstruction
extends FieldInstruction

common machine independent type for static field accessors

Field Summary

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	StaticFieldInstruction(java.lang.String fieldName, java.lang.String clsDescriptor, java.lang.String fieldDescriptor)

Method Summary

Modifier and Type	Method and Description
ClassInfo	getClassInfo()
ElementInfo	getElementInfo(ThreadInfo ti) who owns the field? NOTE: this should only be used from a executeInstruction()/instructionExecuted() context
FieldInfo	getFieldInfo()
ClassInfo	getLastClassInfo()
java.lang.String	getLastClassName()
StaticElementInfo	getLastElementInfo()
protected void	initialize() on-demand initialize the ClassInfo and FieldInfo fields.
ElementInfo	peekElementInfo(ThreadInfo ti) that's invariant, as opposed to InstanceFieldInstruction, so it's not really a peek
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, 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

Constructor Detail

StaticFieldInstruction

protected StaticFieldInstruction(java.lang.String fieldName,
                                 java.lang.String clsDescriptor,
                                 java.lang.String fieldDescriptor)

Method Detail

initialize

protected void initialize()

on-demand initialize the ClassInfo and FieldInfo fields. Note that classinfo might not correspond with the static className, but can be one of the super classes. Rather than checking for this on each subsequent access, we get the right one that declares the field here

getElementInfo

public ElementInfo getElementInfo(ThreadInfo ti)

who owns the field? NOTE: this should only be used from a executeInstruction()/instructionExecuted() context

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

getClassInfo

public ClassInfo getClassInfo()

getFieldInfo

public FieldInfo getFieldInfo()

Specified by:

getFieldInfo in class FieldInstruction

peekElementInfo

public ElementInfo peekElementInfo(ThreadInfo ti)

that's invariant, as opposed to InstanceFieldInstruction, so it's not really a peek

Specified by:

peekElementInfo in class FieldInstruction

getLastElementInfo

public StaticElementInfo getLastElementInfo()

Specified by:

getLastElementInfo in class FieldInstruction

getLastClassInfo

public ClassInfo getLastClassInfo()

getLastClassName

public java.lang.String getLastClassName()