gov.nasa.jpf.vm

Class Fields

java.lang.Object

gov.nasa.jpf.vm.Fields

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

ArrayFields, NamedFields

public abstract class Fields
extends java.lang.Object
implements java.lang.Cloneable

Represents the variable, hash-collapsed pooled data associated with an object that is related to the object values (as opposed to synchronization ->Monitor). Contains the values of the fields, not their descriptors. Descriptors are represented by gov.nasa.jpf.vm.FieldInfo objects, which are stored in the ClassInfo structure.

See Also:

FieldInfo, Monitor

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Object[]	fieldAttrs we use this to store arbitrary field attributes (like symbolic values), but only create this on demand
protected java.lang.Object	objectAttr attribute attached to the object as a whole

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Fields()

Method Summary

Modifier and Type	Method and Description
void	addFieldAttr(int nFieldsOrElements, int fieldOrElementIndex, java.lang.Object attr)
void	addObjectAttr(java.lang.Object attr)
abstract void	appendTo(IntVector v)
abstract int[]	asFieldSlots()
abstract Fields	clone()
protected Fields	cloneFields()
protected boolean	compareAttrs(Fields f)
void	copyAttrs(Fields other)
abstract boolean	equals(java.lang.Object o)
ObjectList.Iterator	fieldAttrIterator(int fieldOrElementIndex)
<T> ObjectList.TypedIterator<T>	fieldAttrIterator(int fieldOrElementIndex, java.lang.Class<T> type)
abstract boolean	getBooleanValue(int index)
abstract byte	getByteValue(int index)
abstract char	getCharValue(int index)
abstract double	getDoubleValue(int index)
java.lang.Object	getFieldAttr(int fieldOrElementIndex) this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList
<T> T	getFieldAttr(int fieldOrElementIndex, java.lang.Class<T> type) this only returns the first attr of this type, there can be more if you don't use client private types or the provided type is too general
abstract float	getFloatValue(int index)
abstract int	getHeapSize() give an approximation of the heap size in bytes - we assume fields are word aligned, hence the number of values*4 should be good.
abstract int	getIntValue(int index)
abstract long	getLongValue(int index)
<T> T	getNextFieldAttr(int fieldOrElementIndex, java.lang.Class<T> type, java.lang.Object prev)
<T> T	getNextObjectAttr(java.lang.Class<T> attrType, java.lang.Object prev)
java.lang.Object	getObjectAttr() this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList
<T> T	getObjectAttr(java.lang.Class<T> attrType) this only returns the first attr of this type, there can be more if you don't use client private types or the provided type is too general
abstract int	getReferenceValue(int index)
abstract short	getShortValue(int index)
boolean	hasFieldAttr()
boolean	hasFieldAttr(java.lang.Class<?> attrType)
boolean	hasFieldAttr(int fieldOrElementIndex, java.lang.Class<?> type)
abstract void	hash(HashData hd)
void	hashAttrs(HashData hd) Adds some data to the computation of an hashcode.
int	hashCode()
boolean	hasObjectAttr()
boolean	hasObjectAttr(java.lang.Class<?> attrType)
boolean	isReferenceArray()
ObjectList.Iterator	objectAttrIterator()
<T> ObjectList.TypedIterator<T>	objectAttrIterator(java.lang.Class<T> attrType)
void	removeFieldAttr(int fieldOrElementIndex, java.lang.Object attr)
void	removeObjectAttr(java.lang.Object attr)
void	replaceFieldAttr(int fieldOrElementIndex, java.lang.Object oldAttr, java.lang.Object newAttr)
void	replaceObjectAttr(java.lang.Object oldAttr, java.lang.Object newAttr)
abstract void	setBooleanValue(int index, boolean newValue)
abstract void	setByteValue(int index, byte newValue)
abstract void	setCharValue(int index, char newValue)
abstract void	setDoubleValue(int index, double newValue)
void	setFieldAttr(int nFieldsOrElements, int fieldOrElementIndex, java.lang.Object attr) this replaces all of them - use only if you know - there will be only one attribute at a time - you obtained the value you set by a previous getXAttr() - you constructed a multi value list with ObjectList.createList()
abstract void	setFloatValue(int index, float newValue)
abstract void	setIntValue(int index, int newValue)
abstract void	setLongValue(int index, long newValue)
void	setObjectAttr(java.lang.Object attr) this replaces all of them - use only if you know - there will be only one attribute at a time - you obtained the value you set by a previous getXAttr() - you constructed a multi value list with ObjectList.createList()
abstract void	setReferenceValue(int index, int newValue)
abstract void	setShortValue(int index, short newValue)

Methods inherited from class java.lang.Object

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

Field Detail

fieldAttrs

protected java.lang.Object[] fieldAttrs

we use this to store arbitrary field attributes (like symbolic values), but only create this on demand

objectAttr

protected java.lang.Object objectAttr

attribute attached to the object as a whole

Constructor Detail

Fields

protected Fields()

Method Detail

hasFieldAttr

public boolean hasFieldAttr()

hasFieldAttr

public boolean hasFieldAttr(java.lang.Class<?> attrType)

getFieldAttr

public java.lang.Object getFieldAttr(int fieldOrElementIndex)

this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList

setFieldAttr

public void setFieldAttr(int nFieldsOrElements,
                         int fieldOrElementIndex,
                         java.lang.Object attr)

this replaces all of them - use only if you know - there will be only one attribute at a time - you obtained the value you set by a previous getXAttr() - you constructed a multi value list with ObjectList.createList()

addFieldAttr

public void addFieldAttr(int nFieldsOrElements,
                         int fieldOrElementIndex,
                         java.lang.Object attr)

removeFieldAttr

public void removeFieldAttr(int fieldOrElementIndex,
                            java.lang.Object attr)

replaceFieldAttr

public void replaceFieldAttr(int fieldOrElementIndex,
                             java.lang.Object oldAttr,
                             java.lang.Object newAttr)

hasFieldAttr

public boolean hasFieldAttr(int fieldOrElementIndex,
                            java.lang.Class<?> type)

getFieldAttr

public <T> T getFieldAttr(int fieldOrElementIndex,
                          java.lang.Class<T> type)

this only returns the first attr of this type, there can be more if you don't use client private types or the provided type is too general

getNextFieldAttr

public <T> T getNextFieldAttr(int fieldOrElementIndex,
                              java.lang.Class<T> type,
                              java.lang.Object prev)

fieldAttrIterator

public ObjectList.Iterator fieldAttrIterator(int fieldOrElementIndex)

fieldAttrIterator

public <T> ObjectList.TypedIterator<T> fieldAttrIterator(int fieldOrElementIndex,
                                                         java.lang.Class<T> type)

hasObjectAttr

public boolean hasObjectAttr()

hasObjectAttr

public boolean hasObjectAttr(java.lang.Class<?> attrType)

getObjectAttr

public java.lang.Object getObjectAttr()

this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList

setObjectAttr

public void setObjectAttr(java.lang.Object attr)

this replaces all of them - use only if you know - there will be only one attribute at a time - you obtained the value you set by a previous getXAttr() - you constructed a multi value list with ObjectList.createList()

addObjectAttr

public void addObjectAttr(java.lang.Object attr)

removeObjectAttr

public void removeObjectAttr(java.lang.Object attr)

replaceObjectAttr

public void replaceObjectAttr(java.lang.Object oldAttr,
                              java.lang.Object newAttr)

getObjectAttr

public <T> T getObjectAttr(java.lang.Class<T> attrType)

this only returns the first attr of this type, there can be more if you don't use client private types or the provided type is too general

getNextObjectAttr

public <T> T getNextObjectAttr(java.lang.Class<T> attrType,
                               java.lang.Object prev)

objectAttrIterator

public ObjectList.Iterator objectAttrIterator()

objectAttrIterator

public <T> ObjectList.TypedIterator<T> objectAttrIterator(java.lang.Class<T> attrType)

asFieldSlots

public abstract int[] asFieldSlots()

getHeapSize

public abstract int getHeapSize()

give an approximation of the heap size in bytes - we assume fields are word aligned, hence the number of values*4 should be good. Note that this is overridden by ArrayFields (arrays would be packed)

isReferenceArray

public boolean isReferenceArray()

getIntValue

public abstract int getIntValue(int index)

getReferenceValue

public abstract int getReferenceValue(int index)

getLongValue

public abstract long getLongValue(int index)

getBooleanValue

public abstract boolean getBooleanValue(int index)

getByteValue

public abstract byte getByteValue(int index)

getCharValue

public abstract char getCharValue(int index)

getShortValue

public abstract short getShortValue(int index)

getFloatValue

public abstract float getFloatValue(int index)

getDoubleValue

public abstract double getDoubleValue(int index)

setReferenceValue

public abstract void setReferenceValue(int index,
                                       int newValue)

setBooleanValue

public abstract void setBooleanValue(int index,
                                     boolean newValue)

setByteValue

public abstract void setByteValue(int index,
                                  byte newValue)

setCharValue

public abstract void setCharValue(int index,
                                  char newValue)

setShortValue

public abstract void setShortValue(int index,
                                   short newValue)

setFloatValue

public abstract void setFloatValue(int index,
                                   float newValue)

setIntValue

public abstract void setIntValue(int index,
                                 int newValue)

setLongValue

public abstract void setLongValue(int index,
                                  long newValue)

setDoubleValue

public abstract void setDoubleValue(int index,
                                    double newValue)

clone

public abstract Fields clone()

Overrides:

clone in class java.lang.Object

cloneFields

protected Fields cloneFields()

equals

public abstract boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

compareAttrs

protected boolean compareAttrs(Fields f)

appendTo

public abstract void appendTo(IntVector v)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

hash

public abstract void hash(HashData hd)

hashAttrs

public void hashAttrs(HashData hd)

Adds some data to the computation of an hashcode.

copyAttrs

public void copyAttrs(Fields other)