Re: Fussy Standard: what is modulo Address?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Grein, Christoph" <christoph.grein@eurocopter.com> writes:

> > 13.3.22-23. "For a prefix X that denotes a subtype or object:
> > X'Alignment... Address modulo the Alignment".
> > 
> > The Standard seems to not explain what is "Address modulo".
> > 
> > It can be:
> > 
> > 1. The integer mathematical operation fpr 
> > System.Storage_Element.Integer_Address.
> > 
> > 2. Operation "mod" for System.Address, defined also in System.
> > 
> > Moreover the Standard probably does not say anything about relations of 
> > these two operations (they should be the same as people seem to tend to 
> > naturally consider these the same).
> > 
> > We should correct it, yes?
> 
> You seem to have point here. Report it to ada-comment@ada-auth.org.

I don't think so.  "Modulo" means the "mod" operator for
System.Address.  This is defined in 13.7.1(8).  The AARM states this
explicitly in 13.3(24.b) and 13.7.1(11.b).

The manual does not define the semantics of this "mod" operator.  How
could it?  Address is just a private type provided by the implementer --
it could be anything.

- Bob