J.15.2 Pragma No_Return
Syntax
{
AI05-0229-1}
The form of a pragma
No_Return, which is a representation pragma (see 13.1),
is as follows:
Legality Rules
{
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
Wording Changes from Ada 2005
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe