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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,13bec1d6e8f0eeee,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!news2.arglkargh.de!news.n-ix.net!news.belwue.de!peernews!feed.news.schlund.de!schlund.de!news.online.de!not-for-mail
From: Stefan Soos <stefan.soos@gmx.de>
Newsgroups: comp.lang.ada
Subject: gnatcheck
Followup-To: comp.lang.ada
Date: Mon, 22 Dec 2008 21:21:20 +0100
Organization: 1&1 Internet AG
Message-ID: <gioss0$q92$1@online.de>
NNTP-Posting-Host: ulmg-5d847461.pool.einsundeins.de
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7Bit
X-Trace: online.de 1229977280 26914 93.132.116.97 (22 Dec 2008 20:21:20 GMT)
X-Complaints-To: abuse@einsundeins.com
NNTP-Posting-Date: Mon, 22 Dec 2008 20:21:20 +0000 (UTC)
User-Agent: KNode/0.99.01
Xref: g2news1.google.com comp.lang.ada:3074
Date: 2008-12-22T21:21:20+01:00
List-Id: <comp.lang.ada>

Hello,

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?

Thanks in advance,
Stefan