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