gov.nasa.jpf.vm

Class DynamicElementInfo

java.lang.Object

gov.nasa.jpf.vm.ElementInfo

gov.nasa.jpf.vm.DynamicElementInfo

All Implemented Interfaces:

java.lang.Cloneable

public class DynamicElementInfo
extends ElementInfo

A specialized version of ElementInfo that represents heap objects

Field Summary

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
DynamicElementInfo()
DynamicElementInfo(int objref, ClassInfo ci, Fields f, Monitor m, ThreadInfo ti)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	asBoxObject()
java.lang.String	asString()
boolean	equalsString(java.lang.String s) just a helper to avoid creating objects just for the sake of comparing
protected FieldInfo	getDeclaredFieldInfo(java.lang.String clsBase, java.lang.String fname)
ElementInfo	getEnclosingElementInfo()
FieldInfo	getFieldInfo(int fieldIndex)
FieldInfo	getFieldInfo(java.lang.String fname)
ElementInfo	getModifiableInstance()
int	getNumberOfFields()
protected int	getNumberOfFieldsOrElements()
char[]	getStringChars()
boolean	hasFinalizer()
boolean	isBoxObject() is this a Number, a Boolean or a Character object Note these classes are all final, so we don't have to check for subtypes <2do> we should probably use a regular expression here
boolean	isObject()

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

addElementAttr, addElementAttrNoClone, addFieldAttr, addObjectAttr, arrayCopy, arrayLength, asBooleanArray, asByteArray, asCharArray, asDoubleArray, asFloatArray, asIntArray, asLongArray, asReferenceArray, asShortArray, block, canLock, checkArray, checkArrayBounds, checkAssertion, checkConsistency, checkIsModifiable, clone, copyElements, deepClone, defreeze, elementAttrIterator, elementAttrIterator, equals, 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, 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, getStringField, getType, getWaitingThreads, hasChanged, hasElementAttr, hasElementAttr, hasFieldAttr, hasFieldAttr, hash, hashCode, hasObjectAttr, hasObjectAttr, hasRefField, hasWaitingThreads, instanceOf, isAlive, isArray, 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, markUnchanged, 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, toString, unlock, unregisterLockContender, wait, wait

Methods inherited from class java.lang.Object

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

Constructor Detail

DynamicElementInfo

public DynamicElementInfo()

DynamicElementInfo

public DynamicElementInfo(int objref,
                          ClassInfo ci,
                          Fields f,
                          Monitor m,
                          ThreadInfo ti)

Method Detail

getModifiableInstance

public ElementInfo getModifiableInstance()

Specified by:

getModifiableInstance in class ElementInfo

isObject

public boolean isObject()

Specified by:

isObject in class ElementInfo

hasFinalizer

public boolean hasFinalizer()

Specified by:

hasFinalizer in class ElementInfo

getNumberOfFieldsOrElements

protected int getNumberOfFieldsOrElements()

Specified by:

getNumberOfFieldsOrElements in class ElementInfo

getNumberOfFields

public int getNumberOfFields()

Specified by:

getNumberOfFields in class ElementInfo

getFieldInfo

public FieldInfo getFieldInfo(int fieldIndex)

Specified by:

getFieldInfo in class ElementInfo

getFieldInfo

public FieldInfo getFieldInfo(java.lang.String fname)

Specified by:

getFieldInfo in class ElementInfo

getDeclaredFieldInfo

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

Specified by:

getDeclaredFieldInfo in class ElementInfo

getEnclosingElementInfo

public ElementInfo getEnclosingElementInfo()

Overrides:

getEnclosingElementInfo in class ElementInfo

asString

public java.lang.String asString()

Overrides:

asString in class ElementInfo

getStringChars

public char[] getStringChars()

Overrides:

getStringChars in class ElementInfo

equalsString

public boolean equalsString(java.lang.String s)

just a helper to avoid creating objects just for the sake of comparing

Overrides:

equalsString in class ElementInfo

isBoxObject

public boolean isBoxObject()

Description copied from class: ElementInfo

is this a Number, a Boolean or a Character object Note these classes are all final, so we don't have to check for subtypes <2do> we should probably use a regular expression here

Overrides:

isBoxObject in class ElementInfo

asBoxObject

public java.lang.Object asBoxObject()

Overrides:

asBoxObject in class ElementInfo