randoop.util

Class CheckpointingMultiMap<K,V>

java.lang.Object

randoop.util.CheckpointingMultiMap<K,V>

All Implemented Interfaces:

IMultiMap<K,V>

public class CheckpointingMultiMap<K,V>
extends java.lang.Object
implements IMultiMap<K,V>

A MultiMap that supports checkpointing and restoring to a checkpoint (that is, undoing all operations up to a checkpoint, also called a "mark").

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	CheckpointingMultiMap.OpKeyVal A triple of an operation, a key, and a value.
private static class	CheckpointingMultiMap.Ops The operations on the map.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<K,java.util.Set<V>>	map The backing map.
java.util.List<java.lang.Integer>	marks The marks/checkpoints that have been set so far, to permit restoring to a previous state.
private java.util.List<CheckpointingMultiMap.OpKeyVal>	ops The operations that have been performed on this map.
private int	steps The number of operations that have been performed on this map.
static boolean	verbose_log True if this class should do logging.

Constructor Summary

Constructors

Constructor and Description
CheckpointingMultiMap()

Method Summary

Modifier and Type	Method and Description
private void	add_bare(K key, V value)
boolean	add(K key, V value) Precondition: the mapping key→value is not already in the map.
boolean	containsKey(@UnknownSignedness java.lang.Object key) Returns true if this map contains the given key.
java.util.Set<V>	getValues(K key) Returns the values that the given key maps to.
java.util.Set<K>	keySet() Returns the set of keys in this map (the domain).
void	mark() Checkpoint the state of the data structure, for use by undoToLastMark().
private void	remove_bare(K key, V value)
boolean	remove(K key, V value) Precondition: the mapping key→value is in the map.
int	size() Returns the size of this map: the number of mappings.
java.lang.String	toString() Returns a String representation of this map.
private void	undoLastOp()
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

Field Detail

verbose_log

public static boolean verbose_log

True if this class should do logging.

map

private final java.util.Map<K,java.util.Set<V>> map

The backing map.

marks

public final java.util.List<java.lang.Integer> marks

The marks/checkpoints that have been set so far, to permit restoring to a previous state.

ops

private final java.util.List<CheckpointingMultiMap.OpKeyVal> ops

The operations that have been performed on this map.

steps

private int steps

The number of operations that have been performed on this map.

Constructor Detail

CheckpointingMultiMap

public CheckpointingMultiMap()

Method Detail

add

public boolean add(K key,
                   V value)

Description copied from interface: IMultiMap

Precondition: the mapping key→value is not already in the map.

Specified by:

add in interface IMultiMap<K,V>

Parameters:

key - cannot be null

value - cannot be null

Returns:

true if the call modifies this object

add_bare

private void add_bare(K key,
                      V value)

remove

public boolean remove(K key,
                      V value)

Description copied from interface: IMultiMap

Precondition: the mapping key→value is in the map.

Specified by:

remove in interface IMultiMap<K,V>

Parameters:

key - cannot be null

value - cannot be null

Returns:

true if the call modifies this object

remove_bare

private void remove_bare(K key,
                         V value)

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().

undoLastOp

private void undoLastOp()

getValues

public java.util.Set<V> getValues(K key)

Description copied from interface: IMultiMap

Returns the values that the given key maps to.

Specified by:

getValues in interface IMultiMap<K,V>

Parameters:

key - cannot be null

Returns:

the set of values for the given key

containsKey

public boolean containsKey(@UnknownSignedness java.lang.Object key)

Returns true if this map contains the given key.

Parameters:

key - the key to look for

Returns:

true if this map contains the given key

keySet

public java.util.Set<K> keySet()

Description copied from interface: IMultiMap

Returns the set of keys in this map (the domain).

Specified by:

keySet in interface IMultiMap<K,V>

Returns:

the set of keys in this map

size

public int size()

Description copied from interface: IMultiMap

Returns the size of this map: the number of mappings.

Specified by:

size in interface IMultiMap<K,V>

Returns:

the number of entries in this map

toString

public java.lang.String toString()

Description copied from interface: IMultiMap

Returns a String representation of this map.

Specified by:

toString in interface IMultiMap<K,V>

Overrides:

toString in class java.lang.Object

Returns:

a String representation of this map