Re: generic parameter Copy for primitifs types.

["Marc A. Criley" <mcNOSPAM@mckae.com>]

nblanpain@hotmail.com wrote:

> -----
> 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 ":=" ?

No, you can't.  The author of Toto presumably required the provision of 
a Copy procedure because what it's going to be doing may not be 
compatible with the default ":=".  (Though perhaps T_Item should then 
have been declared as "limited private".)  If a special Copy procedure 
wasn't needed, the implementation could've just used ":=", since that is 
allowed for non-limited private types.

Even if the type you're supplying, e.g. Integer, would be fine with the 
built-in assignment, the package author would want to ensure that you 
had thought about it, and by writing a simple little function to do the 
copying, he ensures that.  (Though I also think the "Left" parameter 
should probably be mode "out" rather than "in out".)

Marc A. Criley
www.mckae.com