mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 07:12:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:admin

Browse Source 
Date:2014-06-04T15:46:29.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1373 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
jfiat
2014-06-04 15:46:29 +00:00
parent 3fa43ddaf9
commit 5d26ecd31d
2 changed files with 22 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca001-self-assignment.wiki
View File

@@ -3,11 +3,7 @@
[[Property:weight|0]] [[Property:weight|0]]
[[Property:uuid|d98b7fb8-37a1-05b3-a58f-baacefd5dce6]] [[Property:uuid|d98b7fb8-37a1-05b3-a58f-baacefd5dce6]]
__NOTOC__ __NOTOC__
=Description= :{|
Assigning a variable to itself is a meaningless instruction due to a typing error. Most probably, one of the two variable names was misspelled. One example among many others: the programmer wanted to assign a local variable to a class attribute and used one of the variable names twice.
=Details=
{|
|- |-
| '''Scope''' | '''Scope'''
| Instruction | Instruction
@@ -25,6 +21,9 @@ Assigning a variable to itself is a meaningless instruction due to a typing erro
| 70 | 70
|} |}
=Description=
Assigning a variable to itself is a meaningless instruction due to a typing error. Most probably, one of the two variable names was misspelled. One example among many others: the programmer wanted to assign a local variable to a class attribute and used one of the variable names twice.
=Example= =Example=
<e>a := a <e>a := a
</e> </e>

25
documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca071-self-comparison.wiki
View File

@@ -3,16 +3,27 @@
[[Property:weight|0]] [[Property:weight|0]]
[[Property:uuid|02a649b3-0e4e-6fdf-388d-c411a06fc787]] [[Property:uuid|02a649b3-0e4e-6fdf-388d-c411a06fc787]]
__NOTOC__ __NOTOC__
:{| class="wikitable"
|-
| '''Scope'''
| Instruction
|-
| '''Enabled'''
| Yes
|-
| '''Severity'''
| Warning
|-
| '''Applicability'''
| All
|-
| '''Score'''
| 70
|}
=Description= =Description=
An expression comparing a variable to itself always evaluates to the same boolean value. The comparison is thus redundant. In an Until expression it may lead to non-termination. Usually it is a typing error. An expression comparing a variable to itself always evaluates to the same boolean value. The comparison is thus redundant. In an Until expression it may lead to non-termination. Usually it is a typing error.
=Details=
*Scope: Instruction
*Enabled: Yes
*Severity: Warning
*Applicability: All
*Score: 70
=Example= =Example=
<e>if a >= a then <e>if a >= a then
... ...