Re: Pointer to instance of indefinite array?

[Shark8 <OneWingedShark@gmail.com>]

On 12-Aug-14 20:07, NiGHTS wrote:
> package Test_Package is
>
>      type Element is
>      record
>          ID_1 : Positive;
>          ID_2 : Positive;
>      end record;
>
>      type Element_Array     is array (Positive range <>) of Element;
>      type Element_Array_Ptr is access Element_Array;
>
>      procedure Do_Something_With_Array (
>          In_Array : in Element_Array_Ptr
>      );
>
> end Test_Package;

What are you really trying to do? You can do everything you want in the 
example w/o touching access types:

package Test_Package is
     type Element is
        record
            ID_1 : Positive;
            ID_2 : Positive;
        end record;

     type Element_Array     is array (Positive range <>) of Element;
     procedure Do_Something_With_Array (In_Array : in Element_Array);
end Test_Package;

package body Test_Package is

     procedure Do_Something_With_Array (In_Array : in Element_Array) is
     begin
         for E of In_Array loop
             declare
                 Key	: String renames Positive'Image(E.ID_1);
                 Value	: String renames Positive'Image(E.ID_2);
             begin
                 Ada.Text_IO.Put_Line( "Key:"&Key &ASCII.HT& 
"Value:"&Value &'.' );
             end;
         end loop;
     end Do_Something_With_Array;

end Test_Package;