Annotated Ada Reference Manual (Ada 202y Draft 1) — Legal Information
Contents   Index   References   Search   Previous   Next 

J.15.10 Pragma Dispatching_Domain

0.a/3
Discussion: {AI05-0167-1} This pragma is born obsolescent; it is defined to provide consistency with existing real-time pragmas. As with all obsolescent features, this pragma is not optional; all Ada implementations need to implement it.

Syntax

1/3
{AI05-0167-1} The form of a pragma Dispatching_Domain is as follows: 
2/3
  pragma Dispatching_Domain (expression);

Name Resolution Rules

3/3
{AI05-0167-1} The expected type for the expression is System.Multiprocessors.Dispatching_Domains.Dispatching_Domain.

Legality Rules

4/3
{AI05-0167-1} A Dispatching_Domain pragma is allowed only immediately within a task_definition.

Static Semantics

5/3
{AI05-0167-1} 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. 

Extensions to Ada 2005

5.a/3
{AI05-0009-1} Pragma Dispatching_Domain is new. 
Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe