GNAT: Weird Style Warnings

GNAT: Weird Style Warnings

[jacob.m.h.smith]

Hello.

I am pretty new to Ada and I have a problem I'm not able to solve.
I compile my files with the following GNAT style switch: -
gnaty2acefhiklmM78nprt
When compiling this one adb file I always get the following message:
s-expuns.ads:42:04: (style) bad indentation
s-expuns.ads:44:04: (style) bad indentation
I have no idea why. This file "s-expuns.ads" is not one of mine, it
must be part of
some library. Does anyone know the meaning of this?

Here's the program text (It's no important project, I was just
experimenting):

-----------------------------------------------------------------------------
with Ada.Integer_Text_IO, Interfaces;
use  Ada.Integer_Text_IO, Interfaces;

procedure Bit_Extraction is

  subtype Byte is Unsigned_8;

  function Get_Bits (The_Byte, Mask : Byte) return Byte is
    Position : Natural := 0;
  begin
    while ((2**Position and Mask) = 0) loop
      Position := Position + 1;
    end loop;
    return Shift_Right ((The_Byte and Mask), Position);
  end Get_Bits;

  Test_Byte, Test_Result : Byte;

begin

  --  Test_Byte: 247 => 11110111
  Test_Byte := 247;

  --  Test_Result: 7 => 111
  Test_Result := Get_Bits (Test_Byte, 224);

  Put (Integer (Test_Result), 0);

end Bit_Extraction;
-----------------------------------------------------------------------------

Greetings,
Jacob M. H. Smith

Re: GNAT: Weird Style Warnings

[anon]

GNAT uses an Indentation value of 3, so when you reassign the indentation to 2 
some system files may report this error when scanned.

The best solution is to either use indentation of 3 in your program or skip 
the indentation style check.


In <6078a089-927b-4756-81a8-7c344df1ee16@u65g2000hsc.googlegroups.com>, jacob.m.h.smith@googlemail.com writes:
>Hello.
>
>I am pretty new to Ada and I have a problem I'm not able to solve.
>I compile my files with the following GNAT style switch: -
>gnaty2acefhiklmM78nprt
>When compiling this one adb file I always get the following message:
>s-expuns.ads:42:04: (style) bad indentation
>s-expuns.ads:44:04: (style) bad indentation
>I have no idea why. This file "s-expuns.ads" is not one of mine, it
>must be part of
>some library. Does anyone know the meaning of this?
>
>Here's the program text (It's no important project, I was just
>experimenting):
>
>-----------------------------------------------------------------------------
>with Ada.Integer_Text_IO, Interfaces;
>use  Ada.Integer_Text_IO, Interfaces;
>
>procedure Bit_Extraction is
>
>  subtype Byte is Unsigned_8;
>
>  function Get_Bits (The_Byte, Mask : Byte) return Byte is
>    Position : Natural := 0;
>  begin
>    while ((2**Position and Mask) = 0) loop
>      Position := Position + 1;
>    end loop;
>    return Shift_Right ((The_Byte and Mask), Position);
>  end Get_Bits;
>
>  Test_Byte, Test_Result : Byte;
>
>begin
>
>  --  Test_Byte: 247 => 11110111
>  Test_Byte := 247;
>
>  --  Test_Result: 7 => 111
>  Test_Result := Get_Bits (Test_Byte, 224);
>
>  Put (Integer (Test_Result), 0);
>
>end Bit_Extraction;
>-----------------------------------------------------------------------------
>
>Greetings,
>Jacob M. H. Smith

Re: GNAT: Weird Style Warnings

[Georg Bauhaus]

jacob.m.h.smith@googlemail.com wrote:
> Hello.
> 
> I am pretty new to Ada and I have a problem I'm not able to solve.
> I compile my files with the following GNAT style switch: -
> gnaty2acefhiklmM78nprt
> When compiling this one adb file I always get the following message:
> s-expuns.ads:42:04: (style) bad indentation
> s-expuns.ads:44:04: (style) bad indentation
> I have no idea why. This file "s-expuns.ads" is not one of mine, it
> must be part of
> some library.

It is. Try compiling your unit and then run
$ gnatls -v -a -d bit_extraction.ali

Re: GNAT: Weird Style Warnings

[Jeffrey R. Carter]

jacob.m.h.smith@googlemail.com wrote:
> 
> When compiling this one adb file I always get the following message:
> s-expuns.ads:42:04: (style) bad indentation
> s-expuns.ads:44:04: (style) bad indentation
> I have no idea why. This file "s-expuns.ads" is not one of mine, it
> must be part of
> some library. Does anyone know the meaning of this?

This is part of the GNAT run-time, and usually should not be subjected to your 
style checks. This may indicate an installation issue. You might try reinstalling.

-- 
Jeff Carter
"Death awaits you all, with nasty, big, pointy teeth!"
Monty Python & the Holy Grail
20

Re: GNAT: Weird Style Warnings

[sjw]

On Oct 26, 12:17 pm, jacob.m.h.sm...@googlemail.com wrote:

> I am pretty new to Ada and I have a problem I'm not able to solve.
> I compile my files with the following GNAT style switch: -
> gnaty2acefhiklmM78nprt

Being lazy I just use -gnaty == equivalent to -gnaty3abcefhiklmnprst.
I use Emacs ada-mode for editing, which makes it easy to get the 3-
character indentation; so does GPS.

Re: GNAT: Weird Style Warnings

[jacob.m.h.smith]

The style guide I'm working with dictates a 2 space indentation, so I
can't just change that. I left out the option for now, since my editor
is configured to indent 2 spaces, so a 3 space indentation is unlikely
to happen. But still, I'd prefer to let gnat check it for me.

I tried reinstalling. It didn't solve the problem. I also checked on
someone else's computer that has gnat installed. I get the same
warnings.

Jacob M. H. Smith

Re: GNAT: Weird Style Warnings

[John B. Matthews]

In article 
<dbd37ccc-1127-4fee-a23b-d9c80a08c6c1@d10g2000pra.googlegroups.com>,
 jacob.m.h.smith@googlemail.com wrote:

> The style guide I'm working with dictates a 2 space indentation, so I
> can't just change that. I left out the option for now, since my editor
> is configured to indent 2 spaces, so a 3 space indentation is unlikely
> to happen. But still, I'd prefer to let gnat check it for me.
> 
> I tried reinstalling. It didn't solve the problem. I also checked on
> someone else's computer that has gnat installed. I get the same
> warnings.

I seem to get expected behavior using -gnaty2:

<http://gcc.gnu.org/onlinedocs/gcc-4.3.2/gnat_ugn_unw/Style-Checking.html
#Style-Checking>

-- 
John B. Matthews
trashgod at gmail dot com
http://home.roadrunner.com/~jbmatthews/

Re: GNAT: Weird Style Warnings

[jacob.m.h.smith]

After I updated my system as well as gnat and gcc the strange warnings
were suddenly gone. It really must have been a bug.

Thanks for all the help.

Jacob M. H. Smith