Re: Task discriminants

[Martin Krischik <krischik@users.sourceforge.net>]

Dave Levy wrote:

> Hi
> 
> Suppose one has a task type with a discriminant:
> 
>     task type A_Task( Id : integer);
> 
> and one wishes to declare a set of tasks with initialised discriminants:
>     t1 : A_Task(1);
>     t2 : A_Task(2);
>     t3 : A_Task(3);
> 
> How could one declare them as an array of tasks with each one getting an
> initialised discriminant? Perhaps something like:
> 
>     The_Tasks: array (1..3) of A_Task( Id => 1,2,3 );
> 
> Except I tried this with Gnat and it won't compile.

Of corse not! Tasks are indefinite type and can't be stored in arrays. You
can store an access to a task in an array.

With Regards

Martin

PS: I could not find anything in the RM: Does anybody know if task are also
limited.

-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com