Руководство по Ada (Ada 2022)
J.15.1 Директива Inline
Синтаксис
Форма директивы pragma Inline, являющейся директивой для программной единицы (см. 10.1.5), следующая:
Правила легитимности
Директива pragma должна применяться к одному или нескольким вызываемым сущностям или обобщенным подпрограммам.
Статические семантики
Директива pragma Inline указывает, что аспект Inline (см. 6.3.2) для каждой сущности, обозначенной каждым именем, указанным в pragma, имеет значение True.
Разрешения для реализации
Реализация может разрешить pragma Inline, имеющий аргумент, который является direct_name, обозначающий subprogram_body той же declarative_part.
ПРИМЕЧАНИЕ Имя в pragma Inline может обозначать более одной сущности в случае перегрузки. Такая pragma применяется ко всем обозначенным сущностям.
