RE: Generic Formal Parameter for a Task Type

["Beard, Frank" <beardf@spawar.navy.mil>]

-----Original Message-----
From: Tucker Taft [mailto:stt@averstar.com]

> Why not have a formal function that returns the Task_ID, rather
> than 'Terminated?  That way, you can use the Ada.Task_Identification
> and Ada.Task_Attributes packages to get whatever else you need from the
> task, including task attributes...

Good idea.  It didn't cross my mind. I still think too much in Ada 83 terms.

> If you wanted to avoid generics, you could define an abstract limited
> tagged type (say "Has_Task") which had various (abstract) primitive 
> operations, including  at least a "Task_ID" function.  You would then 
> extend from this type by adding a component of the task type of interest
> (and of course override the abstract primitives as appropriate).  
> You could then manipulate objects of type Has_Task'Class, or references
> there-to, in a "Java"-like way ;-).  You could also pass in any
> extension of Has_Task to a generic with a formal tagged derived type
> of "type My_Task is new Has_Task with private;".

Yeah!  Whatever you said.