gov.nasa.jpf.vm

Class ArrayFields

java.lang.Object

gov.nasa.jpf.vm.Fields

gov.nasa.jpf.vm.ArrayFields

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

BooleanArrayFields, ByteArrayFields, CharArrayFields, DoubleArrayFields, FloatArrayFields, IntArrayFields, LongArrayFields, ReferenceArrayFields, ShortArrayFields

public abstract class ArrayFields
extends Fields

a Field (data value) store for array objects

Field Summary

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

fieldAttrs, objectAttr

Constructor Summary

Constructors

Constructor and Description
ArrayFields()

Method Summary

Modifier and Type	Method and Description
abstract int	arrayLength()
boolean[]	asBooleanArray()
byte[]	asByteArray()
char[]	asCharArray()
char[]	asCharArray(int offset, int length)
double[]	asDoubleArray()
int[]	asFieldSlots()
float[]	asFloatArray()
int[]	asIntArray()
long[]	asLongArray()
int[]	asReferenceArray()
short[]	asShortArray()
abstract void	copyElements(ArrayFields src, int srcPos, int dstPos, int len)
boolean	getBooleanValue(int pos)
byte	getByteValue(int pos)
char	getCharValue(int pos)
double	getDoubleValue(int pos)
float	getFloatValue(int pos)
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.
int	getIntValue(int pos)
long	getLongValue(int pos)
int	getNumberOfFields()
int	getReferenceValue(int pos)
short	getShortValue(int pos)
abstract java.lang.Object	getValues()
boolean	isReferenceArray()
void	printElements(java.io.PrintStream ps, int max)
protected abstract void	printValue(java.io.PrintStream ps, int idx)
void	setBooleanValue(int pos, boolean newValue)
void	setByteValue(int pos, byte newValue)
void	setCharValue(int pos, char newValue)
void	setDoubleValue(int pos, double newValue)
void	setFloatValue(int pos, float newValue)
void	setIntValue(int pos, int newValue)
void	setLongValue(int pos, long newValue)
void	setReferenceValue(int pos, int newValue)
void	setShortValue(int pos, short newValue)

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

addFieldAttr, addObjectAttr, appendTo, clone, cloneFields, compareAttrs, copyAttrs, equals, fieldAttrIterator, fieldAttrIterator, getFieldAttr, getFieldAttr, getNextFieldAttr, getNextObjectAttr, getObjectAttr, getObjectAttr, hasFieldAttr, hasFieldAttr, hasFieldAttr, hash, 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

ArrayFields

public ArrayFields()

Method Detail

arrayLength

public abstract int arrayLength()

getHeapSize

public abstract 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 Fields

isReferenceArray

public boolean isReferenceArray()

Overrides:

isReferenceArray in class Fields

getNumberOfFields

public int getNumberOfFields()

copyElements

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

printElements

public void printElements(java.io.PrintStream ps,
                          int max)

printValue

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

getValues

public abstract java.lang.Object getValues()

getBooleanValue

public boolean getBooleanValue(int pos)

Specified by:

getBooleanValue in class Fields

getByteValue

public byte getByteValue(int pos)

Specified by:

getByteValue in class Fields

getCharValue

public char getCharValue(int pos)

Specified by:

getCharValue in class Fields

getShortValue

public short getShortValue(int pos)

Specified by:

getShortValue in class Fields

getIntValue

public int getIntValue(int pos)

Specified by:

getIntValue in class Fields

getLongValue

public long getLongValue(int pos)

Specified by:

getLongValue in class Fields

getFloatValue

public float getFloatValue(int pos)

Specified by:

getFloatValue in class Fields

getDoubleValue

public double getDoubleValue(int pos)

Specified by:

getDoubleValue in class Fields

getReferenceValue

public int getReferenceValue(int pos)

Specified by:

getReferenceValue in class Fields

setBooleanValue

public void setBooleanValue(int pos,
                            boolean newValue)

Specified by:

setBooleanValue in class Fields

setByteValue

public void setByteValue(int pos,
                         byte newValue)

Specified by:

setByteValue in class Fields

setCharValue

public void setCharValue(int pos,
                         char newValue)

Specified by:

setCharValue in class Fields

setShortValue

public void setShortValue(int pos,
                          short newValue)

Specified by:

setShortValue in class Fields

setIntValue

public void setIntValue(int pos,
                        int newValue)

Specified by:

setIntValue in class Fields

setFloatValue

public void setFloatValue(int pos,
                          float newValue)

Specified by:

setFloatValue in class Fields

setLongValue

public void setLongValue(int pos,
                         long newValue)

Specified by:

setLongValue in class Fields

setDoubleValue

public void setDoubleValue(int pos,
                           double newValue)

Specified by:

setDoubleValue in class Fields

setReferenceValue

public void setReferenceValue(int pos,
                              int newValue)

Specified by:

setReferenceValue in class Fields

asBooleanArray

public boolean[] asBooleanArray()

asByteArray

public byte[] asByteArray()

asCharArray

public char[] asCharArray()

asCharArray

public char[] asCharArray(int offset,
                          int length)

asShortArray

public short[] asShortArray()

asIntArray

public int[] asIntArray()

asReferenceArray

public int[] asReferenceArray()

asLongArray

public long[] asLongArray()

asFloatArray

public float[] asFloatArray()

asDoubleArray

public double[] asDoubleArray()

asFieldSlots

public int[] asFieldSlots()

Specified by:

asFieldSlots in class Fields