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 имеет значение true.
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
Описывает ситуацию, когда функция возвращает нормальное значение с любым не-null возвращаемым значением.
interface ReturnsNotNull : SimpleEffect
© 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/-simple-effect/index.html
