with gnatcoll.sql.Exec;


private
with gnatcoll.sql.postgres;



package db_connection_pool
is

   function  fetch return gnatcoll.sql.Exec.Database_Connection;
   procedure free (the_Connection : in gnatcoll.sql.Exec.Database_Connection);





private

   type Database_Connections is array (1 .. 200) of gnatcoll.sql.Exec.Database_Connection;



   protected
   safe_Connections
   is
      procedure fetch (new_Connection :     out gnatcoll.sql.Exec.Database_Connection);
      procedure free  (the_Connection : in      gnatcoll.sql.Exec.Database_Connection);

   private
      Available      : Database_Connections;
      next_Available : Natural             := 0;
   end safe_Connections;



end db_connection_pool;