Справочник Ada 2012
J.15.12 Предикат Relative_Deadline
Синтаксис
Форма предиката pragma Relative_Deadline имеет следующий вид:
pragma Relative_Deadline (relative_deadline_выражение);
Правила разрешения имен
Ожидаемый тип для relative_deadline_выражения — Real_Time.Time_Span.
Правила допустимости
Предикат Relative_Deadline разрешается только непосредственно внутри определения задачи или в части описания области видимости тела подпрограммы.
Статическая семантика
Для реализации, поддерживающей Приложение D, pragma Relative_Deadline задаёт значение аспекта Relative_Deadline (см. D.2.6). Если pragma находится в определении задачи, то выражение связывается с аспектом для типа задачи или объявления единственной задачи, которая содержит pragma. В противном случае, выражение связывается с аспектом для подпрограммы, которая содержит pragma.
