randoop.util

Class CheckpointingSet<E>

java.lang.Object

randoop.util.CheckpointingSet<E>

All Implemented Interfaces:

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

public class CheckpointingSet<E>
extends java.lang.Object
implements java.util.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 and Description
CheckpointingMultiMap<E,java.lang.Boolean>	map

Constructor Summary

Constructors

Constructor and Description
CheckpointingSet()

Method Summary

Modifier and Type	Method and Description
boolean	add(E elt)
boolean	addAll(java.util.Collection<? extends E> c)
void	clear()
boolean	contains(@UnknownSignedness java.lang.Object elt)
boolean	containsAll(java.util.Collection<?> c)
boolean	isEmpty()
java.util.Iterator<E>	iterator()
void	mark() Checkpoint the state of the data structure, for use by undoToLastMark().
boolean	remove(@UnknownSignedness java.lang.Object elt)
boolean	removeAll(java.util.Collection<?> c)
boolean	retainAll(java.util.Collection<?> c)
int	size()
@PolySigned java.lang.Object[]	toArray()
<T> T[]	toArray(T[] a)
java.lang.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.Set

equals, hashCode, spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

map

public final CheckpointingMultiMap<E,java.lang.Boolean> map

Constructor Detail

CheckpointingSet

public CheckpointingSet()

Method Detail

add

public boolean add(E elt)

Specified by:

add in interface java.util.Collection<E>

Specified by:

add in interface java.util.Set<E>

contains

public boolean contains(@UnknownSignedness java.lang.Object elt)

Specified by:

contains in interface java.util.Collection<E>

Specified by:

contains in interface java.util.Set<E>

remove

public boolean remove(@UnknownSignedness java.lang.Object elt)

Specified by:

remove in interface java.util.Collection<E>

Specified by:

remove in interface java.util.Set<E>

size

public int size()

Specified by:

size in interface java.util.Collection<E>

Specified by:

size in interface java.util.Set<E>

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

clear

public void clear()

Specified by:

clear in interface java.util.Collection<E>

Specified by:

clear in interface java.util.Set<E>

addAll

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

Specified by:

addAll in interface java.util.Collection<E>

Specified by:

addAll in interface java.util.Set<E>

removeAll

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

Specified by:

removeAll in interface java.util.Collection<E>

Specified by:

removeAll in interface java.util.Set<E>

retainAll

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

Specified by:

retainAll in interface java.util.Collection<E>

Specified by:

retainAll in interface java.util.Set<E>

containsAll

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

Specified by:

containsAll in interface java.util.Collection<E>

Specified by:

containsAll in interface java.util.Set<E>

toArray

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

Specified by:

toArray in interface java.util.Collection<E>

Specified by:

toArray in interface java.util.Set<E>

toArray

public @PolySigned java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<E>

Specified by:

toArray in interface java.util.Set<E>

iterator

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

Specified by:

iterator in interface java.lang.Iterable<E>

Specified by:

iterator in interface java.util.Collection<E>

Specified by:

iterator in interface java.util.Set<E>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<E>

Specified by:

isEmpty in interface java.util.Set<E>