Re: Quick question about Ada code formatting.

[Georg Bauhaus <bauhaus@futureapps.de>]

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..

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;