org.jetbrains.kotlin.analysis.api.contracts.description¶

Types¶

`KaContractCallsInPlaceContractEffectDeclaration`¶

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

Represents kotlin.contracts.ContractBuilder.callsInPlace.

`KaContractConditionalContractEffectDeclaration`¶

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

Represents kotlin.contracts.SimpleEffect.implies.

`KaContractConstantValue`¶

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

Represents constant reference that can be passed to value argument of kotlin.contracts.ContractBuilder.returns.

`KaContractEffectDeclaration`¶

sealed interface KaContractEffectDeclaration : KaLifetimeOwner

Represents kotlin.contracts.Effect.

`KaContractExplicitParameterValue`¶

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

Represents an explicit parameter which is declared on the corresponding contract owner. Examples: all KaParameterSymbol hierarchy.

`KaContractHoldsInEffectDeclaration`¶

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

Represents kotlin.contracts.ContractBuilder.holdsIn.

`KaContractInvocationKind`¶

enum class KaContractInvocationKind : Enum<KaContractInvocationKind>

Describes how many times a callable parameter is invoked by a function with a callsInPlace contract.

`KaContractOwnerParameterValue`¶

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

Represents an owner of the corresponding contract owner. Example:

`KaContractParameterValue`¶

sealed interface KaContractParameterValue : KaLifetimeOwner

Represents parameter that can be passed to value argument of kotlin.contracts.ContractBuilder.callsInPlace or kotlin.contracts.ContractBuilder.holdsIn.

`KaContractReturnsContractEffectDeclaration`¶

sealed interface KaContractReturnsContractEffectDeclaration : KaContractEffectDeclaration

Represents kotlin.contracts.ContractBuilder.returnsNotNull&kotlin.contracts.ContractBuilder.returns.

`KaContractReturnsParameterEffectDeclaration`¶

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

Represents kotlin.contracts.ContractBuilder.returnsParameter.

`KaContractReturnsResultOfEffectDeclaration`¶

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

Represents kotlin.contracts.ContractBuilder.returnsResultOf.