Re: Finalization of library level tasks

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-04-29 19:41, AdaMagica wrote:
> Am Samstag, 28. April 2018 10:35:34 UTC+2 schrieb Dmitry A. Kazakov:
> 
>> All these instances *must* be finalized: X of T1 <- T2 <- T3 must be
>> finalized in the order
>>
>>      Finalize (T1'Class (X));
>>      Finalize (T2'Class (X));
>>      Finalize (T3'Class (X));
> I don't have the slightest idea what should happen there.

Anything necessary to finalize the class-wide object. E.g. informing a 
task component to complete:

    type T1;
    task type Worker_Type (Parent : not null access T1'Class) is
       entry Shutdown;
    end Worker_Type;
    type T1 is new Ada.Finalization.Limited_Controlled with record
       Worker : Worker_Type;
    end record;

    procedure Finalize (Object : in out T1'Class) is
    begin
       Object.Worker.Shutdown;
    end Finalize;

Differently to type-specific Finalize in a class-wide Finalize it is OK 
to make dispatching calls.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de