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,ca18307c7af3189e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-04-24 23:04:03 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!fu-berlin.de!uni-berlin.de!62.2.203.231!not-for-mail From: Vinzent Hoefler Newsgroups: comp.lang.ada Subject: Re: Code beautifiers Date: Fri, 25 Apr 2003 08:03:26 +0200 Organization: JeLlyFish software Message-ID: References: NNTP-Posting-Host: 62.2.203.231 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: fu-berlin.de 1051250642 8533524 62.2.203.231 (16 [175126]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:36519 Date: 2003-04-25T08:03:26+02:00 List-Id: Stephen Leake wrote: >Vinzent Hoefler writes: > >> Jano wrote: >>=20 >> >Sorry for the obscurity. I mean the later (for example, which puts=20 >> >variables in mixed case, insert spaces missing before ':=3D', ':', = etc. >>=20 >> I use -gnaty. The rest is manual work... > >Doesn't have to be manual work. Emacs Ada mode (with my extensions, >see http://www.toadmail.com/~ada_wizard/) can automatically correct >most of the errors that -gnaty gives you. Well, I don't like emacs... the old editor wars. >> Well, probably not, what you wanted, but sometimes even pretty >> printers go crazy. > >Agreed. Much better to write the code in good style in the first >place. Even then, I rely on -gnaty to check me. Yes. Although I don't perfectly agree with the default options (especially the line length, I'd rather have it set to 72), I can live with that. But then, who agrees with a coding standard that he didn't designed himself, anyway? ;) Vinzent. --=20 Parents strongly cautioned -- this posting is intended for mature audiences over 18. It may contain some material that many parents would not find suitable for children and may include intense violence, sexual situations, coarse language and suggestive dialogue.