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

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

--- ai05s/ai05-0167-1.txt	2011/03/18 00:11:52	1.9
+++ ai05s/ai05-0167-1.txt	2011/03/31 05:15:29	1.10
@@ -1,4 +1,4 @@
-!standard  D.16.1                               11-03-17    AI05-0167-1/08
+!standard  D.16.1                               11-03-30    AI05-0167-1/09
 !standard  C.3.2
 !class Amendment 09-10-22
 !status Amendment 2012 11-03-15
@@ -130,20 +130,20 @@
 within System_Dispatching_Domain.
 
 
-Syntax
-
-The aspect Dispatching_Domain may be specified for a task type or object.
-
-
 Static Semantics
 
-The type of Dispatching_Domain is Dispatching_Domains.Dispatching_Domain.
+The aspect Dispatching_Domain may be specified for a task type or object.
+When the aspect Dispatching_Domain is specified, the aspect_definition is
+an expression that is expected to be of type Dispatching_Domains.Dispatching_Domain.
 This aspect is the domain to which the task (or all objects of
 the task type) are assigned.
 
-
 Dynamic Semantics
 
+The expression specifed for the Dispatching_Domain aspect of a task is evaluated
+for each task object (see 9.1). The Dispatching_Domain value is then associated
+with the task object whose task declaration specifies the aspect.
+
 If a task is not explictly assigned to any domain,
 it is assigned to that of the activating task.
 A task always executes on some CPU in its domain.
@@ -245,6 +245,9 @@
 
 J.15.xx pragma Dispatching_Domain
 
+AARM Discussion: This pragma is born obsolescent; it is defined to provide consistency with
+existing real-time pragmas.
+
 Syntax
 
 The form of a pragma Dispatching_Domain as follows:
@@ -262,8 +265,8 @@
 
 Static Semantics
 
-Pragma Dispatching_Domain specifies that the Dispatching_Domain aspect of the
-containing task has the value given by expression.
+Pragma Dispatching_Domain specifies that the Dispatching_Domain aspect (see D.16.1)
+of the containing task has the value given by expression.
 
 
 !discussion

Questions? Ask the ACAA Technical Agent