Ada 95 Reference Manual
6.3.2 Inline Expansion of Subprograms
Subprograms may be expanded in line at the call site.
Syntax
The form of a pragma Inline, which is a program unit pragma (see 10.1.5), is as follows:
pragma Inline(name {, name});
Legality Rules
The pragma shall apply to one or more callable entities or generic subprograms.
Static Semantics
If a pragma Inline applies to a callable entity, this indicates that inline expansion is desired for all calls to that entity. If a pragma Inline applies to a generic subprogram, this indicates that inline expansion is desired for all calls to all instances of that generic subprogram.
Implementation Permissions
For each call, an implementation is free to follow or to ignore the recommendation expressed by the pragma.
NOTES
6 The name in a pragma Inline can denote more than one entity in the case of overloading. Such a pragma applies to all of the denoted entities.
