Immutable
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
Properties
Arguments of an &&-expression. If this list is non-empty, the resulting effect expression is a conjunction of this expression and elements of the list.
Constant value used in the effect expression.
Effect expression flags, consisting of Flag.EffectExpression flags.
Type used as the target of an is-expression in the effect expression.
Arguments of an ||-expression. If this list is non-empty, the resulting effect expression is a disjunction of this expression and elements of the list.
Optional 1-based index of the value parameter of the function, for effects which assert something about the function parameters. The index 0 means the extension receiver parameter.