Справочник по Ada 2005
D.13 Профили времени выполнения
Этот пункт описывает механизм определения профилей времени выполнения.
Синтаксис
Форма директивы Profile выглядит следующим образом:
pragma Profile (profile_идентификатор {, profile_связывание_аргументов_директивы});
Правила легальности
profile_идентификатор должен быть именем профиля времени выполнения. Семантика любых profile_связывание_аргументов_директивы определяется профилем времени выполнения, заданным profile_идентификатором.
Статическая семантика
Профиль эквивалентен набору директив конфигурации, определённых для каждого профиля времени выполнения.
Правила после компиляции
Директива Profile является директивой конфигурации. Может быть несколько директив Profile для раздела.
