CVS difference for ai05s/ai05-0167-1.txt

Differences between 1.8 and version 1.9
Log of other versions for file ai05s/ai05-0167-1.txt

--- ai05s/ai05-0167-1.txt	2011/03/16 00:55:37	1.8
+++ ai05s/ai05-0167-1.txt	2011/03/18 00:11:52	1.9
@@ -1,7 +1,8 @@
-!standard  D.16.1                               11-03-15    AI05-0167-1/07
+!standard  D.16.1                               11-03-17    AI05-0167-1/08
 !standard  C.3.2
 !class Amendment 09-10-22
 !status Amendment 2012 11-03-15
+!status ARG Approved  8-0-0  10-03-17
 !status ARG Approved  7-0-1  10-02-19
 !status work item 09-10-22
 !status received 09-10-22
@@ -131,8 +132,7 @@
 
 Syntax
 
-The language-defined aspect Dispatching_Domain may be specified for a task
-type or object.
+The aspect Dispatching_Domain may be specified for a task type or object.
 
 
 Static Semantics
@@ -239,6 +239,31 @@
 The function Get_CPU returns the processor on which the handler for Interrupt is
 executed. If the handler can execute on more than one processor the value
 System.Multiprocessors.Not_A_Specific_CPU is returned.
+
+
+Add to Annex J.15:
+
+J.15.xx pragma Dispatching_Domain
+
+Syntax
+
+The form of a pragma Dispatching_Domain 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.
+At most one such pragma shall appear within a given task_definition.
+
+Static Semantics
+
+Pragma Dispatching_Domain specifies that the Dispatching_Domain aspect of the
+containing task has the value given by expression.
 
 
 !discussion

Questions? Ask the ACAA Technical Agent