CVS difference for ais/ai-20218.txt

Differences between 1.16 and version 1.17
Log of other versions for file ais/ai-20218.txt

--- ais/ai-20218.txt	2004/11/23 02:02:07	1.16
+++ ais/ai-20218.txt	2004/11/25 03:13:31	1.17
@@ -1,7 +1,8 @@
-!standard 8.3(26)                                    04-11-14  AI95-00218-03/07
+!standard 8.3(26)                                    04-11-24  AI95-00218-03/08
 !standard 2.9(2)
 !standard 6.1(2)
 !standard 6.1(3)
+!standard 6.1(30)
 !standard 6.3(2)
 !standard 8.5.4(2)
 !standard 10.1.3(3)
@@ -121,11 +122,6 @@
 
        overriding
 
-Add the following to 6.1(1):
-
-An overriding_clause allows the programmer
-to specify whether overriding is intended (see 8.3).
-
 Change the syntax in 6.1 to read:
 
 overriding_indicator ::= [not] overriding
@@ -142,6 +138,11 @@
     [overriding_indicator]
     subprogram_specification is
 
+Add the following after 6.1(30):
+
+An overriding_indicator is used to indicate whether overriding is intended.
+See 8.3, "Visibility".
+
 Add to 8.3 after paragraph 26:
 
 If a subprogram_declaration, abstract_subprogram_declaration, subprogram_body,
@@ -628,16 +629,6 @@
 !comment @dinsl
 !comment @b<overriding>
 
-!corrigendum 6.1(01)
-
-@drepl
-A @fa{subprogram_declaration} declares a procedure or
-function.
-@dby
-A @fa{subprogram_declaration} declares a procedure or
-function. An @fa{overriding_clause} allows the programmer
-to specify whether overriding is intended (see 8.3).
-
 !corrigendum 6.1(02)
 
 @drepl
@@ -674,6 +665,16 @@
    >@ft<@b<begin>>@fa<
       handled_sequence_of_statements
    >@ft<@b<end>>@fa< [designator];>>
+
+!corrigendum 6.1(30)
+
+@dinsa
+A subprogram declared by an @fa<abstract_subprogram_declaration> is abstract; a
+subprogram declared by a @fa<subprogram_declaration> is not. See 3.9.3,
+"Abstract Types and Subprograms".
+@dinst
+An @fa<overriding_indicator> is used to indicate whether overriding is
+intended. See 8.3, "Visibility".
 
 !corrigendum 8.3(26)
 

Questions? Ask the ACAA Technical Agent