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.6 required=5.0 tests=BAYES_40,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,260f69e4266f58b0
X-Google-Attributes: gid103376,public
From: john schneider <j-schneider@ti.com>
Subject: Re: instantiation of a procedure
Date: 1997/03/07
Message-ID: <33207554.41C67EA6@ti.com>#1/1
X-Deja-AN: 223854057
References: <5fnavj$ocs@acmez.gatech.edu>
Newsgroups: comp.lang.ada
Date: 1997-03-07T00:00:00+00:00
List-Id: <comp.lang.ada>


Brian Franklin wrote:
> 
> generic
>  type stuff1;
>  with function stuff2;
> package foo1 is
> .
> .
>   generic
>     with procedure stuff3;
>     procedure prog1;
>     .
>     .
>     end prog1;
> .
> .
> end package foo1;
> 
> I know how to instantiate the package and the generics
> preceding the package statement. But how do I instantiate the
> procedure stuff3 inside the package?

with fool;

procedure use_fool is

   type local_type is ....;

   function local_func ....;

   procedure local_proc;

   package my_fool is new fool( stuff1 => local_type, 
                                stuff2 => local_func );

   procedure THATS_IT is new my_fool.prog1( stuff3 => local_proc );

begin

   --
   -- In here you can use local_func, local_proc, the package
   -- 'my_fool', and the procedure 'THATS_IT'
   --
   null;

end use_fool;


John Schneider
j-schneider@ti.com

The opinions are mine, but you are welcome to borrow them.