CVS difference for ais/ai-00391.txt

Differences between 1.6 and version 1.7
Log of other versions for file ais/ai-00391.txt

--- ais/ai-00391.txt	2005/01/07 03:07:45	1.6
+++ ais/ai-00391.txt	2005/08/21 06:00:37	1.7
@@ -1,4 +1,4 @@
-!standard 03.09.03    (04)                          04-12-09  AI95-00391/04
+!standard 03.09.03    (04)                          05-07-27  AI95-00391/05
 !standard 03.04       (27)
 !standard 03.09.01    (04)
 !standard 03.09.03    (06)
@@ -110,7 +110,8 @@
    * Otherwise, the subprogram shall be overridden with a nonabstract
      subprogram {or, in the case of a private extension inheriting
      a function with a controlling result, have a full type that is a
-     null extension}; ...
+     null extension}; ... private part. {Such a subprogram is said to
+     *require overriding*.} ...
 
 
 !discussion
@@ -208,9 +209,10 @@
 in the case of a private extension inheriting a function with a controlling
 result, have a full type that is a null extension; for a type declared in the
 visible part of a package, the overriding may be either in the visible or the
-private part. However, if the type is a generic formal type, the subprogram
-need not be overridden for the formal type itself; a nonabstract version will
-necessarily be provided by the actual type.
+private part. Such a subprogram is said to @i<require overridding>. However, if
+the type is a generic formal type, the subprogram need not be overridden for
+the formal type itself; a nonabstract version will necessarily be provided by
+the actual type.
 
 
 !ACATS test

Questions? Ask the ACAA Technical Agent