--  Copyright (c) 1996
--  Rensselaer Polytechnic Institute
--
--  Permission to use, copy, modify, distribute and sell this software
--  and its documentation for any purpose is hereby granted without fee,
--  provided that the above copyright notice appear in all copies and
--  that both that copyright notice and this permission notice appear
--  in supporting documentation.  Rensselaer Polytechnic Institute makes no
--  representations about the suitability of this software for any
--  purpose.  It is provided "as is" without express or implied warranty.
--

with SGL.Bidirectional_Constant_Iterators;

generic
   with package Bidirectional_Constant_Iterators is
    new SGL.Bidirectional_Constant_Iterators(<>);

package SGL.Reverse_Bidirectional_Constant_Iterators is
   type Constant_Reverse_Iterator is private;

   subtype Value_Type is Bidirectional_Constant_Iterators.Value_Type;

   subtype Constant_Iterator is
     Bidirectional_Constant_Iterators.Constant_Iterator;
   subtype Constant_Pointer is
     Bidirectional_Constant_Iterators.Constant_Pointer;

   subtype Distance_Type is Bidirectional_Constant_Iterators.Distance_Type;
   package Distance_Type_Operations renames
     Bidirectional_Constant_Iterators.Distance_Type_Operations;
   subtype Iterator_Category is
     Bidirectional_Constant_Iterators.Iterator_Category;

   procedure Inc(I: in out Constant_Reverse_Iterator);
   pragma Inline (Inc);

   function Next(I: in Constant_Reverse_Iterator)
                 return Constant_Reverse_Iterator;
   pragma Inline (Next);

   procedure Dec(I: in out Constant_Reverse_Iterator);
   pragma Inline (Dec);

   function Prev(I: in Constant_Reverse_Iterator)
                 return Constant_Reverse_Iterator;
   pragma Inline (Prev);

   function "=" (I, J : in Constant_Reverse_Iterator) return Boolean;
   pragma Inline ("=");

   function Val(I: in Constant_Reverse_Iterator) return Value_Type;
   pragma Inline (Val);

   function Ref(I: in Constant_Reverse_Iterator) return Constant_Pointer;
   pragma Inline (Ref);

   function Make_Reverse(I: in Constant_Iterator)
                         return Constant_Reverse_Iterator;
   pragma Inline(Make_Reverse);

   function Get_Iterator(I: in Constant_Reverse_Iterator)
                         return Constant_Iterator;
   pragma Inline(Get_Iterator);


   --
   -- private
   --
private

   type Constant_Reverse_Iterator is record
      Iter : Constant_Iterator;
   end record;

end SGL.Reverse_Bidirectional_Constant_Iterators;