net.automatalib.commons.util.array

Class ResizingIntArray

java.lang.Object

net.automatalib.commons.util.array.ResizingIntArray

public final class ResizingIntArray
extends Object

Class that provides a resizable int array storage.

Author:

Malte Isberner

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
ResizingIntArray() Constructor.
ResizingIntArray(int initialCapacity) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	ensureCapacity(int minCapacity)
void	hintNextCapacity(int nextCapacityHint) Hints the next required capacity.
void	setAll(int value) Sets all the elements in the array to the specified value.
boolean	shrink(int maxCapacity)
void	swap(ResizingIntArray 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 arrays default initial capacity.

See Also:

Constant Field Values

array

public int[] array

The storage array.

Constructor Detail

ResizingIntArray

public ResizingIntArray()

Constructor. Initializes an array of the default initial capacity.

See Also:

DEFAULT_INITIAL_CAPACITY

ResizingIntArray

public ResizingIntArray(int initialCapacity)

Constructor. Creates an array with the specified initial capacity.

Parameters:

initialCapacity - the initial capacity.

Method Detail

hintNextCapacity

public void hintNextCapacity(int nextCapacityHint)

Hints the next required capacity. The next time the array is resized, it is resized to (at least) this capacity.

Parameters:

nextCapacityHint - the next capacity hint.

ensureCapacity

public boolean ensureCapacity(int minCapacity)

shrink

public boolean shrink(int maxCapacity)

setAll

public void setAll(int value)

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

Parameters:

value - the value.

swap

public void swap(ResizingIntArray other)