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)