Member predicate TryStmt::definitelyHandles
Holds if catch clause cc definitely handles exceptions of type ex.
predicate definitelyHandles(ExceptionClass ex, CatchClause cc)Holds if catch clause cc definitely handles exceptions of type ex.
predicate definitelyHandles(ExceptionClass ex, CatchClause cc)