Next: Unconditional_Exits, Previous: Unassigned_OUT_Parameters, Up: Predefined Rules
Uncommented_BEGIN_In_Package_Bodies
Flags each package body with declarations and a statement part that does not
include a trailing comment on the line containing the begin
keyword;
this trailing comment needs to specify the package name and nothing else.
The begin
is not flagged if the package body does not
contain any declarations.
If the begin
keyword is placed on the
same line as the last declaration or the first statement, it is flagged
independently of whether the line contains a trailing comment. The
diagnostic message is attached to the line containing the first statement.
This rule has no parameters.