Re: generic parameter Copy for primitifs types.

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 23 Jun 2005 12:41:44 -0700, nblanpain@hotmail.com wrote:

> But I want to use Copy for other types other than primitifs (integer,
> float, boolean...).

Though other types have assignment too. So the cleanest way would be either
to consistently use it or to make the formal parameter T_Item limited and
provide Copy procedure as you did.

> The best solution is to set ":=" by default but it
> is not possible...

True. You can try generic "specialization" like this:

------------
generic
   type T_Item is limited private;
   with procedure Copy (Left : out T_Item; Right : in T_Item);
package Toto is
   ...
end Toto;

with Toto;
generic
   type T_Item is private;
package Specialized_Toto is
   procedure Copy (Left : out T_Item; Right : T_Item);
   package Toto_Instance is new Toto (T_Item, Copy);
end Specialized_Toto;

package body Specialized_Toto is
   procedure Copy (Left : out T_Item; Right : T_Item) is
   begin
      Left := Right;
   end Copy;
end Specialized_Toto;
-------------

So instantiation with Integer might look like:

package Integer_Toto_Implementation is new Specialized_Toto (Integer);
package Integer_Toto renames Integer_Toto_Implementation.Toto_Instance;

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de