abstract fun returns(): Returns
Describes a situation when a function returns normally, without any exceptions thrown.
Use SimpleEffect.implies function to describe a conditional effect that happens in such case.
abstract fun returns(value: Any?): Returns
Describes a situation when a function returns normally with the specified return value.
The possible values of value are limited to true
, false
or null
.
Use SimpleEffect.implies function to describe a conditional effect that happens in such case.
© 2010–2020 JetBrains s.r.o. and Kotlin Programming Language contributors
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.contracts/-contract-builder/returns.html