Re: preferred Ada IDE?

[Stephen Leake <stephen_leake@stephe-leake.org>]

mockturtle <framefritti@gmail.com> writes:

> On Tuesday, August 12, 2014 4:42:00 PM UTC+2, Stephen Leake wrote:
>> mockturtle <framefritti@gmail.com> writes:
>> 
>> > I used emacs with Ada mode, then I converted to GPS.
>> 
>> Can you elaborate on why you switched?
>
> I switched long time ago (few years). I do not know the Ada mode
> version I used, but if 5.0 is fairly recent, almost surely I used an
> old one.

Yes, that was 4.01

> I guess that what I like most in GPS are the nice integration with the
> other Adacore tools, the auto-completion of aggregate constants and
> function calls, 

Yes, that's currently missing in Ada mode, but it is on the list of
things to do.

> the possibility of jumping to a function/procedure/type/... definition
> with a ctrl-click. 

I guess you mean while auto-completing (before the code is compiled).
That would be useful. Currently, this feature in Ada mode requires the
code to be compiled; it uses the cross-reference info output by the GNAT
compiler.

> I never used SPARK (so far), but from the menus it seems to me that
> SPARK is nicely integrated too.

I've never been a fan of the GUI style in general; to me, "SPARK
integration" means "run the SPARK tools from the makefile, process the
error messages in the same way as compiler error messages". Which Emacs
does nicely :).

When you are first learning new tools, a set of GUI menus can be
helpful, but after that, they just get in the way.

-- 
-- Stephe