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: Wed, 18 Apr 2018 10:25:47 +0200
Organization: Aioe.org NNTP Server
Message-ID: <pb6veb$139g$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>
 <da57e8f5-8fa3-4144-9c82-5ca1fa623886@googlegroups.com>
NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.7.0
X-Notice: Filtered by postfilter v. 0.8.3
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:51577
Date: 2018-04-18T10:25:47+02:00
List-Id: <comp.lang.ada>

On 18/04/2018 10:06, AdaMagica 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.
> 
> Dmitry, please quote the RM where you can find this rule - I'm certain you will not find it.

It is not a rule, it is a possible implementation of finalization as 
defined in 7.6.1(4).

Regarding the semantics of T'Callable, it is basically undefined except 
for the environment task, which implicitly defines otherwise undefined 
"completed" as "main completed" and that in turn implies Callable = False.

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