me.tomassetti.symbolsolver.model.usages.typesystem

Class ReferenceType

java.lang.Object

ReferenceType

All Implemented Interfaces:

TypeParametrized, Type

public abstract class ReferenceType
extends Object
implements Type, TypeParametrized

Author:

Federico Tomassetti

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeDeclaration	typeDeclaration
protected List<Type>	typeParameters
protected TypeParametersMap	typeParametersMap
protected TypeSolver	typeSolver

Constructor Summary

Constructors

Constructor and Description
ReferenceType(TypeDeclaration typeDeclaration, List<Type> typeParameters, TypeSolver typeSolver)
ReferenceType(TypeDeclaration typeDeclaration, TypeSolver typeSolver)

Method Summary

Modifier and Type	Method and Description
ReferenceType	asReferenceType()
abstract TypeParameterDeclaration	asTypeParameter()
protected boolean	compareConsideringTypeParameters(ReferenceType other)
protected abstract ReferenceType	create(TypeDeclaration typeDeclaration, List<Type> typeParametersCorrected, TypeSolver typeSolver)
protected abstract ReferenceType	create(TypeDeclaration typeDeclaration, TypeSolver typeSolver)
String	describe()
boolean	equals(Object o)
List<ReferenceType>	getAllAncestors() Return all ancestors, that means all superclasses and interfaces.
List<ReferenceType>	getAllInterfacesAncestors()
abstract Set<MethodUsage>	getDeclaredMethods()
Optional<Type>	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<Type>	getGenericParameterByName(String name) Deprecated.
String	getQualifiedName()
TypeDeclaration	getTypeDeclaration()
List<javaslang.Tuple2<TypeParameterDeclaration,Type>>	getTypeParametersMap() Deprecated.
int	hashCode()
boolean	hasName()
boolean	isArray() Does this type represent an array?
abstract boolean	isAssignableBy(Type other) This method checks if ThisType t = new OtherType() would compile.
protected boolean	isCorrespondingBoxingType(String typeName)
boolean	isPrimitive() Is this a primitive type?
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?
boolean	isTypeVariable()
Type	replaceParam(int i, Type replaced) Deprecated.
Type	replaceParam(String name, Type replaced)
Type	replaceTypeParams(Type type) Deprecated.
String	toString()
TypeParametersMap	typeParametersMap()
List<Type>	typeParametersValues() Deprecated.

Methods inherited from class java.lang.Object

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

Methods inherited from interface me.tomassetti.symbolsolver.model.usages.typesystem.Type

arrayLevel, asArrayType, asPrimitive, asWildcard, isNull, isReference, isVoid, isWildcard, replaceParam

Field Detail

typeDeclaration

protected TypeDeclaration typeDeclaration

typeParameters

protected List<Type> typeParameters

typeSolver

protected TypeSolver typeSolver

typeParametersMap

protected TypeParametersMap typeParametersMap

Constructor Detail

ReferenceType

public ReferenceType(TypeDeclaration typeDeclaration,
                     TypeSolver typeSolver)

ReferenceType

public ReferenceType(TypeDeclaration typeDeclaration,
                     List<Type> typeParameters,
                     TypeSolver typeSolver)

Method Detail

asReferenceType

public ReferenceType asReferenceType()

Specified by:

asReferenceType in interface Type

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getTypeDeclaration

public final TypeDeclaration getTypeDeclaration()

isArray

public final boolean isArray()

Description copied from interface: Type

Does this type represent an array?

Specified by:

isArray in interface Type

isPrimitive

public final boolean isPrimitive()

Description copied from interface: Type

Is this a primitive type?

Specified by:

isPrimitive in interface Type

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

toString

public String toString()

Overrides:

toString in class Object

create

protected abstract ReferenceType create(TypeDeclaration typeDeclaration,
                                        TypeSolver typeSolver)

getFieldType

public Optional<Type> getFieldType(String name)

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

getGenericParameterByName

@Deprecated
public Optional<Type> getGenericParameterByName(String name)

Deprecated.

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.

replaceParam

@Deprecated
public Type replaceParam(int i,
                                     Type replaced)

Deprecated.

Create a copy of the value with the type parameter changed.

create

protected abstract ReferenceType create(TypeDeclaration typeDeclaration,
                                        List<Type> typeParametersCorrected,
                                        TypeSolver typeSolver)

replaceParam

public Type replaceParam(String name,
                         Type replaced)

Specified by:

replaceParam in interface Type

getAllAncestors

public 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 {} class Bar extends Foo {} a call to getAllAncestors on a reference to Bar having type parameter Boolean should include Foo.

getAllInterfacesAncestors

public List<ReferenceType> getAllInterfacesAncestors()

replaceTypeParams

@Deprecated
public Type replaceTypeParams(Type type)

Deprecated.

Replace the type typeParametersValues present in the given type with the ones for which this type has a value.

describe

public String describe()

Specified by:

describe in interface Type

typeParametersValues

@Deprecated
public List<Type> typeParametersValues()

Deprecated.

asTypeParameter

public abstract TypeParameterDeclaration asTypeParameter()

Specified by:

asTypeParameter in interface Type

isTypeVariable

public boolean isTypeVariable()

Specified by:

isTypeVariable 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

hasName

public boolean hasName()

compareConsideringTypeParameters

protected boolean compareConsideringTypeParameters(ReferenceType other)

isCorrespondingBoxingType

protected boolean isCorrespondingBoxingType(String typeName)

getQualifiedName

public String getQualifiedName()

getDeclaredMethods

public abstract Set<MethodUsage> getDeclaredMethods()

isRawType

public boolean isRawType()

getTypeParametersMap

@Deprecated
public List<javaslang.Tuple2<TypeParameterDeclaration,Type>> getTypeParametersMap()

Deprecated.

typeParametersMap

public TypeParametersMap typeParametersMap()

Specified by:

typeParametersMap in interface TypeParametrized