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!news1.google.com!news4.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail NNTP-Posting-Date: Fri, 27 Jan 2006 17:04:48 -0600 From: "Randy Brukardt" Newsgroups: comp.lang.ada References: <1132227919.9036.51.camel@sonnenregen> <1132233886.11218.11.camel@sonnenregen> <1w17gk3manse1$.1kcsd6cj5scen$.dlg@40tude.net> <43d5f5cf$1_1@glkas0286.greenlnk.net> <1wq3tkzfwt0bw.1ad4zqlgln451$.dlg@40tude.net> <6NCdnfd8BcbcJEveRVn-pQ@megapath.net> <92132rehnlw6$.127gl4b6mfbnx.dlg@40tude.net> <1138379742.13763.9.camel@sonnenregen> Subject: Re: Don't use the "use" clause Date: Fri, 27 Jan 2006 17:09:39 -0600 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Message-ID: NNTP-Posting-Host: 64.32.209.38 X-Trace: sv3-RoPJb+clbsKe9/8BvnNa5vPmbOSkedJnxBYwVq6nMg2vtK3mXqd2jmaA4iwbyWh3tDly0kERTClmCiQ!HYoknxkCk8GZSnGS3uNvBozRZsnEyHLc7aJMo8t8NUxZ2xUwrb65mBb+8anvkX6dxkf47HvHDZAw X-Complaints-To: abuse@megapath.net X-DMCA-Complaints-To: abuse@megapath.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.32 Xref: g2news1.google.com comp.lang.ada:2690 Date: 2006-01-27T17:09:39-06:00 List-Id: "Georg Bauhaus" wrote in message news:1138379742.13763.9.camel@sonnenregen... > 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.) Exactly. The meaning of a package is in it's organization and in its name. These aren't things that have meaning to the compiler, they have meaning to the reader. If they don't have meaning to the reader, then the system is poorly defined (and the program would be better off with no package at all). Packages in this sense are much like comments, other than that the compiler checks that they are used consistently. There's never a *requirement* to use a package, but a well-designed system is make up of packages (groupings) of entities, not single entities floating around unorganized. Randy. Randy.