Specification of package Tgx.Utilities







 ========================================================================= --
 ===                                                                   === --
 ===                 Top Graph'X CORBA Implementation                  === --
 ===                                                                   === --
 ===                 Copyright (c) 1996, Top Graph'X.                  === --
 ===                                                                   === --
 ===                     --- Copyright Notice ---                      === --
 ===                                                                   === --
 ===    This software is protected as an unpublished work under the    === --
 ===     Copyright Act of 1976.  All rights reserved.  Top Graph'X.    === --
 ===                                                                   === --
 ========================================================================= --

package Tgx.Utilities is
   generic
   type To_Compare is ( <> );
   function Min (Left, Right : in To_Compare) return To_Compare;

   generic
   type To_Compare is ( <> );
   function Max (Left, Right : in To_Compare) return To_Compare;

   generic
      type Item_Type is private ;
      type Index_Type is range <> ;
      type Table_Type is array (Index_Type range <>) of Item_Type ;

      type Context_Type is limited private ;

      with function Greater_Than ( Context     : in Context_Type ;
                                   Left, Right : in Item_Type )
         return Boolean ;
   procedure Sort_With_Context ( Context : in Context_Type ;
                                 Table   : in out Table_Type ) ;

   generic
      type Item_Type is private ;
      type Index_Type is range <> ;
      type Table_Type is array (Index_Type range <>) of Item_Type ;
      
      with function ">" ( Left, Right : in Item_Type ) return Boolean is <> ;
   procedure Sort ( Table : in out Table_Type ) ;
end Tgx.Utilities;



List of definition uses










This page was generated by PrismTech's ada2html on Friday Mai 12 2006 16:18