comp.lang.ada
 help / color / mirror / Atom feed
From: "Ed Falis" <falis@verizon.net>
Subject: Re: gnatcheck
Date: Tue, 23 Dec 2008 17:06:20 GMT
Date: 2008-12-23T17:06:20+00:00	[thread overview]
Message-ID: <op.ummkgvfy5afhvo@naropa> (raw)
In-Reply-To: gir523$ppp$1@online.de

The idea behind gnatcheck is to enforce organization-specific coding  
standards.  It comes with a set of default rules there were of interest to  
certain customers developing safety-critical software, whose coding  
standards excluded certain constructs that are difficult to certify for  
safety applications.  You should go through the list and turn off those  
rules that are irrelevant to your situation.



  reply	other threads:[~2008-12-23 17:06 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 ` gnatcheck John B. Matthews
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         ` Ed Falis [this message]
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