comp.lang.ada
 help / color / mirror / Atom feed
From: "John B. Matthews" <nospam@nospam.com>
Subject: Re: gnatcheck
Date: Mon, 22 Dec 2008 23:19:08 -0500
Date: 2008-12-22T23:19:08-05:00	[thread overview]
Message-ID: <nospam-873A93.23190822122008@nntp.motzarella.org> (raw)
In-Reply-To: gioss0$q92$1@online.de

In article <gioss0$q92$1@online.de>, Stefan Soos <stefan.soos@gmx.de> 
wrote:

[...]
> when I use gnatcheck on my project, I get a bunch of error messages for 
> coding standard violations. Where can I find more infos what the different 
> rules mean? For example, I get "declaration of discriminanted record". Now 
> I'd like to know why this is a violation and where in the RM I can read more 
> about it. Can I make gnatcheck to be more verbose or specific?

I'd start with the GNAT User's Guide section on gnatcheck:

<http://gcc.gnu.org/onlinedocs/gcc-4.3.2/gnat_ugn_unw/>

-- 
John B. Matthews
trashgod at gmail dot com
http://home.roadrunner.com/~jbmatthews/



  reply	other threads:[~2008-12-23  4:19 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-12-22 20:21 gnatcheck Stefan Soos
2008-12-23  4:19 ` John B. Matthews [this message]
2008-12-23 16:22   ` gnatcheck Stefan Soos
2008-12-23 16:30     ` gnatcheck Ludovic Brenta
2008-12-23 16:53       ` gnatcheck Stefan Soos
2008-12-23 17:06         ` gnatcheck Ed Falis
2008-12-24 20:03     ` gnatcheck Stephen Leake
2008-12-23 19:49 ` gnatcheck Robert A Duff
replies disabled

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