CVS difference for ais/ai-00149.txt

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

--- ais/ai-00149.txt	2000/12/07 03:49:44	1.4
+++ ais/ai-00149.txt	2002/03/13 00:48:26	1.5
@@ -927,3 +927,28 @@
 
 ****************************************************************
 
+!topic Obsolete reference to Finalization.Initialize being abstract
+!reference AARM 4.3(5.c)
+!from Christoph Grein 02-03-06
+!discussion
+This is not a RM bug, since it is in the annotated version only. The sentence
+in question states:
+
+5.c If the ancestor_part is a subtype_mark the Initialize procedure for the
+    ancestor type is applied to the ancestor part after default-initializing
+    it[, unless the procedure is abstract,] as described in 7.6.
+
+These operations however are not abstract (it is a remnant of the Ada9X phase)
+and thus the part in brackets above should be removed.
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Wednesday, March 6, 2002  8:20 AM
+
+Although the Initialize procedure on Finalization.Controlled is not abstract,
+it is still possible that some (abstract) descendant of this type might have
+an abstract Initialize procedure.
+
+****************************************************************
+

Questions? Ask the ACAA Technical Agent