Re: Modulus and Remainder operations (Was Re: Help with a bit of C code)

[hbaker@netcom.com (Henry G. Baker)]

In article <1994Oct13.092135@di.epfl.ch> Magnus.Kempe@di.epfl.ch (Magnus Kempe) writes:
>hbaker@netcom.com (Henry G. Baker) writes:
>: 
>: ...  the definer of [a limited] type has lost control of the type.
>: The 'textbook' definitions of prototypical limited types such as 'bank
>: accounts' are no longer safe in the presence of such equivocation.
>
>Henry, please read RM9X 6.2(4-10).  The following declaration ensures that
>parameters of type T will always be passed by reference:
>
>package P is
>  type T is limited private;
>private
>  type T is limited record ... end record; -- NOTE: "limited"
>end P;
>
>Also, parameters of tagged types are always passed by reference.
>
>: See "How to Steal from a Limited Private Account--Why Mode INOUT
>: Parameters for Limited Types MUST be Passed by Reference".  Ada
>: Letters XIII, 3 (May/June 1993), 91-95.
>
>Your problem is SOLVED In Ada 9X.

For _most_, but not _all_, limited types.  So we have yet another rule
to learn, and another 'relief act' for the language lawyers.  I can't
wait for ANSI/ISO Committee meetings to start showing up on CSPAN...  :-)

      Henry Baker
      Read ftp.netcom.com:/pub/hbaker/README for info on ftp-able papers.