gov.nasa.jpf.util

Class IdentityArrayObjectSet<E>

java.lang.Object

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

All Implemented Interfaces:

IdentityObjectSet<E>, ObjectSet<E>, java.lang.Cloneable, java.lang.Iterable<E>

public class IdentityArrayObjectSet<E>
extends java.lang.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 java.lang.Object[]	elements
protected int	size

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

size

protected int size

elements

protected java.lang.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 java.lang.Object

iterator

public java.util.Iterator<E> iterator()

Specified by:

iterator in interface java.lang.Iterable<E>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object