Next: Inference of Dependent Types in Generic Instantiations, Previous: Generalized Finalization, Up: Experimental Language Extensions [Contents][Index]
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.
No_Raise
Program_Error
Ada.Finalization.Controlled