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

Predicate signature MakeWithSplitting::ViewCfgQueryInputSig::cfgScopeSpan

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

signature predicate cfgScopeSpan(CfgScope scope, File file, int startLine, int startColumn, int endLine, int endColumn)