ContractBuilder
Provides a scope, where the functions of the contract DSL, such as returns , callsInPlace , etc., can be used to describe the contract of a function.
This type is used as a receiver type of the lambda function passed to the contract function.
See Also
Functions
callsInPlace
Specifies that the function parameter lambda is invoked in place.
abstract
fun
<
R
>
callsInPlace
(
lambda
:
Function
<
R
>
,
kind
:
InvocationKind
=
InvocationKind.UNKNOWN
)
:
CallsInPlace
returns
Describes a situation when a function returns normally, without any exceptions thrown.
abstract
fun
returns
(
)
:
Returns
returnsNotNull
Describes a situation when a function returns normally with any value that is not
null
.
abstract
fun
returnsNotNull
(
)
:
ReturnsNotNull