comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: IDE's that support ADA
Date: Sat, 1 Nov 2014 23:46:18 +0100
Date: 2014-11-01T23:46:18+01:00	[thread overview]
Message-ID: <joi7w82vswag.qihfqccv5haj.dlg@40tude.net> (raw)
In-Reply-To: 854muiwpsh.fsf@stephe-leake.org

On Sat, 01 Nov 2014 16:53:50 -0500, Stephen Leake wrote:

> Peter Chapin <PChapin@vtc.vsc.edu> writes:
> 
>> On Wed, 29 Oct 2014, Stephen Leake wrote:
>>
>>> Hmm. You said "semantic", not "syntactic". So this means a full
>>> compile with name and type resolution, not just a syntax parse. That
>>> makes sense for simpler languages; I don't think it makes much sense
>>> for Ada.
>>
>> I guess I would disagree here. It's more useful for complex languages
>> than for simple languages because the programmer (meaning me) is more
>> likely to be unaware of all the rules. Ada has a lot of rules so help
>> from the IDE would be welcome.
>>
>> With the Java IDEs I've used (Eclipse, IntelliJ), if the IDE "signs
>> off" on the code, it will compile. I can't recall a time when that
>> hasn't been true. Thus the IDE does full name resolution across
>> packages, libraries, and considers inheritance, etc, etc.
> 
> I suspect it actually invokes the compiler, and processes the error
> messages. That's easy to do, but the compile can be pretty slow if the
> project is big enough, so you don't want to do it for every edit. GNAT
> does have a "semantic check only mode", which is faster.

Unless you do autocompletion, there is no need to run compiler
synchronously to the editor. E.g. Visual Studio compiles sources
asynchronously to typing and underlines errors it finds seconds later. It
is still a bit annoying and sometimes blocks input nevertheless.

> The problem I'm getting at is the cross-file interactions mentioned
> above. 

True, especially for separate units GNAT's partial compilation is not much
better than simple syntax checks.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2014-11-01 22:46 UTC|newest]

Thread overview: 46+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-26 18:34 IDE's that support ADA nathandsash
2014-10-26 18:58 ` Martyn Pike
2014-10-26 19:02 ` Niklas Holsti
2014-11-14 22:38   ` rriehle
2014-11-16  0:38     ` David Botton
2014-10-26 21:33 ` David Botton
2014-10-29  1:52   ` Robert Love
2014-10-29  1:58     ` David Botton
2014-11-05 20:58       ` Wesley Pan
2014-10-28  7:38 ` Stephen Leake
2014-10-28 11:43   ` Peter Chapin
2014-10-29 21:47     ` Stephen Leake
2014-10-29 23:28       ` Peter Chapin
2014-10-29 23:48         ` Adam Beneschan
2014-11-01 21:58           ` Stephen Leake
2014-11-03 17:48             ` Adam Beneschan
2014-10-30  8:19         ` Dmitry A. Kazakov
2014-10-30 14:42           ` Adam Beneschan
2014-10-30 16:22             ` Peter Chapin
2014-11-01 22:01               ` Stephen Leake
2014-11-02 15:13                 ` Peter Chapin
2014-11-03 13:41                   ` Stephen Leake
2014-11-03  9:43                 ` IDE's that support Ada Jacob Sparre Andersen
2014-11-03 18:14                   ` Simon Wright
2014-11-04 17:46                   ` Stephen Leake
2014-11-04 19:35                     ` Simon Wright
2014-11-04 20:36                     ` Jacob Sparre Andersen
2014-11-05 14:25                       ` Stephen Leake
2014-11-01 21:53         ` IDE's that support ADA Stephen Leake
2014-11-01 22:46           ` Dmitry A. Kazakov [this message]
2014-11-02 15:10           ` Peter Chapin
2014-11-03 13:38             ` Stephen Leake
2014-11-03 17:00           ` Luke A. Guest
2014-11-03 18:52             ` David Botton
2014-11-03 19:50               ` Luke A. Guest
2014-11-03 20:46                 ` David Botton
2014-11-03 22:55                   ` Luke A. Guest
2014-11-04 18:11                     ` Stephen Leake
2014-11-04  3:41                 ` Dennis Lee Bieber
2014-11-04 18:10                 ` Stephen Leake
2014-11-04 18:03             ` Stephen Leake
2014-11-03 12:24       ` Florian Weimer
2014-10-28 12:59   ` David Botton
2014-10-29 21:51     ` Stephen Leake
2014-11-11  0:11 ` Hubert
2014-11-11  0:31   ` David Botton
replies disabled

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