stig-engine/com.stigway.engine.diagram/Transform/DiagramType

DiagramType

enum DiagramType : Enum<Transform.DiagramType>

Coarse diagram-type axis the transform uses to choose which edges to keep. Distinct from com.stigway.engine.types.DiagramType (which carries the _diagram suffix and additional output-side semantics) so that pure-vista callers don't have to depend on the engine.types package.

Entries

Full ICFG slice — every control-flow node and edge from the analyzer's controlFlowGraph emit, regardless of data-flow reachability. Used when the viewer needs the call/branch structure of the analyzed unit independently of any taint trace. Differs from CONTROL_FLOW in that no data-flow pruning is applied even when downstream filters could.

DATA_RESTRICTED_CONTROL_FLOW

CONTROL_FLOW further filtered to nodes that participate in raw data-flow segment evidence (the cascadingFault-only slice). Equivalent to running hideNonCascadingFaultLeaves() on top of the standard CONTROL_FLOW projection. Useful for inspecting the subset of the ICFG that actually carries safety-relevant data.

Properties

entries

val entries: EnumEntries<Transform.DiagramType>

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

Functions

valueOf

fun valueOf(value: String): Transform.DiagramType

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<Transform.DiagramType>

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