eiffelstudio
:: CA020
Version
CA020 - Variable not read after assignment
Description
An assignment to a local variable has not effect at all if the variable is not read after the assignment, or reassigned.
| Scope | Instruction |
| Status | Enabled |
| Severity | Warning |
| Applicability | All |
| Score | 70 |
Example of violation
local x, y: INTEGER do x := 3 y := some_height_query x := some_width_query ... end
Recommendation
Remove the assignment without effect.
In the example, remove the first assignment to x:
local x, y: INTEGER do y := some_height_query x := some_width_query ... end
See Also: CA071 - Self-comparison
Back to Rules