SimpleEffect
An effect that can be observed after a function invocation.
See Also
Functions
implies
Specifies that this effect, when observed, guarantees booleanExpression to be true.
abstract
infix
fun
implies
(
booleanExpression
:
Boolean
)
:
ConditionalEffect
Inheritors
Returns
Describes a situation when a function returns normally with a given return value.
interface
Returns
:
SimpleEffect
ReturnsNotNull
Describes a situation when a function returns normally with any non-null return value.
interface
ReturnsNotNull
:
SimpleEffect