KaInternalsTypeProvider¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaInternalsTypeProvider
Functions¶
allSupertypes¶
abstract fun allSupertypes(type: KaType, shouldApproximate: Boolean): Sequence<KaType>
approximateToDenotableSubtype¶
abstract fun approximateToDenotableSubtype(type: KaType): KaType?
approximateToDenotableSupertype¶
abstract fun approximateToDenotableSupertype(type: KaType, allowLocalDenotableTypes: Boolean): KaType?
abstract fun approximateToDenotableSupertype(type: KaType, position: KtElement): KaType?
arrayElementType¶
abstract fun arrayElementType(type: KaType): KaType?
augmentedByWarningLevelAnnotations¶
abstract fun augmentedByWarningLevelAnnotations(type: KaType): KaType
builtinTypes¶
abstract fun builtinTypes(): KaBuiltinTypes
collectImplicitReceiverTypes¶
abstract fun collectImplicitReceiverTypes(position: KtElement): List<KaType>
commonSupertype¶
abstract fun commonSupertype(types: Iterable<KaType>): KaType
defaultType¶
abstract fun defaultType(symbol: KaClassifierSymbol): KaType
defaultTypeWithStarProjections¶
abstract fun defaultTypeWithStarProjections(symbol: KaClassifierSymbol): KaType
directSupertypes¶
abstract fun directSupertypes(type: KaType, shouldApproximate: Boolean): Sequence<KaType>
hasCommonSubtypeWith¶
abstract fun hasCommonSubtypeWith(type: KaType, that: KaType): Boolean
receiverType¶
abstract fun receiverType(expression: KtDoubleColonExpression): KaType?
type¶
abstract fun type(typeReference: KtTypeReference): KaType
varargArrayType¶
abstract fun varargArrayType(symbol: KaValueParameterSymbol): KaType?
withNullability¶
abstract fun withNullability(type: KaType, isMarkedNullable: Boolean): KaType