Re: Object.Operation and child package

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

pascal.malaise@gmail.com writes:

> Hi Ada05 experts,
>
> Is it normal to reject compilation of Object.Operation notation when
> operation is in a child package:
>
> package Pack is
>   type Typ is tagged null record;
>   procedure Proc1 (Var : in Typ);
> end Pack;
>
> package Pack.Sub is
>   procedure Proc2 (Var : in Typ);
> end Pack.Sub;
>
> with Pack.Sub;
> procedure Proc is
>   Obj : Pack.Typ;
> begin
>   Obj.Proc1;
>   Obj.Proc2;
> end Proc;
>
> The second call does not compile (with gnat):
> proc.adb:6:04: no selector "Proc2" for type "Typ" defined at pack.ads:
> 3

Yes, this is normal because Proc2 is not a primitive operation of Typ
(or, in other words, it is not a method of Typ).  A primitive
operation, by definition, is declared in the same package as its type.

So, in this situation, the only way to call Proc2 is with the
traditional notation:

   Pack.Sub.Proc2 (Obj);

-- 
Ludovic Brenta.