randoop.types

Class TypeTuple

java.lang.Object

randoop.types.TypeTuple

All Implemented Interfaces:

java.lang.Comparable<TypeTuple>, java.lang.Iterable<Type>

public class TypeTuple
extends java.lang.Object
implements java.lang.Iterable<Type>, java.lang.Comparable<TypeTuple>

TypeTuple represents an immutable ordered tuple of Type objects. Type tuples are primarily used to represent the input types of operations.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	TypeTuple.TypeIterator

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.ArrayList<Type>	list The sequence of types in this type tuple.

Constructor Summary

Constructors

Constructor and Description
TypeTuple() Creates an empty type tuple.
TypeTuple(java.util.List<Type> list) Creates a type tuple from the list of types, preserving the order.

Method Summary

Modifier and Type	Method and Description
TypeTuple	applyCaptureConversion() Applies a capture conversion to each component of this type type tuple.
int	compareTo(TypeTuple tuple)
boolean	equals(@Nullable java.lang.Object obj)
Type	get(int i) Return the ith component type of this tuple.
java.util.List<TypeVariable>	getTypeParameters() Returns the type parameters that occur in any component of this type tuple.
boolean	hasCaptureVariable() Indicates whether any of the types in this type tuple contains a capture variable.
int	hashCode()
boolean	hasWildcard() Indicates whether any of the types in this type tuple contains a wildcard.
boolean	isEmpty() Indicates whether the tuple is empty.
boolean	isGeneric(boolean ignoreWildcards) Indicates whether the tuple has any generic components.
java.util.Iterator<Type>	iterator()
int	size() Return the number of components of the tuple.
TypeTuple	substitute(Substitution substitution) Applies a substitution to a type tuple, replacing any occurrences of type variables.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

list

private final java.util.ArrayList<Type> list

The sequence of types in this type tuple.

Constructor Detail

TypeTuple

public TypeTuple(java.util.List<Type> list)

Creates a type tuple from the list of types, preserving the order.

Parameters:

list - the list of types

TypeTuple

public TypeTuple()

Creates an empty type tuple.

Method Detail

equals

public boolean equals(@Nullable java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

substitute

public TypeTuple substitute(Substitution substitution)

Applies a substitution to a type tuple, replacing any occurrences of type variables. Resulting tuple may only be partially instantiated. Returns a new TypeTuple; the receiver is not side-effected.

Parameters:

substitution - the substitution

Returns:

a new type tuple resulting from applying the given substitution to this tuple

applyCaptureConversion

public TypeTuple applyCaptureConversion()

Applies a capture conversion to each component of this type type tuple. Returns a new TypeTuple; the receiver is not side-effected.

Returns:

a new type tuple after performing a capture conversion

get

public Type get(int i)

Return the ith component type of this tuple.

Parameters:

i - the component index

Returns:

the component type at the position

getTypeParameters

public java.util.List<TypeVariable> getTypeParameters()

Returns the type parameters that occur in any component of this type tuple.

Returns:

the list of type parameters for this type tuple

hasWildcard

public boolean hasWildcard()

Indicates whether any of the types in this type tuple contains a wildcard.

Returns:

true if there is at least one wildcard occurrence

hasCaptureVariable

public boolean hasCaptureVariable()

Indicates whether any of the types in this type tuple contains a capture variable.

Returns:

true if there is at least one capture variable occurrence

isEmpty

public boolean isEmpty()

Indicates whether the tuple is empty.

Returns:

true if the tuple has no components, false otherwise

size

public int size()

Return the number of components of the tuple.

Returns:

the number of components of this tuple

isGeneric

public boolean isGeneric(boolean ignoreWildcards)

Indicates whether the tuple has any generic components.

Parameters:

ignoreWildcards - if true, disregard wildcards when checking for generics

Returns:

true if any component of tuple is generic, false if none are

iterator

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

Specified by:

iterator in interface java.lang.Iterable<Type>

compareTo

public int compareTo(TypeTuple tuple)

Specified by:

compareTo in interface java.lang.Comparable<TypeTuple>