Re: Quick question about Ada code formatting.

[Stephen Leake <stephe_on_the_web@toadmail.com>]

Georg Bauhaus <bauhaus@futureapps.de> writes:

> Stephen Leake wrote:
>
>> These are separate warnings; one is -gnatys, the other -gnatyt.
>
> The warnings aren't separate in the sense that GNAT
> characterizes both as "(style)", but one style is writing
> a spec or not, the other style refers to typography,
> i.e. content versus form.
>
>> I guess you would rather have -gnatzs, and -gnatyt? I don't see the
>> point.
>
> I'd rather have -gnatY and -gnaty where the first is for checking
> Ada language style, and the other for checking layout etc..

Well, that violates the GNAT option capitalization convention;
uppercase turns options off, lowercase turns them on.

> A possible thing for -gnatY to achieve could be something like
> the following (don't know if this easily added to GNAT, or in
> fact already present):
>
> blue.ads: 5: (Y-style) use clause for Ada.Text_IO is not needed
>
>
> with Ada.Text_IO;
>
> package Blue is
>
>    use Ada.Text_IO;
>
>    subtype File_Type is Ada.Text_IO.File_Type;
>
> end Blue;

Reporting some unnecessary use clauses is in GNAT 5.04, but it doesn't
report this case. I agree it would be nice. 

-- 
-- Stephe