From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,4d7a3c23c070b002 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,CP1252 Path: g2news2.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: New release of AdaControl (1.11r4) Date: Thu, 02 Jul 2009 16:03:46 +0200 Organization: Adalog Message-ID: References: <3tpf2h.4oi.ln@hunter.axlog.fr> NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1246536685 26183 195.25.228.57 (2 Jul 2009 12:11:25 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Thu, 2 Jul 2009 12:11:25 +0000 (UTC) User-Agent: Thunderbird 2.0.0.22 (Windows/20090605) In-Reply-To: Xref: g2news2.google.com comp.lang.ada:6803 Date: 2009-07-02T16:03:46+02:00 List-Id: 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