org.jetbrains.kotlin.analysis.api.types¶

Provides access to the four built-in function type families.

KaType instances for built-in types.

KaCapturedType represents a captured type.

KaClassErrorType represents a class type that failed to resolve correctly.

KaClassType represents a generic class type or a function type.

A type qualifier is a segment in a multi-segment class type application.

KaDefinitelyNotNullType represents a definitely not-null type, such as T & Any for a type parameter T.

KaDynamicType represents a dynamic type, which is used to support interoperability with dynamically typed libraries, platforms, or languages.

KaErrorType represents a type that failed to resolve correctly.

KaFlexibleType represents a flexible type (or a so-called platform type), a range of types from the lowerBound to the upperBound (both inclusive).

KaFunctionType represents a Kotlin function type, such as (String) -> Int or suspend () -> List<Any>.

Describes a family of numbered function types such as Function0, Function1, ..., FunctionN.

Represents a function value parameter

KaIntersectionType represents an intersection type, such as A & B. Intersection types cannot be denoted in Kotlin code, but can result from some compiler operations, such as smart casts.

A successfully resolved KaClassTypeQualifier.

The object contains ClassIds of well known Kotlin types.

Represents a star projection (*) used in type arguments. It indicates that the specific type argument is not important or unknown.

A type substitutor which performs a substitution of type parameters inside a type to another type. The substitution can usually be represented as a map from type parameters to their corresponding substitution types.

A DSL builder for KaSubstitutor.

KaSubtypingErrorTypePolicy determines the treatment of error types in type equality and subtyping checks.

KaType represents a concrete Kotlin type, such as Int, Foo for a class Foo, or Bar<String> for a class Bar<T>. It provides information about type structure, nullability, and annotations.

Represents a type argument with an explicit type and variance.

KaTypeMappingMode determines how a Kotlin type is mapped to a Java type when calling KaType.asPsiType.

KaTypeParameterType represents a type parameter type, such as T in the declaration class Box<T>(val element: T).

KaTypePointer allows to point to a KaType and later retrieve it in another KaSession. A pointer is necessary because KaTypes cannot be shared past the boundaries of the KaSession they were created in, as they are valid only there.

KaTypeProjection represents a type argument used in the context of a class or function type. It provides information about the type and its variance.

KaUnificationSubstitutorPolicy determines the way unification KaSubstitutors are created in createSubtypingUnificationSubstitutor. Note that the policy only affects the construction when at least one of the involved types is generic, i.e., depends on a type parameter.

An unresolved KaClassTypeQualifier due to a type error.

KaUsualClassType represents a generic class type, such as String or List<Int>.

Provides access to the built-in function type families.

KaType instances for built-in types.

The common supertype of the given KaTypes.

The common supertype of the given KaTypes.

The representation of this in terms of KaType.

The representation of this in terms of KaType.

Creates KaSubstitutor.Empty, i.e., a substitutor without any mappings.

Resolves the given KtDoubleColonExpression to the KaType of its receiver.

Resolves the given KtTypeReference to its corresponding KaType.

The array type that represents the list of arguments passed to this parameter if this is a vararg parameter.

Builds a new KaSubstitutor from substitutions specified inside build.

Creates a KaSubstitutor based on the inheritance relationship between subClass and superClass. subClass must inherit from superClass and there may not be any error types in the inheritance path. Otherwise, null is returned.

Creates a KaSubstitutor based on the given mappings.

Creates a KaSubstitutor which assigns type arguments such that, for each pair in leftTypesToRightTypes, the substituted left type is a subtype of the substituted right type. Returns null if such an assignment is not possible.

Creates a KaSubstitutor which assigns type arguments such that, for each pair in leftTypesToRightTypes, the substituted left type is a subtype of the substituted right type. Returns null if such an assignment is not possible.

Creates a KaSubstitutor which assigns type arguments such that the substituted leftType is a subtype of the substituted rightType. Returns null if such an assignment is not possible.