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)
Questions? Ask the ACAA Technical Agent