KaFunctionSignature¶

@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaFunctionSignature<out S : KaFunctionSymbol> : KaCallableSignature<S>

A callable signature of a function symbol.

Properties¶

callableId¶

open val callableId: CallableId?

The CallableId of the signature, corresponding to the symbol's callable ID.

contextParameters¶

open val contextParameters: List<KaVariableSignature<KaContextParameterSymbol>>

The use-site-substituted context parameters.

receiverType¶

abstract val receiverType: KaType?

The use-site-substituted extension receiver type.

returnType¶

abstract val returnType: KaType

The use-site-substituted return type.

symbol¶

abstract val symbol: S

The underlying symbol which the signature carries use-site information about.

`token`¶

abstract val token: KaLifetimeToken

The KaLifetimeToken which determines the lifetime of the lifetime owner.

valueParameters¶

abstract val valueParameters: List<KaVariableSignature<KaValueParameterSymbol>>

The use-site-substituted value parameters.

Functions¶

`assertIsValidAndAccessible`¶

inline fun KaLifetimeOwner.assertIsValidAndAccessible()

equals¶

abstract operator override fun equals(other: Any?): Boolean

hashCode¶

abstract override fun hashCode(): Int

`isValid`¶

fun KaLifetimeOwner.isValid(): Boolean

Whether the lifetime owner is still valid, i.e. we are still in the scope of the lifetime owner's regular lifetime.

substitute¶

abstract override fun substitute(substitutor: KaSubstitutor): KaFunctionSignature<S>

Applies the given substitutor to the signature, returning a new signature with substituted types.

See also

KaSubstitutor.substitute

`withValidityAssertion`¶

inline fun <R> KaLifetimeOwner.withValidityAssertion(action: () -> R): R

Executes action only if the KaLifetimeOwner is still valid and accessible. Otherwise, throws a validity exception based on the concrete violation.