class A<Bgt; { }
where B is a TypeVariable. It could also be Wildcard Type, possibly with constraints.
| Modifier and Type | Method and Description |
|---|---|
| public default int | |
| public default ResolvedArrayType | |
| public default ResolvedLambdaConstraintType | |
| public default ResolvedPrimitiveType | |
| public default ResolvedReferenceType | |
| public default ResolvedTypeParameterDeclaration | |
| public default ResolvedTypeVariable | |
| public default ResolvedUnionType | |
| public default ResolvedWildcard | |
| public String | |
| public default boolean | |
| public boolean | |
| public default boolean | |
| public default boolean | |
| public default boolean | |
| public default boolean | |
| public default boolean | |
| public default boolean | |
| public default boolean | |
| public default boolean | |
| public default boolean | |
| public default boolean | mention(List<ResolvedTypeParameterDeclaration> typeParameters)
Does this type mention at all, directly or indirectly, the given type parameters? |
| public default ResolvedType | replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
Replace all variables referring to the given TypeParameter with the given value. |
| public default ResolvedType | replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced)
This is like ( |
| arrayLevel | back to summary |
|---|---|
| public default int arrayLevel() | |
| asArrayType | back to summary |
|---|---|
| public default ResolvedArrayType asArrayType() | |
| asConstraintType | back to summary |
|---|---|
| public default ResolvedLambdaConstraintType asConstraintType() | |
| asPrimitive | back to summary |
|---|---|
| public default ResolvedPrimitiveType asPrimitive() | |
| asReferenceType | back to summary |
|---|---|
| public default ResolvedReferenceType asReferenceType() | |
| asTypeParameter | back to summary |
|---|---|
| public default ResolvedTypeParameterDeclaration asTypeParameter() | |
| asTypeVariable | back to summary |
|---|---|
| public default ResolvedTypeVariable asTypeVariable() | |
| asUnionType | back to summary |
|---|---|
| public default ResolvedUnionType asUnionType() | |
| asWildcard | back to summary |
|---|---|
| public default ResolvedWildcard asWildcard() | |
| describe | back to summary |
|---|---|
| public String describe() | |
| isArray | back to summary |
|---|---|
| public default boolean isArray() Does this type represent an array? | |
| isAssignableBy | back to summary |
|---|---|
| public boolean isAssignableBy(ResolvedType other) This method checks if ThisType t = new OtherType() would compile. | |
| isConstraint | back to summary |
|---|---|
| public default boolean isConstraint() Is this a lambda constraint type? | |
| isNull | back to summary |
|---|---|
| public default boolean isNull() Is this the null type? | |
| isPrimitive | back to summary |
|---|---|
| public default boolean isPrimitive() Is this a primitive type? | |
| isReference | back to summary |
|---|---|
| public default boolean isReference() Is this a non primitive value? | |
| isReferenceType | back to summary |
|---|---|
| public 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? | |
| isTypeVariable | back to summary |
|---|---|
| public default boolean isTypeVariable() | |
| isUnionType | back to summary |
|---|---|
| public default boolean isUnionType() Is this a union type (as the ones used in multi catch clauses)? | |
| isVoid | back to summary |
|---|---|
| public default boolean isVoid() | |
| isWildcard | back to summary |
|---|---|
| public default boolean isWildcard() | |
| mention | back to summary |
|---|---|
| public default boolean mention(List<ResolvedTypeParameterDeclaration> typeParameters) Does this type mention at all, directly or indirectly, the given type parameters? | |
| replaceTypeVariables | back to summary |
|---|---|
| public default ResolvedType replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> 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 | back to summary |
|---|---|
| public default ResolvedType replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced) This is like ( | |