From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b9c1962801ad6b73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-01-22 08:41:18 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!news.gtei.net!news-out.visi.com!hermes.visi.com!uunet!ash.uu.net!world!news
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Fussy Standard: what is modulo Address?
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Sender: news@world.std.com (Mr Usenet Himself)
Message-ID: <wccn0lt2l47.fsf@shell01.TheWorld.com>
Date: Wed, 22 Jan 2003 16:40:56 GMT
Content-Type: text/plain; charset=us-ascii
References: <mailman.12.1043223160.4961.comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Organization: The World Public Access UNIX, Brookline, MA
Xref: archiver1.google.com comp.lang.ada:33347
Date: 2003-01-22T16:40:56+00:00
List-Id: <comp.lang.ada>

"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