comp.lang.ada
 help / color / mirror / Atom feed
From: George Haddad <george.haddad@lmco.com>
Subject: Re: Request for Ada Coding Standards
Date: 1997/08/19
Date: 1997-08-19T00:00:00+00:00	[thread overview]
Message-ID: <33F9E653.2837@lmco.com> (raw)
In-Reply-To: dewar.871754868@merv


Robert Dewar wrote:
> There are two GNAT style rules:
> 
> 1. Write according to the rules for -gnatg turned on (see style.adb for
> full documentation)
> 
> 2. Write in the same style as the rest of GNAT
> 
> The second rule is much harder to document. Parts of it could be documented,
> but some of it is related to the feel of how things should look, and is not
> so easily documented!

   As far as style.adb, on our site only the GNAT binaries had been
installed, so I'm off to get sources from the ftp site. I expect that
will be no problem.  (But, my expectations are often wildly optimistic. 
:-))

   For rule 2, "hard" (or even "not easy") doesn't mean "impossible". 
Do you have any existing documentation on Rule 2.  I know you have
posted in the past that you, are (or were) the final arbiter of Rule 2,
but has any effort been made to codify Rule 2's criteria?  (Or, does any
succesful attempt to codify a criterion for
Rule 2 automatically get converted into a new part of Rule 1 instead? 
:-))

> However, it is no secret, and all the information is available to the
> public without charge -- just look at the GNAt sources!

   Yes, I know.  I was merely referring, tongue-in-cheek, to your
not-infrequent complaint that many users of GNAT do not read
gnatinfo.txt.  :-)  Thank you for your response.
*****************************************************************
I found these opinions on my doorstep, would you please give them a good
home?




  reply	other threads:[~1997-08-19  0:00 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-08-15  0:00 Request for Ada Coding Standards George Haddad
1997-08-16  0:00 ` Michael F Brenner
1997-08-17  0:00   ` Robert Dewar
1997-08-18  0:00   ` George Haddad
1997-08-16  0:00 ` Robert Dewar
1997-08-19  0:00   ` George Haddad [this message]
1997-08-19  0:00 ` Jeff Burns
1997-08-19  0:00   ` George Haddad
replies disabled

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