gov.nasa.jpf.jvm.bytecode

Class StaticFieldInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.FieldInstruction

gov.nasa.jpf.jvm.bytecode.StaticFieldInstruction

All Implemented Interfaces:

InstructionVisitorAcceptor, VariableAccessor, Cloneable

Direct Known Subclasses:

GETSTATIC, PUTSTATIC

public abstract class StaticFieldInstruction
extends FieldInstruction

class to abstract instructions accessing static fields

Field Summary

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

className, fi, fname, 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()
protected	StaticFieldInstruction(String fieldName, String clsDescriptor, String fieldDescriptor)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(InstructionVisitor insVisitor)
ClassInfo	getClassInfo()
FieldInfo	getFieldInfo()
ClassInfo	getLastClassInfo()
String	getLastClassName()
StaticElementInfo	getLastElementInfo()
protected void	initialize() on-demand initialize the ClassInfo and FieldInfo fields.
protected boolean	isNewPorFieldBoundary(ThreadInfo ti)
protected boolean	isSchedulingRelevant(ThreadInfo ti)
protected boolean	isSkippedFinalField(ElementInfo ei)
ElementInfo	peekElementInfo(ThreadInfo ti) that's invariant, as opposed to InstanceFieldInstruction, so it's not really a peek
Instruction	typeSafeClone(MethodInfo mi) this is overridden by any Instruction that use a cache for class or method to provide a type safe cloning

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

createAndSetSharedFieldAccessCG, createAndSetSharedObjectExposureCG, getClassName, getFieldName, getFieldSize, getId, getLastValue, getVariableId, init, isLockProtected, isMonitorEnterPrologue, isRead, isReferenceField, popOperands1, popOperands2, put, put1, put2, setField

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

addAttr, attrIterator, attrIterator, cleanupTransients, execute, getAttr, getAttr, getByteCode, 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, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

StaticFieldInstruction

protected StaticFieldInstruction()

StaticFieldInstruction

protected StaticFieldInstruction(String fieldName,
                      String clsDescriptor,
                      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

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 String getLastClassName()

isNewPorFieldBoundary

protected boolean isNewPorFieldBoundary(ThreadInfo ti)

isSkippedFinalField

protected boolean isSkippedFinalField(ElementInfo ei)

Specified by:

isSkippedFinalField in class FieldInstruction

isSchedulingRelevant

protected boolean isSchedulingRelevant(ThreadInfo ti)

accept

public void accept(InstructionVisitor insVisitor)

Specified by:

accept in interface InstructionVisitorAcceptor

Overrides:

accept in class FieldInstruction

typeSafeClone

public Instruction typeSafeClone(MethodInfo mi)

Description copied from class: Instruction

this is overridden by any Instruction that use a cache for class or method to provide a type safe cloning

Overrides:

typeSafeClone in class Instruction