Ada Reference Manual (Ada 2022)
J.15.10 Pragma Dispatching_Domain
Syntax
The form of a pragma Dispatching_Domain is as follows:
pragma Dispatching_Domain (expression);
Name Resolution Rules
The expected type for the expression is System.Multiprocessors.Dispatching_Domains.Dispatching_Domain.
Legality Rules
A Dispatching_Domain pragma is allowed only immediately within a task_definition.
Static Semantics
For an implementation that supports Annex D, a pragma Dispatching_Domain specifies the value of the Dispatching_Domain aspect (see D.16.1). The expression is associated with the aspect for the task type or single_task_declaration that contains the pragma.