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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2a687662f09731bb
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 27 Jan 2006 17:13:15 -0600
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <dld0t5$df3$1@sunnews.cern.ch>
 <slrndnlfs8.1pa.bogus_addy@tango.mindfuq.org> <m2acg5i1ko.fsf@grendel.local>
 <dlelkn$g6l$1@nwrdmz03.dmz.ncs.ea.ibs-infra.bt.com>
 <slrndnoa1k.22e.bogus_addy@tango.mindfuq.org>
 <1132227919.9036.51.camel@sonnenregen> <u3blv30wu.fsf@acm.org>
 <1132233886.11218.11.camel@sonnenregen> <ulkzmsw5v.fsf@acm.org>
 <slrndnv9qv.1r7.bogus_addy@tango.mindfuq.org>
 <Ij4Bf.1960$2O6.514@newssvr12.news.prodigy.com>
 <SUaBf.2447$Dk.828@newsread3.news.pas.earthlink.net> <ud5iimkc8.fsf@acm.org>
 <1w17gk3manse1$.1kcsd6cj5scen$.dlg@40tude.net>
 <43d5f5cf$1_1@glkas0286.greenlnk.net>
 <1wq3tkzfwt0bw.1ad4zqlgln451$.dlg@40tude.net>
 <6NCdnfd8BcbcJEveRVn-pQ@megapath.net>
 <jhy2wes1y8jp$.17t7iu2n10zu1$.dlg@40tude.net>
 <z-ednUJaDr7nbUreRVn-pg@megapath.net>
 <92132rehnlw6$.127gl4b6mfbnx.dlg@40tude.net>
 <W6idnXsgTv8f7UTenZ2dnUVZ_tGdnZ2d@megapath.net>
 <kzwbjdb0auzq.1kah1latt0mb1.dlg@40tude.net>
Subject: Re: Don't use the "use" clause
Date: Fri, 27 Jan 2006 17:18:06 -0600
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
Message-ID: <Ms-dnXuJpYGWNEfeRVn-vA@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-ndQSejZxkcteBVgFblw0z2+5Ca/JFojh4WQUYcFKPSepFD00Nz7S7n/stqrjYeLZw25J4uyc+fe5IY+!xm4yQrsnpRHn4Nv/ksKZwZyOAdIwLLdxyJjD4i358PKx3FcmFT0IteEi01WqDqqMcD1DlUEmYaCr
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.32
Xref: g2news1.google.com comp.lang.ada:2691
Date: 2006-01-27T17:18:06-06:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:kzwbjdb0auzq.1kah1latt0mb1.dlg@40tude.net...
...
> Secondly, prefix notation as introduced in Ada 2005 is an equivalent of
use
> clause!

More of a replacement for the use clause. It has some use-like properties
for the subprogram name, but the object name is handled by normal visibility
rules. It would of course have fully qualified names.

But fully qualified names don't work for OOP in Ada, because it is extremely
difficult to tell where a particular operation is declared. Most of the
operations are inherited, after all, so the place where it is declared (and
thus the place that you use a fully qualified name to) is not the place
where the operation actually exists in the source code. That means that the
fully qualified name suggests that you look in the *wrong* place, and that
isn't helping anything.

OTOH, throwing in a pile of use clauses makes all kinds of unrelated stuff
visible. Prefixed notation only makes particular subprograms visible. In
that sense, it is like use type.

                            Randy.