com.github.javaparser.resolution.types

Class ResolvedWildcard

java.lang.Object

com.github.javaparser.resolution.types.ResolvedWildcard

All Implemented Interfaces:

ResolvedType

public class ResolvedWildcard
extends Object
implements ResolvedType

A wildcard can be: - unbounded (?) - have a lower bound (? super Number) - have an upper bound (? extends Number) It is not possible to have both a lower and an upper bound at the same time.

Author:

Federico Tomassetti

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ResolvedWildcard.BoundType

Field Summary

Fields

Modifier and Type	Field and Description
static ResolvedWildcard	UNBOUNDED

Method Summary

Modifier and Type	Method and Description
ResolvedWildcard	asWildcard()
String	describe()
boolean	equals(Object o)
ResolvedType	erasure()
static ResolvedWildcard	extendsBound(ResolvedType type)
ResolvedType	getBoundedType()
int	hashCode()
boolean	isAssignableBy(ResolvedType other) This method checks if ThisType t = new OtherType() would compile.
boolean	isBounded()
boolean	isExtends()
boolean	isLowerBounded()
boolean	isSuper()
boolean	isUpperBounded()
boolean	isWildcard()
boolean	mention(List<ResolvedTypeParameterDeclaration> typeParameters) Does this type mention at all, directly or indirectly, the given type parameters?
ResolvedType	replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration,ResolvedType> inferredTypes) Replace all variables referring to the given TypeParameter with the given value.
ResolvedType	solveGenericTypes(Context context)
static ResolvedWildcard	superBound(ResolvedType type)
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.github.javaparser.resolution.types.ResolvedType

arrayLevel, asArrayType, asConstraintType, asPrimitive, asReferenceType, asTypeParameter, asTypeVariable, asUnionType, isArray, isConstraint, isInferenceVariable, isNull, isNumericType, isPrimitive, isReference, isReferenceType, isTypeVariable, isUnionType, isVoid, replaceTypeVariables, toDescriptor

Field Detail

UNBOUNDED

public static ResolvedWildcard UNBOUNDED

Method Detail

superBound

public static ResolvedWildcard superBound(ResolvedType type)

extendsBound

public static ResolvedWildcard extendsBound(ResolvedType type)

toString

public String toString()

Overrides:

toString in class Object

isWildcard

public boolean isWildcard()

Specified by:

isWildcard in interface ResolvedType

asWildcard

public ResolvedWildcard asWildcard()

Specified by:

asWildcard in interface ResolvedType

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

describe

public String describe()

Specified by:

describe in interface ResolvedType

isSuper

public boolean isSuper()

isExtends

public boolean isExtends()

isBounded

public boolean isBounded()

getBoundedType

public ResolvedType getBoundedType()

isAssignableBy

public boolean isAssignableBy(ResolvedType other)

Description copied from interface: ResolvedType

This method checks if ThisType t = new OtherType() would compile.

Specified by:

isAssignableBy in interface ResolvedType

replaceTypeVariables

public ResolvedType replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace,
                                         ResolvedType replaced,
                                         Map<ResolvedTypeParameterDeclaration,ResolvedType> inferredTypes)

Description copied from interface: ResolvedType

Replace all variables referring to the given TypeParameter with the given value. By replacing these values I could also infer some type equivalence. Those would be collected in the given map.

Specified by:

replaceTypeVariables in interface ResolvedType

mention

public boolean mention(List<ResolvedTypeParameterDeclaration> typeParameters)

Description copied from interface: ResolvedType

Does this type mention at all, directly or indirectly, the given type parameters?

Specified by:

mention in interface ResolvedType

isUpperBounded

public boolean isUpperBounded()

isLowerBounded

public boolean isLowerBounded()

solveGenericTypes

public ResolvedType solveGenericTypes(Context context)

Specified by:

solveGenericTypes in interface ResolvedType

erasure

public ResolvedType erasure()

Specified by:

erasure in interface ResolvedType