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

    Interface CfgInformationSearchContent

    interface CfgInformationSearchContent {
        aliveNodes?: ReadonlySet<NodeId>;
        cfg: ControlFlowInformation;
        reachableNodes?: Set<NodeId>;
        [key: string]: unknown;
    }

    Hierarchy (View Summary)

    Indexable

    • [key: string]: unknown
    Index
    aliveNodes? cfg reachableNodes?
    aliveNodes?: ReadonlySet<NodeId>

    The nodes the control flow reaches, together with the syntax that holds them. Only has a value if CfgInformationArguments.checkReachable was true.

    reachableNodes - for the vertices themselves

    cfg: ControlFlowInformation

    The CFG attached to the search, extracted using extractCfg.

    reachableNodes?: Set<NodeId>

    The set of all nodes that are reachable from the root of the CFG, extracted using visitCfgInOrder. Only has a value if CfgInformationArguments.checkReachable was true.

    Settings
    Member Visibility

    On This Page
    Properties