Loop Statements (GNAT Coding Style A Guide for GNAT Developers)

### 5.4 Loop Statements ¶

- When possible, have `for` or `while` on one line with the condition and the `loop` keyword.

      for J in S'Range loop
         ...
      end loop;

  If the condition is too long, split the condition (see ‘If statements’ above) and align `loop` with the `for` or `while` keyword.

      while long_condition_that_has_to_be_split
        and then continued_on_the_next_line
      loop
         ...
      end loop;

  If the loop_statement has an identifier, it is laid out as follows:

      Outer : while not condition loop
         ...
      end Outer;