ExperimentalContracts

kotlin-stdlib / kotlin.contracts / ExperimentalContracts

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

annotation class ExperimentalContracts

Этот маркер выделяет экспериментальный API для объявления контрактов и используется для включения этой функции при объявлении контрактов пользовательских функций.

Любое использование объявления, помеченного @ExperimentalContracts, должно быть принято, либо добавив аннотацию OptIn, например @OptIn(ExperimentalContracts::class), либо используя аргумент компилятора -opt-in=kotlin.contracts.ExperimentalContracts.

Конструкторы

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

<init>

ExperimentalContracts()

© 2010–2022 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/-experimental-contracts/index.html