Predicate ControlFlowGraph::ControlFlow::Internal::Successor::getAThrownException

Gets an exception type that is thrown by cfe in the block of try statement ts. Throw completion c matches the exception type.

ExceptionClass getAThrownException(TryStmt ts, ControlFlowElement cfe, ThrowCompletion c)