From: mcc@tyrolia.cs.princeton.edu (Martin C. Carlisle)
Subject: Re: Gnat pretty printing
Date: 1998/12/10
Date: 1998-12-10T00:00:00+00:00 [thread overview]
Message-ID: <74on70$m9o$1@cnn.Princeton.EDU> (raw)
In-Reply-To: 366E9E44.AA7370C7@pwfl.com
In article <366E9E44.AA7370C7@pwfl.com>,
Marin David Condic <diespammer@pwfl.com> wrote:
>> Does anyone know if it is possible for my gnat ada compiler running under
>> win95 pretty print? I.e. change font or use bold type for reserved words
>> etc??
>>
>So far as I know, GNAT itself does not do any pretty-printing. However,
>you should have the AdaGide editor available with the WinNT release and
>that has a "Format" button. (I don't particularly like the style of
>formatting it does, but that's a personal preference sort of thing.)
>There is also something called pc-Grasp which does a nice job of
>editing/pretty-printing. It was available, I think, from Auburn
>University. I don't have the URL at this time, so if you find it, please
>post it.
As it turns out, I have an independent study project slated for next semester
to reimplement the reformatting tool in AdaGIDE. It is also available as
a standalone tool, and will generate colorized RTF output. Suggestions for
requirements are welcome, although I don't promise to have the same
preferences you do :-). Send these to mcc@cs.usafa.af.mil
AdaGIDE is distributed with GNAT on Windows, beginning with version 3.10p,
but the latest AdaGIDE is found at
http://www.usafa.af.mil/dfcs/bios/mcc_html/adagide.html
The reformatter standalone is at:
http://www.usafa.af.mil/dfcs/bios/mcc_html/ada_stuff.html
Of course, the best way to implement such a tool would be with ASIS rather
than modifying the sources of GNAT. We will NOT take this approach, however,
because it is essential in our environment to be able to reformat code that
will not compile, on a "as you go" basis during editing.
--Martin
--
Martin C. Carlisle, Computer Science, US Air Force Academy
mcc@cs.usafa.af.mil, http://www.usafa.af.mil/dfcs/bios/carlisle.html
DISCLAIMER: This content in no way reflects the opinions, standard or
policy of the US Air Force Academy or the United States Government.
next prev parent reply other threads:[~1998-12-10 0:00 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-12-09 0:00 Gnat pretty printing Matt Tyler
1998-12-09 0:00 ` Tom Moran
1998-12-09 0:00 ` dennison
1998-12-09 0:00 ` Tom Moran
1998-12-09 0:00 ` David C. Hoos
1998-12-09 0:00 ` Steve O'Neill
1998-12-10 0:00 ` okellogg
1998-12-11 0:00 ` dewarr
1998-12-09 0:00 ` Marin David Condic
1998-12-09 0:00 ` David C. Hoos
1998-12-10 0:00 ` Martin C. Carlisle [this message]
1998-12-11 0:00 ` Michael F Brenner
1998-12-11 0:00 ` Stephane Barbey
1998-12-11 0:00 ` Bob Collins
1998-12-11 0:00 ` dewarr
1998-12-11 0:00 ` Bryce Bardin
1998-12-11 0:00 ` Marin David Condic
1998-12-12 0:00 ` Simon Wright
1998-12-14 0:00 ` dennison
1998-12-15 0:00 ` Marin David Condic
1998-12-15 0:00 ` dennison
1998-12-15 0:00 ` Marin David Condic
1998-12-16 0:00 ` Matthew Heaney
1998-12-16 0:00 ` dennison
1998-12-16 0:00 ` Matthew Heaney
1998-12-16 0:00 ` Chris Morgan
1998-12-18 0:00 ` dewar
1998-12-17 0:00 ` Dale Stanbrough
1998-12-15 0:00 ` Matthew Heaney
1998-12-15 0:00 ` Marin David Condic
1998-12-19 0:00 ` Lieven Marchand
1998-12-12 0:00 ` Robert A Duff
1998-12-13 0:00 ` Ehud Lamm
1998-12-15 0:00 ` Marin David Condic
1998-12-14 0:00 ` Robert I. Eachus
1998-12-21 0:00 ` BARDIN Marc
1998-12-09 0:00 ` dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox