gov.nasa.jpf.vm

Class BooleanArrayFields

java.lang.Object

gov.nasa.jpf.vm.Fields

gov.nasa.jpf.vm.ArrayFields

gov.nasa.jpf.vm.BooleanArrayFields

All Implemented Interfaces:

Cloneable

public class BooleanArrayFields
extends ArrayFields

element values for boolean[] objects

Field Summary

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

fieldAttrs, objectAttr

Constructor Summary

Constructors

Constructor and Description
BooleanArrayFields(int length)

Method Summary

Methods

Modifier and Type	Method and Description
void	appendTo(IntVector v)
int	arrayLength()
boolean[]	asBooleanArray()
BooleanArrayFields	clone()
boolean	equals(Object o) we check for type and equal element values
boolean	getBooleanValue(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.
Object	getValues()
void	hash(HashData hd)
protected void	printValue(PrintStream ps, int idx)
void	setBooleanValue(int pos, boolean v)

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

asByteArray, asCharArray, asCharArray, asDoubleArray, asFieldSlots, asFloatArray, asIntArray, asLongArray, asReferenceArray, asShortArray, getByteValue, getCharValue, getDoubleValue, getFloatValue, getIntValue, getLongValue, getNumberOfFields, getReferenceValue, getShortValue, isReferenceArray, printElements, setByteValue, setCharValue, 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

BooleanArrayFields

public BooleanArrayFields(int length)

Method Detail

printValue

protected void printValue(PrintStream ps,
              int idx)

Specified by:

printValue in class ArrayFields

asBooleanArray

public boolean[] asBooleanArray()

Overrides:

asBooleanArray in class ArrayFields

getValues

public 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

equals

public boolean equals(Object o)

we check for type and equal element values

Specified by:

equals in class Fields

clone

public BooleanArrayFields clone()

Specified by:

clone in class Fields

appendTo

public void appendTo(IntVector v)

Specified by:

appendTo in class Fields

getBooleanValue

public boolean getBooleanValue(int pos)

Overrides:

getBooleanValue in class ArrayFields

setBooleanValue

public void setBooleanValue(int pos,
                   boolean v)

Overrides:

setBooleanValue in class ArrayFields

hash

public void hash(HashData hd)

Specified by:

hash in class Fields