stig-engine/com.stigway.engine.diagram/ControlFlowEdge

ControlFlowEdge

data class ControlFlowEdge(val id: String, val from: String, val to: String, val kind: IcfgEdgeKind, val caseLabel: String? = null)

Directed edge between ICFG nodes. caseLabel is populated only on kind = SWITCH_CASE edges; null otherwise (omitted in JSON).

Constructors

ControlFlowEdge

constructor(id: String, from: String, to: String, kind: IcfgEdgeKind, caseLabel: String? = null)

Properties

val caseLabel: String?

val from: String

val kind: IcfgEdgeKind