@eagleoutice/flowr - v2.10.2
    Preparing search index...
    interface CfgInformationArguments {
        checkReachable?: boolean;
        forceRefresh?: boolean;
        simplificationPasses?: (
            | "unique-cf-sets"
            | "analyze-dead-code"
            | "remove-dead-code"
            | "to-basic-blocks"
        )[];
        [key: string]: unknown;
    }

    Hierarchy (View Summary)

    Indexable

    • [key: string]: unknown

    Hierarchy-Diagram

    UML class diagram of CfgInformationArguments
    Index

    Properties

    checkReachable?: boolean

    Whether to check nodes for reachability, and subsequently set CfgInformationSearchContent.reachableNodes and CfgInformationElementContent.isReachable. Defaults to false.

    forceRefresh?: boolean

    Whether to recalculate the CFG information if it already exists on the current search. Defaults to false.

    simplificationPasses?: (
        | "unique-cf-sets"
        | "analyze-dead-code"
        | "remove-dead-code"
        | "to-basic-blocks"
    )[]

    The simplification passes that should be run on the extracted CFG. Defaults to the entries of DefaultCfgSimplificationOrder.