Re: Function definitions

[montgrimpulo <aghte@hotlinemail.com>]

Here is some code:

File search.ads:

package search is

type x_array is array (positive range <>) of Float;
type y_array is array (positive range <>) of Integer;
type z_array is array (positive range <>) of Boolean;

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;

function F (V : Individual) return Float;
function G (M : Positive; V : Individual) return Float;

procedure g_search ( P,Q,R : Natural);

...

procedure p1;
procedure p2;

...
end search;

File search.adb

package body search is

V : Individual;

procedure p1 is
FV : Float;
...
begin
...
FV := F(V);
...
end p1;

procedure p2 is
GMV : Float;
M : Positive;
...
begin
...
GMV := G(M,V);
end p2;

procedure g_search (P,Q,R : Natural) is
...
begin
p1;
p2;
...
end g_search;

end search;

File main_search.adb

with search; use search;

procedure main_search is

P := 1;
Q := 1;
R := 1;
 
V : Individual;

function F (V : Individual) return  Float is
begin
return Float(V.X(P));
end F;

function G (M : Individual) return Float is
begin
return Float(V.X(M));
end G;

begin
g_search(P,Q,R);
end main_search;

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.