Re: unconstrained array type problems

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Ludovic Brenta <ludovic.brenta@insalien.org> wrote:
: 
: 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;

Maybe things can be made a bit more separate:


   subtype Realistic_Index is Positive range 1 .. 50;
   --   declared womewhere or "generically"

   type Matrix_Data is
     array(Realistic_Index range <>, Realistic_Index range <>)
     of Value;

   type Matrix(rows, columns: Realistic_Index) is limited  -- !
      record
         item: Matrix_Data(1 .. rows, 1 .. columns);
      end record;

   procedure Read(filename: String; m: in out Matrix);


This way a Matrix object can be declared and constrained
before cell items are read. Copying is avoided if I'm not
mistaken?


-- Georg