J.15.1 Pragma Inline
The form of a pragma
Inline, which is a program unit pragma (see 10.1.5
is as follows:
shall apply to one or more callable entities or generic subprograms.
Inline specifies that the Inline aspect (see 6.3.2
for each entity denoted by each name
given in the pragma
has the value True.
NOTE The name in a pragma
Inline can denote more than one entity in the case of overloading. Such
to all of the denoted entities.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe