Re: Properties

[Brad Moore <brad.moore@shaw.ca>]

On 03/12/2010 4:34 PM, Jeffrey Carter wrote:
> On 12/02/2010 10:00 PM, Shark8 wrote:
>>
>> Type Task_Array is Array (1..20) of Access Writer;
>> Tasks : Task_Array:= ( 1..20 => New Writer'(Make_Task) );
>
> Access is not needed here. You can (and probably should) do something like
>
> type Writer_List is array (Positive range <>) of Writer;
>
> Writers : constant Writer_List := (1 .. 20 => Make_Writer);
>

Note that for this to compile, you end up needing to make the task 
discriminant mutable, since the task type in the array type declaration 
need to be constrained.

Sonmething like;

    task type Writer (ID : Integer := 0) is
    end Writer;