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

component1
Link copied to clipboard
operator fun component1(): Flags
component2
Link copied to clipboard
operator fun component2(): Int?
component3
Link copied to clipboard
operator fun component3(): KmConstantValue?
component4
Link copied to clipboard
operator fun component4(): ImmutableKmType?
component5
Link copied to clipboard
operator fun component5(): List<ImmutableKmEffectExpression>
component6
Link copied to clipboard
operator fun component6(): List<ImmutableKmEffectExpression>
copy
Link copied to clipboard
fun copy(flags: Flags, parameterIndex: Int?, constantValue: KmConstantValue?, isInstanceType: ImmutableKmType?, andArguments: List<ImmutableKmEffectExpression>, orArguments: List<ImmutableKmEffectExpression>): ImmutableKmEffectExpression
equals
Link copied to clipboard
open operator override fun equals(other: Any?): Boolean
hashCode
Link copied to clipboard
open override fun hashCode(): Int
toMutable
Link copied to clipboard
fun toMutable(): KmEffectExpression
toString
Link copied to clipboard
open override fun toString(): String

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.