Re: Using "with function"

[tmoran@acm.org]

>generic
>    type Element_Type is private;
>    with function "="( Left, Right: Element_Type ) return Boolean;
>
>I ran across this in some code I was examining and I have no clue how
>the with function part works or what its purpose is.
   You *really* need a book or at least an on-line tutorial or something.
Look at www.adapower.com
This generic has two parameters: a type and a function named "="
that, presumably, compares two objects of Element_Type for equality.
  You might instantiate with Element_Type being an employee record
and "=" being a function that compares ID number.
  For the company carpool, you might instead supply an "=" function that
compares zip code.
  Yet a third instantiation might have a password string as the
Element_Type and the "=" might compare ignoring case.  Oops, bad idea.