Next: Uncommented_BEGIN_In_Package_Bodies, Previous: Slices, Up: Predefined Rules
Unassigned_OUT_Parameters
Flags procedures' out
parameters that are not assigned, and
identifies the contexts in which the assignments are missing.
An out
parameter is flagged in the statements in the procedure
body's handled sequence of statements (before the procedure body's
exception
part, if any) if this sequence of statements contains
no assignments to the parameter.
An out
parameter is flagged in an exception handler in the exception
part of the procedure body's handled sequence of statements if the handler
contains no assignment to the parameter.
Bodies of generic procedures are also considered.
The following are treated as assignments to an out
parameter:
out
or
in out
parameter.
This rule does not have any parameters.