net.automatalib.commons.util.array

Class ResizingArrayStorage<T>

java.lang.Object

net.automatalib.commons.util.array.ResizingArrayStorage<T>

Type Parameters:

T - element class.

public class ResizingArrayStorage<T>
extends Object

Class that provides a resizable array storage of a certain type.

Author:

Malte Isberner

Field Summary

Fields

Modifier and Type	Field and Description
T[]	array
static int	DEFAULT_INITIAL_CAPACITY The default initial capacity of the array storage.

Constructor Summary

Constructors

Constructor and Description
ResizingArrayStorage(Class<T[]> arrayClazz) Constructor.
ResizingArrayStorage(Class<T[]> arrayClazz, int initialCapacity) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	ensureCapacity(int minCapacity) Ensures that the storage has room for at least the specified number of elements.
void	hintNextCapacity(int nextCapacityHint) Sets the minimum new capacity that the storage will have after the next resize.
void	setAll(T value) Sets all the elements in the array to the specified value.
boolean	shrink(int maxCapacity) Shrinks the storage to the specified maximum capacity.
void	swap(ResizingArrayStorage<T> other)

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_INITIAL_CAPACITY

public static final int DEFAULT_INITIAL_CAPACITY

The default initial capacity of the array storage.

See Also:

Constant Field Values

array

public T[] array

Constructor Detail

ResizingArrayStorage

public ResizingArrayStorage(Class<T[]> arrayClazz)

Constructor. Creates an array storage with a default initial capacity of DEFAULT_INITIAL_CAPACITY.

Parameters:

arrayClazz - the class of the storage array.

ResizingArrayStorage

public ResizingArrayStorage(Class<T[]> arrayClazz,
                            int initialCapacity)

Constructor. Creates an array with the specified initial capacity.

Parameters:

arrayClazz - the class of the storage array.

initialCapacity - the initial capacity.

Method Detail

ensureCapacity

public boolean ensureCapacity(int minCapacity)

Ensures that the storage has room for at least the specified number of elements.

Parameters:

minCapacity - the minimal number of elements the storage array has to provide room for.

Returns:

true iff the storage array had to be resized, false otherwise.

shrink

public boolean shrink(int maxCapacity)

Shrinks the storage to the specified maximum capacity. If the current capacity is less or equal to the specified capacity, nothing happens.

Parameters:

maxCapacity - the maximal number of elements the storage array has to provide room for.

Returns:

true iff the storage array had to be resized, false otherwise.

hintNextCapacity

public void hintNextCapacity(int nextCapacityHint)

Sets the minimum new capacity that the storage will have after the next resize.

Parameters:

nextCapacityHint - the minimum next capacity hint.

setAll

public void setAll(T value)

Sets all the elements in the array to the specified value.

Parameters:

value - the value.

swap

public void swap(ResizingArrayStorage<T> other)