Re: something I would like to see in ADA 2005

   By the way, take a look at:

   http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00250.TXT?rev=1.5

   It is a proposal to make protected types extensible (as tagged types, 
not generics). I tried to implement that in GNAT, but I was not able to 
do it.  :(

Rodrigo

Rodrigo Garc�a wrote:
> Tony Gair wrote:
> 
>>> How would tasks help?  Task types are no more generic than protected
>>> types.  If you want genericity, you have to wrap it in a package.
>>
>>
>>
>> Maybe I can use a generic package, but I would like to declare a
>> protected type the same way I declare a package or a task.
> 
> 
>   You can. I suspect you are only using "single protected" declarations 
> in your code... but nothing prevents you from writing:
> 
>   protected type Resource (I : in Positive) is
>      ...
>   end Resource;
> 
>   And then you can declare objects of type "Resource" even with a 
> discriminant to customize them. Is that what you meant by genericity?
> 
>> I disagree with the statement that tasks are no more generic than
>> PO's.
> 
> 
>   I do not.
> 
>> For instance try declaring a generic protected object.
> 
> 
>   Try declaring a generic task if you can  ;)
> 
> Rodrigo
>