Ada 2012 Reference Manual

J.15.1 Pragma Inline

The form of a pragma Inline, which is a program unit pragma (see 10.1.5), is as follows:

pragma Inline (name{, name});

The pragma shall apply to one or more callable entities or generic subprograms.

Pragma Inline specifies that the Inline aspect (see 6.3.2) for each entity denoted by each name given in the pragma has the value True.

An implementation may allow a pragma Inline that has an argument which is a direct_name denoting a subprogram_body of the same declarative_part.

NOTES

4 The name in a pragma Inline may denote more than one entity in the case of overloading. Such a pragma applies to all of the denoted entities.