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,c0d4e990924eb044 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!news.glorb.com!news2.glorb.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.posted.plusnet!news.posted.plusnet.POSTED!not-for-mail NNTP-Posting-Date: Fri, 13 Mar 2009 13:18:24 -0500 Date: Fri, 13 Mar 2009 18:18:20 +0000 From: Tim Rowe User-Agent: Thunderbird 2.0.0.19 (Windows/20081209) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Newbie question -- dereferencing access References: <72516b38-1711-4588-b53b-7b42773f70c2@w34g2000yqm.googlegroups.com> <1IednThMP8E8sCfUnZ2dnUVZ8suWnZ2d@posted.plusnet> <71ut2oFn4m2pU1@mid.individual.net> <49BA8A57.7090200@tgrowe.plus.net> <49ba8f44$0$31873$9b4e6d93@newsspool3.arcor-online.net> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-x9VGlcklKQoHAlbh//6QEyPD5TpxPQNnfbfaKuCf0MDcBKo2senkt4p4ChBd2me8BflTJW2zoBZ8BZI!9rEcb4LFsh/UC2GW4qae/vpxuY4N7fxSfp7GNPLql7jlIkhaFCzWHbmcixJUteTFLsiNFwyT1zBH!GUdUzzrbHGhE 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.39 Xref: g2news1.google.com comp.lang.ada:4114 Date: 2009-03-13T18:18:20+00:00 List-Id: Tim Rowe wrote: > Georg Bauhaus wrote: >> Tim Rowe schrieb: >>> Alex R. Mosteo wrote: >> >>> But I can't put an unconstrained type into a record. >> >> Have you seen Bounded_String (and Unbounded_String)? > > Not yet, but I'll go and explore... Ok, I've seen it now! Am I correct that the statement in the spec that "No storage associated with an Unbounded_String object shall be lost upon assignment or scope exit" means somebody else has done all the work of handling the underlying access types and I don't need to worry? I note that it does have a free method, but presumably that's just for early release before it goes out of scope. If I'm right then yes, I can completely eliminate access types in the code I've done on my exercise so far. Hurrah!