17.3.8 No_Raise aspect

The No_Raise aspect can be applied to a subprogram to declare that this subprogram is not expected to raise any exceptions. Should an exception still occur during the execution of this subpropgram, Program_Error is raised.