Re: Dynamic redispatching

[Ted Dennison <dennison@telepath.com>]

In article <m3hfgazg42.fsf@baka.infomatch.bc.ca>,
  Ray Blaak <blaak@infomatch.com> wrote:
> Perhaps this would work:
>
>    Item.all := P1.Dispatch;

Yes, that would work for the example I gave. However, it won't for this
example (which is closer to what I'm trying to do):

package P1 is

   type Instance is tagged null record;
   subtype Class is Instance'Class;
   type Handle is access all Class;

   function Dispatch return Instance;
   function Main_Dispatcher return Class;

   type Dispatcher_Routine is access function return Class;
   Default_Dispatcher : Dispatcher_Routine := Main_Dispatcher'access;
end P1;

with P1;
with P2;

procedure Test is

   Item : P1.Handle := new P2.Instance;
begin
   Item.all := P1.Default_Dispatcher.all;
end Test;

IOW: I want to be able to supply function pointers that dispatch. Making
the type an "access function return Instance" doesn't work, because
P2.Dispatch'access isn't compatable with that type (P1.Instance and
P2.Instance are different types). So I tried making it classwide. That
works, except that the classwide function for some reason can't
redispatch to the appropriate primitive function.

Is this just a limitation of functions in Ada? Would changing everything
to procedures with "out" parameters solve the problem?

--
T.E.D.

http://www.telepath.com/~dennison/Ted/TED.html


Sent via Deja.com http://www.deja.com/
Before you buy.