gov.nasa.jpf.util

Class ObjArray<E>

java.lang.Object

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

All Implemented Interfaces:

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

public final class ObjArray<E>
extends java.lang.Object
implements ReadOnlyObjList<E>, java.lang.Iterable<E>, java.lang.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

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(java.lang.Object o)
void	fill(E e)
E	get(int idx)
int	hashCode()
java.util.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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

ObjArray

public ObjArray(int size)

ObjArray

public ObjArray(E[] data)

Method Detail

clone

public ObjArray<E> clone()

Overrides:

clone in class java.lang.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 java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.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 java.util.Iterator<E> iterator()

Specified by:

iterator in interface java.lang.Iterable<E>