Re: preferred Ada IDE?

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

Peter Chapin <PChapin@vtc.vsc.edu> writes:

> On 2014-08-12 10:42, Stephen Leake wrote:
>
>> Have you tried Emacs Ada mode 5.0?
>> 
>> I'm interested in improving Ada mode.
>
> I just installed it and it seems nice. Do you have any interest in
> support the SPARK specific aspects? 

As far as Ada mode is concerned, there's nothing special about aspects;
they are indented like the rest of the code.

Is there something about SPARK aspects that require special support?

> Also I see you are colorizing Pre
> and Post aspects (for example) but it doesn't seem to work in the case
> where those aspects are introduced on separate lines such as:

Colorization is done by the "font-lock" facility in Emacs, which is
based on regular expressions (although it is possible to use the parser
info, with a lot more work). It doesn't recognize expressions that cross
a newline.

In fact, colorization of aspects is actually accidental; they look like
context clauses.

> I notice you have a feature where it will bring up the Ada Reference
> Manual in info format. Only that doesn't work for me because I don't
> have it in that format. Is that available somewhere?

http://stephe-leake.org/ada/arm.html

I could include the info files in the ELPA package. On the other hand,
it's a separate package on Debian, so that would be duplicated, but
that's not a big deal.

I should at least mention it in the Ada mode manual.

-- 
-- Stephe