gov.nasa.jpf.vm

Class CharArrayFields

java.lang.Object

gov.nasa.jpf.vm.Fields

gov.nasa.jpf.vm.ArrayFields

gov.nasa.jpf.vm.CharArrayFields

All Implemented Interfaces:

java.lang.Cloneable

public class CharArrayFields
extends ArrayFields

element values for char[] objects

Field Summary

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

fieldAttrs, objectAttr

Constructor Summary

Constructors

Constructor and Description
CharArrayFields(int length)

Method Summary

Modifier and Type	Method and Description
void	appendTo(IntVector v)
int	arrayLength()
char[]	asCharArray()
char[]	asCharArray(int offset, int length)
java.lang.String	asString(int offset, int length)
CharArrayFields	clone()
void	copyElements(ArrayFields src, int srcPos, int dstPos, int len)
boolean	equals(int offset, int length, java.lang.String s)
boolean	equals(java.lang.Object o)
char	getCharValue(int pos)
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.
java.lang.Object	getValues()
void	hash(HashData hd)
void	printElements(java.io.PrintStream ps, int max)
protected void	printValue(java.io.PrintStream ps, int idx)
void	setCharValue(int pos, char newValue)
void	setCharValues(char[] v)

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

asBooleanArray, asByteArray, asDoubleArray, asFieldSlots, asFloatArray, asIntArray, asLongArray, asReferenceArray, asShortArray, getBooleanValue, getByteValue, getDoubleValue, getFloatValue, getIntValue, getLongValue, getNumberOfFields, getReferenceValue, getShortValue, isReferenceArray, setBooleanValue, setByteValue, setDoubleValue, setFloatValue, setIntValue, setLongValue, setReferenceValue, 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

CharArrayFields

public CharArrayFields(int length)

Method Detail

asCharArray

public char[] asCharArray()

Overrides:

asCharArray 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

printElements

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

Overrides:

printElements in class ArrayFields

asCharArray

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

Overrides:

asCharArray 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

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 CharArrayFields clone()

Specified by:

clone in class Fields

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class Fields

getCharValue

public char getCharValue(int pos)

Overrides:

getCharValue in class ArrayFields

setCharValue

public void setCharValue(int pos,
                         char newValue)

Overrides:

setCharValue in class ArrayFields

setCharValues

public void setCharValues(char[] v)

asString

public java.lang.String asString(int offset,
                                 int length)

equals

public boolean equals(int offset,
                      int length,
                      java.lang.String s)

hash

public void hash(HashData hd)

Specified by:

hash in class Fields