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: a07f3367d7,57f8540942f8e060 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!postnews.google.com!s36g2000prh.googlegroups.com!not-for-mail From: Adam Beneschan Newsgroups: comp.lang.ada Subject: Re: Initialization and Finalization of limited object "returned" by a function Date: Fri, 12 Feb 2010 10:02:19 -0800 (PST) Organization: http://groups.google.com Message-ID: <1b687bc7-fdf8-4ff3-b78c-727dcd46b905@s36g2000prh.googlegroups.com> References: NNTP-Posting-Host: 66.126.103.122 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1265997739 3153 127.0.0.1 (12 Feb 2010 18:02:19 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 12 Feb 2010 18:02:19 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: s36g2000prh.googlegroups.com; posting-host=66.126.103.122; posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 6.0; WOW64; SLCC1; .NET CLR 2.0.50727; Media Center PC 5.0; .NET CLR 3.5.21022; .NET CLR 3.5.30729; .NET CLR 3.0.30618),gzip(gfe),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:9177 Date: 2010-02-12T10:02:19-08:00 List-Id: On Feb 11, 8:47=A0pm, Hibou57 (Yannick Duch=EAne) wrote: > On 11 f=E9v, 18:40, Adam Beneschan wrote:> Yes, I belie= ve that's right, and it's spelled out clearly in the RM, > > in sections 7.6(17.1/3-17.11/3 and especially 17.7/3), 6.5(5.8/3), > > 6.5(23/2), 7.6(4), and 3.10.2(10.1/2). > > With the exception of 6.5(23/2), none of these references exists in my > annotated RM. Was this a joke ? No. And it looks like you found 3.10.2(10.1/2) since you mentioned it in a later post. Some of the others are in Ada 2005 R2 (the part about result objects "mutating into" other objects was added after the original version of Ada 2005). If you're having problems locating sections, let me know---it's possible I made a typo. The "spelled out clearly" was a joke, though. In particular, my repeated attempts to understand the accessibility rules in 3.10.2 have contributed to the big profits enjoyed by the manufacturers of Advil and similar drugs. (OK, it's a very tiny contribution, but still greater than zero.) -- Adam