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.ams3.giganews.com!border1.nntp.ams2.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!feeder.erje.net!eu.feeder.erje.net!gandalf.srv.welterde.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: Possible GNAT problem with aliased parameters.
Date: Fri, 18 Oct 2013 20:59:58 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <l3sp2u$qrl$1@loke.gir.dk>
References: <9bc1be39-4377-4df5-8686-786babc756d1@googlegroups.com>
 <12afac91-f0f3-4f89-ac0f-a61aaf7b8d4b@googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1382147999 27509 69.95.181.76 (19 Oct 2013 01:59:59 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 19 Oct 2013 01:59:59 +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: 1953
Date: 2013-10-18T20:59:58-05:00
List-Id: <comp.lang.ada>

Right. To expand on this a bit: an "in" parameter is a constant, of course. 
"aliased" doesn't change that. If you want to be able to modify the 
parameter, it has to be an "in out" parameter.

Similarly, "aliased" doesn't change the accessibility rules (with one 
exception regarding function results), so you still have to use local access 
types. The primary reason we added it to the language is to allow the 
"reference" objects to work on containers (like the bounded containers) that 
directly contain the elements. Of course, we made it general enough that it 
can be used for other reasons as well.

                     Randy.

<sbelmont700@gmail.com> wrote in message 
news:12afac91-f0f3-4f89-ac0f-a61aaf7b8d4b@googlegroups.com...
> Either your array has to be 'access constant', or your aliased parameter 
> has to be 'in out'.  Though, as written, you will still fail the 
> accessibility check...