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

Member predicate Make::SplitImpl::hasEntryScope

Holds if this split is entered when control passes from scope to the entry point first.

Invariant: hasEntryScope(scope, first) implies scopeFirst(scope, first).

predicate hasEntryScope(CfgScope scope, AstNode first)