Re: Wikibook on Ada Programming - Object Orientation

[AdaMagica <christoph.grein@eurocopter.com>]

On 8 Jul., 18:07, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> On Jul 8, 11:34 am, AdaMagica <christoph.gr...@eurocopter.com> wrote:
>
> I wrote a test case and confirm this; there is indeed a problem.
>
> > For a detailed discussion of the problems involved, see my paper in
> > Ada Letters, Volume XIX, Number 4, December 1999, which you can also
> > find here:
>
> >http://www.christ-usch-grein.homepage.t-online.de/Ada/Finalization.html
>
> I'm not sure your solution works in all cases because it uses only one
> "slot" per task, per tagged type, to store the access value to the
> enclosing object. My gut feeling is that this makes assumptions as to
> the ordering of calls to Adjust and Finalize that may not be always
> correct in the presence of multiple objects of the same type.

But this is the essence of the paper - it *can only work for limited
types* just because of all this. There is no such solution with mixins
for non-limited!