Specific use of GNAT style checking

Specific use of GNAT style checking

[Hervé Bitteur]

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.
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.
So my question (no answer found while browsing the GNAT doc so far) :
How could I explicitly disable the style checking on some source files,
while keeping it active on some other ones.

Thanks for any clue.
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
      \/

Re: Specific use of GNAT style checking

[Jean-Pierre Rosen]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 603 bytes --]


"Herv� Bitteur" <Herve.Bitteur@France.Sun.COM> a �crit dans le message news:
3B09393B.31E12172@France.Sun.COM...
> So my question (no answer found while browsing the GNAT doc so far) :
> How could I explicitly disable the style checking on some source files,
> while keeping it active on some other ones.
>
Compile once without -gnatg, then recompile your files with -gnatg. Since
foreign units won't be recompiled, that should do the trick...

--
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr

Re: Specific use of GNAT style checking

[Pascal Obry]

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.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--|
--| "The best way to travel is by means of imagination"

Re: Specific use of GNAT style checking

[Pascal Obry]

"Jean-Pierre Rosen" <rosen@adalog.fr> writes:

> "Herv� Bitteur" <Herve.Bitteur@France.Sun.COM> a �crit dans le message news:
> 3B09393B.31E12172@France.Sun.COM...
> > So my question (no answer found while browsing the GNAT doc so far) :
> > How could I explicitly disable the style checking on some source files,
> > while keeping it active on some other ones.
> >
> Compile once without -gnatg, then recompile your files with -gnatg. Since
> foreign units won't be recompiled, that should do the trick...

Nop :) use -gnaty not -gnatg (-gnatg is an internal GNAT switch that should be
used to build GNAT only).

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--|
--| "The best way to travel is by means of imagination"

Re: Specific use of GNAT style checking

[Florian Weimer]

Herv� Bitteur <Herve.Bitteur@France.Sun.COM> writes:

> How could I explicitly disable the style checking on some source files,
> while keeping it active on some other ones.

Maybe youd could use pragma Style_Checks?

Re: Specific use of GNAT style checking

[Hervé Bitteur]

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
      \/