Re: Storage_Error with parameterized records

[Pascal MALAISE <malaise@magic.fr>]

Let's take the place of the compiler.

>  type CMatrix is
>      array (Natural range <>, Natural range <>) of ...

You want un unconstrained mattrix, fair enough, each dimention between 0
and
integer'last. So far, it's just a type. So far so good.


>   type Correlation_Matrix(Last_Line : Natural := 0) is
>      record
>         Mat : CMatrix(0 .. Last_Line, 0 .. Last_Line);
>      end record;
It's just a type. No problem so far.
I think you get the compiler warning (and the exception) when you
declare an object of type Correlation_Matrix.

You want a mutant object containing the mattrix. The rule is (often), in
order to allow you to "mute" your object's last_line from 0 to 
integer'last, to allocate the maximum size -> integer'last *
integer'last floats!


So, when you use mutants, use a "reasonable" subtype.


   subtype Correlation_Coefficient is Float;
   subtype Reasonable_Range is Natural range 0 .. 100;

   type CMatrix is
      array (Reasonable_Range range <>, Reasonable_Range range <>) of
        Correlation_Coefficient;

   type Correlation_Matrix(Last_Line : Reasonable_Range := 0) is
      record
         Mat : CMatrix(0 .. Last_Line, 0 .. Last_Line);
      end record;
Then, when you declare the object, the compiler allocates 100*100
floats.

You can be thankfull to your the compiler for warning you at compile
time.
Not all of the do so  :-)

--
Pascal MALAISE		| E-mail:
22 Avenue de CHOISY	|  (priv) malaise@magic.fr
75013 PARIS		|  (prof) malaise@fr.airsysatm.thomson-csf.com
FRANCE