comp.lang.ada
 help / color / mirror / Atom feed
From: Alan Jump <alan.jump@gmail.com>
Subject: Re: Accessibility checks
Date: Wed, 17 Jul 2013 13:20:51 -0700 (PDT)
Date: 2013-07-17T13:20:51-07:00	[thread overview]
Message-ID: <92e5cade-f0c6-49c8-ab48-e5e3463f0301@googlegroups.com> (raw)
In-Reply-To: <87mwplvthn.fsf@mid.deneb.enyo.de>

Not all that complex, from where I sit. Here's a good, concise description:
http://www.adacore.com/adaanswers/gems/gem-33/

In short, enforcing accessibility eliminates dangling pointers and their associated...umm...issues.

- -
73 de N5ILN
Alan

On Wednesday, July 17, 2013 1:09:24 PM UTC-7, Florian Weimer wrote:
> One thing in Ada I could never quite grasp where the accessiblity
> 
> checks.  I haven't seen much Ada code, and personally, I didn't have
> 
> much need for nested access types anyway.  If I have used them, they
> 
> were still potentially unsafe due to aliasing or calls to
> 
> Unchecked_Deallocation in neighboring code.
> 
> 
> 
> So what's the point for this language feature?  It seems to add quite
> 
> a bit of complexity to the language.


  reply	other threads:[~2013-07-17 20:20 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-07-17 20:09 Accessibility checks Florian Weimer
2013-07-17 20:20 ` Alan Jump [this message]
2013-07-17 21:16 ` Jeffrey Carter
2013-07-17 23:44   ` Randy Brukardt
2013-07-18  0:39     ` Bill Findlay
2013-07-18  7:14       ` Simon Wright
2013-07-19  8:41         ` Georg Bauhaus
2013-07-19  4:48       ` Randy Brukardt
2013-07-22  6:11       ` ake.ragnar.dahlgren
2013-07-22  9:03         ` Bill Findlay
2013-07-24 13:01           ` ake.ragnar.dahlgren
2013-07-24 13:27             ` Dmitry A. Kazakov
2013-07-29  6:18               ` ake.ragnar.dahlgren
2013-07-18  0:41     ` Jeffrey Carter
2013-07-19  4:51       ` 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