scan/dev.gmitch215.drift.scan.atlas/OracleKind

OracleKind

enum OracleKind : Enum<OracleKind> (source)

What can be said about a divergent line. Only DOCUMENTED_CONTRACT and CRASH are reportable; the other two are shown and never offered for filing.

Entries

DOCUMENTED_CONTRACT

DOCUMENTED_CONTRACT

CROSS_VERSION_CHANGE

CROSS_VERSION_CHANGE

NO_CORRECTNESS_CLAIM

NO_CORRECTNESS_CLAIM

Properties

val entries: EnumEntries<OracleKind>

Returns a representation of an immutable list of all enum entries, in the order they're declared.

val label: String

val meaning: String

expect val name: String

expect val ordinal: Int

val reportable: Boolean

Functions

fun valueOf(value: String): OracleKind

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.)

fun values(): Array<OracleKind>

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