ImmutableKmEffectExpression

Immutable representation of KmEffectExpression.

Represents an effect expression, the contents of 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.

Functions

toMutable

fun toMutable(): KmEffectExpression

andArguments

Arguments of an &&-expression.

constantValue

val constantValue: KmConstantValue?

Constant value used in the effect expression.

flags

open override val flags: Flags

Effect expression flags, consisting of Flag.EffectExpression flags.

isInstanceType

Type used as the target of an is-expression in the effect expression.

orArguments

Arguments of an ||-expression.

parameterIndex

Optional 1-based index of the value parameter of the function, for effects which assert something about the function parameters.