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

Differences between 1.7 and version 1.8
Log of other versions for file ai05s/ai05-0023-1.txt

--- ai05s/ai05-0023-1.txt	2008/05/10 05:14:33	1.7
+++ ai05s/ai05-0023-1.txt	2008/05/29 04:36:46	1.8
@@ -33,9 +33,9 @@
       end case;
    end record;
 
-Suppose we do a 'Read on an unconstrained object OBJ of type
-Customer_Description, whose Is_Company discriminant is currently TRUE.
-We read the discriminant, and the discriminant changes to FALSE.  What
+Suppose we do a 'Read on an unconstrained object Obj of type
+Customer_Description, whose Is_Company discriminant is currently True.
+We read the discriminant, and the discriminant changes to False. What
 happens to the Company_Name and Persons_Name fields, and when?  
 
 Can an anonymous object be used? If it is, is Initialize called on the
@@ -142,14 +142,9 @@
                     
 !discussion
 
-This problem applies to all depends-on-discriminant components with non-trivial
-finalization.
+This problem applies to all components which depend on a discriminant and
+have non-trivial finalization.
 
-When we say that "the value of this object ... is assigned to Item",
-does it need to be explicitly stated that this is an assignment operation?
-Does the list of assignment operations in 5.2(3) need to be updated? I
-think not.
-   
 The proposed changes will reduce the number of times the default S'Read
 needs to create a separate anonymous object. Nevertheless, it will
 still be necessary when the caller provides an unconstrained Item with

Questions? Ask the ACAA Technical Agent