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,efe03f20164a417b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-20 12:12:16 PST
Path: 
 nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!news.uni-stuttgart.de!rz.uni-karlsruhe.de!xlink.net!howland.reston.ans.net!gatech!udel!news.mathworks.com!news.kei.com!world!blanket.mitre.org!linus.mitre.org!spectre!eachus
From: eachus@spectre.mitre.org (Robert I. Eachus)
Newsgroups: comp.lang.ada
Subject: Re: An observation of Ada (may offend)
Date: 20 Mar 1995 16:15:27 GMT
Organization: The Mitre Corp., Bedford, MA.
Distribution: world
Message-ID: <EACHUS.95Mar20111527@spectre.mitre.org>
References: <3kbkm1$41o@miranda.gmrc.gecm.com>
 <3kcflv$164a@watnews1.watson.ibm.com>
NNTP-Posting-Host: spectre.mitre.org
In-reply-to: ncohen@watson.ibm.com's message of 17 Mar 1995 17:08:15 GMT
Date: 1995-03-20T16:15:27+00:00
List-Id: <comp.lang.ada>

In article <3kcflv$164a@watnews1.watson.ibm.com> ncohen@watson.ibm.com (Norman H. Cohen) writes:

  > If there is a weakness in Ada encapsulation, it has nothing to do with
  > parameter lists, but with the definition of "logically within the
  > defining unit".  Anyone can write a child package that is "logically
  > within the defining unit".  (Do-While Jones once called this the "Howard
  > Hughes effect": strangers claiming to be your heirs.)...

    I prefer to call such a package a bastard child, and reserve the
more polite illegitimate child for cases where the parent package
specification acknowledges the possibility of unknown children.

    We debated this to great extent in Portsmouth, and I can
understand the consensus position.  But I wish that the ability to
acknowledge child units had been built into the language so that, for
example a pragma Restrictions(No_Unspecified_Child_Units); would make
sense.

--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...