cpg/de.fraunhofer.aisec.codyze.backends.cpg.coko.dsl/Result

Result

enum Result : Enum<Result> (source)

A data class that serves as a ternary value for the analysis result.

OPEN is used where we cannot deduce either VALID or INVALID results because of lack of information.

Entries

Types

object Companion

Properties

val entries: EnumEntries<Result>

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

val name: String

val ordinal: Int

Functions

fun Result.and(other: Result): Result

precedence order for ternary and: OPEN INVALID VALID

fun valueOf(value: String): Result

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<Result>

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