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