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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,e7d9fee9b42cd34e X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!j55g2000cwa.googlegroups.com!not-for-mail From: "Anh Vo" Newsgroups: comp.lang.ada Subject: Re: Not null feature with anonymous and named access types Date: 12 Jun 2006 16:13:34 -0700 Organization: http://groups.google.com Message-ID: <1150154013.951160.154270@j55g2000cwa.googlegroups.com> References: <1150144396.104055.164310@f6g2000cwb.googlegroups.com> <6_kjg.4603$E02.1474@newsb.telia.net> NNTP-Posting-Host: 209.225.224.174 Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1150154019 9642 127.0.0.1 (12 Jun 2006 23:13:39 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Mon, 12 Jun 2006 23:13:39 +0000 (UTC) In-Reply-To: <6_kjg.4603$E02.1474@newsb.telia.net> User-Agent: G2/0.2 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0; .NET CLR 1.1.4322),gzip(gfe),gzip(gfe) Complaints-To: groups-abuse@google.com Injection-Info: j55g2000cwa.googlegroups.com; posting-host=209.225.224.174; posting-account=JVr7Xg0AAAAI3MbuARxMmvWLmA7qdJMx Xref: g2news2.google.com comp.lang.ada:4755 Date: 2006-06-12T16:13:34-07:00 List-Id: Bj=F6rn Persson wrote: > Anh Vo wrote: > > I have been exploring the not null feature with anonymous access type > > and named access type. One thing have learned that an access variable > > declared based on these types will raise a Constraint_Error when > > deallocating this access variable as shown in the code below. > > Of course. Deallocation sets the access variable to null, and that > violates the not-null constraint. > Thanks for your quick reply. Based on this requirement, one should not use not null access in this case due to memory leak as the result of memory deallocation incapability. AV