CodeQL library for C#
codeql/csharp-all 3.1.1-dev (changelog, source)
Search

Module signature MakeWithSplitting::ViewCfgQueryInputSig

Provides the input to ViewCfgQuery.

Import path

import codeql.controlflow.Cfg

Predicates

cfgScopeSpan

Holds if CFG scope scope spans column startColumn of line startLine to column endColumn of line endLine in file.

selectedSourceColumn

The source column selected in the IDE. Should be an external predicate.

selectedSourceFile

The source file selected in the IDE. Should be an external predicate.

selectedSourceLine

The source line selected in the IDE. Should be an external predicate.

Parameters