12.11 Ada.Exceptions.Is_Null_Occurrence (a-einuoc.ads)

This child subprogram provides a way of testing for the null exception occurrence (Null_Occurrence) without raising an exception.