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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d927b7ea9b65580a X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-12-03 04:11:11 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!server3.netnews.ja.net!newshost.central.susx.ac.uk!news.bton.ac.uk!not-for-mail From: John English Newsgroups: comp.lang.ada Subject: Re: Style: always declare subrountines? Date: Tue, 03 Dec 2002 11:15:07 +0000 Organization: University of Brighton Message-ID: <3DEC923B.7D210577@brighton.ac.uk> References: <3dccc023$0$304$bed64819@news.gradwell.net> <3DD847CD.A3D78EE9@adaworks.com> <3DE5F0BB.E7D21384@brighton.ac.uk> NNTP-Posting-Host: straumli.it.bton.ac.uk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: saturn.bton.ac.uk 1038914068 1681 193.62.183.204 (3 Dec 2002 11:14:28 GMT) X-Complaints-To: news@bton.ac.uk NNTP-Posting-Date: 3 Dec 2002 11:14:28 GMT X-Mailer: Mozilla 4.79 [en] (Windows NT 5.0; U) X-Accept-Language: en Xref: archiver1.google.com comp.lang.ada:31374 Date: 2002-12-03T11:14:28+00:00 List-Id: Lutz Donnerhacke wrote: > > * John English wrote: > > accessed from the body of a public package. What would be nice to > > be able to do sometimes is: > > > > with P.Implementation; > > package P.Public is > > type T is private; > > ... > > private > > type T is > > record > > X : P.Implementation.Stuff; > > end record; > > end P.Public; > > > > Unfortunately P.Implementation can't be a private package here. > > How should the P.Public user know how an element of type T has to be > allocated? If you only change P.Implementation, the body of P.Public has to > be recompiled, but not the parts depending on P.Public only. I'm not sure I understand your point here. If P.Implementation is a public package, this is legal Ada 95. If it's a private package, it isn't. And of course, if P.Implementation changes, P.Public has to be recompiled (because the size of P.Implementation.Stuff might have changed) and clients of P.Public will therefore have to be recompiled (because the size of P.Public.T might have changed). Or are you talking about something different to this? ----------------------------------------------------------------- John English | mailto:je@brighton.ac.uk Senior Lecturer | http://www.it.bton.ac.uk/staff/je Dept. of Computing | ** NON-PROFIT CD FOR CS STUDENTS ** University of Brighton | -- see http://burks.bton.ac.uk -----------------------------------------------------------------