Re: Generic,procedure and visibility.

[Stephen Leake <stephen_leake@acm.org>]

"mferracini" <maurizio.ferracini@gmail.com> writes:

> now see this new case:
> 
> package Generico is
> generic
> with procedure Lavora;
> package Nascosto is
> procedure Inizia;
> end Nascosto;
> end Generico;

Please use standard indentation; it makes things much easier to read:

package Generico is
   generic
      with procedure Lavora;
   package Nascosto is
      procedure Inizia;
   end Nascosto;
end Generico;

package body Generico is

   package body Nascosto is

      task type Pippo is
         entry Fai;
      end Pippo;

      task body Pippo is
      begin
         accept Fai;
         Lavora;
      end Pippo;

      type P_Pippo is access Pippo;
      x:p_pippo;

      procedure Inizia is
      begin
         X:=new Pippo;
         X.Fai;
      end Inizia;
   end Nascosto;

begin
   null;
end Generico;

Note that you _don't_ need the "begin null;" at the end of the
package; that is optional, and should only be there if it does some
initialization.


> evry time that call i [thing that is a new generico.nascosto].inizia
> a new task born.

Yes; X := new Pippo; creates a new task.

> so i want to create a array of this task for manage them.
> how i can do?

type Task_Array is array (1 .. 10) of P_Pippo;

Have Inizia return the pointer it creates, so the user can store it in
the array.

-- 
-- Stephe