Codestin Search App

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

```
public class WildcardArgument
extends TypeArgument
```
Represents a wildcard type argument to a parameterized type.
The subclasses represent the type bound as given for the wildcard.

Field Summary

Fields
Modifier and Type Field and Description

private WildcardType argumentType
The wildcard type.

Fields
Modifier and Type	Field and Description
`private WildcardType`	`argumentType` The wildcard type.

Constructor Summary

Constructors
Constructor and Description

WildcardArgument(WildcardType argumentType)
Initializes the bound type.

Constructors
Constructor and Description
`WildcardArgument(WildcardType argumentType)` Initializes the bound type.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`WildcardArgument`	`applyCaptureConversion()` Applies a capture conversion to the bound of this `WildcardArgument`.
`boolean`	`contains(TypeArgument argument)` 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 WildcardArgument`	`forType(ReferenceType argumentType)`
`static WildcardArgument`	`forType(java.lang.reflect.Type type)` Creates a `WildcardArgument` from a `java.lang.reflect.Type`.
`java.lang.String`	`getBinaryName()` Return the binary name.
`java.lang.String`	`getFqName()` Return the fully-qualified name.
`@Nullable Substitution`	`getInstantiatingSubstitution(TypeArgument goalType)` Returns a unifying substitution.
`ParameterBound`	`getTypeBound()` Return the type of the upper/lower bound of this wildcard argument.
`java.util.List<TypeVariable>`	`getTypeParameters()` The type parameters for this type argument.
`(package private) WildcardType`	`getWildcardType()`
`boolean`	`hasCaptureVariable()` Indicate whether this type argument has a capture variable.
`int`	`hashCode()`
`(package private) boolean`	`hasUpperBound()` Indicates whether this wildcard argument has an upper bound.
`boolean`	`hasWildcard()` Indicate whether this type argument has a wildcard.
`boolean`	`isGeneric(boolean ignoreWildcards)` Indicates whether this type argument 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.
`boolean`	`isWildcard()` Indicate whether this type argument is a wildcard argument.
`WildcardArgument`	`substitute(Substitution substitution)` Applies the type substitution to this type argument.
`java.lang.String`	`toString()`

Methods inherited from class randoop.types.TypeArgument
isGeneric

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

- Field Detail
  - argumentType
```
private final WildcardType argumentType
```
    The wildcard type.
- Constructor Detail
  - WildcardArgument
```
WildcardArgument(WildcardType argumentType)
```
    Initializes the bound type.
    
    Parameters:
    
    argumentType - the wildcard type
- Method Detail
  - forType
```
public static WildcardArgument forType(java.lang.reflect.Type type)
```
    Creates a WildcardArgument from a java.lang.reflect.Type. A wildcard may have either an upper or lower bound.
    
    Parameters:
    
    type - the Type object
    
    Returns:
    
    the WildcardArgument created from the given Type
  - forType
```
public static WildcardArgument forType(ReferenceType argumentType)
```
  - 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 WildcardArgument 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
  - applyCaptureConversion
```
public WildcardArgument applyCaptureConversion()
```
    Applies a capture conversion to the bound of this WildcardArgument.
    
    Returns:
    
    this wildcard argument with capture conversion applied to the type bound
    
    See Also:
    
    ReferenceType.applyCaptureConversion()
  - contains
```
public boolean contains(TypeArgument argument)
```
    Description copied from class: TypeArgument
    
    Checks whether this type argument contains another argument, using relationship defined in JLS Section 4.5.1.
    
    Specified by:
    
    contains in class TypeArgument
    
    Parameters:
    
    argument - the other TypeArgument
    
    Returns:
    
    true if this argument contains the other argument
  - getTypeBound
```
public ParameterBound getTypeBound()
```
    Return the type of the upper/lower bound of this wildcard argument.
    
    Returns:
    
    the type of the bound of this wildcard argument
  - getTypeParameters
```
public java.util.List<TypeVariable> getTypeParameters()
```
    The type parameters for this type argument.
    Returns the type parameters of the bound of this wildcard argument
    
    Overrides:
    
    getTypeParameters in class TypeArgument
    
    Returns:
    
    the list of type parameters for this argument
  - hasUpperBound
```
boolean hasUpperBound()
```
    Indicates whether this wildcard argument has an upper bound. (If not, then it has a lower bound.)
    
    Returns:
    
    true if this wildcard argument has an upper bound, false if it has a lower bound
  - 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)
```
    Description copied from class: TypeArgument
    
    Indicates whether this type argument 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 this type argument 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 goalType)
```
    Description copied from class: TypeArgument
    
    Returns a unifying substitution. Returns null if unification failed.
    
    Overrides:
    
    getInstantiatingSubstitution in class TypeArgument
    
    Parameters:
    
    goalType - 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
  - isWildcard
```
public boolean isWildcard()
```
    Description copied from class: TypeArgument
    
    Indicate whether this type argument is a wildcard argument.
    
    Overrides:
    
    isWildcard in class TypeArgument
    
    Returns:
    
    true if this is a wildcard argument, false otherwise
  - 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
  - getWildcardType
```
WildcardType getWildcardType()
```

Class WildcardArgument

Field Summary

Constructor Summary

Method Summary

Methods inherited from class randoop.types.TypeArgument

Methods inherited from class java.lang.Object

Field Detail

argumentType

Constructor Detail

WildcardArgument

Method Detail

forType

forType

equals

hashCode

getFqName

getBinaryName

toString

substitute

applyCaptureConversion

contains

getTypeBound

getTypeParameters

hasUpperBound

hasWildcard

hasCaptureVariable

isGeneric

isInstantiationOfTypeArgument

getInstantiatingSubstitution

isWildcard

isVariable

getWildcardType