com.github.javaparser.symbolsolver.model.typesystem

Class ReferenceType

java.lang.Object

com.github.javaparser.symbolsolver.model.typesystem.ReferenceType

All Implemented Interfaces:

TypeParameterValueProvider, TypeParametrized, Type

public abstract class ReferenceType
extends java.lang.Object
implements Type, TypeParametrized, TypeParameterValueProvider

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

Field Summary

Fields

Modifier and Type	Field and Description
protected ReferenceTypeDeclaration	typeDeclaration
protected TypeParametersMap	typeParametersMap
protected TypeSolver	typeSolver

Constructor Summary

Constructors

Constructor and Description
ReferenceType(ReferenceTypeDeclaration typeDeclaration, java.util.List<Type> typeParameters, TypeSolver typeSolver)
ReferenceType(ReferenceTypeDeclaration typeDeclaration, TypeSolver typeSolver)

Method Summary

Modifier and Type	Method and Description
ReferenceType	asReferenceType()
protected boolean	compareConsideringTypeParameters(ReferenceType other)
protected abstract ReferenceType	create(ReferenceTypeDeclaration typeDeclaration, java.util.List<Type> typeParameters, TypeSolver typeSolver)
protected ReferenceType	create(ReferenceTypeDeclaration typeDeclaration, TypeParametersMap typeParametersMap, TypeSolver typeSolver)
protected abstract ReferenceType	create(ReferenceTypeDeclaration typeDeclaration, TypeSolver typeSolver)
ReferenceType	deriveTypeParameters(TypeParametersMap typeParametersMap)
java.lang.String	describe()
boolean	equals(java.lang.Object o)
java.util.List<ReferenceType>	getAllAncestors() Return all ancestors, that means all superclasses and interfaces.
java.util.List<ReferenceType>	getAllClassesAncestors()
java.util.List<ReferenceType>	getAllInterfacesAncestors()
abstract java.util.Set<MethodUsage>	getDeclaredMethods() Methods declared on this type.
java.util.Optional<Type>	getFieldType(java.lang.String name) The type of the field could be different from the one in the corresponding FieldDeclaration because type variables would be solved.
java.util.Optional<Type>	getGenericParameterByName(java.lang.String name) Get the type associated with the type parameter with the given name.
java.lang.String	getId() Id of the declaration.
java.lang.String	getQualifiedName() Qualified name of the declaration.
ReferenceTypeDeclaration	getTypeDeclaration() Corresponding TypeDeclaration
java.util.List<javaslang.Tuple2<TypeParameterDeclaration,Type>>	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(Type other) This method checks if ThisType t = new OtherType() would compile.
protected boolean	isCorrespondingBoxingType(java.lang.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?
Type	replaceTypeVariables(TypeParameterDeclaration tpToReplace, Type replaced, java.util.Map<TypeParameterDeclaration,Type> inferredTypes) Replace all variables referring to the given TypeParameter with the given value.
java.lang.String	toString()
Type	transformTypeParameters(TypeTransformer transformer) Execute a transformation on all the type parameters of this element.
TypeParametersMap	typeParametersMap()
java.util.List<Type>	typeParametersValues() Get the values for all type parameters declared on this type.
java.util.Optional<Type>	typeParamValue(TypeParameterDeclaration 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.symbolsolver.model.typesystem.Type

arrayLevel, asArrayType, asConstraintType, asPrimitive, asTypeParameter, asTypeVariable, asWildcard, isArray, isConstraint, isNull, isPrimitive, isReference, isTypeVariable, isVoid, isWildcard, replaceTypeVariables

Methods inherited from interface com.github.javaparser.symbolsolver.model.typesystem.parametrization.TypeParameterValueProvider

useThisTypeParametersOnTheGivenType

Field Detail

typeDeclaration

protected ReferenceTypeDeclaration typeDeclaration

typeSolver

protected TypeSolver typeSolver

typeParametersMap

protected TypeParametersMap typeParametersMap

Constructor Detail

ReferenceType

public ReferenceType(ReferenceTypeDeclaration typeDeclaration,
                     TypeSolver typeSolver)

ReferenceType

public ReferenceType(ReferenceTypeDeclaration typeDeclaration,
                     java.util.List<Type> typeParameters,
                     TypeSolver typeSolver)

Method Detail

equals

public boolean equals(java.lang.Object o)

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

isReferenceType

public final boolean isReferenceType()

Description copied from interface: Type

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 Type

asReferenceType

public ReferenceType asReferenceType()

Specified by:

asReferenceType in interface Type

describe

public java.lang.String describe()

Specified by:

describe in interface Type

transformTypeParameters

public Type transformTypeParameters(TypeTransformer transformer)

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

replaceTypeVariables

public Type replaceTypeVariables(TypeParameterDeclaration tpToReplace,
                                 Type replaced,
                                 java.util.Map<TypeParameterDeclaration,Type> inferredTypes)

Description copied from interface: Type

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 Type

isAssignableBy

public abstract boolean isAssignableBy(Type other)

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

Specified by:

isAssignableBy in interface Type

getAllAncestors

public java.util.List<ReferenceType> 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 java.util.List<ReferenceType> getAllInterfacesAncestors()

getAllClassesAncestors

public final java.util.List<ReferenceType> getAllClassesAncestors()

getGenericParameterByName

public java.util.Optional<Type> getGenericParameterByName(java.lang.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 TypeParameterValueProvider

typeParametersValues

public java.util.List<Type> typeParametersValues()

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

getTypeParametersMap

public java.util.List<javaslang.Tuple2<TypeParameterDeclaration,Type>> getTypeParametersMap()

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

typeParametersMap

public TypeParametersMap typeParametersMap()

Specified by:

typeParametersMap in interface TypeParametrized

getTypeDeclaration

public final ReferenceTypeDeclaration getTypeDeclaration()

Corresponding TypeDeclaration

getFieldType

public java.util.Optional<Type> getFieldType(java.lang.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 java.lang.String getQualifiedName()

Qualified name of the declaration.

getId

public java.lang.String getId()

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

getDeclaredMethods

public abstract java.util.Set<MethodUsage> getDeclaredMethods()

Methods declared on this type.

isRawType

public boolean isRawType()

typeParamValue

public java.util.Optional<Type> typeParamValue(TypeParameterDeclaration typeParameterDeclaration)

Description copied from interface: TypeParameterValueProvider

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

Specified by:

typeParamValue in interface TypeParameterValueProvider

create

protected abstract ReferenceType create(ReferenceTypeDeclaration typeDeclaration,
                                        java.util.List<Type> typeParameters,
                                        TypeSolver typeSolver)

create

protected ReferenceType create(ReferenceTypeDeclaration typeDeclaration,
                               TypeParametersMap typeParametersMap,
                               TypeSolver typeSolver)

create

protected abstract ReferenceType create(ReferenceTypeDeclaration typeDeclaration,
                                        TypeSolver typeSolver)

isCorrespondingBoxingType

protected boolean isCorrespondingBoxingType(java.lang.String typeName)

compareConsideringTypeParameters

protected boolean compareConsideringTypeParameters(ReferenceType other)

deriveTypeParameters

public ReferenceType deriveTypeParameters(TypeParametersMap typeParametersMap)