CVS difference for ais/ai-00373.txt

Differences between 1.8 and version 1.9
Log of other versions for file ais/ai-00373.txt

--- ais/ai-00373.txt	2005/06/16 23:47:36	1.8
+++ ais/ai-00373.txt	2005/08/05 04:36:42	1.9
@@ -1,4 +1,4 @@
-!standard 03.03.01(08)                                 05-05-18  AI95-00373/06
+!standard 03.03.01(08)                                 05-07-20  AI95-00373/07
 !standard 03.03.01(18/1)
 !standard 03.03.01(19)
 !standard 03.03.01(20)
@@ -98,7 +98,7 @@
   designated type is created with tag, if any, determined by
   the subtype_mark of the subtype_indication. This object is then
   initialized by default (see 3.3.1) using the subtype_indication
-  as its nominal subtype. A check is made that the value of the
+  to determine its nominal subtype. A check is made that the value of the
   object belongs to the designated subtype. Constraint_Error is
   raised if this check fails. This check and the initialization
   of the object are performed in an arbitrary order.
@@ -112,8 +112,8 @@
   called on that subcomponent. Similarly, if the object that is initialized by
   default as a whole is controlled, Initialize is called on the object.
 
-  For an extension_aggregate whose ancestor_part is a subtype_mark, if the type
-  of the ancestor part is controlled, the Initialize procedure of the
+  For an extension_aggregate whose ancestor_part is a subtype_mark denoting
+  a controlled subtype, the Initialize procedure of the
   ancestor type is called, unless that Initialize procedure is abstract.
 
 !example
@@ -336,8 +336,8 @@
 @xbullet<If the designated type is composite, an object of the
 designated type is created with tag, if any, determined by
 the @fa<subtype_mark> of the @fa<subtype_indication>. This object is
-then initialized by default (see 3.3.1) using the @fa<subtype_indication> as
-its nominal subtype. A check is made that the value of the
+then initialized by default (see 3.3.1) using the @fa<subtype_indication> to
+determine its nominal subtype. A check is made that the value of the
 object belongs to the designated subtype. Constraint_Error is
 raised if this check fails. This check and the initialization
 of the object are performed in an arbitrary order.>
@@ -368,8 +368,8 @@
 ancestor part is itself controlled, the Initialize procedure of the ancestor
 type is called, unless that Initialize procedure is abstract.
 @dby
-For an @fa<extension_aggregate> whose @fa<ancestor_part> is a @fa<subtype_mark>,
-if the type of the @fa<ancestor_part> is controlled, the Initialize procedure
+For an @fa<extension_aggregate> whose @fa<ancestor_part> is a @fa<subtype_mark>
+denoting a controlled subtype, the Initialize procedure
 of the ancestor type is called, unless that Initialize procedure is abstract.
 
 !ACATS test

Questions? Ask the ACAA Technical Agent