Function extractCFG

extractCFG<Info = ParentInformation>(
    ast: NormalizedAst<Info>,
    graph?: DataflowGraph<DataflowGraphVertexInfo, DataflowGraphEdge>,
    simplifications?: readonly (
        "unique-cf-sets"
        | "remove-dead-code"
        | "to-basic-blocks"
    )[],
): ControlFlowInformation
Given a normalized AST this approximates the control flow graph of the program. This few is different from the computation of the dataflow graph and may differ, especially because it focuses on intra-procedural analysis.
Type Parameters
- Info = ParentInformation
Parameters
- ast: NormalizedAst<Info>
  the normalized AST
- Optionalgraph: DataflowGraph<DataflowGraphVertexInfo, DataflowGraphEdge>
  additional dataflow facts to consider by the control flow extraction
- Optionalsimplifications: readonly ("unique-cf-sets" | "remove-dead-code" | "to-basic-blocks")[]
  a list of simplification passes to apply to the control flow graph
Returns ControlFlowInformation
See
extractSimpleCfg - for a simplified version of this function
- Defined in src/control-flow/extract-cfg.ts:84