CVS difference for 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