No_Raise aspect (GNAT Reference Manual) (original) (raw)

Next: Inference of Dependent Types in Generic Instantiations, Previous: Generalized Finalization, Up: Experimental Language Extensions [Contents][Index]

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 subprogram, Program_Error is raised.

• New specification for Ada.Finalization.Controlled
• Finalized tagged types
• Composite types
• Interoperability with controlled types