Re: Finalization of library level tasks

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

Am Montag, 30. April 2018 18:52:21 UTC+2 schrieb Jeffrey R. Carter:
> On 04/30/2018 02:27 PM, AdaMagica wrote:
> > 
> > In short: If you look inside a class-wide object, you'll find inside an object of a specific type within this class (as Randy said in a previous post). What's the property of this specific object seen as a class-wide object that's not a property of the specific object?
> 
> About the only difference is that operations dispatch with a class-wide 
> parameter and don't with a parameter of a specific type.
> 
> Op (Parent'Class (X) );
> 
> and
> 
> Op (X);
> 
> end up executing the same code. That Kazakov says they don't is probably an 
> indication that he, as he often does, is not talking about Ada.

Of course he's not talking about current Ada, he's talking about an Ada as he would like her to be as there is no Finalize'Class he would like to have.
But he is correct on this example you gave: With redispatch, OP(X) and OP(Parent'Class(X)) are not the same.

What I do not understand is the model he wants to have for Finalize'Class. The idea is quite complicated because of Rosen's trick, redispatch etc. Dmitry only posts some fragmentary ideas without ever giving a complete elaboration. So we, if we try to understand and argue with him, have to imagine and guess what the hell he has in mind.

As in this (incomplete) post of his:
> Now this procedure:
>    procedure Finalize (X : in out T2);
> if you pass T3 to it then

You cannot directly pass an x of type T3 to this Finalize. You can make his example work if you add quite some more code. His examples like this one, if really current Ada (and not some wishful version), are rarely complete.