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.1 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00, INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,21bbcb8deeeab673 X-Google-Attributes: gid103376,public From: Wes Groleau Subject: Re: Ada95 Pretty-Printers/Coding styles Date: 1997/06/26 Message-ID: <33B2BF2B.80F@does.not.exist.com>#1/1 X-Deja-AN: 252787892 Sender: usenet@most.fw.hac.com (News Administration) X-Nntp-Posting-Host: sparc02 References: <33A54D07.4E14@aisf.com> <5orld5$5r8@client2.news.psi.net> Organization: See Warning Below! Newsgroups: comp.lang.ada Date: 1997-06-26T00:00:00+00:00 List-Id: > >b) capitalization in a use of an identifier must match the declaration > > This is interesting because the second example you give IS trivial, Any pretty-printer or style-checker cannot enforce _semantic_ rules like this unless it builds (in a library like many Ada compilers or on-the-fly like GNAT) a multi-source-file symbol table. When I used Ada-ASSURED years ago, it was able to do what it did on a single file, with no need to look at any other file. Therefore, it could not do the above. A related example: The project had decided to use Initial Caps for variables and constants, ALL CAPS for subprograms. This rule was changed when Ada-ASSURED came along, because it could not distinguish a function call from an array element. PLEASE don't condemn the tool for what I just said. It could have changed in 2-3 years, and besides, the syntactic approach does have its own advantages. -- ---------------------------------------------------------------------- Wes Groleau, Hughes Defense Communications, Fort Wayne, IN USA Senior Software Engineer - AFATDS Tool-smith Wanna-be wwgrol AT pseserv3.fw.hac.com Don't send advertisements to this domain unless asked! All disk space on fw.hac.com hosts belongs to either Hughes Defense Communications or the United States government. Using email to store YOUR advertising on them is trespassing! ----------------------------------------------------------------------