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

Member predicate CatchClause::getFilterClause

Gets the catch filter clause, if any. For example, the filter expression of the catch clause on line 4 is ex.HResult == 1 in

try {
  ...
}
catch (System.IO.IOException ex) when (ex.HResult == 1) {
  ...
}
Expr getFilterClause()