KaContextReceiver¶

@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
abstract class KaContextReceiver : KaLifetimeOwner

A context receiver of function/property type which are directly specified in the code

E.g, for the following code

context(a@Int)
fun foo(){}

the context receiver is KaContextReceiver(type=KtClassType(Int), label="a")

Constructors¶

constructor()

abstract val label: Name?

Additional label for the context receivers in the format label@Type, or null if the label is not present.

See also

abstract val token: KaLifetimeToken

The KaLifetimeToken which determines the lifetime of the lifetime owner.

abstract val type: KaType

Type of the context receiver

See also

inline fun KaLifetimeOwner.assertIsValidAndAccessible()

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.

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.