gov.nasa.jpf.vm

Class StaticElementInfo

java.lang.Object

gov.nasa.jpf.vm.ElementInfo

gov.nasa.jpf.vm.StaticElementInfo

All Implemented Interfaces:

java.lang.Cloneable

public final class StaticElementInfo
extends ElementInfo

A specialized version of ElementInfo that is used for static fields. Each registered ClassInfo instance has its own StaticElementInfo instance

Field Summary

Fields

Modifier and Type	Field and Description
protected int	classObjectRef
protected int	status

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

ATTR_ATTRIBUTE_CHANGED, ATTR_CONSTRUCTED, ATTR_EXPOSED, ATTR_FINALIZED, ATTR_FLI_CHANGED, ATTR_FREEZE_SHARED, ATTR_IMMUTABLE, ATTR_IS_FROZEN, ATTR_IS_MARKED, ATTR_LIVE_BIT, ATTR_MARKED_OR_LIVE_BIT, ATTR_PINDOWN_MASK, ATTR_SHARED, ATTR_TREF_CHANGED, attributes, cachedMemento, ci, fields, fLockInfo, monitor, objRef, referencingThreads, sid

Constructor Summary

Constructors

Constructor and Description
StaticElementInfo()
StaticElementInfo(int id, ClassInfo ci, Fields f, Monitor m, ThreadInfo ti, ElementInfo eiClsObj)

Method Summary

Modifier and Type	Method and Description
protected void	checkFieldInfo(FieldInfo fi)
boolean	equals(java.lang.Object o)
int	getClassObjectRef()
protected FieldInfo	getDeclaredFieldInfo(java.lang.String clsBase, java.lang.String fname)
FieldInfo	getFieldInfo(int fieldIndex)
FieldInfo	getFieldInfo(java.lang.String fname)
ElementInfo	getModifiableInstance()
int	getNumberOfFields()
protected int	getNumberOfFieldsOrElements()
protected ElementInfo	getReferencedElementInfo(FieldInfo fi)
int	getStatus() public boolean isShared() { // static fields are always thread global return true; }
boolean	hasChanged()
boolean	hasFinalizer()
void	hash(HashData hd)
boolean	isArray()
boolean	isObject()
void	markUnchanged()
void	setClassObjectRef(int r)
java.lang.String	toString()

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

addElementAttr, addElementAttrNoClone, addFieldAttr, addObjectAttr, arrayCopy, arrayLength, asBooleanArray, asBoxObject, asByteArray, asCharArray, asDoubleArray, asFloatArray, asIntArray, asLongArray, asReferenceArray, asShortArray, asString, block, canLock, checkArray, checkArrayBounds, checkAssertion, checkConsistency, checkIsModifiable, clone, copyElements, deepClone, defreeze, elementAttrIterator, elementAttrIterator, equalsString, fieldAttrIterator, fieldAttrIterator, freeze, freezeSharedness, get1SlotField, get2SlotField, getArrayFields, getArrayType, getBacktrackData, getBlockedOrWaitingThreads, getBlockedThreads, getBooleanElement, getBooleanField, getBooleanField, getByteElement, getByteField, getByteField, getCachedMemento, getCharElement, getCharField, getCharField, getClassInfo, getDeclaredBooleanField, getDeclaredByteField, getDeclaredCharField, getDeclaredDoubleField, getDeclaredFloatField, getDeclaredIntField, getDeclaredLongField, getDeclaredObjectField, getDeclaredReferenceField, getDeclaredShortField, getDoubleElement, getDoubleField, getDoubleField, getElementAttr, getElementAttr, getEnclosingElementInfo, getExposedInstance, getFieldAttr, getFieldAttr, getFieldLockInfo, getFields, getFieldValueObject, getFloatElement, getFloatField, getFloatField, getHeapSize, getIndex, getIntElement, getIntField, getIntField, getLockCount, getLockedThreads, getLockingThread, getLongElement, getLongField, getLongField, getMonitor, getNextElementAttr, getNextFieldAttr, getNextObjectAttr, getObjectAttr, getObjectAttr, getObjectField, getObjectRef, getPinDownCount, getReferenceElement, getReferenceField, getReferenceField, getReferencingThreads, getShortElement, getShortField, getShortField, getSid, getStringChars, getStringField, getType, getWaitingThreads, hasElementAttr, hasElementAttr, hasFieldAttr, hasFieldAttr, hashCode, hasObjectAttr, hasObjectAttr, hasRefField, hasWaitingThreads, instanceOf, isAlive, isBoxObject, isCharArray, isConstructed, isDoubleArray, isExposed, isExposedOrShared, isFinalized, isFloatArray, isFrozen, isImmutable, isLocked, isLockedBy, isLocking, isLockProtected, isMarked, isMarkedOrAlive, isNull, isPinnedDown, isReferenceArray, isReferencedBySameThreads, isReferencedByThread, isRegisteredLockContender, isShared, isSharednessFrozen, isStringObject, lock, lockNotified, notifies, notifies, notifiesAll, numberOfUserThreads, objectAttrIterator, objectAttrIterator, processReleaseActions, recycle, registerLockContender, removeElementAttr, removeElementAttrNoClone, removeFieldAttr, removeObjectAttr, replaceElementAttr, replaceElementAttrNoClone, replaceFieldAttr, replaceObjectAttr, restore, restoreAttributes, restoreFields, restoreMonitor, resumeNonlockedWaiter, set1SlotField, set2SlotField, setAlive, setBooleanElement, setBooleanField, setBooleanField, setByteElement, setByteField, setByteField, setCachedMemento, setCharElement, setCharField, setCharField, setConstructed, setDeclaredIntField, setDeclaredLongField, setDeclaredReferenceField, setDoubleElement, setDoubleField, setDoubleField, setElementAttr, setElementAttrNoClone, setExposed, setExposed, setFieldAttr, setFieldLockInfo, setFinalized, setFloatElement, setFloatField, setFloatField, setIntElement, setIntField, setIntField, setLongElement, setLongField, setLongField, setMarked, setObjectAttr, setObjectAttrNoClone, setObjectRef, setReferenceElement, setReferenceField, setReferenceField, setReferencingThreads, setShared, setShortElement, setShortField, setShortField, setSid, setUnmarked, unlock, unregisterLockContender, wait, wait

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

classObjectRef

protected int classObjectRef

status

protected int status

Constructor Detail

StaticElementInfo

public StaticElementInfo()

StaticElementInfo

public StaticElementInfo(int id,
                         ClassInfo ci,
                         Fields f,
                         Monitor m,
                         ThreadInfo ti,
                         ElementInfo eiClsObj)

Method Detail

getModifiableInstance

public ElementInfo getModifiableInstance()

Specified by:

getModifiableInstance in class ElementInfo

isObject

public boolean isObject()

Specified by:

isObject in class ElementInfo

isArray

public boolean isArray()

Overrides:

isArray in class ElementInfo

hasFinalizer

public boolean hasFinalizer()

Specified by:

hasFinalizer in class ElementInfo

getNumberOfFieldsOrElements

protected int getNumberOfFieldsOrElements()

Specified by:

getNumberOfFieldsOrElements in class ElementInfo

hasChanged

public boolean hasChanged()

Overrides:

hasChanged in class ElementInfo

markUnchanged

public void markUnchanged()

Overrides:

markUnchanged in class ElementInfo

hash

public void hash(HashData hd)

Overrides:

hash in class ElementInfo

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class ElementInfo

getStatus

public int getStatus()

public boolean isShared() { // static fields are always thread global return true; }

getDeclaredFieldInfo

protected FieldInfo getDeclaredFieldInfo(java.lang.String clsBase,
                                         java.lang.String fname)

Specified by:

getDeclaredFieldInfo in class ElementInfo

getFieldInfo

public FieldInfo getFieldInfo(java.lang.String fname)

Specified by:

getFieldInfo in class ElementInfo

checkFieldInfo

protected void checkFieldInfo(FieldInfo fi)

getNumberOfFields

public int getNumberOfFields()

Specified by:

getNumberOfFields in class ElementInfo

getFieldInfo

public FieldInfo getFieldInfo(int fieldIndex)

Specified by:

getFieldInfo in class ElementInfo

getClassObjectRef

public int getClassObjectRef()

setClassObjectRef

public void setClassObjectRef(int r)

toString

public java.lang.String toString()

Overrides:

toString in class ElementInfo

getReferencedElementInfo

protected ElementInfo getReferencedElementInfo(FieldInfo fi)