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!news2.google.com!news3.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!kanaga.switch.ch!switch.ch!news.belwue.de!newsfeed.arcor.de!news.arcor.de!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Don't use the "use" clause
From: Georg Bauhaus <bauhaus@futureapps.de>
In-Reply-To: <kzwbjdb0auzq.1kah1latt0mb1.dlg@40tude.net>
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>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Organization: #
Message-ID: <1138379742.13763.9.camel@sonnenregen>
Mime-Version: 1.0
X-Mailer: Evolution 2.4.1 
Date: Fri, 27 Jan 2006 17:35:43 +0100
NNTP-Posting-Date: 27 Jan 2006 17:30:24 MET
NNTP-Posting-Host: 50b25988.newsread4.arcor-online.net
X-Trace: 
 DXC=Fh]ghWe?`C=;iAbK4FA[l4:ejgIfPPld4jW\KbG]kaM8A@_25la3nb2MCTBikF>G28hP3YJKgE\j<1`o1N\oIBe1
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:2682
Date: 2006-01-27T17:30:24+01:00
List-Id: <comp.lang.ada>

On Fri, 2006-01-27 at 16:23 +0100, Dmitry A. Kazakov wrote:

> > Packages are the root of all organization in Ada; it's only the packages
> > that you have to know instantly to understand an Ada program with few use
> > clauses. Having to know all of the entities in a program well to understand
> > it is going to be information overload.
> 
> Packages have no properties of their own. Programs are written in terms of
> types, objects, operations.

I think "written" is the word that hints to a meaning of
packages in Ada program text, less so to executable programs after
compilation. And for sure, when writing, you can think about module
properties, and how to map these to ADTs or ASMs. You organize.
If a package is an ASM, then you could (if not in Ada) express
the state of the ASM between operation as an invariant, to be
a property of the package.

(Even when compiled, I'm not sure that packages will not exhibit
properties during elaboration at run time.)

-- Georg