Ada Reference Manual (Ada 2022) — Legal Information

# 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.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe