Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
 
Ada Reference Manual (Ada 2022 with Amendment 1) — Legal Information
Contents   Index   References   Search   Previous   Next 

6.3.2 Inline Expansion of Subprograms

1
Subprograms may be expanded in line at the call site.
Paragraphs 2 through 4 were moved to Annex J, “Obsolescent Features”. 

Static Semantics

5/3
For a callable entity or a generic subprogram, the following language-defined representation aspect may be specified:
5.1/3
 Inline
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.
5.2/3
If directly specified, the aspect_definition shall be a static expression. This aspect is never inherited; if not directly specified, the aspect is False.

Implementation Permissions

6/3
For each call, an implementation is free to follow or to ignore the recommendation determined by the Inline aspect. 
Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe