Справочник Ada 2012
J.15.10 Предикат Dispatching_Domain
Синтаксис
Форма предиката pragma Dispatching_Domain следующая:
pragma Dispatching_Domain (выражение);
Правила разрешения имен
Ожидаемый тип для выражения — System.Multiprocessors.Dispatching_Domains.Dispatching_Domain.
Правила допустимости
Предикат Dispatching_Domain разрешается только непосредственно внутри определения задачи.
Статическая семантика
Для реализации, поддерживающей Приложение D, предикат Dispatching_Domain задаёт значение атрибута Dispatching_Domain (см. D.16.1). Выражение связывается с атрибутом для типа задачи или объявления отдельной задачи, содержащего предикат.
