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

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

--- ai05s/ai05-0167-1.txt	2011/03/31 05:15:29	1.10
+++ ai05s/ai05-0167-1.txt	2011/03/31 06:48:24	1.11
@@ -129,14 +129,14 @@
 environment task executes. At program start-up all processors are contained
 within System_Dispatching_Domain.
 
-
 Static Semantics
 
-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.
+  For a task type (including the anonymous type of a single_task_definition),
+  the following language-defined representation aspect may be specified:
+    Dispatching_Domain
+      The value of aspect Dispatching_Domain is an expression, which shall 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
 
@@ -794,7 +794,9 @@
 From: Robert Dewar
 Sent: Monday, January 31, 2011  9:34 AM
 
-The reason I prefer to keep the multi, is that this is all about multi-processing, it is not about more general features of processors such as their endianness, word length etc. So I think a name of processors is misleading.
+The reason I prefer to keep the multi, is that this is all about multi-processing,
+it is not about more general features of processors such as their endianness,
+word length etc. So I think a name of processors is misleading.
 
 Let's look at the features:
 

Questions? Ask the ACAA Technical Agent