Interface ControlDependency

A control dependency links a vertex to the control flow element which may have an influence on its execution. Within if(p) a else b, a and b have a control dependency on the if (which in turn decides based on p).

See

happensInEveryBranch - to check whether a list of control dependencies is exhaustive

interface ControlDependency {
    byIteration?: boolean;
    id: NodeId;
    when?: boolean;
}

Properties

byIteration? id when?

Properties

Optional ReadonlybyIteration

byIteration?: boolean

whether this control dependency was created due to iteration (e.g., a loop)

Readonlyid

id: NodeId

The id of the node that causes the control dependency to be active (e.g., the condition of an if)

Optional Readonlywhen

when?: boolean

when does this control dependency trigger (if the condition is true or false)?

Settings

Member Visibility

On This Page

Properties