net.automatalib.commons.smartcollections

Class ResizingIntArray

java.lang.Object

net.automatalib.commons.smartcollections.ResizingIntArray

All Implemented Interfaces:

Serializable, CapacityManagement

public final class ResizingIntArray
extends Object
implements CapacityManagement, Serializable

Class that provides a resizable int array storage.

Author:

Malte Isberner

See Also:

Serialized Form

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	ensureAdditionalCapacity(int additionalCapacity) Ensures that the internal storage has room for at least the provided number of additional elements.
boolean	ensureCapacity(int minCapacity) Ensures that the internal storage has room for at least the provided number of elements.
void	hintNextCapacity(int nextCapacityHint) Gives a hint regarding the capacity that should be reserved when resizing the internal storage for the next time.
void	setAll(int 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(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

ensureCapacity

public boolean ensureCapacity(int minCapacity)

Description copied from interface: CapacityManagement

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

Specified by:

ensureCapacity in interface CapacityManagement

Parameters:

minCapacity - the minimal number of elements the storage should have room for.

Returns:

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

ensureAdditionalCapacity

public boolean ensureAdditionalCapacity(int additionalCapacity)

Description copied from interface: CapacityManagement

Ensures that the internal storage has room for at least the provided number of additional elements.

Calling this method is equivalent to calling the above CapacityManagement.ensureCapacity(int) with an argument of size() + additionalCapacity.

Specified by:

ensureAdditionalCapacity in interface CapacityManagement

Parameters:

additionalCapacity - the number of additional elements the storage should have room for.

Returns:

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

hintNextCapacity

public void hintNextCapacity(int nextCapacityHint)

Description copied from interface: CapacityManagement

Gives a hint regarding the capacity that should be reserved when resizing the internal storage for the next time. This method acts like a "lazy" CapacityManagement.ensureCapacity(int), i.e. it reserves the specified capacity at the time the next resizing of the internal storage is performed.

This method is useful when a not too imprecise upper bound on the elements that will in consequence be added is known. Since the actual number of elements added may be lower than the specified upper bound, a resizing that would have been performed by CapacityManagement.ensureCapacity(int) might not be necessary.

Specified by:

hintNextCapacity in interface CapacityManagement

Parameters:

nextCapacityHint - the next capacity hint.

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.

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)