Справочник Ada 2012
6.3.2 Вставка подпрограмм
Подпрограммы могут быть вставлены в место вызова.
Абзацы с 2 по 4 перемещены в Приложение J, «Устаревшие функции».
Статическая семантика
Для вызываемого сущности или обобщенной подпрограммы может быть указан определяемый языком аспект представления:
Inline
Тип аспекта Inline — Boolean. Когда аспект Inline имеет значение True для вызываемой сущности, желательно встраивание всех вызовов этой сущности. Когда аспект Inline имеет значение True для обобщенной подпрограммы, желательно встраивание всех вызовов всех экземпляров этой обобщенной подпрограммы.
Если указание прямое, aspect_definition должен быть статическим выражением. Этот аспект никогда не наследуется; если он не указан напрямую, аспект равен False.
Разрешения для реализации
Для каждого вызова реализация может следовать или игнорировать рекомендацию, определяемую аспектом Inline.
