KaInternalsSubstitutorProvider¶

@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaInternalsSubstitutorProvider

Functions¶

buildSubstitutor¶

abstract fun buildSubstitutor(build: KaSubstitutorBuilder.() -> Unit): KaSubstitutor

createInheritanceTypeSubstitutor¶

abstract fun createInheritanceTypeSubstitutor(subClass: KaClassSymbol, superClass: KaClassSymbol): KaSubstitutor?

createSubstitutor¶

abstract fun createSubstitutor(mappings: Map<KaTypeParameterSymbol, KaType>): KaSubstitutor

createSubtypingUnificationSubstitutor¶

abstract fun createSubtypingUnificationSubstitutor(leftTypesToRightTypes: List<Pair<KaType, KaType>>, isFreeTypeParameter: (KaTypeParameterSymbol) -> Boolean): KaSubstitutor?

abstract fun createSubtypingUnificationSubstitutor(
    leftType: KaType, 
    rightType: KaType, 
    constructionPolicy: KaUnificationSubstitutorPolicy
): KaSubstitutor?

abstract fun createSubtypingUnificationSubstitutor(leftTypesToRightTypes: List<Pair<KaType, KaType>>, constructionPolicy: KaUnificationSubstitutorPolicy): KaSubstitutor?

emptySubstitutor¶

abstract fun emptySubstitutor(): KaSubstitutor.Empty