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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Accessibility checks
Date: Thu, 18 Jul 2013 08:14:12 +0100
Organization: A noiseless patient Spider
Message-ID: <lyvc48tk57.fsf@pushface.org>
References: <87mwplvthn.fsf@mid.deneb.enyo.de> <ks718g$aim$2@dont-email.me>
	<ks7a8v$4nj$1@loke.gir.dk> <CE0CF7DE.329A0%yaldnif.w@blueyonder.co.uk>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="c8504a89c76ea11bda6664e6198ae3cd";
	logging-data="11463"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/c/+T2EQVDA6z7atIv/PSrh8DYa8ozuqw="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:oHaeSIfeDCps9MIY5zuIwezqoDo=
	sha1:vPonHwUTEWMpdBBD7zIrihovsL8=
Xref: news.eternal-september.org comp.lang.ada:16410
Date: 2013-07-18T08:14:12+01:00
List-Id: <comp.lang.ada>

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.