CVS difference for ais/ai-00237.txt

--- ais/ai-00237.txt	2003/10/29 22:54:09	1.14
+++ ais/ai-00237.txt	2004/12/09 19:55:19	1.15
@@ -1,9 +1,11 @@
-!standard C.07.01  (17)                               03-09-17  AI95-00237/06
+!standard C.07.01  (17)                               04-11-30  AI95-00237/07
 !standard C.07.02  (13)
 !standard C.07.02  (15.1/1)
 !standard C.07.02  (17)
 !standard C.07.02  (30)
 !class binding interpretation 00-05-31
+!status Amendment 200Y 04-11-30
+!status ARG Approved 8-0-1  04-11-21
 !status work item 01-10-05
 !status ARG approved 8-0-0  01-05-20
 !status work item 00-06-01
@@ -55,8 +57,11 @@
    corresponding attribute of each task is finalized, unless it has
    been finalized earlier.
 
-Extend C.7.2 (15.1/1) as follows:
-   Access to a task attribute is erroneous if executed concurrently with
+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
+   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.
 
 Change C.7.2(17) to read:
@@ -67,7 +72,7 @@
    Finalization of task attributes and reclamation of associated storage
    should be performed as soon as possible after task termination.
 
-Add "finalization of a task attribute" to C.7.1(17), 1. sentence.
+Add "finalization of a task attribute" to the first sentence of C.7.1(17).
 
 
 !discussion
@@ -155,10 +160,10 @@
 erroneous if executed concurrently with each other or with calls of
 any of the operations declared in package Task_Attributes.
 @dby
-Accesses to task attributes via a value of type Attribute_Handle are
-erroneous if executed concurrently with each other or with calls of
-any of the operations declared in package Task_Attributes. Access to
-a task attribute is erroneous if executed concurrently with
+An access to a task attribute via a value of type Attribute_Handle is
+erroneous with another such access or 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.
 
 !corrigendum  C.7.2(17)