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

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-04-23 16:20, NiGHTS wrote:
> Having looked carefully through 2 Ada reference books, one dedicated to tasking, and using Google to no end, I am stumped on the following Ada dilemma.
> 
> generic
> 
>          type Managed_Task_Type is limited private;

I am not sure if that would work, but you could try your luck with

    type Managed_Task_Type is
       new Task_Type and task interface with private;

or

    type Managed_Task_Type is
       synchronized new Task_Type with private;

A better way, almost always, is to put the task into a tagged object and 
pass that down:

    task type Task_Type is ...
    type Task_Object is
       new Ada.Finalization.Limited_Controlled with
    record
       The_Task : Task_Type;
    end record;
    function Is_Terminated (Object : Task_Object) return Boolean is
    begin
       return Object.The_Task'Terminated;
    end Is_Terminated;

generic
    type Managed_Task_Type is new Task_Object with private;
package WD is
     ...

    task body WD_Thread is
       M : Managed_Task_Type;
    begin
       while not M.Is_Terminated loop
          ...
       end loop;

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