J.15.13 Pragma Asynchronous
Syntax
{
AI05-0229-1}
The form of a pragma
Asynchronous, which is a representation pragma (see 13.1),
is as follows:
Static Semantics
{
AI05-0229-1}
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
{
AI05-0229-1}
The local_name
of a pragma Asynchronous shall denote a declaration that may have aspect
Asynchronous specified.
Wording Changes from Ada 2005
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe