CVS difference for ais/ai-00182.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00182.txt

--- ais/ai-00182.txt	1999/08/31 22:53:56	1.3
+++ ais/ai-00182.txt	1999/10/08 23:41:05	1.4
@@ -1,4 +1,4 @@
-!standard 07.06    (11)                               99-08-31  AI95-00182/04
+!standard 07.06    (11)                               99-10-07  AI95-00182/05
 !standard 07.06.01 (13)
 !class binding interpretation 97-03-19
 !status Corrigendum 2000 99-07-28
@@ -76,28 +76,28 @@
 @dby
 For an @fa<extension_aggregate> whose @fa<ancestor_part> is a @fa<subtype_mark>,
 for each controlled subcomponent of the ancestor part, either Initialize
-is called, or the default initial value is assigned, as appropriate; if the
+is called, or its initial value is assigned, as appropriate; if the
 type of the ancestor part is itself controlled, the Initialize procedure of
 the ancestor type is called, unless that Initialize procedure is abstract.
 
 !corrigendum 7.06.01(13)
 
 @drepl
-The anonymous objects created by function calls and by @fa<aggregates> are
+The anonymous objects created by function calls and by @fa<aggregate>s are
 finalized no later than the end of the innermost enclosing @fa<declarative_item>
 or @fa<statement>; if that is a @fa<compound_statement>, they are finalized
-before starting the execution of any statement within the
+before starting the execution of any @fa<statement> within the
 @fa<compound_statement>.
 @dby
 If the @fa<object_name> in an @fa<object_renaming_declaration>, or the actual
 parameter for a generic formal @b<in out> parameter in a
-@fa<generic_instantiation>, denotes an anonymous object created by a function
-call, or a subcomponent of it, the anonymous object is not finalized until after
-it is no longer accessible via any name. Otherwise, the anonymous objects
-created by function calls and by @fa<aggregates> are finalized no later than the end
-of the innermost enclosing @fa<declarative_item> or @fa<statement>; if that is
-a @fa<compound_statement>, they are finalized before starting the execution of
-any statement within the @fa<compound_statement>.
+@fa<generic_instantiation>, denotes any part of an anonymous object created by
+a function call, the anonymous object is not finalized until after
+it is no longer accessible via any name. Otherwise, an anonymous
+object created by a function call or by an @fa<aggregate> is finalized no later
+than the end of the innermost enclosing @fa<declarative_item> or
+@fa<statement>; if that is a @fa<compound_statement>, it is finalized before
+starting the execution of any @fa<statement> within the @fa<compound_statement>.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent