gov.nasa.jpf.util

Class DynamicObjectArray<E>

java.lang.Object

gov.nasa.jpf.util.DynamicObjectArray<E>

All Implemented Interfaces:

java.lang.Iterable<E>

public final class DynamicObjectArray<E>
extends java.lang.Object
implements java.lang.Iterable<E>

simplistic Object array that differentiates from ArrayList by using chunks instead of exponential growth, thus efficiently dealing with huge, potentially sparse arrays the motivation for this class is memory optimization, i.e. space efficient storage of potentially huge arrays without good a-priori size guesses this class is awfully lifted from DynamicIntArray (same motivation, but primitive types - not much factorizable functionality w/o excessive casting/boxing) the API of this class is between a primitive array and a AbstractList. Since it handles Objects, we could turn this into a Collection (and probably should) NOTE: like standard Collection implementations/arrays, this class is not synchronized

Constructor Summary

Constructors

Constructor and Description
DynamicObjectArray()
DynamicObjectArray(Growth strategy, int chunkBits, int initChunks)
DynamicObjectArray(int chunkBits, int initChunks) Creates a DynamicObjectArray in which each chunk has 2**chunkBits elements and initChunks chunks are initially allocated.

Method Summary

Modifier and Type	Method and Description
E	get(int index)
int	getMaxIndex()
java.util.Iterator<E>	iterator()
void	set(int index, E value)
int	size()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

DynamicObjectArray

public DynamicObjectArray()

DynamicObjectArray

public DynamicObjectArray(int chunkBits,
                          int initChunks)

Creates a DynamicObjectArray in which each chunk has 2**chunkBits elements and initChunks chunks are initially allocated.

DynamicObjectArray

public DynamicObjectArray(Growth strategy,
                          int chunkBits,
                          int initChunks)

Method Detail

iterator

public java.util.Iterator<E> iterator()

Specified by:

iterator in interface java.lang.Iterable<E>

get

public E get(int index)

size

public int size()

getMaxIndex

public int getMaxIndex()

set

public void set(int index,
                E value)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object