Re: generic parameter Copy for primitifs types.

[Christoph Grein <Christoph.Grein@eurocopter.com>]

nblanpain@hotmail.com wrote:

>Hello,
>
>this is my problem :
>
>-----
>generic
>type T_Item is private;
>with procedure Copy (Left : in out T_Item; Right : in T_Item);
>package Toto is
>...
>end Toto;
>------
>
>At instanciation, for T_Item = Integer for example, is there a methode
>to take for Copy => ":=". Must I redefined Copy ? Can I say that, by
>default, take ":=" ?
>
As you should know by now from all the answers there is no way to avoid 
defining Copy.

As also others have pointed out, T_Item should probably be limited 
private. As it stands,
Toto has := and Copy:

package body Toto is
  ...
  X := Y;      -- Do you really want both?
  Copy (X, Y);  -- which to use?

If T_Item is limited private, := is no longer available in Toto.

What you perhaps don't know is that the actual type for a limited formal 
type need not be limited. If you say

generic
  type T_Item is limited private;

then you can take any definite type as actual.