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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a8985ede8fe3d111 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-10-20 08:05:42 PST Path: bga.com!news.sprintlink.net!mv!news.mathworks.com!europa.eng.gtefsd.com!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!swidir.switch.ch!epflnews!dinews.epfl.ch!di.epfl.ch!Magnus.Kempe From: Magnus.Kempe@di.epfl.ch (Magnus Kempe) Newsgroups: comp.lang.ada Subject: Re: Child packages Date: 20 Oct 1994 08:21:52 GMT Organization: Ecole Polytechnique Federale de Lausanne Distribution: world Message-ID: <1994Oct20.091334@di.epfl.ch> References: <384dh5$efd@network.ucsd.edu> NNTP-Posting-Host: lglsun4.epfl.ch Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Date: 1994-10-20T08:21:52+00:00 List-Id: mbk@inls1.ucsd.edu (Matt Kennel) writes: : : : But a child unit can--even during elaboration--change hidden state : : in the parent's private part. : : Question: do you mean objects declared to be type of the parent : may be harmed due to the fact that there are subclasses of : this parent? No, that is NOT what was meant. A child _unit_ is not the same thing as a derived type (a.k.a subclass, derived class, child class, etc.). Ada offers hierarchies of types/classes _and_ hierarchies of packages/modules. These hierarchies are distinct; they need not coincide. Since fans of Eiffel make no distinction between type/class and package/module, this must be difficult to understand. Maybe they should read the Rationale of Ada 9X, available from URL ftp://ajpo.sei.cmu.edu/public/ada9x/rm9x (v5.0 is the latest). -- Magnus Kempe "I know not what course others may take, but as for me, Magnus.Kempe@di.epfl.ch Give me Liberty... or give me Death!" -- Patrick Henry