Re: Using the "Terminated" aspect for a task passed to a generic

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

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