Re: Extending a third party tagged type while adding finalization

[AdaMagica <christ-usch.grein@t-online.de>]

Am Montag, 27. November 2017 20:53:59 UTC+1 schrieb Jere:
> On Monday, November 27, 2017 at 1:37:22 PM UTC-5, AdaMagica wrote:
> > The problem is in your generic parameter part. See section 3 of my paper and download the full code (see the end of the paper).
> > 
> > It's really a problem that opens the gates of hell as I've written as an intro.
> > It can definitly only work for limited types.
> 
> Sorry about that.  I copied it from your paper (and changed some names) 
> but I think I copied from the wrong place.  I downloaded code, added 
> controlled components to both Parent and Final.  I saw the same results
> (out of order initialization and finalization).  I don't know how you
> feel about reposting your copyrighted code so here is a handmade main
> linking to your code to show what I mean:

As far as I can see from browsing your code, it's the same as my code in the test program included in the zip file.
> ******************************************
> 
> The output for this is:
> Initialize C1
> Initialize Final
> Initialize C2
> Starting
> Finalize C2
> Finalize Final
> Finalize C1
> 
> which is the same thing I was seeing with my version.  Final is initialized
> before C2 and C2 is finalized before Final. 

Yes, that's a side effect of the selfreference. Too bad. 

> I can repost the modified version of your code if this isn't sufficient to
> show the issue.  I just wasn't sure if I should.  The output from the
> modified copy of your code:

There's a commented output of the test program included in my zip file.

So I think you got it working, no more problems with further derivations.

I do not think there is a copyright problem, since the code has been published in Ada Letters. If you want to use it, you may want to add a link to this magazine, so that readers of your code can find further enlightenment :-) Or keep a copy of the zip file alongside with your code.