gov.nasa.jpf.util

Class LongVector

java.lang.Object

gov.nasa.jpf.util.LongVector

public final class LongVector
extends java.lang.Object

(more efficient?) alternative to Vector

Field Summary

Fields

Modifier and Type	Field and Description
protected long[]	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
LongVector()
LongVector(Growth initGrowth)
LongVector(Growth initGrowth, int initCap)
LongVector(int initCap)

Method Summary

Modifier and Type	Method and Description
void	add(long x)
void	clear()
static void	copy(LongVector src, int srcPos, LongVector dst, int dstPos, int len)
void	ensureCapacity(int desiredCap)
void	ensureSize(int sz)
long	get(int idx)
void	set(int idx, long x)
void	setSize(int sz)
int	size()
void	squeeze()

Methods inherited from class java.lang.Object

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

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 long[] data

the backing array.

growth

protected Growth growth

growth strategy.

Constructor Detail

LongVector

public LongVector(Growth initGrowth,
                  int initCap)

LongVector

public LongVector(Growth initGrowth)

LongVector

public LongVector(int initCap)

LongVector

public LongVector()

Method Detail

add

public void add(long x)

get

public long get(int idx)

set

public void set(int idx,
                long x)

squeeze

public void squeeze()

setSize

public void setSize(int sz)

clear

public void clear()

size

public int size()

ensureSize

public void ensureSize(int sz)

ensureCapacity

public void ensureCapacity(int desiredCap)

copy

public static void copy(LongVector src,
                        int srcPos,
                        LongVector dst,
                        int dstPos,
                        int len)