com.github.javaparser.resolution.types

Class ResolvedReferenceType

java.lang.Object

com.github.javaparser.resolution.types.ResolvedReferenceType

All Implemented Interfaces:

ResolvedTypeParameterValueProvider, ResolvedTypeParametrized, ResolvedType

public abstract class ResolvedReferenceType
extends Object
implements ResolvedType, ResolvedTypeParametrized, ResolvedTypeParameterValueProvider

A ReferenceType like a class, an interface or an enum. Note that this type can contain also the values specified for the type parameters.

Author:

Federico Tomassetti

Field Summary

Fields

Modifier and Type	Field and Description
protected ResolvedReferenceTypeDeclaration	typeDeclaration
protected ResolvedTypeParametersMap	typeParametersMap

Constructor Summary

Constructors

Constructor and Description
ResolvedReferenceType(ResolvedReferenceTypeDeclaration typeDeclaration)
ResolvedReferenceType(ResolvedReferenceTypeDeclaration typeDeclaration, List<ResolvedType> typeArguments)

Method Summary

Modifier and Type	Method and Description
ResolvedReferenceType	asReferenceType()
protected boolean	compareConsideringTypeParameters(ResolvedReferenceType other)
protected abstract ResolvedReferenceType	create(ResolvedReferenceTypeDeclaration typeDeclaration)
protected abstract ResolvedReferenceType	create(ResolvedReferenceTypeDeclaration typeDeclaration, List<ResolvedType> typeParameters)
protected ResolvedReferenceType	create(ResolvedReferenceTypeDeclaration typeDeclaration, ResolvedTypeParametersMap typeParametersMap)
abstract ResolvedReferenceType	deriveTypeParameters(ResolvedTypeParametersMap typeParametersMap)
String	describe()
boolean	equals(Object o)
abstract List<ResolvedReferenceType>	getAllAncestors() Return all ancestors, that means all superclasses and interfaces.
List<ResolvedReferenceType>	getAllClassesAncestors()
List<ResolvedReferenceType>	getAllInterfacesAncestors()
abstract Set<MethodUsage>	getDeclaredMethods() Methods declared on this type.
Optional<ResolvedType>	getFieldType(String name) The type of the field could be different from the one in the corresponding FieldDeclaration because type variables would be solved.
Optional<ResolvedType>	getGenericParameterByName(String name) Get the type associated with the type parameter with the given name.
String	getId() Id of the declaration.
String	getQualifiedName() Qualified name of the declaration.
ResolvedReferenceTypeDeclaration	getTypeDeclaration() Corresponding TypeDeclaration
List<Pair<ResolvedTypeParameterDeclaration,ResolvedType>>	getTypeParametersMap() Get the values for all type parameters declared on this type.
int	hashCode()
boolean	hasName() Has the TypeDeclaration a name? Anonymous classes do not have one.
abstract boolean	isAssignableBy(ResolvedType other) This method checks if ThisType t = new OtherType() would compile.
protected boolean	isCorrespondingBoxingType(String typeName)
boolean	isRawType()
boolean	isReferenceType() Can this be seen as a ReferenceTypeUsage? In other words: is this a reference to a class, an interface or an enum?
ResolvedType	replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration,ResolvedType> inferredTypes) Replace all variables referring to the given TypeParameter with the given value.
abstract ResolvedType	toRawType()
String	toString()
abstract ResolvedType	transformTypeParameters(ResolvedTypeTransformer transformer) Execute a transformation on all the type parameters of this element.
ResolvedTypeParametersMap	typeParametersMap()
List<ResolvedType>	typeParametersValues() Get the values for all type parameters declared on this type.
Optional<ResolvedType>	typeParamValue(ResolvedTypeParameterDeclaration typeParameterDeclaration) Calculate the value for the given type parameter.

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, asTypeParameter, asTypeVariable, asUnionType, asWildcard, isArray, isConstraint, isNull, isPrimitive, isReference, isTypeVariable, isUnionType, isVoid, isWildcard, mention, replaceTypeVariables

Methods inherited from interface com.github.javaparser.resolution.types.parametrization.ResolvedTypeParameterValueProvider

useThisTypeParametersOnTheGivenType

Field Detail

typeDeclaration

protected ResolvedReferenceTypeDeclaration typeDeclaration

typeParametersMap

protected ResolvedTypeParametersMap typeParametersMap

Constructor Detail

ResolvedReferenceType

public ResolvedReferenceType(ResolvedReferenceTypeDeclaration typeDeclaration)

ResolvedReferenceType

public ResolvedReferenceType(ResolvedReferenceTypeDeclaration typeDeclaration,
                             List<ResolvedType> typeArguments)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

isReferenceType

public final boolean isReferenceType()

Description copied from interface: ResolvedType

Can this be seen as a ReferenceTypeUsage? In other words: is this a reference to a class, an interface or an enum?

Specified by:

isReferenceType in interface ResolvedType

asReferenceType

public ResolvedReferenceType asReferenceType()

Specified by:

asReferenceType in interface ResolvedType

describe

public String describe()

Specified by:

describe in interface ResolvedType

transformTypeParameters

public abstract ResolvedType transformTypeParameters(ResolvedTypeTransformer transformer)

Execute a transformation on all the type parameters of this element.

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

isAssignableBy

public abstract boolean isAssignableBy(ResolvedType other)

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

Specified by:

isAssignableBy in interface ResolvedType

getAllAncestors

public abstract List<ResolvedReferenceType> getAllAncestors()

Return all ancestors, that means all superclasses and interfaces. This list should always include Object (unless this is a reference to Object). The type typeParametersValues should be expressed in terms of this type typeParametersValues.

For example, given:

class Foo<A, B> {} class Bar<C> extends Foo<C, String> {}

a call to getAllAncestors on a reference to Bar having type parameter Boolean should include Foo<Boolean, String>.

getAllInterfacesAncestors

public final List<ResolvedReferenceType> getAllInterfacesAncestors()

getAllClassesAncestors

public final List<ResolvedReferenceType> getAllClassesAncestors()

getGenericParameterByName

public Optional<ResolvedType> getGenericParameterByName(String name)

Get the type associated with the type parameter with the given name. It returns Optional.empty unless the type declaration declares a type parameter with the given name.

Specified by:

getGenericParameterByName in interface ResolvedTypeParameterValueProvider

typeParametersValues

public List<ResolvedType> typeParametersValues()

Get the values for all type parameters declared on this type. The list can be empty for raw types.

getTypeParametersMap

public List<Pair<ResolvedTypeParameterDeclaration,ResolvedType>> getTypeParametersMap()

Get the values for all type parameters declared on this type. In case of raw types the values correspond to TypeVariables.

typeParametersMap

public ResolvedTypeParametersMap typeParametersMap()

Specified by:

typeParametersMap in interface ResolvedTypeParametrized

getTypeDeclaration

public final ResolvedReferenceTypeDeclaration getTypeDeclaration()

Corresponding TypeDeclaration

getFieldType

public Optional<ResolvedType> getFieldType(String name)

The type of the field could be different from the one in the corresponding FieldDeclaration because type variables would be solved.

hasName

public boolean hasName()

Has the TypeDeclaration a name? Anonymous classes do not have one.

getQualifiedName

public String getQualifiedName()

Qualified name of the declaration.

getId

public String getId()

Id of the declaration. It corresponds to the qualified name, unless for local classes.

getDeclaredMethods

public abstract Set<MethodUsage> getDeclaredMethods()

Methods declared on this type.

isRawType

public boolean isRawType()

typeParamValue

public Optional<ResolvedType> typeParamValue(ResolvedTypeParameterDeclaration typeParameterDeclaration)

Description copied from interface: ResolvedTypeParameterValueProvider

Calculate the value for the given type parameter. It could be inherited.

Specified by:

typeParamValue in interface ResolvedTypeParameterValueProvider

toRawType

public abstract ResolvedType toRawType()

create

protected abstract ResolvedReferenceType create(ResolvedReferenceTypeDeclaration typeDeclaration,
                                                List<ResolvedType> typeParameters)

create

protected ResolvedReferenceType create(ResolvedReferenceTypeDeclaration typeDeclaration,
                                       ResolvedTypeParametersMap typeParametersMap)

create

protected abstract ResolvedReferenceType create(ResolvedReferenceTypeDeclaration typeDeclaration)

isCorrespondingBoxingType

protected boolean isCorrespondingBoxingType(String typeName)

compareConsideringTypeParameters

protected boolean compareConsideringTypeParameters(ResolvedReferenceType other)

deriveTypeParameters

public abstract ResolvedReferenceType deriveTypeParameters(ResolvedTypeParametersMap typeParametersMap)