CVS difference for 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