For an implementation that supports Annex E, a pragma
Asynchronous specifies that the Asynchronous aspect (see E.4.1)
for the procedure or type denoted by local_name
has the value True.
Legality Rules
4/3
The local_name
of a pragma Asynchronous shall denote a declaration that may have aspect
Asynchronous specified.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe