CA002 - Unused argument

Description

A feature should only have arguments which are actually needed and used in the computation.

Scope Feature
Status Disabled
Severity Warning
Applicability All
Score 40

Example of violation

square (x, y: INTEGER): INTEGER do Result := x * 2 end

Recommendation

Remove argument and update callers.

In the example, remove the argument y from the argument list.