Re: Specific use of GNAT style checking

["Hervé Bitteur" <Herve.Bitteur@France.Sun.COM>]

Pascal Obry wrote:
> 
> Herv� Bitteur <Herve.Bitteur@France.Sun.COM> writes:
> 
> > Hello,
> >
> > I personally like the compiler (GNAT) ability to check the style
> > consistency across a whole bunch of Ada source files. I use flags such
> > as -gnatg to check conformance to GNAT style.
> 
> You should not use -gnatg but -gnaty.
> 
> > However, I also reuse other Ada components for which I have no intention
> > to modify the code, even at just the layout level. But these components
> > may get (re)compiled because of some dependency on my code, for generic
> > instantiation for example.
> 
> Just compile the library (before compiling your code) without the -gnaty
> switch?
> 
> Pascal.


Oops, I meant "-gnaty" instead of "-gnatg", you are right. 
But interestingly enough, the info file of GNAT 3.13p user guide (File:
gnat_ug.info, Node: Switches for gcc) says :

`-gnatg'
     GNAT style checks enabled.

So my confusion, when I wrote my message!

Now, back to my original question. Jean-Pierre suggested to compile the
foreign units beforehand in a separate library. Fine, but this does not
work in all cases, for example when such a foreign unit needs to be
instantiated with some code of my own : to my knowledge GNAT reparses
the foreign generic source at this moment, and I'm back with an
avalanche of style warnings.

Many thanks to Florian Weimer for pointing to Style_Checks pragma, which
allows you to customize the checks at the source level, in conjunction
with the compiler switches.
I was looking in the user's guide, not in the reference manual. My
fault.

Bye,
-- Herv�
-- 
      /\             Herv� BITTEUR                            
     \\ \            EMEA IT Architect
    \ \\ /           SUN MICROSYSTEMS FRANCE                  
   / \/ / /          13, avenue Morane Saulnier
  / /   \//\         78142 V�lizy cedex France
  \//\   / /         
   / / /\ /          Email  : Herve.Bitteur@France.Sun.COM
    / \\ \           Office : +33 (0)1.30.67.51.12
     \ \\            Fax.   : +33 (0)1.30.67.53.06
      \/