org.jetbrains.kotlin.analysis.api.types.typeCreation¶
Types¶
KaArrayTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaArrayTypeBuilder : KaTypeBuilderWithAnnotations
A builder for array types.
KaCapturedTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaCapturedTypeBuilder : KaTypeBuilderWithAnnotations
A builder for KaCapturedType.
KaClassTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaClassTypeBuilder : KaTypeBuilderWithAnnotations
A builder for KaClassType.
KaDefinitelyNotNullTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaDefinitelyNotNullTypeBuilder : KaTypeBuilderWithAnnotations
A builder for KaDefinitelyNotNullType.
KaDynamicTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaDynamicTypeBuilder : KaTypeBuilderWithAnnotations
A builder for KaDynamicType.
KaFlexibleTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaFlexibleTypeBuilder : KaTypeBuilderWithAnnotations
A builder for KaFlexibleType.
KaFunctionTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaFunctionTypeBuilder : KaTypeBuilderWithAnnotations
A builder for KaFunctionType.
KaIntersectionTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaIntersectionTypeBuilder : KaTypeBuilder
A builder for KaIntersectionType.
KaTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaTypeBuilder : KaTypeCreator
A base interface for all concrete type builders.
KaTypeBuilderWithAnnotations¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaTypeBuilderWithAnnotations : KaTypeBuilder
A builder interface derived from KaTypeBuilder allowing creating annotated types.
KaTypeCreator¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaTypeCreator : KaLifetimeOwner
An entry point for type building facilities.
KaTypeCreatorDslMarker¶
@DslMarker
annotation class KaTypeCreatorDslMarker
A DSL marker used to annotate entities related to the type building infrastructure in KaTypeCreator.
KaTypeParameterTypeBuilder¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaTypeParameterTypeBuilder : KaTypeBuilderWithAnnotations
A builder for KaTypeParameterType.
Properties¶
typeCreator¶
context(session: KaSession)
val typeCreator: KaTypeCreator
A single entry point for the type building infrastructure.
Functions¶
copy¶
context(session: KaSession)
fun <T : KaClassType> T.copy(init: KaClassTypeBuilder.() -> Unit): KaClassType
Creates a copy of this KaClassType with modifications applied via the init block.
context(session: KaSession)
fun KaFunctionType.copy(init: KaFunctionTypeBuilder.() -> Unit): KaFunctionType
Creates a copy of this KaFunctionType with modifications applied via the init block.
context(session: KaSession)
fun KaTypeParameterType.copy(init: KaTypeParameterTypeBuilder.() -> Unit): KaTypeParameterType
Creates a copy of this KaTypeParameterType with modifications applied via the init block.
context(session: KaSession)
fun KaUsualClassType.copy(init: KaClassTypeBuilder.() -> Unit): KaUsualClassType
Creates a copy of this KaUsualClassType with modifications applied via the init block.