SimpleEffect
Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)
@ExperimentalContracts interface SimpleEffect : Effect
Эффект, который можно наблюдать после вызова функции.
См. также
Функции
Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)
implies
Указывает, что при наблюдении этого эффекта гарантируется, что booleanExpression будет истинным.
abstract infix fun implies( booleanExpression: Boolean ): ConditionalEffect
Наследники
Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)
Returns
Описывает ситуацию, когда функция возвращается нормально со значением возврата.
interface Returns : SimpleEffect
Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)
ReturnsNotNull
Описывает ситуацию, когда функция возвращается нормально с любым ненулевым значением возврата.
interface ReturnsNotNull : SimpleEffect
© 2010–2023 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/-simple-effect/index.html
