Simple specification style checker

[treiher]

A simple specification style checker based on regular expressions could ensure:

• Indentation level is multiple of three spaces
• Consistent comment formatting
  • Arbitrary amount of spaces between start of line and --
  • One space between non-space tokens and --
  • Always at least one space after --
• No DOS line terminators
• No form feeds, horizontal or vertical tabs
• No blanks at end of line
• No double blanks
• No double blank lines
• No blank lines at beginning or end of file
• Maximum line length
• Token spacing (A + B vs. A+B)
• Keyword indentation (e.g., 6 spaces before message)

Options for handling of style errors:

1. Just print warning.
2. Print warning, continue, but return non-zero value.
3. Print error and stop.
4. Make behavior configurable.

=> Option 3 - always treat as errors.

[treiher]

There are conflicts with the planned checks, which are not that simple to solve.

Indentation level is multiple of three spaces

Cannot be applied for multiline constructs.

   type E is
      (A => 1,
       B => 2,
       C => 3)
   with Size => 8;

            if Message'Valid = False
               or (Message.Tag = A
                   and Message.Length = 0)

         Response := Create_Message (Tag,                                                                 
                                     Message.Data);

      with function Create_Message
         (Tag : E;
          Value : Opaque)
      return M;

No double blanks

Prevents alignment of arrow in enumerations.

   type E is
      (A   =>   1,
       AB  =>  12,
       ABC => 123)
   with Size => 8;

No double blanks and token spacing

The style rules should not apply in strings.

         X := Fun (Y, "Foo  Bar+Baz");