public interface ResolvedType
A resolved type.
TypeUsages
).
TypeVariable
, like in: class A<B> {}
where B
is a TypeVariable
.
Wildcard
Type, possibly with constraints.
TypeVariable
, like in: class A<B> {}
.
Modifier and Type | Method and Description |
---|---|
default int |
arrayLevel() |
default ResolvedArrayType |
asArrayType() |
default ResolvedLambdaConstraintType |
asConstraintType() |
default ResolvedPrimitiveType |
asPrimitive() |
default ResolvedReferenceType |
asReferenceType() |
default ResolvedTypeParameterDeclaration |
asTypeParameter() |
default ResolvedTypeVariable |
asTypeVariable() |
default ResolvedUnionType |
asUnionType() |
default ResolvedWildcard |
asWildcard() |
String |
describe() |
default ResolvedType |
erasure() |
default boolean |
isArray() |
boolean |
isAssignableBy(ResolvedType other)
This method checks if ThisType t = new OtherType() would compile.
|
default boolean |
isConstraint()
Is this a lambda constraint type?
|
default boolean |
isInferenceVariable() |
default boolean |
isNull()
Is this the null type?
|
default boolean |
isNumericType() |
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?
|
default boolean |
isTypeVariable() |
default boolean |
isUnionType()
Is this a union type (as the ones used in multi catch clauses)?
|
default boolean |
isVoid() |
default boolean |
isWildcard() |
default boolean |
mention(List<ResolvedTypeParameterDeclaration> typeParameters)
Does this type mention at all, directly or indirectly, the given type parameters?
|
default ResolvedType |
replaceTypeVariables(ResolvedTypeParameterDeclaration tp,
ResolvedType replaced)
This is like (
replaceTypeVariables(ResolvedTypeParameterDeclaration, ResolvedType, Map) but ignores the inferred values. |
default ResolvedType |
replaceTypeVariables(ResolvedTypeParameterDeclaration tp,
ResolvedType replaced,
Map<ResolvedTypeParameterDeclaration,ResolvedType> inferredTypes)
Replace all variables referring to the given TypeParameter with the given value.
|
default ResolvedType |
solveGenericTypes(Context context) |
default String |
toDescriptor() |
default boolean isArray()
default int arrayLevel()
default boolean isPrimitive()
default boolean isNull()
default boolean isUnionType()
default boolean isReference()
default boolean isConstraint()
default boolean isReferenceType()
default boolean isVoid()
default boolean isTypeVariable()
default boolean isWildcard()
default boolean isInferenceVariable()
default ResolvedArrayType asArrayType()
default ResolvedReferenceType asReferenceType()
default ResolvedTypeParameterDeclaration asTypeParameter()
default ResolvedTypeVariable asTypeVariable()
default ResolvedPrimitiveType asPrimitive()
default ResolvedWildcard asWildcard()
default ResolvedLambdaConstraintType asConstraintType()
default ResolvedUnionType asUnionType()
String describe()
default ResolvedType replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration,ResolvedType> inferredTypes)
default ResolvedType replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced)
replaceTypeVariables(ResolvedTypeParameterDeclaration, ResolvedType, Map)
but ignores the inferred values.default boolean mention(List<ResolvedTypeParameterDeclaration> typeParameters)
boolean isAssignableBy(ResolvedType other)
default boolean isNumericType()
default ResolvedType erasure()
default ResolvedType solveGenericTypes(Context context)
default String toDescriptor()
Copyright © 2007–2023. All rights reserved.