Spec-Zone.ru › Kotlin 2

InvocationKind

kotlin-stdlib/kotlin.contracts/InvocationKind

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

@ExperimentalContracts
enum InvocationKind : Enum<InvocationKind>

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

Подробности контракта функции вызова непосредственно см. в ContractBuilder.callsInPlace.

Элементы

AT_MOST_ONCE

Требования к платформе и версии: Common

AT_MOST_ONCE

Параметр-функция будет вызван один раз или не будет вызван вовсе.

AT_LEAST_ONCE

Требования к платформе и версии: Common

AT_LEAST_ONCE

Параметр-функция будет вызван один или несколько раз.

EXACTLY_ONCE

Требования к платформе и версии: Common

EXACTLY_ONCE

Параметр-функция будет вызван ровно один раз.

UNKNOWN

Требования к платформе и версии: Common

UNKNOWN

Параметр-функция вызывается непосредственно, но неизвестно, сколько раз ее можно вызвать.

Свойства

declaringJavaClass

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

val <E : Enum<E>> Enum<E>.declaringJavaClass: Class<E>

Возвращает экземпляр Java Class перечисления, которому принадлежит заданная константа.

entries

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

val entries: EnumEntries<InvocationKind>

Возвращает представление неизменяемого списка всех элементов перечисления в порядке их объявления.

name

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

expect val name: String

Возвращает имя этой константы перечисления в точности так, как оно указано в объявлении перечисления.

ordinal

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

expect val ordinal: Int

Возвращает порядковый номер этой константы перечисления (ее позицию в объявлении перечисления, где первой константе присваивается порядковый номер 0).

Функции

compareTo

Требования к платформе и версии: Common (1.6)

infix inline fun <T> Comparable<T>.compareTo(other: T): Int

Сравнивает этот объект с указанным объектом на предмет порядка. Возвращает ноль, если этот объект равен указанному другому объекту, отрицательное число, если он меньше другого, или положительное число, если он больше другого.

valueOf

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

fun valueOf(value: String): InvocationKind

Возвращает константу перечисления этого типа с указанным именем. Строка должна точно совпадать с идентификатором, использованным для объявления константы перечисления этого типа. (Лишние пробельные символы не допускаются.)

values

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

fun values(): Array<InvocationKind>

Возвращает массив, содержащий константы этого типа перечисления в порядке их объявления.

© 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/-invocation-kind/index.html

Spec-Zone.ru

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