gov.nasa.jpf.util

Class IdentityArrayObjectSet<E>

java.lang.Object

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

All Implemented Interfaces:

IdentityObjectSet<E>, ObjectSet<E>, Cloneable, Iterable<E>

public class IdentityArrayObjectSet<E>
extends Object
implements IdentityObjectSet<E>

simple identity set for objects we don't sort&bisect, assuming the number of entries will be small be aware this doesn't scale to large sets

Field Summary

Fields

Modifier and Type	Field and Description
protected Object[]	elements
protected int	size

Constructor Summary

Constructors

Constructor and Description
IdentityArrayObjectSet()
IdentityArrayObjectSet(E initialElement)
IdentityArrayObjectSet(int initialCapacity)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	add(E obj)
ObjectSet<E>	clone()
boolean	contains(E obj)
boolean	isEmpty()
Iterator<E>	iterator()
boolean	remove(E obj)
int	size()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

size

protected int size

elements

protected Object[] elements

Constructor Detail

IdentityArrayObjectSet

public IdentityArrayObjectSet()

IdentityArrayObjectSet

public IdentityArrayObjectSet(int initialCapacity)

IdentityArrayObjectSet

public IdentityArrayObjectSet(E initialElement)

Method Detail

size

public int size()

Specified by:

size in interface ObjectSet<E>

isEmpty

public boolean isEmpty()

add

public boolean add(E obj)

Specified by:

add in interface ObjectSet<E>

contains

public boolean contains(E obj)

Specified by:

contains in interface ObjectSet<E>

remove

public boolean remove(E obj)

Specified by:

remove in interface ObjectSet<E>

clone

public ObjectSet<E> clone()

Specified by:

clone in interface ObjectSet<E>

Overrides:

clone in class Object

iterator

public Iterator<E> iterator()

Specified by:

iterator in interface Iterable<E>

toString

public String toString()

Overrides:

toString in class Object