23.6.42 Parameters_Out_Of_Order

Flag each subprogram and entry declaration whose formal parameters are not ordered according to the following scheme:

• in and access parameters first, then in out parameters, and then out parameters;
• for in mode, parameters with default initialization expressions occur last

Only the first violation of the described order is flagged.

The following constructs are checked:

• subprogram declarations (including null procedures);
• generic subprogram declarations;
• formal subprogram declarations;
• entry declarations;
• subprogram bodies and subprogram body stubs that do not have separate specifications

Subprogram renamings are not checked.

This rule has no parameters.