@eagleoutice/flowr - v2.10.1
    Preparing search index...

    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).

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

    Properties

    byIteration?: boolean

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

    file?: string

    any file-exist assumptions made

    id: NodeId

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

    when?: boolean

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