Re: Finalization of library level tasks

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

On 2018-04-17 17:37, Jeffrey R. Carter wrote:
> On 04/17/2018 02:31 PM, Dmitry A. Kazakov wrote:
>>
>> Quite naturally, when the master is being finalized it marks the task 
>> as terminating and waits for its completion. The task marked for 
>> termination has T'Callable false and so terminates.
> 
> 'Callable returns True if the task is completed or abnormal. I would 
> think that a task that can evaluate the condition of an "exit when" 
> would be neither.

Yet 'Callable is False when the environment task is neither completed 
not abnormal. The definition leaks.

>> I hoped that T'Callable, if defined meaningfully, could spare me this 
>> mess.
> 
> I'm pretty sure that Is_Callable (Environment_Task), as defined in the 
> ARM, does what you want and spares you that mess.

What about this deduction: if the environment task is not callable then 
any other task is not callable, because it depends on the environment task.

In that case any task allocated for a library level access type could 
use T'Callable (Is_Callable = 'Callable according to RM). Therefore GNAT 
is still correct.

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