com.github.javaparser.symbolsolver.model.typesystem

Interface Type

All Known Implementing Classes:

ArrayType, LambdaConstraintType, NullType, PrimitiveType, ReferenceType, TypeVariable, VoidType, Wildcard

public interface Type

A usage of a type. It could be a primitive type or a reference type (enum, class, interface). In the later case it could take type typeParametersValues (other TypeUsages). It could also be a TypeVariable, like in:

class A<Bgt; { }

where B is a TypeVariable. It could also be Wildcard Type, possibly with constraints.

Method Summary

Modifier and Type	Method and Description
default int	arrayLevel()
default ArrayType	asArrayType()
default LambdaConstraintType	asConstraintType()
default PrimitiveType	asPrimitive()
default ReferenceType	asReferenceType()
default TypeParameterDeclaration	asTypeParameter()
default TypeVariable	asTypeVariable()
default Wildcard	asWildcard()
java.lang.String	describe()
default boolean	isArray() Does this type represent an array?
boolean	isAssignableBy(Type other) This method checks if ThisType t = new OtherType() would compile.
default boolean	isConstraint() Is this a lambda constraint type?
default boolean	isNull() Is this the null type?
default boolean	isPrimitive() Is this a primitive type?
default boolean	isReference() Is this a non primitive value?
default boolean	isReferenceType() Can this be seen as a ReferenceTypeUsage? In other words: is this a reference to a class, an interface or an enum?
default boolean	isTypeVariable()
default boolean	isVoid()
default boolean	isWildcard()
default Type	replaceTypeVariables(TypeParameterDeclaration tp, Type replaced) This is like (replaceTypeVariables(TypeParameterDeclaration, Type, Map) but ignores the inferred values.
default Type	replaceTypeVariables(TypeParameterDeclaration tp, Type replaced, java.util.Map<TypeParameterDeclaration,Type> inferredTypes) Replace all variables referring to the given TypeParameter with the given value.

Method Detail

isArray

default boolean isArray()

Does this type represent an array?

arrayLevel

default int arrayLevel()

isPrimitive

default boolean isPrimitive()

Is this a primitive type?

isNull

default boolean isNull()

Is this the null type?

isReference

default boolean isReference()

Is this a non primitive value?

isConstraint

default boolean isConstraint()

Is this a lambda constraint type?

isReferenceType

default boolean isReferenceType()

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

isVoid

default boolean isVoid()

isTypeVariable

default boolean isTypeVariable()

isWildcard

default boolean isWildcard()

asArrayType

default ArrayType asArrayType()

asReferenceType

default ReferenceType asReferenceType()

asTypeParameter

default TypeParameterDeclaration asTypeParameter()

asTypeVariable

default TypeVariable asTypeVariable()

asPrimitive

default PrimitiveType asPrimitive()

asWildcard

default Wildcard asWildcard()

asConstraintType

default LambdaConstraintType asConstraintType()

describe

java.lang.String describe()

replaceTypeVariables

default Type replaceTypeVariables(TypeParameterDeclaration tp,
                                  Type replaced,
                                  java.util.Map<TypeParameterDeclaration,Type> inferredTypes)

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.

replaceTypeVariables

default Type replaceTypeVariables(TypeParameterDeclaration tp,
                                  Type replaced)

This is like (replaceTypeVariables(TypeParameterDeclaration, Type, Map) but ignores the inferred values.

isAssignableBy

boolean isAssignableBy(Type other)

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