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

[Magnus.Kempe@di.epfl.ch (Magnus Kempe)]

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.

-- 
Magnus Kempe		"I know not what course others may take, but as for me,
Magnus.Kempe@di.epfl.ch  Give me Liberty... or give me Death!" -- Patrick Henry