Re: Generic Zero Length Array

[Stefan Lucks <lucks@th.informatik.uni-mannheim.de>]

On Fri, 22 Feb 2008, shaunpatterson@gmail.com wrote:

> How do I initialize this array when I can't know what type it is or
> will be?

> if Error_Condition then
>  declare
>    type Result is new Element_List (Indexing.First + 1 ..
> Indexing'First);
>    Result_String : Result;

     Result_String : Result := (others => Some_Default_Value);

>  begin
>     return Element_List (Result);
>  end;
> end if;



This should work. The default value doesn't matter at all, because the 
array is empty. But you still need to know a default value of the 
appropriate type.


BTW, why do you declare the type "Result" at all? The following should 
work as well:

   if ... then
      declare
         Result_String: Element_List(Indexing'First+1 .. Indexing'First)
           := (others => Some_Default_Value);
      begin
         return Result_String;
      end;
   end if;





-- 
Stefan Lucks      (moved to Bauhaus-University Weimar, Germany)
 		       <Stefan.Lucks at medien.uni-weimar.de>
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------