comp.lang.ada
 help / color / mirror / Atom feed
From: Ted Dennison<dennison@telepath.com>
Subject: Re: Where is Robert?
Date: Tue, 03 Jul 2001 14:12:34 GMT
Date: 2001-07-03T14:12:34+00:00	[thread overview]
Message-ID: <mpk07.5688$Kf3.48138@www.newsranger.com> (raw)
In-Reply-To: 3B4162F7.8A8B4146@ix.netcom.com

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



  reply	other threads:[~2001-07-03 14:12 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-07-02 17:55 Where is Robert? Alejandro R. Mosteo
2001-07-02 17:57 ` Samuel Tardieu
2001-07-03 13:23   ` Ted Dennison
2001-07-02 18:32 ` Brian Catlin
2001-07-02 21:18   ` Robert Dewar
2001-07-02 22:23     ` Keith Thompson
2001-07-03  6:15     ` Lao Xiao Hai
2001-07-03 14:12       ` Ted Dennison [this message]
2001-07-03 14:47       ` Georg Bauhaus
2001-07-03 14:53         ` Ted Dennison
2001-07-04 14:10           ` Robert Dewar
2001-07-05 13:15             ` Stephen Leake
2001-07-03 21:58         ` Jeffrey Carter
2001-07-05  7:38           ` Robert Dewar
2001-07-05 17:46             ` Jeffrey Carter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox