org.checkerframework.dataflow.util

Class AbstractMostlySingleton<T>

java.lang.Object

org.checkerframework.dataflow.util.AbstractMostlySingleton<T>

All Implemented Interfaces:

java.lang.Iterable<T>, java.util.Collection<T>, java.util.Set<T>

Direct Known Subclasses:

IdentityMostlySingleton, MostlySingleton

public abstract class AbstractMostlySingleton<T>
extends java.lang.Object
implements java.util.Set<T>

Base class for sets that are more efficient than HashSet for 0 and 1 elements.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractMostlySingleton.State

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Collection<T>	set
protected AbstractMostlySingleton.State	state
protected T	value

Constructor Summary

Constructors

Constructor and Description
AbstractMostlySingleton()

Method Summary

Modifier and Type	Method and Description
boolean	addAll(java.util.Collection<? extends T> c)
void	clear()
boolean	containsAll(java.util.Collection<?> c)
boolean	isEmpty()
java.util.Iterator<T>	iterator()
boolean	remove(java.lang.Object o)
boolean	removeAll(java.util.Collection<?> c)
boolean	retainAll(java.util.Collection<?> c)
int	size()
java.lang.Object[]	toArray()
<S> S[]	toArray(S[] a)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Set

add, contains, equals, hashCode, spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

state

protected AbstractMostlySingleton.State state

value

protected T value

set

protected java.util.Collection<T> set

Constructor Detail

AbstractMostlySingleton

public AbstractMostlySingleton()

Method Detail

size

public int size()

Specified by:

size in interface java.util.Collection<T>

Specified by:

size in interface java.util.Set<T>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<T>

Specified by:

isEmpty in interface java.util.Set<T>

iterator

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

Specified by:

iterator in interface java.lang.Iterable<T>

Specified by:

iterator in interface java.util.Collection<T>

Specified by:

iterator in interface java.util.Set<T>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

addAll

public boolean addAll(java.util.Collection<? extends T> c)

Specified by:

addAll in interface java.util.Collection<T>

Specified by:

addAll in interface java.util.Set<T>

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<T>

Specified by:

toArray in interface java.util.Set<T>

toArray

public <S> S[] toArray(S[] a)

Specified by:

toArray in interface java.util.Collection<T>

Specified by:

toArray in interface java.util.Set<T>

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.Collection<T>

Specified by:

remove in interface java.util.Set<T>

containsAll

public boolean containsAll(java.util.Collection<?> c)

Specified by:

containsAll in interface java.util.Collection<T>

Specified by:

containsAll in interface java.util.Set<T>

retainAll

public boolean retainAll(java.util.Collection<?> c)

Specified by:

retainAll in interface java.util.Collection<T>

Specified by:

retainAll in interface java.util.Set<T>

removeAll

public boolean removeAll(java.util.Collection<?> c)

Specified by:

removeAll in interface java.util.Collection<T>

Specified by:

removeAll in interface java.util.Set<T>

clear

public void clear()

Specified by:

clear in interface java.util.Collection<T>

Specified by:

clear in interface java.util.Set<T>