Re: Function name problem

["Matthew Heaney" <matthew_heaney@acm.org>]

In article <B4A633AE.3FF3%Harald.Schmidt@tomcat.de> , Harald Schmidt 
<Harald.Schmidt@tomcat.de>  wrote:

> I want to declare two function, but the 2nd is not
> allowed by GNAT3.12. Could someone tell me why?
> Here are the two declarations:
>
> package bla is
>     type Object is tagged limited private;
>     function "=" (Left, Right: in Object�Class) return Boolean;
>     function "==" (Left, Right: in Object�Class) return Boolean;
> private
>     type Object is tagged limited null record;
> end bla;

There is no "==" operator in Ada.

In Ada, "=" means "equality" (not assignment).

If you want to override assignment for a type, you must declare the type
as nonlimited and derive from Controlled:

with Ada.Finalization;
package P is

  type T is private;

  function "=" (L, R : T) return Boolean;  -- equality

  <other ops>

private

  type T is new Ada.Finalization.Controlled with record
    ...
  end record;

  procedure Adjust (O : in out T);

  procedure Finalize (O : in out T);

end P;


You don't have the assignment operator for limited types.  In that case,
declare an explicity Copy operation.


--
You cannot think without abstractions; accordingly, it is of the utmost
importance to be vigilant in critically revising your modes of
abstraction.  It is here that philosophy finds its niche as essential to
the healthy progress of society.  It is the critic of abstractions.

Alfred North Whitehead