compiler/io.github.aplcornell.viaduct.syntax/DelegationKind

DelegationKind

enum DelegationKind : Enum<DelegationKind> , PrettyPrintable

Specifies whether a delegation is an information flow delegation or an authority delegation.

Entries

IFC

AUTHORITY

Functions

toDocument

abstract fun toDocument(): Document

valueOf

fun valueOf(value: String): DelegationKind

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

values

fun values(): Array<DelegationKind>

Returns an array containing the constants of this enum type, in the order they're declared.

Properties

name

val name: String

ordinal

val ordinal: Int