Re: New release of AdaControl (1.11r4)

[Jean-Pierre Rosen <rosen@adalog.fr>]

Hibou57 (Yannick Duch�ne) a �crit :
> I meet some malfunctions with AdaControl and GPS
> 
> If I open the help menu, and choose say � Help -> AdaControl -> Help
> on rule -> Allocators �, I got an error from GPS, which complains that
> � Could not display help file C:\Dev\GNAT\share\doc\gps\html
> \adacontrol_ug.html#Allocators �
This is a known problem with GPS under Windows, and it's documented in
section 3.6.4 of the user's guide, under the "Help on rule" bullet.
Select the "pop-up" version in the preferences. Sorry, but there isn't
much I can do about that (it works fine under Linux).

> When I try to run AdaControl from GPS, doing � AdaControl -> Control
> Root project (interactive) �, then type � search
> abnormal_function_return; � in the input field, I got a message in the
> message pan, ending with � AttributeError: 'NoneType' object has no
> attribute 'raise_window' � (I do not give the full error message, to
> be concise).
> 
> Later, I've understood the latter error only occurs when there is no
> location pan opened (the integration script may not detect it).
True, I didn't find a clean way to force the creation of the location
panel. OTOH, you run normally AdaControl after compiling your code, so
most people don't see that bug, because the location panel is created by
the compilation.

> Any way, this AdaControl is the kind of things I was looking for. I
> may a day try to add a rule to check that all constant declared of a
> given type are all assigned different values (useful with some design
> principle).
> 
By all means, please do! And don't be disturbed by people telling you
this rule is a bad idea. There are plenty of rules in AdaControl that I
don't agree with, but the goal of a tool is to provide a variety of
checks that might be useful in some cases, not to sort out the Good from
the Evil.

(If you need help about what good rules are, please consider Adalog's
consultancy services ;-) )

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr