From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ac5c3bc59168d76
X-Google-Attributes: gid103376,public
From: ncohen@watson.ibm.com (Norman H. Cohen)
Subject: Re: Subprogram Renaming
Date: 1996/04/10
Message-ID: <4kgde6$q8t@watnews1.watson.ibm.com>#1/1
X-Deja-AN: 146727341
distribution: world
references: <md5:FE4AB546A8392541EDC1E3FE12E3D8AF>
  <316AEA8D.7600@csehp3.mdc.com> <kdd95h53l3.fsf@dsd.camb>
organization: IBM T.J. Watson Research Center
reply-to: ncohen@watson.ibm.com
newsgroups: comp.lang.ada
Date: 1996-04-10T00:00:00+00:00
List-Id: <comp.lang.ada>

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