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=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!goblin3!goblin.stu.neva.ru!matrix.darkstorm.co.uk!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Dereferencing and style guides
Date: Fri, 18 Oct 2013 21:40:40 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <l3srf8$ru7$1@loke.gir.dk>
References: <slrnl4i6sh.1lme.lithiumcat@sigil.instinctive.eu>
 <wcczjquzd4b.fsf@shell01.TheWorld.com>
 <5249ab97$0$6625$9b4e6d93@newsspool2.arcor-online.net>
 <wccli2akvow.fsf@shell01.TheWorld.com>
 <ff7657dd-00d1-4212-b451-7465b0aa38f9@googlegroups.com>
 <wccob70twny.fsf@shell01.TheWorld.com>
 <alpine.DEB.2.10.1310100934160.26647@debian>
 <23baa71a-6293-452c-89de-16052a198d20@googlegroups.com>
 <wcchaco3fne.fsf@shell01.TheWorld.com>
 <CE7D704E.38619%yaldnif.w@blueyonder.co.uk>
 <wcc8uy0t1ec.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1382150441 28615 69.95.181.76 (19 Oct 2013 02:40:41 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 19 Oct 2013 02:40:41 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
X-Original-Bytes: 2206
Xref: number.nntp.dca.giganews.com comp.lang.ada:183665
Date: 2013-10-18T21:40:40-05:00
List-Id: <comp.lang.ada>

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message 
news:wcc8uy0t1ec.fsf@shell01.TheWorld.com...
...
> By "dereference fails", I assume you're talking about null pointers.
> I wasn't so worried about that -- I'm more worried about
> aliasing.  I'm thinking "X^.Y := ..." is a helpful reminder that
> some other pointers might also point to X^.

That's helpful? It seems to me that there is a design problem if you have 
such additional pointers (especially in client code). The only access type 
you have to use in Ada 2012 is the reference object in the containers 
libraries. Anything else deserves flogging with a wet noodle. :-) (Unless 
you are writing a containers library itself, of course.)

                                 Randy.