CVS difference for ais/ai-00171.txt

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

--- ais/ai-00171.txt	1999/08/20 03:59:44	1.3
+++ ais/ai-00171.txt	1999/08/31 22:53:55	1.4
@@ -1,4 +1,9 @@
-!standard 03.08    (18)                               99-08-17  AI95-00171/04
+!standard 03.08    (18)                               99-08-31  AI95-00171/04
+!standard 03.03.01 (18)
+!standard 04.03.01 (19)
+!standard 04.08    (10)
+!standard 09.04    (14)
+!standard 09.05.02 (22)
 !class binding interpretation 98-03-19
 !status Corrigendum 2000 99-08-17
 !status WG9 approved 98-06-12
@@ -6,6 +11,7 @@
 !status received 96-11-16
 !priority Low
 !difficulty Hard
+!qualifier Omission
 !subject Elaboration of subtype_indications with per-object constraints
 
 !summary
@@ -45,12 +51,13 @@
 The elaboration of per-object constraints is mentioned in (at least)
 the following other places where objects are created:
 
-  4.3.1(19)   creating record aggregates
-  4.8(10)     creating heap objects via uninitialized allocators
-  9.4(14)     creating a protected object
-                (This one is supposed to be redundant with, but in fact
-                 appears to be inconsistent with 3.3.1.)
+  4.3.1(19)  creating record aggregates
 
+  4.8(10)    creating heap objects via uninitialized allocators
+
+  9.4(14)    creating a protected object (This one is supposed to be redundant
+                 with, but in fact appears to be inconsistent with 3.3.1.)
+
 According to a strict reading, elaborating the per-object constraint would
 appear to involve reevaluating the non-per-object expressions (since there
 doesn't seem to be any separate definition of what happens when a per-object
@@ -142,12 +149,12 @@
 !corrigendum 3.03.01(18)
 
 @drepl
-@xhang<   3.@tabThe object is created, and, if there is not an initialization
+@xhang<@xterms<   3.>The object is created, and, if there is not an initialization
 expression, any per-object expressions (see 3.8) are evaluated
 and any implicit initial values for the object or for its
 subcomponents are obtained as determined by the nominal subtype.>
 @dby
-@xhang<   3.@tabThe object is created, and, if there is not an initialization
+@xhang<@xterms<   3.>The object is created, and, if there is not an initialization
 expression, any per-object constraints (see 3.8) are elaborated
 and any implicit initial values for the object or for its
 subcomponents are obtained as determined by the nominal subtype.>

Questions? Ask the ACAA Technical Agent