Re: Function definitions

[Robert A Duff <bobduff@shell01.TheWorld.com>]

montgrimpulo <aghte@hotlinemail.com> writes:

> P,Q,R : Natural;
>
> 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.  P, Q, and R are not initialized yet.  Assigning into
them later won't suddenly change the lengths of those arrays.
I think you want a discriminated record, as in:

    type Individual(P, Q, R : Natural) is record ...

> This is in principle what I want to set up and run, while I want to be
> flexible in defining F and G and other parameters, without having to
> modify the files search.ads and search.adb.

So you want (for example) P1 to call different versions of F?  If so,
then you can pass F into P1:

    procedure P1(F: not null access function (...) return ...);

Then the body of P1 can call F:

    procedure P1(F: not null access function (...) return ...) is
        XYZ : ... := F(...);
    begin
        ...

When you call P1, you create a function My_F, and pass My_F'Access to
P1:

    P1(F => My_F'Access);

- Bob