randoop

Class SubTypeSet

java.lang.Object

randoop.SubTypeSet

public class SubTypeSet
extends java.lang.Object

A set of classes. This data structure additionally allows for efficient answers to queries about can-be-used-as relationships.

Field Summary

Fields

Modifier and Type	Field and Description
private IMultiMap<Type,Type>	subTypes Maps a type to all its proper subtypes that are in the set.
private boolean	supportsCheckpoints If true, then mark() and undoLastStep() are supported.
java.util.Set<Type>	types The members of the set.

Constructor Summary

Constructors

Constructor and Description
SubTypeSet(boolean supportsCheckpoints)

Method Summary

Modifier and Type	Method and Description
void	add(Type c) Adds a type to this set.
private void	addQueryType(Type type)
java.util.Set<Type>	getMatches(Type type) Returns all the classes in the set that can-be-used-as the given c.
void	mark() Checkpoint the state of the data structure, for use by undoLastStep().
int	size() Returns the number of elements of this set.
void	undoLastStep() Undo changes since the last call to mark().

Methods inherited from class java.lang.Object

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

Field Detail

types

public java.util.Set<Type> types

The members of the set.

subTypes

private IMultiMap<Type,Type> subTypes

Maps a type to all its proper subtypes that are in the set. If the mapped-to list is empty, then the set contains no subtypes of the given type.

supportsCheckpoints

private boolean supportsCheckpoints

If true, then mark() and undoLastStep() are supported.

Constructor Detail

SubTypeSet

public SubTypeSet(boolean supportsCheckpoints)

Method Detail

mark

public void mark()

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

undoLastStep

public void undoLastStep()

Undo changes since the last call to mark().

add

public void add(Type c)

Adds a type to this set.

Parameters:

c - the type to be added

addQueryType

private void addQueryType(Type type)

getMatches

public java.util.Set<Type> getMatches(Type type)

Returns all the classes in the set that can-be-used-as the given c.

Parameters:

type - the query type

Returns:

the set of types that can be used in place of the query type

size

public int size()

Returns the number of elements of this set.

Returns:

the size of the set