Re: controlled type in generic package?

["Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1016 bytes --]


<dmitry6243@my-deja.com> a �crit dans le message news: 95tpba$9va$1@nnrp1.deja.com...
>[...]
> >    procedure P is
> >       type Child is new Parent with...;
> >       procedure Proc (X : Child) is... end Proc;
> >    begin
> >       V := new Child;
> >    end P;
> >
>
> This is an issue of how dispatch tables are implemented and maintained
> at run-time. One could imagine a mechanism that would restore the
> dispatch table, when a derived type goes away. The type tag could
> be "redirected" to the base type tag, or the table slots corresponding
> to the overriden methods could be restored etc. What is really nasty,
> is that the semantic of V.Proc would depend on the context.
>
No, you miss the point. A (dispatching) call to P.Proc could access P's local variables, but such variables would not exist at the
time P.Proc is called.

--
---------------------------------------------------------
           J-P. Rosen (Rosen.Adalog@wanadoo.fr)
Visit Adalog's web site at http://pro.wanadoo.fr/adalog