ImmutableKmEffectExpression

data class ImmutableKmEffectExpression : ImmutableKmWithFlags

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
Link copied to clipboard
fun toMutable(): KmEffectExpression

Properties

andArguments
Link copied to clipboard
val andArguments: List<ImmutableKmEffectExpression>
Arguments of an &&-expression.
constantValue
Link copied to clipboard
val constantValue: KmConstantValue?
Constant value used in the effect expression.
flags
Link copied to clipboard
open override val flags: Flags
Effect expression flags, consisting of Flag.EffectExpression flags.
isInstanceType
Link copied to clipboard
val isInstanceType: ImmutableKmType?
Type used as the target of an is-expression in the effect expression.
orArguments
Link copied to clipboard
val orArguments: List<ImmutableKmEffectExpression>
Arguments of an ||-expression.
parameterIndex
Link copied to clipboard
val parameterIndex: Int?
Optional 1-based index of the value parameter of the function, for effects which assert something about the function parameters.