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