randoop.reflection

Class TypeTupleSet

java.lang.Object

randoop.reflection.TypeTupleSet

class TypeTupleSet
extends java.lang.Object

Represents a set of lists of candidate type arguments for a ParameterizedType, and uses this set to construct substitutions for a list of TypeArgument objects.

Starts as a singleton list with the empty list, which is expanded by repeated use of the extend(List) method that adds new types to the lists in the set, then the set of Substitution objects is created by a call to filter(List).

Field Summary

Fields

Modifier and Type	Field and Description
private int	tupleLength The length of tuples in the set.
private java.util.List<java.util.List<ReferenceType>>	typeTuples The list of type lists (tuples).

Constructor Summary

Constructors

Constructor and Description
TypeTupleSet() Creates a tuple set with a single empty tuple.

Method Summary

Modifier and Type	Method and Description
void	extend(java.util.List<ReferenceType> types) Extends all of the elements of the current tuple set with all of the types in the given list.
(package private) java.util.List<Substitution>	filter(java.util.List<TypeVariable> typeParameters) Returns a list of substitutions for type tuples that can instantiate the given list of TypeArgument objects, and filters the set of tuples.

Methods inherited from class java.lang.Object

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

Field Detail

typeTuples

private java.util.List<java.util.List<ReferenceType>> typeTuples

The list of type lists (tuples).

tupleLength

private int tupleLength

The length of tuples in the set.

Constructor Detail

TypeTupleSet

TypeTupleSet()

Creates a tuple set with a single empty tuple.

Method Detail

extend

public void extend(java.util.List<ReferenceType> types)

Extends all of the elements of the current tuple set with all of the types in the given list. In other words, if there are k types given then each tuple will be replaced by k new tuples extended by one of the input types.

Parameters:

types - the list of types

filter

java.util.List<Substitution> filter(java.util.List<TypeVariable> typeParameters)

Returns a list of substitutions for type tuples that can instantiate the given list of TypeArgument objects, and filters the set of tuples.

Parameters:

typeParameters - the type arguments

Returns:

the list of substitutions that instantiate the type arguments