W3cubDocs

/Kotlin

SimpleEffect

Platform and version requirements: JVM (1.3), JS (1.3), Native (1.3)

@ExperimentalContracts interface SimpleEffect : Effect

An effect that can be observed after a function invocation.

See Also

ContractBuilder.returns

Platform and version requirements: JVM (1.0), JS (1.0), Native (1.0)

Specifies that this effect, when observed, guarantees booleanExpression to be true.

abstract infix fun implies(
    booleanExpression: Boolean
): ConditionalEffect

Platform and version requirements: JVM (1.3), JS (1.3), Native (1.3)

Describes a situation when a function returns normally with a given return value.

interface Returns : SimpleEffect

Platform and version requirements: JVM (1.3), JS (1.3), Native (1.3)

Describes a situation when a function returns normally with any non-null return value.

interface ReturnsNotNull : SimpleEffect