Re: generic parameter Copy for primitifs types.

["Björn Persson" <spam-away@nowhere.nil>]

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

The normal way when you need to do special things during assignment is 
to use a controlled type. That is, you derive from 
Ada.Finalization.Controlled and override Adjust:

    type Special_Type is new Ada.Finalization.Controlled with record ...

    procedure Adjust (Object : in out Special_Type) is ...

Then, instead of a Copy procedure you just use ":=", and Adjust will be 
called. (See RM 7.6.)

Your generic package would then look like this:

    generic
       type T_Item is private;
    package Toto is
       ...
    end Toto;

    package Integer_Toto is new Toto (Integer);
    package Special_Toto is new Toto (Special_Type);

Or is there a reason why controlled types wouldn't work in your case?

-- 
Bj�rn Persson                              PGP key A88682FD
                    omb jor ers @sv ge.
                    r o.b n.p son eri nu