[multiple changes]

[gcc.git] / gcc / ada / a-iteint.ads

diff --git a/gcc/ada/a-iteint.ads b/gcc/ada/a-iteint.ads
index 935cb2d120896dbd4a394ad6a9eb24324028e96d..192bdcb430b166b4612c1fcaec4af50197c9b4a3 100644 (file)
--- a/gcc/ada/a-iteint.ads
+++ b/gcc/ada/a-iteint.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---             Copyright (C) 2011, Free Software Foundation, Inc.           --
+--          Copyright (C) 2004-2011, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -31,16 +31,21 @@
 ------------------------------------------------------------------------------
 
 generic
-   type Cursor is private;
-   No_Element : Cursor;
-   pragma Unreferenced (No_Element);
+   type Cursor;
+   with function Has_Element (Position : Cursor) return Boolean;
+   pragma Unreferenced (Has_Element);
 package Ada.Iterator_Interfaces is
+   pragma Pure;
+
    type Forward_Iterator is limited interface;
    function First (Object : Forward_Iterator) return Cursor is abstract;
-   function Next (Object : Forward_Iterator; Position : Cursor) 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 is abstract;
-   function Previous (Object : Reversible_Iterator; Position : Cursor)
-     return Cursor is abstract;
+   function Previous
+     (Object   : Reversible_Iterator;
+      Position : Cursor) return Cursor is abstract;
 end Ada.Iterator_Interfaces;