--  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 Ada.Finalization;

with SGL.Integer_Operations;
with SGL.Bidirectional_Iterators;

generic
   -- Types
   type Container is new Ada.Finalization.Controlled with private;
   type Container_Pointer is access Container;
   type Container_Constant_Pointer is access constant Container;

   with package Bidirectional_Iterators is new SGL.Bidirectional_Iterators(<>);
   with package Reverse_Iterators is new SGL.Bidirectional_Iterators(<>);

   with package Size_Type_Operations is new SGL.Integer_Operations(<>);
   with package Difference_Type_Operations is new SGL.Integer_Operations(<>);

   -- XXX Gnat 3.09 bug forces renaming
   type Iterator_Category_GNAT is private;
   with function Verify_Tag(T: Iterator_Category_GNAT)
                            return Iterator_Category_GNAT is <>;

   -- Container Operations

   with function Start(C: in Container_Pointer)
                       return Bidirectional_Iterators.Iterator is <>;
   with function Start(C: in Container)
                       return Bidirectional_Iterators.Constant_Iterator is <>;
   with function Finish(C: in Container_Pointer)
                        return Bidirectional_Iterators.Iterator is <>;
   with function Finish(C: in Container)
                        return Bidirectional_Iterators.Constant_Iterator is <>;

   with function Size(C: in Container) return Size_Type_Operations.T is <>;
   with function Max_Size(C: in Container) return Size_Type_Operations.T is <>;
   with function Empty(C: in Container) return Boolean is <>;
   with procedure Swap(C1, C2: in out Container) is <>;

   -- Forward Container Operations

   with function "="(A, B : in Container) return Boolean is <>;

   -- Reversible Container Operations

   with function RStart(C: in Container_Pointer)
                        return Reverse_Iterators.Iterator is <>;
   with function RStart(C: in Container)
                        return Reverse_Iterators.Constant_Iterator is <>;
   with function RFinish(C: in Container_Pointer)
                         return Reverse_Iterators.Iterator is <>;
   with function RFinish(C: in Container)
                         return Reverse_Iterators.Constant_Iterator is <>;

package SGL.Reversible_Containers is
   subtype Value_Type is Bidirectional_Iterators.Value_Type;
   procedure Assign(To: in out Value_Type; From: Value_Type)
     renames Bidirectional_Iterators.Assign;
   subtype Iterator is Bidirectional_Iterators.Iterator;
   subtype Constant_Iterator is Bidirectional_Iterators.Iterator;
   subtype Reverse_Iterator is Reverse_Iterators.Iterator;
   subtype Constant_Reverse_Iterator is Reverse_Iterators.Iterator;
   subtype Pointer is Bidirectional_Iterators.Pointer;
   subtype Constant_Pointer is Bidirectional_Iterators.Constant_Pointer;
   subtype Size_Type is Size_Type_Operations.T;
   subtype Difference_Type is Difference_Type_Operations.T;
   subtype Distance_Type is Difference_Type_Operations.T;
   package Distance_Type_Operations renames Difference_Type_Operations;

   -- XXX Gnat 3.09 bug forces renaming
   subtype Iterator_Category is Iterator_Category_GNAT;

   generic
      with function "<"(A, B : in Container) return Boolean is <>;
      with function ">"(A, B : in Container) return Boolean is <>;
      with function "<="(A, B : in Container) return Boolean is <>;
      with function ">="(A, B : in Container) return Boolean is <>;
   package Optional_Operations is end;

end SGL.Reversible_Containers;