Re: Searching for an object

[john@assen.demon.co.uk.nospam (John McCabe)]

Matthias Teege <matthias@mteege.de> wrote:

>I've defined the following type: 
>
>type customer is record
>   aname  : String( 1..25);
>   bname  : String( 1..25);
>end record;
>
>Then I create some objects of this type and save all of
>them in an table.
>
>Now I want to find a special object with a find procedure
>like this (not authentic Ada Code :-)):
>
>procedure find ( Field : in String;
>                 What  : in String;
>                 Result: out String) is
>
>while end_of_table is false loop
>  read(object);
>  if object.Field = What then -- field should be 'aname'
>                              -- or 'bname'
>     Result := object.Field;
>     exit; -- We have found it
>  end if
>end loop;
>end find;
>
>I want to search in all Record "Fields" depend on the
>procedure parameter.
>
>How is the Ada way?

If I understand the requirement correctly, a way to do it would be to
define:

   type Comparator_Type is access function (Left  : Customer;
                                            Right : String)
                                            return Boolean;

And define

   procedure find (What : in string;
                   Comparator : in Comparator_Type;
                   Result     : out String) is
     function "=" renames Comparator.all;
   begin
     ...
     if Object = What then
     ...
   end find;

So in a client of this package you would have:

   procedure client is
      function Match_Afield (Left : other_package.customer;
                             Right : string)
                             return boolean is
      begin
         return Left.afield = right;
      end Match_Afield;

      function Match_Bfield (Left : other_package.customer;
                             Right : string)
                             return boolean is
      begin
         return Left.bfield = right;
      end Match_Bfield;
   begin

      other_package.find (what => "blah",
                          comparator => Match_Afield'access,
                          result => local_result);
   end client;

Or something like that. This would all need to be modified and syntax
checked etc. You could also make the find function a generic that is
instantiated with an "=" operation.

John

Best Regards
John McCabe <john@assen.demon.co.uk>