comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Generic access type convention and aliasing
Date: Tue, 7 May 2013 10:34:58 -0700 (PDT)
Date: 2013-05-07T10:34:58-07:00	[thread overview]
Message-ID: <5a96b4f0-15d3-4fe2-9e9c-000f59b9c864@googlegroups.com> (raw)
In-Reply-To: <op.wwo9q8s2ule2fv@cardamome>

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

  parent reply	other threads:[~2013-05-07 17:34 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-05-06  0:20 Generic access type convention and aliasing Yannick Duchêne (Hibou57)
2013-05-06  5:55 ` Yannick Duchêne (Hibou57)
2013-05-07  0:56   ` Randy Brukardt
2013-05-07  6:02     ` Yannick Duchêne (Hibou57)
2013-05-07  6:42       ` Yannick Duchêne (Hibou57)
2013-05-07 17:34       ` AdaMagica [this message]
2013-05-07 19:08         ` Yannick Duchêne (Hibou57)
2013-05-07 21:03           ` Jacob Sparre Andersen news
2013-05-07 22:13             ` Yannick Duchêne (Hibou57)
2013-05-08 11:28               ` Yannick Duchêne (Hibou57)
2013-05-08 20:44               ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox