Matthew Heaney <matthew_heaney@acm.org> a �crit dans le message :
37d9a3b7@news1.prserv.net...
> In article <37D96965.81045235@rational.com> , Mark Lundquist
> <mark@rational.com>  wrote:
>
[Discussion about modifying in parameters snipped]

Actually, there is a way of modifiying an in parameter, if you can accept it
is limited:

Type T is limited private;
function F (X : in T) return ...;

...
private
   type Relay (Reference : access T) is limited null record;
   type T is
      record
         Myself  : Relay (T'Access);
         -- other components
      end record;


Inside function F, you are not allowed to modifiy X, but you are allowed to
modify X.Myself.all ....

--
---------------------------------------------------------
           J-P. Rosen (Rosen.Adalog@wanadoo.fr)
Visit Adalog's web site at http://perso.wanadoo.fr/adalog