Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Method and Description |
---|---|
ObjArray<E> |
ObjArray.clone() |
ObjArray<E> |
ObjVector.toObjArray() |
static <T> ObjArray<T> |
ObjArray.zeroLength() |
Modifier and Type | Method and Description |
---|---|
<F extends E> |
ObjVector.append(ObjArray<F> x) |
static <T> void |
ObjArray.copy(ObjArray<? extends T> src,
int srcPos,
ObjArray<T> dst,
int dstPos,
int len) |
static <T> void |
ObjArray.copy(ObjArray<? extends T> src,
int srcPos,
ObjArray<T> dst,
int dstPos,
int len) |