stig-core/com.stigway.metamodels.analysis/Feasibility

Feasibility

Tri-state Z3 verdict on whether a (sink, fact) is reachable along any feasible path. UNKNOWN means Z3 timed out or the constraint system was incomplete — treat it as "could be either" downstream (typically: include in reports, flag separately from YES).

Entries

YES

UNKNOWN

Types

Companion

object Companion

Properties

entries

val entries: EnumEntries<Feasibility>

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

name

val name: String

ordinal

val ordinal: Int

wire

val wire: String

Functions

valueOf

fun valueOf(value: String): Feasibility

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

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