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.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_FROM_MSSP autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3176e09652334ff9 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-03 07:12:43 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!feed.textport.net!newsranger.com!www.newsranger.com!not-for-mail Newsgroups: comp.lang.ada From: Ted Dennison References: <9hqeol$cnd$1@slb1.atl.mindspring.net> <5ee5b646.0107021318.7cae0da7@posting.google.com> <3B4162F7.8A8B4146@ix.netcom.com> Subject: Re: Where is Robert? Message-ID: X-Abuse-Info: When contacting newsranger.com regarding abuse please X-Abuse-Info: forward the entire news article including headers or X-Abuse-Info: else we will not be able to process your request X-Complaints-To: abuse@newsranger.com NNTP-Posting-Date: Tue, 03 Jul 2001 10:12:34 EDT Organization: http://www.newsranger.com Date: Tue, 03 Jul 2001 14:12:34 GMT Xref: archiver1.google.com comp.lang.ada:9373 Date: 2001-07-03T14:12:34+00:00 List-Id: In article <3B4162F7.8A8B4146@ix.netcom.com>, Lao Xiao Hai says... >Hmmmmmmmm. Misconceptions will coax Robert to participate. :-) > > 6. The most detailed, comprehensive debugger devised for any programming > language will be GNAT's new GNITpicker environment. The way I heard it, GNITpicker is the name for the new expanded programming environment based around Gnat's old style-checking mode. This mode has been significanly expanded to include a far wider range of formatting and captialization checks. Now there is only one proper way to format a source file, and Gnat will refuse to compile until you find it. GNITpicker is more that just a compilation flag though. There is now extensive integrated semantic checking. This is interfaced through ASIS to provide a whole Emacs environment for critiquing the quality of your source code as you type it. Feedback is provided through cute anthropomorphic insect "emacs assistant" who periodicly flutters up from the lower right corner of your emacs buffer and says helpful things like: "I see you are trying to write a sort. But no competent software engineer would use that algorithm." or "I see that you are writing a state-machine without using goto..." When not advising the developers, the insect will perform amusing acts like laying eggs on the mini-buffer or flying into a bugzapper and releasing a shower of sparks. --- T.E.D. homepage - http://www.telepath.com/dennison/Ted/TED.html home email - mailto:dennison@telepath.com