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

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

--- ai05s/ai05-0167-1.txt	2011/04/12 00:07:24	1.12
+++ ai05s/ai05-0167-1.txt	2011/04/30 07:28:36	1.13
@@ -1,4 +1,4 @@
-!standard  D.16.1                               11-03-30    AI05-0167-1/09
+!standard  D.16.1                               11-04-14    AI05-0167-1/10
 !standard  C.3.2
 !class Amendment 09-10-22
 !status Amendment 2012 11-03-15
@@ -137,6 +137,10 @@
       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.
+
+Legality Rules
+
+The Dispatching_Domain aspect shall not be specified for a task interface.
 
 Dynamic Semantics
 

Questions? Ask the ACAA Technical Agent