Module MakeWithSplitting::ViewCfgQuery

Provides an implementation for a View CFG query.

Import this module into a .ql that looks like

@name Print CFG
@description Produces a representation of a file's Control Flow Graph.
             This query is used by the VS Code extension.
@id <lang>/print-cfg
@kind graph
@tags ide-contextual-queries/print-cfg

Import path

import codeql.controlflow.Cfg

Imports

Mermaid

Provides logic for representing a CFG as a Mermaid diagram.

Predicates

edges

Holds if pred -> succ is an edge in the CFG.

Parameters

File		FileSig
ViewCfgQueryInput		ViewCfgQueryInputSig<ViewCfgQuery::File>