SimpleEffect

Common
JVM
JS
Native
1.3
@ExperimentalContracts interface SimpleEffect : Effect
(source)

An effect that can be observed after a function invocation.

See Also

ContractBuilder.returns

ContractBuilder.returnsNotNull

Functions

Common
JVM
JS
Native
1.0

implies

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

abstract infix fun implies(
    booleanExpression: Boolean
): ConditionalEffect

Inheritors

Common
JVM
JS
Native
1.3

Returns

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

interface Returns : SimpleEffect
Common
JVM
JS
Native
1.3

ReturnsNotNull

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

interface ReturnsNotNull : SimpleEffect