Ada 2012 Reference Manual

6.3.2 Inline Expansion of Subprograms

Subprograms may be expanded in line at the call site.

Paragraphs 2 through 4 were moved to Annex J, “Obsolescent Features”.

Static Semantics

For a callable entity or a generic subprogram, the following language-defined representation aspect may be specified:

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.

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

For each call, an implementation is free to follow or to ignore the recommendation determined by the Inline aspect.