Справочник Ada (Ada 2022)
10.1.5 Директивы и программные модули
В этом подразделе рассматриваются директивы, относящиеся к компиляциям.
Абзацы с 2 по 7 были перенесены в Приложение J, «Устаревшие возможности».
Правила после компиляции
Некоторые директивы определены как директивы конфигурации; они должны появляться перед первой единицей компиляции в компиляции. Они обычно используются для выбора опции на уровне раздела или системы. Директива pragma применяется ко всем единицам компиляции, появляющимся в компиляции, если таковые имеются, иначе применяется ко всем последующим единицам компиляции, скомпилированным в ту же среду.
Разрешения реализации
Реализация может потребовать, чтобы директивы конфигурации, выбирающие опции на уровне раздела или системы, были скомпилированы, когда среда не содержит элементов библиотеки, кроме тех, что определены в предварительной среде. В этом случае реализация должна принять директивы конфигурации в отдельных компиляциях, подтверждающие первоначально выбранные опции на уровне раздела или системы.
Абзац 10 был перенесен в Приложение J, «Устаревшие возможности».