gov.nasa.jpf.util

Class ObjVector<E>

java.lang.Object

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

All Implemented Interfaces:

ReadOnlyObjList<E>, java.lang.Cloneable, java.lang.Iterable<E>

public class ObjVector<E>
extends java.lang.Object
implements ReadOnlyObjList<E>, java.lang.Cloneable

more customizable alternative to java.util.Vector. Other than Vector, it supports dynamic growth on set() operations. While it supports list functions such as append, ObjVector resembles mostly an array, i.e. is meant to be a random-access collection this collection does not keep a count of non-null elements, but does maintain the highest set index as its size through set/add and remove operations. Note that size only shrinks through remove operations, not by setting null values. This means there is no guarantee that data[size-1] is not null. The converse however is true - there is no non-null element at an index >= size.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ObjVector.MutatingSnapshot<E,T> snapshot that can mutate element values, but therefore can't use block operations.
protected class	ObjVector.NonNullIterator iterator that only includes element values that are not null
protected class	ObjVector.OVIterator iterator that goes over all elements regardless of value (i.e.
static class	ObjVector.Snapshot<E> this is a block operation snapshot that stores chunks of original data with not more than DEFAULT_MAX_GAP consecutive null elements.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Object[]	data the backing array.
static int	defaultInitCap
protected Growth	growth growth strategy.
protected int	size size as in a java.util.Vector.

Constructor Summary

Constructors

Constructor and Description
ObjVector()
ObjVector(F[] init)
ObjVector(Growth initGrowth)
ObjVector(Growth initGrowth, int initCap)
ObjVector(int initCap)
ObjVector(ObjVector<F> from)

Method Summary

Modifier and Type	Method and Description
void	add(E x)
<F extends E> void	addAll(java.lang.Iterable<F> x)
void	addNulls(int length)
<F extends E> void	append(java.util.ArrayList<F> x)
<F extends E> void	append(F[] x)
<F extends E> void	append(F[] x, int pos, int len)
<F extends E> void	append(ObjArray<F> x)
<F extends E> void	append(ObjVector<F> x)
void	clear()
void	clearAllSatisfying(Predicate<E> pred)
ObjVector<E>	clone()
static <E> void	copy(ObjVector<? extends E> src, int srcPos, E[] dst, int dstPos, int len)
static <E> void	copy(ObjVector<? extends E> src, int srcPos, ObjVector<E> dst, int dstPos, int len)
int	dumpTo(java.lang.Object[] dst, int pos)
java.lang.Iterable<E>	elements()
void	ensureCapacity(int desiredCap)
void	ensureSize(int sz)
E	get(int idx)
ObjVector.Snapshot<E>	getSnapshot()
ObjVector.Snapshot<E>	getSnapshot(int maxGap) create a snapshot that doesn't store more than maxGap consecutive null values
<T> ObjVector.MutatingSnapshot<E,T>	getSnapshot(Transformer<E,T> transformer)
java.util.Iterator<E>	iterator()
int	length()
int	nextNull(int fromIndex)
java.util.Iterator<E>	nonNullIterator()
void	printOn(java.io.PrintStream ps)
void	process(Processor<E> processor)
E	remove(int i)
int	removeFrom(int fromIdx)
int	removeRange(int fromIdx, int toIdx) remove all non-null elements between 'fromIdx' (inclusive) and 'toIdx' (exclusive) throw IndexOutOfBoundsException if index values are out of range
<T> void	restore(ObjVector.MutatingSnapshot<E,T> snap, Transformer<T,E> transformer)
void	restore(ObjVector.Snapshot<E> snap)
void	set(int idx, E v)
void	setRange(int fromIndex, int toIndex, E val) set range of values
void	setSize(int sz)
int	size()
void	sort(java.util.Comparator<? super E> comp)
void	squeeze()
<F> F[]	toArray(F[] dst)
ObjArray<E>	toObjArray()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

defaultInitCap

public static final int defaultInitCap

See Also:

Constant Field Values

size

protected int size

size as in a java.util.Vector.

data

protected java.lang.Object[] data

the backing array.

growth

protected Growth growth

growth strategy.

Constructor Detail

ObjVector

public ObjVector(Growth initGrowth,
                 int initCap)

ObjVector

public ObjVector(Growth initGrowth)

ObjVector

public ObjVector(int initCap)

ObjVector

public ObjVector()

ObjVector

public ObjVector(F[] init)

ObjVector

public ObjVector(ObjVector<F> from)

Method Detail

add

public void add(E x)

addNulls

public void addNulls(int length)

append

public <F extends E> void append(F[] x)

append

public <F extends E> void append(F[] x,
                                 int pos,
                                 int len)

append

public <F extends E> void append(ObjVector<F> x)

append

public <F extends E> void append(ObjArray<F> x)

append

public <F extends E> void append(java.util.ArrayList<F> x)

addAll

public <F extends E> void addAll(java.lang.Iterable<F> x)

nextNull

public int nextNull(int fromIndex)

get

public E get(int idx)

Specified by:

get in interface ReadOnlyObjList<E>

set

public void set(int idx,
                E v)

setRange

public void setRange(int fromIndex,
                     int toIndex,
                     E val)

set range of values

Parameters:

fromIndex - first index (inclusive)

toIndex - last index (exclusive)

val - value to set

toArray

public <F> F[] toArray(F[] dst)

toObjArray

public ObjArray<E> toObjArray()

dumpTo

public int dumpTo(java.lang.Object[] dst,
                  int pos)

clone

public ObjVector<E> clone()

Overrides:

clone in class java.lang.Object

squeeze

public void squeeze()

setSize

public void setSize(int sz)

clear

public void clear()

clearAllSatisfying

public void clearAllSatisfying(Predicate<E> pred)

size

public int size()

length

public int length()

Specified by:

length in interface ReadOnlyObjList<E>

ensureSize

public void ensureSize(int sz)

ensureCapacity

public void ensureCapacity(int desiredCap)

sort

public void sort(java.util.Comparator<? super E> comp)

copy

public static <E> void copy(ObjVector<? extends E> src,
                            int srcPos,
                            ObjVector<E> dst,
                            int dstPos,
                            int len)

copy

public static <E> void copy(ObjVector<? extends E> src,
                            int srcPos,
                            E[] dst,
                            int dstPos,
                            int len)

removeRange

public int removeRange(int fromIdx,
                       int toIdx)

remove all non-null elements between 'fromIdx' (inclusive) and 'toIdx' (exclusive) throw IndexOutOfBoundsException if index values are out of range

removeFrom

public int removeFrom(int fromIdx)

remove

public E remove(int i)

getSnapshot

public ObjVector.Snapshot<E> getSnapshot()

getSnapshot

public ObjVector.Snapshot<E> getSnapshot(int maxGap)

create a snapshot that doesn't store more than maxGap consecutive null values

restore

public void restore(ObjVector.Snapshot<E> snap)

getSnapshot

public <T> ObjVector.MutatingSnapshot<E,T> getSnapshot(Transformer<E,T> transformer)

restore

public <T> void restore(ObjVector.MutatingSnapshot<E,T> snap,
                        Transformer<T,E> transformer)

iterator

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

Specified by:

iterator in interface java.lang.Iterable<E>

nonNullIterator

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

elements

public java.lang.Iterable<E> elements()

process

public void process(Processor<E> processor)

printOn

public void printOn(java.io.PrintStream ps)