J.15.2 Pragma No_Return
The form of a pragma
No_Return, which is a representation pragma (see 13.1
is as follows:
shall denote one or more procedures or generic procedures. The procedure_local_name
shall not denote a null procedure nor an instance of a generic unit.
No_Return specifies that the No_Return aspect (see 6.5.1
for each procedure denoted by each local_name
given in the pragma
has the value True.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe