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