CodeQL library for C#
codeql/csharp-all 0.10.0 (changelog, source)

Member predicate Completion::isValidFor

Holds if this completion is valid for control flow element cfe.

If cfe is part of a try statement and cfe may throw an exception, this completion can be a throw completion.

If cfe is used in a Boolean context, this completion is a Boolean completion, otherwise it is a normal non-Boolean completion.

predicate isValidFor(ControlFlowElement cfe)