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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.224.215.194 with SMTP id hf2mr4869561qab.0.1367948098696; Tue, 07 May 2013 10:34:58 -0700 (PDT) X-Received: by 10.182.96.166 with SMTP id dt6mr81689obb.20.1367948098556; Tue, 07 May 2013 10:34:58 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!mx05.eternal-september.org!feeder.eternal-september.org!news.glorb.com!m7no3262434qam.0!news-out.google.com!y6ni16024qax.0!nntp.google.com!m7no3262429qam.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 7 May 2013 10:34:58 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.7.70.1; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 91.7.70.1 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <5a96b4f0-15d3-4fe2-9e9c-000f59b9c864@googlegroups.com> Subject: Re: Generic access type convention and aliasing From: AdaMagica Injection-Date: Tue, 07 May 2013 17:34:58 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:15404 Date: 2013-05-07T10:34:58-07:00 List-Id: RM 3.7(9/2) A discriminant that is defined by an access_definition is called an access discriminant and is of an anonymous access type. This is not an access discriminant: type Element_Access is access Element_Type; type Instance_Type (Element: Element_Access := null) is limited private; Access disciminants are uncopiable. For an example of use see (shameless plug): http://www.christ-usch-grein.homepage.t-online.de/Ada/Smart_Pointers.html