Package randoop.util

Class CheckpointingSet<E extends @Signed Object>

java.lang.Object

randoop.util.CheckpointingSet<E>

All Implemented Interfaces:

Iterable<E>, Collection<E>, Set<E>

public class CheckpointingSet<E extends @Signed Object>
extends Object
implements Set<E>

A Set that supports settingcheckpoints (also called "marks") and restoring the data structure's state to them.

Field Summary

Fields

Modifier and Type	Field	Description
CheckpointingMultiMap<E,Boolean>	map

Constructor Summary

Constructors

Constructor	Description
CheckpointingSet()

Method Summary

Modifier and Type	Method	Description
boolean	add(E elt)
boolean	addAll(Collection<? extends E> c)
void	clear()
boolean	contains(@UnknownSignedness Object elt)
boolean	containsAll(Collection<?> c)
boolean	isEmpty()
Iterator<E>	iterator()
void	mark()	Checkpoint the state of the data structure, for use by undoToLastMark().
boolean	remove(@UnknownSignedness Object elt)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
int	size()
@PolySigned Object[]	toArray()
<T> T[]	toArray(T[] a)
String	toString()
void	undoToLastMark()	Undo changes since the last call to mark().

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.Set

equals, hashCode, spliterator

Field Detail

map

public final CheckpointingMultiMap<E extends @Signed Object,Boolean> map

Constructor Detail

CheckpointingSet

public CheckpointingSet()

Method Detail

add

public boolean add(E elt)

Specified by:

add in interface Collection<E extends @Signed Object>

Specified by:

add in interface Set<E extends @Signed Object>

contains

public boolean contains(@UnknownSignedness Object elt)

Specified by:

contains in interface Collection<E extends @Signed Object>

Specified by:

contains in interface Set<E extends @Signed Object>

remove

public boolean remove(@UnknownSignedness Object elt)

Specified by:

remove in interface Collection<E extends @Signed Object>

Specified by:

remove in interface Set<E extends @Signed Object>

size

public int size()

Specified by:

size in interface Collection<E extends @Signed Object>

Specified by:

size in interface Set<E extends @Signed Object>

mark

public void mark()

Checkpoint the state of the data structure, for use by undoToLastMark().

undoToLastMark

public void undoToLastMark()

Undo changes since the last call to mark().

toString

public String toString()

Overrides:

toString in class Object

clear

public void clear()

Specified by:

clear in interface Collection<E extends @Signed Object>

Specified by:

clear in interface Set<E extends @Signed Object>

addAll

public boolean addAll(Collection<? extends E> c)

Specified by:

addAll in interface Collection<E extends @Signed Object>

Specified by:

addAll in interface Set<E extends @Signed Object>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<E extends @Signed Object>

Specified by:

removeAll in interface Set<E extends @Signed Object>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<E extends @Signed Object>

Specified by:

retainAll in interface Set<E extends @Signed Object>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<E extends @Signed Object>

Specified by:

containsAll in interface Set<E extends @Signed Object>

toArray

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

Specified by:

toArray in interface Collection<E extends @Signed Object>

Specified by:

toArray in interface Set<E extends @Signed Object>

toArray

public @PolySigned Object[] toArray()

Specified by:

toArray in interface Collection<E extends @Signed Object>

Specified by:

toArray in interface Set<E extends @Signed Object>

iterator

public Iterator<E> iterator()

Specified by:

iterator in interface Collection<E extends @Signed Object>

Specified by:

iterator in interface Iterable<E extends @Signed Object>

Specified by:

iterator in interface Set<E extends @Signed Object>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<E extends @Signed Object>

Specified by:

isEmpty in interface Set<E extends @Signed Object>