ContractBuilder

Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)

@ExperimentalContracts interface ContractBuilder

Предоставляет область, где функции DSL контракта, такие как returns, callsInPlace и т.д., могут использоваться для описания контракта функции.

Этот тип используется в качестве типа получателя лямбда-функции, передаваемой функции contract.

См. также

contract

Функции

Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)

Указывает, что параметр функции лямбда вызывается непосредственно.

abstract fun <R> callsInPlace(
    lambda: Function<R>, 
    kind: InvocationKind = InvocationKind.UNKNOWN
): CallsInPlace

Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)

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

abstract fun returns(): Returns

Описывает ситуацию, когда функция возвращает значение нормально со значением возврата value.

abstract fun returns(value: Any?): Returns

Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)

Описывает ситуацию, когда функция возвращает значение нормально, со значением, которое не является null.

abstract fun returnsNotNull(): ReturnsNotNull

© 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/-contract-builder/index.html