gov.nasa.jpf.vm

Class ReferenceArrayFields

java.lang.Object

gov.nasa.jpf.vm.Fields

gov.nasa.jpf.vm.ArrayFields

gov.nasa.jpf.vm.ReferenceArrayFields

All Implemented Interfaces:

java.lang.Cloneable

public class ReferenceArrayFields
extends ArrayFields

element values for reference array objects (references are stored as int's)

Field Summary

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

fieldAttrs, objectAttr

Constructor Summary

Constructors

Constructor and Description
ReferenceArrayFields(int length)

Method Summary

Modifier and Type	Method and Description
void	appendTo(IntVector v)
int	arrayLength()
int[]	asReferenceArray()
ReferenceArrayFields	clone()
void	copyElements(ArrayFields src, int srcPos, int dstPos, int len)
boolean	equals(java.lang.Object o)
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.
int	getReferenceValue(int pos)
java.lang.Object	getValues()
void	hash(HashData hd)
boolean	isReferenceArray()
protected void	printValue(java.io.PrintStream ps, int idx)
void	setReferenceValue(int pos, int newValue)

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

asBooleanArray, asByteArray, asCharArray, asCharArray, asDoubleArray, asFieldSlots, asFloatArray, asIntArray, asLongArray, asShortArray, getBooleanValue, getByteValue, getCharValue, getDoubleValue, getFloatValue, getIntValue, getLongValue, getNumberOfFields, getShortValue, printElements, setBooleanValue, setByteValue, setCharValue, setDoubleValue, setFloatValue, setIntValue, setLongValue, setShortValue

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

addFieldAttr, addObjectAttr, cloneFields, compareAttrs, copyAttrs, fieldAttrIterator, fieldAttrIterator, getFieldAttr, getFieldAttr, getNextFieldAttr, getNextObjectAttr, getObjectAttr, getObjectAttr, hasFieldAttr, hasFieldAttr, hasFieldAttr, hashAttrs, hashCode, hasObjectAttr, hasObjectAttr, objectAttrIterator, objectAttrIterator, removeFieldAttr, removeObjectAttr, replaceFieldAttr, replaceObjectAttr, setFieldAttr, setObjectAttr

Methods inherited from class java.lang.Object

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

Constructor Detail

ReferenceArrayFields

public ReferenceArrayFields(int length)

Method Detail

asReferenceArray

public int[] asReferenceArray()

Overrides:

asReferenceArray in class ArrayFields

copyElements

public void copyElements(ArrayFields src,
                         int srcPos,
                         int dstPos,
                         int len)

Specified by:

copyElements in class ArrayFields

printValue

protected void printValue(java.io.PrintStream ps,
                          int idx)

Specified by:

printValue in class ArrayFields

getValues

public java.lang.Object getValues()

Specified by:

getValues in class ArrayFields

arrayLength

public int arrayLength()

Specified by:

arrayLength in class ArrayFields

isReferenceArray

public boolean isReferenceArray()

Overrides:

isReferenceArray in class ArrayFields

getHeapSize

public int getHeapSize()

Description copied from class: Fields

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)

Specified by:

getHeapSize in class ArrayFields

appendTo

public void appendTo(IntVector v)

Specified by:

appendTo in class Fields

clone

public ReferenceArrayFields clone()

Specified by:

clone in class Fields

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class Fields

setReferenceValue

public void setReferenceValue(int pos,
                              int newValue)

Overrides:

setReferenceValue in class ArrayFields

getReferenceValue

public int getReferenceValue(int pos)

Overrides:

getReferenceValue in class ArrayFields

hash

public void hash(HashData hd)

Specified by:

hash in class Fields