CVS difference for ais/ai-00237.txt
--- ais/ai-00237.txt 2004/12/09 19:55:19 1.15
+++ ais/ai-00237.txt 2005/04/13 05:36:58 1.16
@@ -1,4 +1,4 @@
-!standard C.07.01 (17) 04-11-30 AI95-00237/07
+!standard C.07.01 (17) 05-02-28 AI95-00237/08
!standard C.07.02 (13)
!standard C.07.02 (15.1/1)
!standard C.07.02 (17)
@@ -59,7 +59,7 @@
Change C.7.2 (15.1/1) to read:
An access to a task attribute via a value of type Attribute_Handle is
- erroneous with another such access or call of
+ erroneous if executed concurrently with another such access or a call of
any of the operations declared in package Task_Attributes.
An access to a task attribute is erroneous if executed concurrently with
or after the finalization of the task attribute.
@@ -84,7 +84,7 @@
This gives a clear point by which the finalization of task attributes
must have completed: the completion of the master which contains the
-instantiation. This point may be earlier than the termination of the
+instantiation. This point may be earlier than the termination of the
affected tasks (a situation ignored by current wording of C.7.2).
However, as many task attributes are likely to be created at library
@@ -161,7 +161,7 @@
any of the operations declared in package Task_Attributes.
@dby
An access to a task attribute via a value of type Attribute_Handle is
-erroneous with another such access or call of
+erroneous if executed concurrently with another such access or a call of
any of the operations declared in package Task_Attributes.
An access to a task attribute is erroneous if executed concurrently with
or after the finalization of the task attribute.
Questions? Ask the ACAA Technical Agent