* Reference counting access type @ 2012-02-16 17:03 AdaMagica 2012-02-17 0:00 ` Randy Brukardt 0 siblings, 1 reply; 4+ messages in thread From: AdaMagica @ 2012-02-16 17:03 UTC (permalink / raw) For a safe reference counting access type (any user deallocation prohibited, so the safety cannot be compromized - there are never dangling pointers) see http://www.christ-usch-grein.homepage.t-online.de/Ada/Smart_Pointers.html This follows strictly the example at AdaCore gem #107 http://www.adacore.com/2011/06/06/gem-107-preventing-deallocation-for-reference-counted-types/ There is a preview to the Ada 2012 implicit dereference aspect included (GNAT GPL 2011 does not yet fully support this). ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Reference counting access type 2012-02-16 17:03 Reference counting access type AdaMagica @ 2012-02-17 0:00 ` Randy Brukardt 2012-02-23 17:33 ` AdaMagica 0 siblings, 1 reply; 4+ messages in thread From: Randy Brukardt @ 2012-02-17 0:00 UTC (permalink / raw) "AdaMagica" <christ-usch.grein@t-online.de> wrote in message news:27f8f1ab-c849-4a0b-ac3b-f279103babfc@z9g2000vbv.googlegroups.com... > For a safe reference counting access type (any user deallocation > prohibited, so the safety cannot be compromized - there are never > dangling pointers) see > http://www.christ-usch-grein.homepage.t-online.de/Ada/Smart_Pointers.html > > This follows strictly the example at AdaCore gem #107 > http://www.adacore.com/2011/06/06/gem-107-preventing-deallocation-for-reference-counted-types/ > > There is a preview to the Ada 2012 implicit dereference aspect > included (GNAT GPL 2011 does not yet fully support this). Cool. BTW, Christoph, any time I try to send you mail it comes back in a week with a non-delivery notice. So far as I can tell, there is no response from either of your e-mail addresses to any attempt to send mail from here. Not sure why, maybe someone has blacklisted us for no obvious reason (don't have a problem with other correspondents). So if you're wondering why you never get any mail from me anymore, that's why. Randy. ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Reference counting access type 2012-02-17 0:00 ` Randy Brukardt @ 2012-02-23 17:33 ` AdaMagica 2012-03-06 1:52 ` Randy Brukardt 0 siblings, 1 reply; 4+ messages in thread From: AdaMagica @ 2012-02-23 17:33 UTC (permalink / raw) Randy, have you received my private mail? I'm curious what you tried to send... Christoph ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Reference counting access type 2012-02-23 17:33 ` AdaMagica @ 2012-03-06 1:52 ` Randy Brukardt 0 siblings, 0 replies; 4+ messages in thread From: Randy Brukardt @ 2012-03-06 1:52 UTC (permalink / raw) I received it (that works), the reply bounced again, and I went to the ARG meeting. I'll try sending you some mail from my phone (since that will bypass our e-mail system), but you need to figure out some way to get ada-auth.org, etc. whitelisted at your provider if you want to get any Ada-related mail in the future. Randy. "AdaMagica" <christ-usch.grein@t-online.de> wrote in message news:47394ecd-eb18-4062-8755-6c988054941f@v2g2000vbx.googlegroups.com... > Randy, > > have you received my private mail? I'm curious what you tried to > send... > > Christoph ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2012-03-06 1:52 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2012-02-16 17:03 Reference counting access type AdaMagica 2012-02-17 0:00 ` Randy Brukardt 2012-02-23 17:33 ` AdaMagica 2012-03-06 1:52 ` Randy Brukardt
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox