From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Finalization of library level tasks
Date: Tue, 17 Apr 2018 23:23:14 +0200
Organization: Aioe.org NNTP Server
Message-ID: <pb5ok0$1fn9$1@gioia.aioe.org>
References: <pavkou$1go7$1@gioia.aioe.org> <pavm21$ko5$1@dont-email.me>
 <pavmla$1k1o$1@gioia.aioe.org> <pavp2a$81n$1@dont-email.me>
 <pavqa6$1qdj$1@gioia.aioe.org>
 <702e2422-a93f-4200-9749-5122c3d0f899@googlegroups.com>
 <e55e3c35-5f4d-4a6c-a053-b76cf91268d5@googlegroups.com>
 <pb02qj$a5t$1@gioia.aioe.org> <pb1bpo$48m$1@gioia.aioe.org>
 <pb1jec$gnl$1@gioia.aioe.org> <pb1kta$ja4$1@gioia.aioe.org>
 <pb1lum$loe$1@gioia.aioe.org> <pb1n3o$nt9$1@gioia.aioe.org>
 <pb2fbf$516$1@gioia.aioe.org>
 <04f19a56-7fab-416e-8ec0-b9a73e239e90@googlegroups.com>
 <pb4pep$1nov$1@gioia.aioe.org> <pb54bj$8ui$1@dont-email.me>
 <pb55ge$e23$1@gioia.aioe.org> <pb5n0t$1d17$1@gioia.aioe.org>
NNTP-Posting-Host: kQkuQcRDy1QFvWpyB1foYw.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.7.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.8.3
Xref: reader02.eternal-september.org comp.lang.ada:51567
Date: 2018-04-17T23:23:14+02:00
List-Id: <comp.lang.ada>

On 2018-04-17 22:55, J-P. Rosen wrote:
> Le 17/04/2018 à 17:57, Dmitry A. Kazakov a écrit :
>> Yet 'Callable is False when the environment task is neither completed
>> not abnormal. The definition leaks.

ARM C.7.1(10):

"The functions Is_Terminated and Is_Callable return the value of the 
corresponding attribute of the task identified by T.

Ramification: {8652/0115} {AI95-00206-01} These routines can be called 
with an argument identifying the environment task. Is_Terminated will 
always be False for such a call, but Is_Callable (usually True) could be 
False if the environment task is waiting for the termination of 
dependent tasks. Thus, a dependent task can use Is_Callable to determine 
if the main subprogram has completed."

> This is wrong. Can you provide a complete example that shows that? Then
> I'll file a ticket to AdaCore

No way! I want it working. (:-))

P.S. If "main subprogram complete" should mean "environment task 
complete" that is OK to me. However insane the wording sounds to me only 
the semantics counts. Why could not "task complete" mean "will select 
next terminate"? At least it would make some use out of having T'Callable.

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