Re: Subprogram Renaming

[ncohen@watson.ibm.com (Norman H. Cohen)]

In article <kdd95h53l3.fsf@dsd.camb>, johndoe (johndoe) provided
several good examples of renaming-as-body.  This capability is especially
useful when a subprogram is implemented using generic instantiation.
For example: 

   generic
      type Element_Type is private;
   package Generic_Dequeue_Object is
      pragma Elaborate_Body;
      procedure Add_To_Front (Item: in Element_Type);
      procedure Add_To_Back (Item: in Element_Type);
      procedure Remove_From_Front (Item: out Element_Type);
      procedure Remove_From_Back (Item: out Element_Type);
   end Generic_Dequeue_Object;

   package Integer_Stack_Object is
      procedure Push (Item: in Integer);
      procedure Pop (Item: out Integer);
   end Integer_Stack_Object;

   with Generic_Dequeue_Object;
   package body Integer_Stack_Object is

      package Integer_Dequeue_Object is
         new Generic_Dequeue_Object (Integer);

      procedure Push (Item: in Integer)
         renames Integer_Dequeue_Object.Add_To_Front;

      procedure Pop (Item: out Integer)
         renames Integer_Dequeue_Object.Remove_From_Front;

   end Integer_Stack_Object;

--
Norman H. Cohen    ncohen@watson.ibm.com