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