Next: Implicit_SMALL_For_Fixed_Point_Types, Previous: GOTO_Statements, Up: Predefined Rules
Implicit_IN_Mode_Parameters
Flag each occurrence of a formal parameter with an implicit in mode.
Note that access parameters, although they technically behave
like in parameters, are not flagged.
This rule has no parameters.