Re: Function definitions

[Shark8 <OneWingedShark@gmail.com>]

On 20-Jun-14 10:22, montgrimpulo wrote:
> My modified question:
>
> Hi,
> What would be an answer to the following question:
> There are three files : search.ads, search.adb, main_search.adb.
>
>   In search.ads two functions are defined:  function F and function G, as
>
> function F (V : Individual) return Long_Float; and
>
> function G(M : Natural; V : Individual) return Long_Float;
>
> Individual is defined as a Record containing several arrays
> with a size determined by variables, eg .
>
> type Individual is record
>   X : x_array (0 .. P);
>   Y : y_array (0 .. Q);
>   Z : z_array (0 .. R);
> end record;

That won't work as-is because arrays within records cannot be unconstrained.

You could make the package generic and use formal parameters though:

Generic
  P, Q, R : in Natural:= 0;
Package Search is
   type Individual is record
     X : x_array (0 .. P);
     Y : y_array (0 .. Q);
     Z : z_array (0 .. R);
   end record;

  function F (V : Individual) return Long_Float;
  function G (M : Natural; V : Individual) return Long_Float;

End Search;

--OR
You could use discriminants:
   type Individual(P,Q,R : Positive:= 1) is record
     X : x_array (0 .. P);
     Y : y_array (0 .. Q);
     Z : z_array (0 .. R);
   end record;