kotlin-stdlib/kotlin.contracts/contract

contract

@ExperimentalContracts
inline fun contract(builder: ContractBuilder.() -> Unit)(source)

Specifies the contract of a function.

The contract description must be at the beginning of a function and have at least one effect.

Only the top-level functions can have a contract for now.

Since Kotlin

1.3

Parameters

builder

the lambda where the contract of a function is described with the help of the ContractBuilder members.