Re: Extending A Generic Signature Package

[jsa@alexandria (Jon S Anthony)]

In article <5gtvbv$1nj@pandora.cs.utwente.nl> boschg@cs.utwente.nl (Geert Bosch) writes:

> Dispatching occurs when you use (pointers to) class-wide types like
> in the following case:
> 
>    declare
>        type Object_Ptr is access all Base'Class;
>       X : Object_Ptr := new Base;
>    begin
>       Op1 (X.all);
>    end;

Just to be clear, "pointers" are only indirectly relevant to
dispatching.  The key is passing a class wide type argument(s) to a
controlling operand(s) of a primitive operation.  For example, there
is no need of a pointer in your above example:

    declare
       X : Base'Class := Get_Object;
    begin
       Op1(X);
    end;

/Jon
-- 
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com