gov.nasa.jpf.util

Class ObjArray<E>

java.lang.Object

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

All Implemented Interfaces:

ReadOnlyObjList<E>, Cloneable, Iterable<E>

public final class ObjArray<E>
extends Object
implements ReadOnlyObjList<E>, Iterable<E>, Cloneable

Wrapper for arrays of objects which provides proper equals() and hashCode() methods, and behaves nicely with Java 1.5 generics.

Constructor Summary

Constructors

Constructor and Description
ObjArray(E[] data)
ObjArray(int size)

Method Summary

Methods

Modifier and Type	Method and Description
ObjArray<E>	clone()
static <T> void	copy(ObjArray<? extends T> src, int srcPos, ObjArray<T> dst, int dstPos, int len)
boolean	equals(Object o) default implementation is just an identity check
void	fill(E e)
E	get(int idx)
int	hashCode()
Iterator<E>	iterator()
int	length()
void	nullify()
void	set(int idx, E e)
E[]	toArray(E[] a)
static <T> ObjArray<T>	zeroLength()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ObjArray

public ObjArray(int size)

ObjArray

public ObjArray(E[] data)

Method Detail

clone

public ObjArray<E> clone()

Overrides:

clone in class Object

toArray

public E[] toArray(E[] a)

get

public E get(int idx)

Specified by:

get in interface ReadOnlyObjList<E>

set

public void set(int idx,
       E e)

length

public int length()

Specified by:

length in interface ReadOnlyObjList<E>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Description copied from class: Object

default implementation is just an identity check

Overrides:

equals in class Object

fill

public void fill(E e)

nullify

public void nullify()

copy

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

zeroLength

public static <T> ObjArray<T> zeroLength()

iterator

public Iterator<E> iterator()

Specified by:

iterator in interface Iterable<E>