Generic,procedure and visibility.

Generic,procedure and visibility.

[mferracini]

sorry for the italian-naming :)

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

package body Generico is

package body Nascosto is
procedure Inizia is
begin
Lavora;
end Inizia;
end Nascosto;

begin
lavora;  --error:"lavora" in not visibile
end Generico;
why "lavora" is only visible by pakage "Nascosto" ?
thanks

Re: Generic,procedure and visibility.

[mferracini]

now see this new case:

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;

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

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

thanks

Re: Generic,procedure and visibility.

[Georg Bauhaus]

mferracini <maurizio.ferracini@gmail.com> wrote:

Lovora is the name of a formal parameter of Nascosto.
Therefore the name denotes something if it is used inside
Nascosto.

Do you want to call the subprogram that is to
become the actual parameter value of Lovora?
Where is it?

Re: Generic,procedure and visibility.

[Stephen Leake]

"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

Re: Generic,procedure and visibility.

[Jeffrey Carter]

Stephen Leake wrote:

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

While I agree, I also am aware that some mailers de-indent things.

>>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;

This declares an array type with access components. To have task 
components, it would be

type Task_Array is array (...) of Pippo;

-- 
Jeff Carter
"In the frozen land of Nador they were forced to
eat Robin's minstrels, and there was much rejoicing."
Monty Python & the Holy Grail
70

Re: Generic,procedure and visibility.

[mferracini]

Stephen Leake wrote:


> > 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.

thanks, but
type P_Pippo is visible only in Nascosto.
how export the task pointer outside the package?

maurizio

Re: Generic,procedure and visibility.

[Stephen Leake]

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

> type P_Pippo is visible only in Nascosto.
> how export the task pointer outside the package?

In general, types must be declared in a place where they are visible
in all the places they need to be. 

So if P_Pippo needs to be visible outside of Nascosto, it must be
declared in the spec of Nascosto.

-- 
-- Stephe