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!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Using the "Terminated" aspect for a task passed to a generic
Date: Mon, 23 Apr 2018 18:23:42 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <pbl1ae$m6v$1@dont-email.me>
References: <f2cc5db4-1abf-4a4c-92ed-089e0e7d6d21@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 23 Apr 2018 16:23:42 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="a4d69bd33244f804ccdfcf18cbb7db12";
	logging-data="22751"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18l6QyOVFHCNWqY/nUCqc6/9Ohzl08Bv+s="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.7.0
In-Reply-To: <f2cc5db4-1abf-4a4c-92ed-089e0e7d6d21@googlegroups.com>
Content-Language: en-US
Cancel-Lock: sha1:/Z/RAQJtvcpk/t/dK9MuMlD7gaw=
Xref: reader02.eternal-september.org comp.lang.ada:51678
Date: 2018-04-23T18:23:42+02:00
List-Id: <comp.lang.ada>

On 04/23/2018 04:20 PM, NiGHTS wrote:
> 
> generic
> 
>          type Managed_Task_Type is limited private;
> 
> package WD is
> 
>          task WD_Thread;
> 
> end WD;

Ada doesn't have a generic formal task type. Within WD, the only operations you 
have on the type are 'Address, 'Size, "in", and "not in". (I thinks that's it. 
If I've forgotten some, they're similar in utility.) If you want to apply any 
other operation, you have to require it as a generic formal subprogram:

generic
    type Managed_Task is limited private;
    with function Terminated (T : Managed_Task) return Boolean;
package WD is ...

-- 
Jeff Carter
"When danger reared its ugly head, he bravely
turned his tail and fled."
Monty Python and the Holy Grail
60