Re: Accessibility checks

[Simon Wright <simon@pushface.org>]

Bill Findlay <yaldnif.w@blueyonder.co.uk> writes:

> On 18/07/2013 00:44, in article ks7a8v$4nj$1@loke.gir.dk, "Randy Brukardt"
> <randy@rrsoftware.com> wrote:
>
>> "Jeffrey Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message
>> news:ks718g$aim$2@dont-email.me...
>
>>> Brukardt, ARG member and editor of the ARM, claims that 'Access
>>> never works and 'Unchecked_Access is always required, bypassing the
>>> accessibility checks. While this is not entirely true, it's quite
>>> common that one must use 'Unchecked_Access, so we could do without
>>> these rules and checks in the majority of cases.
>> 
>> That's not entirely true: I did find one (and only one) instance
>> where I was able to use 'Access in my code (it had to do with a
>> library-level initialization).
>
> Interesting.
>
> My projects have 37 occurrences of 'Access and only 2 of
> 'Unchecked_Access.

A program which constructs a partial representation of a UML model, and
then walks the representation, used 'Access 43 times to iterate over
containers (in Ada 2005!) and 'Unchecked_Access 38 times to construct
the representation.