Re: unconstrained array type problems

[Ludovic Brenta <ludovic.brenta@insalien.org>]

Marius Amado Alves writes:
>> How can i make them visible to one another? This is so easy to do in
>> c++/java.
>
> This is extremely easy in Ada with the proper design, namely with
> these two entities:
>
>     type Matrix is array (Positive range <>, Positive range <>) of Real;
>     function Read_File (Name : String) return Matrix;
>
> Then read all the matrices you want in the same place:
>
>     Matrix_1 : Matrix := Read_Matrix ("One");
>     Matrix_2 : Matrix := Read_Matrix ("Two");
>     ...

Yes, this is as I suggested, move the declare block to its own
subprogram.  But to answer more directly to the OP's question:

begin
   Get (File, number_rows_1);
   Get (File, number_columns_1);
   Get (File, number_rows_2);
   Get (File, number_columns_2);

   declare
      array1: Matrix_Type (1 .. number_rows, 1 .. number_columns);
      array2: Matrix_Type (1 .. number_rows, 1 .. number_columns);
   begin
      -- read in array1
      -- read in array2
      -- multiply array1 by array2 (array multiplication)
   end;
end;

-- 
Ludovic Brenta.