Function extractCfg

extractCfg<Info = ParentInformation>(
    ast: NormalizedAst<Info & ParentInformation>,
    config: FlowrConfigOptions,
    graph?: DataflowGraph<DataflowGraphVertexInfo, DataflowGraphEdge>,
    simplifications?: readonly (
        | "unique-cf-sets"
        | "analyze-dead-code"
        | "remove-dead-code"
        | "to-basic-blocks"
    )[],
): ControlFlowInformation
Given a normalized AST, this approximates the control flow graph of the program. This view 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 & ParentInformation>
  the normalized AST
- config: FlowrConfigOptions
  the flowR config
- Optionalgraph: DataflowGraph<DataflowGraphVertexInfo, DataflowGraphEdge>
  additional dataflow facts to consider by the control flow extraction
- Optionalsimplifications: readonly (
      | "unique-cf-sets"
      | "analyze-dead-code"
      | "remove-dead-code"
      | "to-basic-blocks"
  )[]
  a list of simplification passes to apply to the control flow graph
Returns ControlFlowInformation
See
extractCfgQuick - for a simplified version of this function
- Defined in src/control-flow/extract-cfg.ts:86