kotlin-metadata-jvm/kotlin.metadata/KmEffect

KmEffect

@ExperimentalContracts
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
var conclusion: KmEffectExpression?

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
val constructorArguments: MutableList<KmEffectExpression>

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
var invocationKind: KmEffectInvocationKind?

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

Link copied to clipboard
var type: KmEffectType

type of the effect