{AI05-0229-1}
Each procedure_local_name
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.]
Static Semantics
4/3
{AI05-0229-1}
Pragma 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.
Wording Changes from Ada 2005
4.a/3
{AI05-0229-1}
This clause is new. Pragma No_Return was moved here from 6.5.1;
aspect No_Return lives there now.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe