CVS difference for ai05s/ai05-0139-2.txt

--- ai05s/ai05-0139-2.txt	2011/03/18 00:11:52	1.13
+++ ai05s/ai05-0139-2.txt	2011/04/07 06:30:23	1.14
@@ -1,4 +1,4 @@
-!standard 4.1(2/2)                                    11-03-16  AI05-0139-2/09
+!standard 4.1(2/2)                                    11-04-06  AI05-0139-2/10
 !standard 4.1.5(0)
 !standard 4.1.6(0)
 !standard 5.5(3)
@@ -249,12 +249,14 @@
    package Ada.Iterator_Interfaces is
 
        type Forward_Iterator is limited interface;
-       function First (Object : Forward_Iterator) return Cursor;
-       function Next (Object : Forward_Iterator; Position : Cursor) return Cursor;
+       function First (Object : Forward_Iterator) return Cursor is abstract;
+       function Next (Object : Forward_Iterator; Position : Cursor) return Cursor
+          is abstract;
 
        type Reversible_Iterator is limited interface and Forward_Iterator;
-       function Last (Object : Reversible_Iterator) return Cursor;
-       function Previous (Object : Reversible_Iterator; Position : Cursor) return Cursor;
+       function Last (Object : Reversible_Iterator) return Cursor is abstract;
+       function Previous (Object : Reversible_Iterator; Position : Cursor)
+          return Cursor is abstract;
 
    end Ada.Iterator_Interfaces;
 
@@ -3840,5 +3842,20 @@
 
 The concern about indexing aspects applied to a private type that turned out to
 be an array type was a red herring -- these are only defined for tagged types.
+
+****************************************************************
+
+From: Edmond Schonberg
+Sent: Tuesday, April 5, 2011  10:26 AM
+
+All the functions in Ada.Iterator_Interfaces should be abstract.
+
+****************************************************************
+
+From: Edmond Schonberg
+Sent: Tuesday, April 5, 2011  10:36 AM
+
+In fact they are in the wording section, but not in the original presentation.
+i guess that part does not get edited further.
 
 ****************************************************************