Spec-Zone.ru › Kotlin 2

Effect

kotlin-stdlib/kotlin.contracts/Effect

Начиная с Kotlin: 1.3

@ExperimentalContracts
interface Effect

Представляет эффект вызова функции, непосредственно наблюдаемый, например нормальное завершение функции, или побочный эффект, например вызов лямбда-параметра функции непосредственно в месте вызова.

Классы-наследники используются в ContractBuilder для описания контракта функции.

См. также

ConditionalEffect
SimpleEffect
CallsInPlace

Классы-наследники

ConditionalEffect
SimpleEffect
CallsInPlace
HoldsIn

© 2010–2026 JetBrains s.r.o. and Kotlin Programming Language contributors
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/api/core/kotlin-stdlib/kotlin.contracts/-effect/index.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API