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-Thread: 103376,c6acbb9f2027b8c9 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail NNTP-Posting-Date: Thu, 06 Oct 2005 18:52:54 -0500 From: "Randy Brukardt" Newsgroups: comp.lang.ada References: <1128525722.605730.281980@g43g2000cwa.googlegroups.com> <87mzlnomca.fsf@ludovic-brenta.org> Subject: Re: volatile vs aliased Date: Thu, 6 Oct 2005 18:56:39 -0500 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4952.2800 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4952.2800 Message-ID: NNTP-Posting-Host: 64.32.209.38 X-Trace: sv3-V7s+y0fh31d31vCIP9f/wxy5PIMoUMjkcaiSDovJxfcMh2PQnlqBPXfDZkT0EULAoF5vfoBl+vXd+tV!kC6bppntlW+EP7UvkopMRw57IFeqPssSlmnkVHJnDPt50N+r5lhElEHQ5IBzq2tASlEkPZ0wemmX X-Complaints-To: abuse@megapath.net X-DMCA-Complaints-To: abuse@megapath.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.32 Xref: g2news1.google.com comp.lang.ada:5471 Date: 2005-10-06T18:56:39-05:00 List-Id: "Robert A Duff" wrote in message news:wcchdbufnck.fsf@shell01.TheWorld.com... > "Jeffrey R. Carter" writes: > > > Of course, if the C function has both pointer parameters and returns a > > value, access parameters are the only thing available. Is ease of > > interfacing to other languages another pro for allowing out and in out > > parameters for functions, along with making side effects visible? > > Yes! And that argument was brought up during the Ada 9X design. > Apparently, it didn't convince people. It also was one of the reasons for making null exclusions explicit in Ada 200Y. In Ada 95, access parameters exclude null automatically, making them annoying for interfacing when you *do* need to use access values (such as when null is a legitimate value - can't do that with "in out"). Using a named access type is required -- but that can bring in accessibility checks that are irrelevant. (Which is why I don't think I've ever successfully used 'Access on an object, I always have to change to 'Unchecked_Access.) Randy.