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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,56250291936154a0
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Where is the elusive jump command?
Date: 2000/04/02
Message-ID: <8c66h1$pn9$1@nnrp1.deja.com>#1/1
X-Deja-AN: 605468095
References: <38D771CA.D41AF9B5@port.ac.uk> <wcczorkm4tl.fsf@world.std.com>
 <wyVD4.17218$624.1463963@news.flash.net> <8bq7ku$mc8$1@nnrp1.deja.com>
 <mp2E4.17360$624.1487865@news.flash.net> <38E0E723.C39C392@quadruscorp.com>
 <8brfm4$4uc$1@nnrp1.deja.com> <8brn4k$p6i$1@slb0.atl.mindspring.net>
 <8brrpj$i04$1@nnrp1.deja.com> <8c088m$puh$1@slb6.atl.mindspring.net>
 <wcc66u1g5ej.fsf@world.std.com>
X-Http-Proxy: 1.0 x22.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Sun Apr 02 01:07:52 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-04-02T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <wcc66u1g5ej.fsf@world.std.com>,
  Robert A Duff <bobduff@world.std.com> wrote:
> I've heard that sort of thing many times.  I don't agree.  A
> competent programmer will use '[Unchecked_]Access on local
> variables exactly when
> appropriate -- no more, no less.  That's true whether or not
> you have to
> mark things as "aliased".

Well the competent programmer argument is always suspect, but
in this particular case you are missing something very specific.
In many Ada environments, specs are controlled much more
fiercely than bodies. The aliased keyword in the case of package
spec variables has to go in the spec which is carefuly
controlled, and the less controlled programmer in the body
cannot use 'Access in the absence of the aliased keyword.


Sent via Deja.com http://www.deja.com/
Before you buy.