Flag each subprogram and entry declaration whose formal parameters are not ordered according to the following scheme:
accessparameters first, then
in outparameters, and then
inmode, parameters with default initialization expressions occur last
Only the first violation of the described order is flagged.
The following constructs are checked:
Subprogram renamings are not checked.
This rule has no parameters.