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

IcfgEdgeKind

enum IcfgEdgeKind : Enum<IcfgEdgeKind>

Edge kinds emitted on controlFlowGraph.edges[].kind. Canonical set mirrors stig-code-analyzer's Pipeline.cpp emit:

FALLTHROUGH — sequential within a basic block, or a straight BB → BB edge with no branch.
BRANCH_TRUE / BRANCH_FALSE — the two successors of a conditional br i1 cond, %t, %f.
SWITCH_CASE — one of the successors of an llvm::SwitchInst.
CALL — caller's call-site → callee's entry.
RETURN — callee's ret → caller's resume.

Entries

Types

Companion

object Companion

Properties

entries

val entries: EnumEntries<IcfgEdgeKind>

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): IcfgEdgeKind

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

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