ReferenceArgument (randoop 4.3.4 API)

java.lang.Object
- randoop.types.TypeArgument
- - randoop.types.ReferenceArgument

```
public class ReferenceArgument
extends TypeArgument
```
Represents a reference type as a type argument to a parameterized type. (See JLS Section 4.5.1.)

Field Summary

Fields
Modifier and Type Field and Description

private ReferenceType referenceType
The reference type for this argument.

Fields
Modifier and Type	Field and Description
`private ReferenceType`	`referenceType` The reference type for this argument.

Constructor Summary

Constructors
Modifier Constructor and Description

private ReferenceArgument(ReferenceType referenceType)
Creates a ReferenceArgument for the given ReferenceType.

Constructors
Modifier	Constructor and Description
`private`	`ReferenceArgument(ReferenceType referenceType)` Creates a `ReferenceArgument` for the given `ReferenceType`.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`contains(TypeArgument otherArgument)` Checks whether this type argument contains another argument, using relationship defined in JLS Section 4.5.1.
`boolean`	`equals(@Nullable java.lang.Object obj)`
`static ReferenceArgument`	`forType(ReferenceType referenceType)`
`static ReferenceArgument`	`forType(java.lang.reflect.Type type)` Creates a `ReferenceArgument` from the given type.
`java.lang.String`	`getBinaryName()` Return the binary name.
`java.lang.String`	`getFqName()` Return the fully-qualified name.
`@Nullable Substitution`	`getInstantiatingSubstitution(TypeArgument otherArgument)` Returns a unifying substitution.
`ReferenceType`	`getReferenceType()` Get the reference type for this type argument.
`java.util.List<TypeVariable>`	`getTypeParameters()` The type parameters for this type argument.
`boolean`	`hasCaptureVariable()` Indicate whether this type argument has a capture variable.
`int`	`hashCode()`
`boolean`	`hasWildcard()` Indicate whether this type argument has a wildcard.
`boolean`	`isGeneric(boolean ignoreWildcards)` Indicates whether a `ReferenceArgument` is generic.
`(package private) boolean`	`isInstantiationOfTypeArgument(TypeArgument otherArgument)` Determines whether this type argument is an instantiation of the other argument.
`boolean`	`isVariable()` Indicate whether this type argument is a type variable.
`TypeArgument`	`substitute(Substitution substitution)` Applies the type substitution to this type argument.
`java.lang.String`	`toString()`

Methods inherited from class randoop.types.TypeArgument
isGeneric, isWildcard

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - referenceType
```
private final ReferenceType referenceType
```
    The reference type for this argument.
- Constructor Detail
  - ReferenceArgument
```
private ReferenceArgument(ReferenceType referenceType)
```
    Creates a ReferenceArgument for the given ReferenceType.
    
    Parameters:
    
    referenceType - the ReferenceType
- Method Detail
  - forType
```
public static ReferenceArgument forType(java.lang.reflect.Type type)
```
    Creates a ReferenceArgument from the given type.
    
    Parameters:
    
    type - the type
    
    Returns:
    
    a ReferenceArgument for the given type
  - forType
```
public static ReferenceArgument forType(ReferenceType referenceType)
```
  - 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
  - getFqName
```
public java.lang.String getFqName()
```
    Description copied from class: TypeArgument
    
    Return the fully-qualified name.
    
    Specified by:
    
    getFqName in class TypeArgument
    
    Returns:
    
    the fully-qualified name
  - getBinaryName
```
public java.lang.String getBinaryName()
```
    Description copied from class: TypeArgument
    
    Return the binary name.
    
    Specified by:
    
    getBinaryName in class TypeArgument
    
    Returns:
    
    the binary name
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - substitute
```
public TypeArgument substitute(Substitution substitution)
```
    Description copied from class: TypeArgument
    
    Applies the type substitution to this type argument.
    
    Specified by:
    
    substitute in class TypeArgument
    
    Parameters:
    
    substitution - the substitution
    
    Returns:
    
    a version of this type argument with type variables replaced by the substitution
  - contains
```
public boolean contains(TypeArgument otherArgument)
```
    Checks whether this type argument contains another argument, using relationship defined in JLS Section 4.5.1.
    Considers cases:
    - T contains T
    - T contains ? extends T
    - T contains ? super T
    Specified by:
    
    contains in class TypeArgument
    
    Parameters:
    
    otherArgument - the other TypeArgument
    
    Returns:
    
    true if this argument contains the other argument
  - getReferenceType
```
public ReferenceType getReferenceType()
```
    Get the reference type for this type argument.
    
    Returns:
    
    the reference type of this type argument
  - getTypeParameters
```
public java.util.List<TypeVariable> getTypeParameters()
```
    Description copied from class: TypeArgument
    
    The type parameters for this type argument.
    
    Overrides:
    
    getTypeParameters in class TypeArgument
    
    Returns:
    
    the list of type parameters for this argument
  - hasWildcard
```
public boolean hasWildcard()
```
    Description copied from class: TypeArgument
    
    Indicate whether this type argument has a wildcard.
    
    Overrides:
    
    hasWildcard in class TypeArgument
    
    Returns:
    
    true if this argument has a wildcard argument
  - hasCaptureVariable
```
public boolean hasCaptureVariable()
```
    Description copied from class: TypeArgument
    
    Indicate whether this type argument has a capture variable.
    
    Overrides:
    
    hasCaptureVariable in class TypeArgument
    
    Returns:
    
    true if this argument has a capture variable
  - isGeneric
```
public boolean isGeneric(boolean ignoreWildcards)
```
    Indicates whether a ReferenceArgument is generic.
    
    Specified by:
    
    isGeneric in class TypeArgument
    
    Parameters:
    
    ignoreWildcards - if true, ignore wildcards; that is, treat wildcards as not making the operation generic
    
    Returns:
    
    true if the ReferenceType is generic, false otherwise
  - isInstantiationOfTypeArgument
```
boolean isInstantiationOfTypeArgument(TypeArgument otherArgument)
```
    Description copied from class: TypeArgument
    
    Determines whether this type argument is an instantiation of the other argument.
    
    Overrides:
    
    isInstantiationOfTypeArgument in class TypeArgument
    
    Parameters:
    
    otherArgument - the other argument
    
    Returns:
    
    true if this type is an instantiation of the other argument, false otherwise
    
    See Also:
    
    InstantiatedType.isInstantiationOf(ReferenceType)
  - getInstantiatingSubstitution
```
public @Nullable Substitution getInstantiatingSubstitution(TypeArgument otherArgument)
```
    Description copied from class: TypeArgument
    
    Returns a unifying substitution. Returns null if unification failed.
    
    Overrides:
    
    getInstantiatingSubstitution in class TypeArgument
    
    Parameters:
    
    otherArgument - the generic type for which a substitution is needed
    
    Returns:
    
    a substitution unifying this type or a supertype of this type with the goal type, or null if unification failed
  - isVariable
```
public boolean isVariable()
```
    Description copied from class: TypeArgument
    
    Indicate whether this type argument is a type variable.
    
    Specified by:
    
    isVariable in class TypeArgument
    
    Returns:
    
    true if this argument is a type variable, false otherwise

Class ReferenceArgument

Field Summary

Constructor Summary

Method Summary

Methods inherited from class randoop.types.TypeArgument

Methods inherited from class java.lang.Object

Field Detail

referenceType

Constructor Detail

ReferenceArgument

Method Detail

forType

forType

equals

hashCode

getFqName

getBinaryName

toString

substitute

contains

getReferenceType

getTypeParameters

hasWildcard

hasCaptureVariable

isGeneric

isInstantiationOfTypeArgument

getInstantiatingSubstitution

isVariable