gov.nasa.jpf.vm

Class NamedFields

java.lang.Object

gov.nasa.jpf.vm.Fields

gov.nasa.jpf.vm.NamedFields

All Implemented Interfaces:

java.lang.Cloneable

public class NamedFields
extends Fields

value container for non-array classes

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	values this is where we store the instance data.

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

fieldAttrs, objectAttr

Constructor Summary

Constructors

Constructor and Description
NamedFields(int dataSize)

Method Summary

Modifier and Type	Method and Description
void	appendTo(IntVector v)
int[]	asFieldSlots()
NamedFields	clone() Creates a clone.
void	copyFrom(Fields other)
boolean	equals(java.lang.Object o) Checks for equality.
boolean	getBooleanValue(int index)
byte	getByteValue(int index)
char	getCharValue(int index)
double	getDoubleValue(int index)
float	getFloatValue(int index)
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	getIntValue(int index)
long	getLongValue(int index)
int[]	getRawValues()
int	getReferenceValue(int index)
short	getShortValue(int index)
int[]	getValues()
void	hash(HashData hd) Adds some data to the computation of an hashcode.
boolean	isEqual(Fields o, int off, int len, int otherOff)
void	setBooleanValue(int index, boolean newValue)
void	setByteValue(int index, byte newValue)
void	setCharValue(int index, char newValue)
void	setDoubleValue(int index, double newValue)
void	setFloatValue(int index, float newValue)
void	setIntValue(int index, int newValue)
void	setLongValue(int index, long newValue)
void	setReferenceValue(int index, int newValue)
void	setShortValue(int index, short newValue)
int	size() Size of the fields.
java.lang.String	toString()

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, isReferenceArray, objectAttrIterator, objectAttrIterator, removeFieldAttr, removeObjectAttr, replaceFieldAttr, replaceObjectAttr, setFieldAttr, setObjectAttr

Methods inherited from class java.lang.Object

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

Field Detail

values

protected int[] values

this is where we store the instance data. Since field types are heterogenous, we have to map everything into int

Constructor Detail

NamedFields

public NamedFields(int dataSize)

Method Detail

asFieldSlots

public int[] asFieldSlots()

Specified by:

asFieldSlots in class Fields

getHeapSize

public 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)

Specified by:

getHeapSize in class Fields

getIntValue

public int getIntValue(int index)

Specified by:

getIntValue in class Fields

isEqual

public boolean isEqual(Fields o,
                       int off,
                       int len,
                       int otherOff)

getReferenceValue

public int getReferenceValue(int index)

Specified by:

getReferenceValue in class Fields

getLongValue

public long getLongValue(int index)

Specified by:

getLongValue in class Fields

getBooleanValue

public boolean getBooleanValue(int index)

Specified by:

getBooleanValue in class Fields

getByteValue

public byte getByteValue(int index)

Specified by:

getByteValue in class Fields

getCharValue

public char getCharValue(int index)

Specified by:

getCharValue in class Fields

getShortValue

public short getShortValue(int index)

Specified by:

getShortValue in class Fields

getValues

public int[] getValues()

setReferenceValue

public void setReferenceValue(int index,
                              int newValue)

Specified by:

setReferenceValue in class Fields

setBooleanValue

public void setBooleanValue(int index,
                            boolean newValue)

Specified by:

setBooleanValue in class Fields

setByteValue

public void setByteValue(int index,
                         byte newValue)

Specified by:

setByteValue in class Fields

setCharValue

public void setCharValue(int index,
                         char newValue)

Specified by:

setCharValue in class Fields

setShortValue

public void setShortValue(int index,
                          short newValue)

Specified by:

setShortValue in class Fields

setFloatValue

public void setFloatValue(int index,
                          float newValue)

Specified by:

setFloatValue in class Fields

setIntValue

public void setIntValue(int index,
                        int newValue)

Specified by:

setIntValue in class Fields

setLongValue

public void setLongValue(int index,
                         long newValue)

Specified by:

setLongValue in class Fields

setDoubleValue

public void setDoubleValue(int index,
                           double newValue)

Specified by:

setDoubleValue in class Fields

getFloatValue

public float getFloatValue(int index)

Specified by:

getFloatValue in class Fields

getDoubleValue

public double getDoubleValue(int index)

Specified by:

getDoubleValue in class Fields

clone

public NamedFields clone()

Creates a clone.

Specified by:

clone in class Fields

equals

public boolean equals(java.lang.Object o)

Checks for equality.

Specified by:

equals in class Fields

appendTo

public void appendTo(IntVector v)

Specified by:

appendTo in class Fields

hash

public void hash(HashData hd)

Adds some data to the computation of an hashcode.

Specified by:

hash in class Fields

size

public int size()

Size of the fields.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getRawValues

public int[] getRawValues()

copyFrom

public void copyFrom(Fields other)