qzo4Pa d Z ddlZddlmZ ddlmZ ddlmZ ddlmZ ej ej
ej ej fZ
ed Z ed Zd Zd
ej d efd Z G d
de ZdS )z*Comparison checker from the basic checker. N)nodes)utils)
_BasicChecker)HIGH)==!=<>z<=z>=)isis notr r z
builtins.typecallreturnc v t | t j o t | j dk o| j S )z3Is this a call with exactly 1 positional argument ? )
isinstancer Calllenargskeywords)r
s y/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib/python3.11/site-packages/pylint/checkers/base/comparison_checker.py_is_one_arg_pos_callr s0 dEJ ' ' UC NNa,? U
DUU c e Zd ZdZddddddgifdd d
d d d
Z d)dej dej dej deddf
dZ d)dej dej dej deddf
dZ
dej dej ddfdZ dej ddfdZ dej ddfdZ
dej ddfd Z ej d dd d d d!d" dej ddfd# Zdej ddfd$Zdej d%ej d&ed'ej ddf
d(ZdS )*ComparisonCheckera Checks for comparisons.
- singleton comparison: 'expr == True', 'expr == False' and 'expr == None'
- yoda condition: 'const "comp" right' where comp can be '==', '!=', '<',
'<=', '>' or '>=', and right can be a variable, an attribute, a method or
a function
)Comparison %s should be %ssingleton-comparisonzQUsed when an expression is compared to singleton values like True, False or None.z4Use isinstance() rather than type() for a typecheck.unidiomatic-typecheckzThe idiomatic way to perform an explicit typecheck in Python is to use isinstance(x, Y) rather than type(x) == Y, type(x) is Y. Though there are unusual situations where these give different results. old_names)W0154zold-unidiomatic-typecheck)zBIn '%s', use '%s' when comparing constant literals not '%s' ('%s')literal-comparisonzUsed when comparing an object to a literal, which is usually what you do not want to do, since you can compare to a different literal than what was expected altogether.)zRedundant comparison - %scomparison-with-itselfz/Used when something is compared against itself.)z=Comparison between constants: '%s %s %s' has a constant valuecomparison-of-constantszWhen two literals are compared with each other the result is a constant. Using the constant directly is both easier to read and more performant. Initializing 'True' and 'False' this way is not required since Python 2.3.)z;Comparing against a callable, did you omit the parenthesis?comparison-with-callablezThis message is emitted when pylint detects that a comparison with a callable was made, which might suggest that some parenthesis were omitted, resulting in potential unwanted behaviour.)r nan-comparisonzRUsed when an expression is compared to NaN values like numpy.NaN and float('nan').)C0121C0123R0123R0124R0133W0143W0177F
left_value right_value root_nodechecking_for_absencer Nc
t j | r
|j |}}n t j | r
|j |}}ndS ddd}|dv rd}ddd} d d
d }
||u} | || | | |t j | s| rd nd
| | | |
| } n@|| | | } | d|d| d| f dS )z=Check if == or != is being used to compare a singleton value.Nz
'{} is {}'z'{} is not {}')FT> FTzB{} if checking for the singleton value {}, or {} if testing for {}znot {}z{}
truthiness falsiness)TFz
'bool({})'z'{}'r 'noder )r is_singleton_constvalueformat as_stringis_test_condition add_message)
selfr, r- r. r/ singleton other_value singleton_comparison_examplesuggestion_templatetruthiness_exampletruthiness_phrasechecking_truthiness
suggestions
r _check_singleton_comparisonz-ComparisonChecker._check_singleton_comparisonT s #J / / %/%5{{II
%k
2
2 %0%6
{II F/;CS'T'T$
% %T
*2!>!> '3K H H #,3G"G ,33,-ABII ((**K,A,A,C,C !29== BU LL &&':;BB#--//
""56 JJ" 66JKRR$$&& (=(=(?(? J
".i))++...
;
r c
dt j dt fd dt j dt fd
dt j dt f
fd } || }|s
|| sd S d}|rd}|r d| d | d
}nd| d | d
}| d |d| d|f d S )
Nr5 r c B t | t j rrt | j dk rZ| j d j dk r2| d dk rdS dS # t $ r Y dS w xY w)Nr r nanzbuiltins.floatTF)
r r r r r r7 lowerinferredpytypeAttributeErrorr5 s r
_is_float_nanz>ComparisonChecker._check_nan_comparison.._is_float_nan s
dEJ// $C NNa4G4G ! *0022e;; MMOOA . 5 5 7 7;K K K #t u!
uu
s B
B
B B c t | t j r8| j dk r-t | j t j r| j j dv S dS )NNaN> npnmpnumpyF)r r AttributeattrnameexprNamenamerM s r
_is_numpy_nanz>ComparisonChecker._check_nan_comparison.._is_numpy_nan sO $00
DT]e5K5K di44 D 9>-CCC5r c 0 | p
| S N )r5 rN rY s r _is_nanz8ComparisonChecker._check_nan_comparison.._is_nan s" =&&=--*=*= =r znot r3 z math.isnan(z)'r$ r4 )r NodeNGboolr9 r; ) r< r, r- r. r/ r] nan_left absence_textrD rN rY s @@r _check_nan_comparisonz'ComparisonChecker._check_nan_comparison s_
>%, >4 > > > > > > > 7:&& 4 4 F "!L QQ\QQk6K6K6M6MQQQJJP\PPj6J6J6L6LPPPJ .i))++...
;
r literalr5 c t |t j t j t j f }d}t |t j rPt |j t s|j dS t |j t t t t f }|s|r[| }d|v rd}d}nd}d}|
|| }| d||||f|t dS dS ) zMCheck if we compare to a literal, which is usually what we do not want to do.FNr r r r r )r r5
confidence)r r ListDictSetConstr7 r` bytesstrintfloatr9 replacer; r ) r< rd r5 is_other_literalis_constincorrect_node_strequal_or_not_equal is_or_is_notfixed_node_strs r _check_literal_comparisonz+ComparisonChecker._check_literal_comparison s# &g
EJ /RSS gu{ + + K'-..
'-2G!'-%c51IJJH ' !% !1!1 ---%)" ' %)" # / 7 7 0 N
$&& "
r c |j }|j d d }|j d d }t |t j r)t |t j r|j }|j }nBt |t j r(t |t j r|j }|j }||k r%| d| d| }| d||f dS dS )zCheck if identifier is compared against itself.
:param node: Compare node
:Example:
val = 786
if val == val: # [comparison-with-itself]
pass
r r r! r4 N) leftopsr r rj r7 rW rX r; )r< r5 left_operand
right_operandoperatorrD s r _check_logical_tautologyz*ComparisonChecker._check_logical_tautology s y A
8A;q> lEK 0 0 /Z 5;6
6
/ (-L ) /MM
ej
1
1 /j 5:7
7
/ (,L ) .M = ( ( (EE8EEmEEJ 5D
} U U U U U ) (r c & |j }t |t j sdS |j d d }t |t j sdS |j d d }| d||j ||j ft dS )zGWhen two constants are being compared it is always a logical tautology.Nr r r" )r5 r rf )ry r r rj rz r; r7 r )r< r5 r{ r| r} s r _check_constants_comparisonz-ComparisonChecker._check_constants_comparison s y , 44 F A
-55 F8A;q> % $h
0CD
r c |j d d }|t vrd S t j t j f}|j |j d d }}d}||fD ]_}t j | }t || r9d|
vr#t d |j D s|dz
}`|dk r|
d| d S d S )Nr r ztyping._SpecialFormc 3 J K | ] }t |t j V d S r[ )r r Raise).0xs r z?ComparisonChecker._check_callable_comparison.. s. NN1Jq%+ 6 6NNNNNNr r# rM )rz COMPARISON_OPERATORSr FunctionDefastroid BoundMethodry r
safe_inferr decoratornamesanybodyr; ) r< r5 r} bare_callablesr{ r| number_of_bare_callablesoperandrJ s r _check_callable_comparisonz,ComparisonChecker._check_callable_comparison s 8A;q> / / / F +W-@A&*i!Q m $% #]2 . .G '00H 8^44
.)1H1H1J1JJJNN
NNNNN K )A-( #q ( ( 7d C C C C C ) (r r r r! r" r# r$ c | | | | | | | | t |j dk rd S |j }|j d \ }}|dv r | ||||dk |dv r| ||||dv |dv r| || d S d S ) Nr r > r r r )r/ > r r r r > r r > r r )
r r~ _check_unidiomatic_typecheckr r rz ry rE rc rv )r< r5 ry r} rights r
visit_comparez ComparisonChecker.visit_compare s&
''--- %%d+++ ))$/// ((... tx==A Fy (1+% | # # , ,eTD8H
-
3 3 3 & &eTDT8T
'
' ' ' * *5$ 7 7 7 7 7 ( 'r c |j d \ }}|t v r0|j }t | r | |||| d S d S d S )Nr )rz TYPECHECK_COMPARISON_OPERATORSry r _check_type_x_is_y)r< r5 r} r ry s r r z.ComparisonChecker._check_unidiomatic_typecheckB si (1+% 5 5 59D#D))
E''dHeDDDDD 6 5
E
Er ry r} r c
t j |j }t |t j r | t k sdS |dv rt | rt j |j }t |t j rS| t k r6t j |j d }t |t sdS | d| dS )z(Check for expressions like type(x) == Y.N> r r r r rM ) r r funcr r ClassDefqname
TYPE_QNAMEr r LITERAL_NODE_TYPESr; )r< r5 ry r} r left_func
right_func right_args r r z$ComparisonChecker._check_type_x_is_yI s $TY// y%. 1 1 6?oo6G6G:6U6U F ' ' ',@,G,G ' )%*55J:u~66
$$&&*44 " ,UZ] ; ; !)-?@@ F 0t<<<<r s
1 0 ! ! ! ! ! ! < < < < < < " " " " " "k5:uz59E y!CDD !*+G!H!H
Vu| V V V V V
I= I= I= I= I=
I= I= I= I= I=r