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