KmEffect

class KmEffect(var type: KmEffectType, var invocationKind: KmEffectInvocationKind?)

Represents an effect (a part of the contract of a Kotlin function).

Contracts are an internal feature of the standard Kotlin library, and their behavior and/or binary format may change in a subsequent release.

Constructors

Link copied to clipboard
constructor(type: KmEffectType, invocationKind: KmEffectInvocationKind?)

Properties

Link copied to clipboard

Conclusion of the effect. If this value is set, the effect represents an implication with this value as the right-hand side.

Link copied to clipboard

Arguments of the effect constructor, i.e., the constant value for the KmEffectType.RETURNS_CONSTANT effect, or the parameter reference for the KmEffectType.CALLS effect.

Link copied to clipboard

optional number of invocations of the lambda parameter of this function, specified further in the effect expression

Link copied to clipboard

type of the effect