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,29523eff834b8169
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Warnings about hiding
Date: Sat, 9 Oct 2010 01:51:47 -0500
Organization: Jacob Sparre Andersen
Message-ID: <i8p3e5$pdl$1@munin.nbi.dk>
References: <44e7dff1-04f5-46ad-8521-e4fe030c9c29@26g2000yqv.googlegroups.com>
 <op.vkabvkw30k3wt7@jellix.jlfencey.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1286607110 26037 69.95.181.76 (9 Oct 2010 06:51:50 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 9 Oct 2010 06:51:50 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931
Xref: g2news1.google.com comp.lang.ada:14461
Date: 2010-10-09T01:51:47-05:00
List-Id: <comp.lang.ada>

"Vinzent Hoefler" <nntp-2010-10@t-domaingrabbing.de> wrote in message 
news:op.vkabvkw30k3wt7@jellix.jlfencey.com...
...
> JFTR: If you move "Finalize" into the public part, the warning for it
> disappears (just tested with GNAT GPL 2010).
>
> (IMO, there's no point putting it in the private part, the operation
> is already known, anyway.)

My opinion is exactly the reverse: there is no point in putting it in the 
visible part in this case -- it should not matter to clients whether or not 
the subprogram is overridden, so why burden them with it??

That assumes of course that the clients are smart enough (or have good 
tools) which can show them what is actually inherited. In the absense of 
that, you really have to override everything in the public part, whether you 
want to or not, else no one will know that the operations even exist - no 
one can figure out by hand what's inherited. (I vote for good tools. :-)

                                        Randy.