Справочник по Ada 2005
6.3.2 Вставка подпрограмм
Подпрограммы могут быть вставлены в место вызова.
Синтаксис
Форма директивы Inline, являющейся директивой для программной единицы (см. 10.1.5), выглядит следующим образом:
Правила легальности
Директива pragma должна применяться к одному или нескольким вызываемым сущностям или обобщённым подпрограммам.
Статическая семантика
Если директива Inline применяется к вызываемой сущности, это означает, что вставка в код желательна для всех вызовов данной сущности. Если директива Inline применяется к обобщённой подпрограмме, это означает, что вставка в код желательна для всех вызовов всех экземпляров этой обобщённой подпрограммы.
Разрешения для реализации
Для каждого вызова реализация свободна следовать или игнорировать рекомендацию, выраженную директивой pragma.
Реализация может разрешить директиву Inline, имеющую в качестве аргумента прямое_имя, обозначающее тело_подпрограммы той же декларативной_части.
ПРИМЕЧАНИЯ
6 Имя имя в директиве Inline может обозначать более чем одну сущность в случае перегрузки. Такая директива применяется ко всем обозначенным сущностям.
