23.7.55 Positional_Parameters

Flag each positional parameter notation in a subprogram or entry call, except for the following:

• Parameters of calls to of prefix or infix operators are not flagged
• If the called subprogram or entry has only one formal parameter, the parameter of the call is not flagged;
• If a subprogram call uses the Object.Operation notation, then
  • the first parameter (that is, Object) is not flagged;
  • if the called subprogram has only two parameters, the second parameter of the call is not flagged;

This rule has no parameters.