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: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Finalization of library level tasks
Date: Wed, 18 Apr 2018 07:26:40 +0200
Organization: Adalog
Message-ID: <pb6kuf$jgl$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>
 <pb5ok0$1fn9$1@gioia.aioe.org>
NNTP-Posting-Host: XdjV4tYMtFfMKGpv0MuDzQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
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
Openpgp: preference=signencrypt
Content-Language: fr
X-Notice: Filtered by postfilter v. 0.8.3
Xref: reader02.eternal-september.org comp.lang.ada:51572
Date: 2018-04-18T07:26:40+02:00
List-Id: <comp.lang.ada>

Le 17/04/2018 à 23:23, Dmitry A. Kazakov a écrit :
> 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.
The paragraph you quote says "has completed", not "complete". Remember,
the main subprogram is called by the environment task. So, the main
subprogram completes and exits, then the environment task waits for
dependents, at which point its 'callable becomes false.

> Why could not "task complete" mean "will select
> next terminate"? At least it would make some use out of having T'Callable.
'Callable is very useful for regular tasks. Your quote suggests that
there might also be some use for it on the environment task, which is
not obvious.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr