6.3.2 Inline Expansion of Subprograms
Subprograms may be expanded in line at the call site.
For a callable entity
or a generic subprogram, the following language-defined representation
aspect may be specified:
The type of aspect Inline is Boolean. When aspect Inline is True for
a callable entity, inline expansion is desired for all calls to that
entity. When aspect Inline is True for a generic subprogram, inline expansion
is desired for all calls to all instances of that generic subprogram.
If directly specified, the aspect_definition
shall be a static expression. This aspect is never inherited; if not
directly specified, the aspect is False.
For each call, an implementation is free to follow
or to ignore the recommendation determined by the Inline aspect.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe