-K d Z ddlmZ ddlZddlZddlZddlmZ ddlm Z m
Z
ddl Z ddl m Z m
Z
mZ ddlmZ ddlmZmZ dd lmZmZmZ dd
lm Z dd lmZ e rdd l m Z ej d
k rddlm Z nddl m Z G d de Z!dZ"dZ#e#e"ffZ$ e% e&d dD g d fi d dD Z'd#d Z( G d! d"e! Z)dS )$z Basic checker for Python code. ) annotationsN)Iterator)
TYPE_CHECKINGcast)nodesobjectsutil)utils) BaseCheckerr
)HIGH INFERENCE
Confidence)r ) LinterStats)PyLinter )Literalc e Zd ZdZdZdS )
_BasicCheckerzYPermits separating multiple checks with the same checker name into
classes/file.
basicN)__name__
__module__ __qualname____doc__name t/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib/python3.11/site-packages/pylint/checkers/base/basic_checker.pyr r ! s DDDr r __reversed__) __getitem____len__c < g | ]}d d|g S ).builtins)join.0xs r
r* 0 s( DDDq:q/ " "DDDr )setdictlist)zset()z{}z[]c i | ]}|| d S )z()r r' s r
r/ 3 s0
a888 r )zcollections.dequezcollections.ChainMapzcollections.Counterzcollections.OrderedDictzcollections.defaultdictzcollections.UserDictzcollections.UserListsectreporter_nodes.Sectionstatsr old_statsLinterStats | NonereturnNonec ( i }dD ]}t t d | }| | }i ||< |dk rY| | }||z
}|dz |z }|d|| d< | | } | dz |z }|d|| d< g d}
dD ]}t t d | }| | } |r| | nd } | rt j | | nd }
|
|t | | rt | nd
|
r|
nd
|| dd || dd gz
}
| t j |
d d
d S )zzMake a report of.
* percentage of different types documented
* percentage of different types with a bad name
)moduleclassmethodfunction)r; r9 r: r8 r g Y@z.2fpercent_documentedpercent_badname)typenumberz
old number
differencez %documentedz%badnameNNC0 )childrencolsrheaders) r r get_node_countget_undocumented
get_bad_names
lint_utils diff_stringstrgetappendreporter_nodesTable)r0 r2 r3
nice_stats node_typetotalundocumented_node
documentedpercent badname_nodelinesnewolddiff_strs r report_by_type_statsr] B s -/J> H H !HI9UU $$Y// "
9 A:: % 6 6y A A !22J!E)U2G=D:J:JJy !"6 7 ..y99L#e+u4G:A7G7GJy !"3 4 U U UE>
!HI9UU ""9--5>Hi&&y111D7:D:)#s333
HH %CHHH *HHd y ! % %&:C @ @ y ! % %&7 = =
KK$e!aHHHIIIIIr c e Zd ZdZdZi ddddddd d
d d d
ddddddddddddddd d d d d d!d"d#d$d%d&d'd(d)d*Zd+d,effZd fd1 Zdd2Z e
j d3d4 dd7 Z e
j d3d4 dd9 Z
e
j d3d4 dd; Zdd?ZeddB ZddEZddGZ e
j dHdIdJdKdL ddN ZeddS ZeddY Z e
j dZ dd[ Z e
j d\ dd^ ZeZdd_Z e
j d`da ddc Z e
j d` dde Z e
j d`da ddg Z e
j d` ddi Z ddlZ e
j dmdndodpd` ddq Z e
j drds ddu Z! e
j dv ddx Z" e
j dy dd{ Z#dd}Z$dd~Z%e&fddZ' dddZ(ddZ) e
j d dd Z*ddZ+ddZ, e
j dd dd Z- e
j d dd Z. xZ/S ) BasicCheckera> Basic checker.
Checks for :
* doc strings
* number of arguments, local variables, branches, returns and statements in
functions, methods
* required module attributes
* dangerous default values as arguments
* redefinition of function / method / class
* uses of the global statement
r W0101)zUnreachable code unreachablezbUsed when there is some code behind a "return" or "raise" statement, which will never be accessed.W0102)z&Dangerous default value %s as argumentdangerous-default-valuez_Used when a mutable value as list or dictionary is detected in a default value for an argument.W0104)z!Statement seems to have no effectpointless-statementzEUsed when a statement doesn't have (or at least seems to) any effect.W0105)z String statement has no effectpointless-string-statementzUsed when a string is used as a statement (which of course has no effect). This is a particular case of W0104 with its own message so you can easily disable it if you're using those strings as documentation, instead of comments.W0106)z&Expression "%s" is assigned to nothingexpression-not-assignedzqUsed when an expression that is not a function call is assigned to nothing. Probably something else was intended.W0108)zLambda may not be necessaryunnecessary-lambdazUsed when the body of a lambda expression is a function call on the same argument list as the lambda itself; such lambda expressions are in all but a few cases replaceable with the function being called in the body of the lambda.W0109)z Duplicate key %r in dictionary
duplicate-keyzDUsed when a dictionary expression binds the same key multiple times.W0122)z Use of exec exec-useda
Raised when the 'exec' statement is used. It's dangerous to use this function for a user input, and it's also slower than actual code in general. This doesn't mean you should never use it, but you should consider alternatives first and restrict the functions available.W0123)z Use of eval eval-usedzUsed when you use the "eval" function, to discourage its usage. Consider using `ast.literal_eval` for safely evaluating strings containing Python expressions from untrusted sources.W0150)z3%s statement in finally block may swallow exceptionlost-exceptionzUsed when a break or a return statement is found inside the finally clause of a try...finally block: the exceptions raised in the try clause will be silently swallowed instead of being re-raised.W0199)z>Assert called on a populated tuple. Did you mean 'assert x,y'?assert-on-tuplezA call of assert on a tuple will always evaluate to true if the tuple is not empty, and will always evaluate to false if it is.W0124)z?Following "as" with another context manager looks like a tuple.confusing-with-statementa2 Emitted when a `with` statement component returns multiple values and uses name binding with `as` only for a part of those values, as in with ctx() as a, b. This can be misleading, since it's not clear if the context manager returns a tuple or if the node without a name binding is another context manager.W0125)z3Using a conditional statement with a constant valueusing-constant-testzEmitted when a conditional statement (If or ternary if) uses a constant value for its test. This might not be what the user intended to do.W0126)zgUsing a conditional statement with potentially wrong function or method call due to missing parentheses$missing-parentheses-for-call-in-testzsEmitted when a conditional statement (If or ternary if) seems to wrongly call a function due to missing parenthesesW0127)z(Assigning the same variable %r to itselfself-assigning-variablez>>> ? ?
?
?r ,nodes.If | nodes.IfExp | nodes.Comprehensionr nodes.NodeNG | Nonec B t j t j t j t j t j t j j t j t j
t j f }t j t j t j
t j f}t j t j t j t j t j f}d }t) |t j f|z |z }d }t) || sft- j | }t) |t0 j r7t) |t j r t6 | \ }}n t) |t j r|}|rt- j |j } t) | t j r_d }
| D ]'} t) | j t j sd}
nd}
(|
r | d|tB d S |r | d|tB d S t) || rd } t) |t j r"tE |# } nz5BasicChecker._name_holds_generator.. s^ $
$
+,el;;$
{)/1C D D$
$
$
$
$
$
r rD r )r r r framelookupr nextall itertoolschainlenr r r r )r r r
lookup_resultmaybe_generator_assigned
first_items r r z"BasicChecker._name_holds_generator sD
$
+++++ #
$
//66tyAA
.-- -$
$
,Q /$
$
$
2D99
!9?J=2JKKLL
H M!$%%** }Q / 2 95<HH + }Q / 2 9 ?LL + (5Q'7':'A'G$)))r _ nodes.Modulec D | j j j dxx dz
cc< dS )z4Check module name, docstring and required arguments.r8 rD Nr r2
node_countr r s r visit_modulezBasicChecker.visit_module s, $X...!3.....r nodes.ClassDefc D | j j j dxx dz
cc< dS )zXCheck module name, docstring and redefinition
increment branch counter.
klassrD Nr r s r visit_classdefzBasicChecker.visit_classdef s.
$W---2-----r re r rg ri r
nodes.Exprc 8 |j }t |t j rt |j t r| }t |t j t j t j f rzt |t j r |j dk rnT|
}|>| |u r(t |t j t j f rdS |
d| dS t |t j rd}t |j t j r
|j j }n+t |j t j r |j j }|dd rt) j | nd}t |t, j r |
d|t0 dS t |t j t j f sXt |j t j r|j j |gk s(t |t j r|j t< u rdS t |t j r |
d |t@ dS tC |" t j r,|
d
||# dS |
d | dS )
z4Check for various kind of statements without effect.r Nrg r rD r r r ri r argsre )$r r r r rM scoper r r r previous_siblingr AnnAssignr r r r Attributeattrnameisupperr
r r ExceptionInstancer
YieldAwaitr TryExceptbodyEllipsis NamedExprr anynodes_of_class as_string)r r exprr siblingr r s r
visit_exprzBasicChecker.visit_expr s z dEK ( ( Z
C-H-H
JJLLE%%.%,@Q!RSS
eU%677 EJ*>
3$9 !
F
tek5; 7 8 8 4;88 =A[=MRVQW=W=W4-- >X26*2H2H F dEO , , ? 9QU V V V V V
$$UZ00
1
1 ? )4>>;K;K
2 > > > > >r nodes.Lambda call_argslist[nodes.NodeNG]Iterator[nodes.NodeNG]c # K |D ]^}t |t j r>t |j t j r |j j | j j k r|V Z|V _d S r )r r Starredr r r r vararg)r r args r _filter_varargzBasicChecker._filter_vararg st C#u}--
sy%*55 $)*::: III r r #list[nodes.Starred | nodes.Keyword]
variadic_namerM boolc @ | pt fd| D S )Nc 3 K | ]S}t |j t j r|j j k p t |j t j V Td S r )r r r r r )r( ar s r r z6BasicChecker._has_variadic_argument.. sq
qw
+ +
.
-
3 aguz222
r )r )r r s `r _has_variadic_argumentz#BasicChecker._has_variadic_argument sH x
3
r rk c , |j j rdS |j }t |t j sdS t |j j t j r+t |j j j t j rdS t j
j | }t |j j }t | ||j }|j j r'| |j |j j rdS |j j r(| |j |j j rdS n |j rdS |j rfd |j j D }t+ | t+ |j k rdS t/ |j | rdS t+ | t+ | k rdS t3 || D ]5\ }}t |t j s dS |j |j k r dS 6|j t j D ]'} | | j d |u r dS (| d|j | dS )z'Check whether the lambda is suspicious.Nc h | ] }|j
S r )r )r( keywords r z,BasicChecker.visit_lambda..3 s L L LgW\ L L Lr r rk )liner ) r defaultsr r r r r r r r argumentsCallSite from_callr- r kwargr! kwargsr starargskeywordsr keyword_argumentsr+ r@ zipr r r
r r
fromlineno)
r r call call_site
ordinary_args
new_call_args
lambda_kwargsr
passed_argr s
r visit_lambdazBasicChecker.visit_lambda s 9
Fy$
++
F dineo 6 6 : IN <
<
F%.88>> TY^,,
T 0 0ty A ABB
9? **4; HH
9 **4=$):JKK
] F = M L9K L L LM=!!S)D%E%EEE9.//::=II
} ]!3!3 3 3 F "=- @ @ OC j%*55
x:?** + I,,UZ88 D{{49%%a(D00 1
-DO$OOOOOr rc nodes.FunctionDefc | r | j j j dxx dz
cc< n | j j j dxx dz
cc< | | dS )zeCheck function name, docstring, arguments, redefinition,
variable names, max locals.
r: rD r; N) is_methodr r2 r _check_dangerous_defaultr s r visit_functiondefz BasicChecker.visit_functiondefM s{
>> : K ( 2 2 2a 7 2 2 2 2 K ( 4 4 4 9 4 4 4 %%d+++++r c z d d}|j j pg |j j pg z }|D ]}|s t | }n# t
j $ r Y :w xY wt |t
j r<| t v r ||u r t | }nt |t
j s || r || r| }nt |t j
r |j d| d}nd| d| d}n7| dt | d}| d ||f
d S )
z0Check for dangerous default values as arguments.
internal_node nodes.NodeNGr5 r c d t | t j t j t j f S r )r r r r r )r? s r is_iterablez:BasicChecker._check_dangerous_default..is_iterable] s mej%)UZ-PQQ Qr z() ()z (rc r N)r? r@ r5 r )r r' kw_defaultsr inferr r r InstanceqnameDEFAULT_ARGUMENT_SYMBOLSpytyper r r r r )r r rB r' defaultr msgs r r< z%BasicChecker._check_dangerous_defaultZ s R R R R I&,"1F1L"M T TG
W]]__--)
5'"233
TKKMM%===G##25;;==ACC w'788 _KK "h . . F 344 dD 0 1 1 F
N "+I i44
9>5:66
N N'722 !<9 MMMMM
N
N
N
N22r rq ro r r c t j | r | |t | | t |j t j r|j j }||
d v ss|| v s_|dk r| d| d
S |dk r|
| d
S |dk r | d | d
S d
S d
S d
S d
S ) zVisit a Call node.)r Tr execro r reversedevalrq N)r
is_terminating_funcrN r
re r r r r r r rootr _check_reversed)r r r s r
visit_callzBasicChecker.visit_call s% $T * * @ # #DY # ? ? ? --d333 di , ,
=9>D DJJdJ 3 333ttyy{{7J7J6>>$$[t$<<<<<Z''((.....V^^$$[t$<<<<<
=
= 437J7J
$^r ru r nodes.Assertc t |j t j r:t |j j dk r | d|t t |j t j rKt |j j t r.|j j rd}nd}| d||f dS dS dS ) z:Check whether assert is used on a tuple or string literal.r ru r neveralwaysr r N) r r r r r eltsr r r r rM )r r whens r visit_assertzBasicChecker.visit_assert s di - - L#din2E2E2I2I .Td K K K di - - R*TY_c2R2R Ry
7d$ Q Q Q Q Q R R R Rr rm
nodes.Dictc B t }|j D ]\ }}t |t j r|j }n0t |t j r| }nW||v r| d|| | | dS )z"Check duplicate key in dictionary.rm r N)
r+ itemsr r r r r r r add)r r keyskr keys r
visit_dictzBasicChecker.visit_dict s uuJ DAq!U[))
gAu//
kkmmd{{ t# FFF HHSMMMM r r nodes.Setc t }|j D ]\}t |t j r|j }n%||v r | d||t | | ]dS )z Check duplicate value in set.r )r r r N) r+ rr r r r r r r rx )r r valuesvr s r visit_setzBasicChecker.visit_set s A!U[))
%Du !
JJu r nodes.TryFinallyc L | j J | j | dS zUpdate try...finally flag.N)r rO r s r visit_tryfinallyz BasicChecker.visit_tryfinally s. ,,, &&&&&r c J | j J | j dS r )r popr s r leave_tryfinallyz BasicChecker.leave_tryfinally s, ,,, r Fnodes.Return | nodes.Continue | nodes.Break | nodes.Raise | nodes.Callr r c < | }|t |t j rQt |t j r7t |j t j r| }|dS | d|| dS dS )zCheck unreachable code.Nra r ) next_siblingr r ReturnExprr r r )r r r unreachable_statements r rN z BasicChecker._check_unreachable
s !% 1 1 3 3 ,4 ..
4ejAA
4 :EKHH
)>(J(J(L(L%(0F $9j
- ,r r nodes.Break | nodes.Return node_namebreaker_classestuple[nodes.NodeNG, ...]c | j sdS |j }|}|r`t || sRt |d r#||j v r| d|| dS |}|j }|rt || NdS dS dS dS )zCheck that a node is not inside a 'finally' clause of a
'try...finally' statement.
If we find a parent which type is in breaker_classes before
a 'try...finally' block we skip the whole check.
N finalbodyrs r )r r r hasattrr r )r r r r _parent_nodes r rO z"BasicChecker._check_not_in_finally# s F+ #j/ B B #w ,,
':K1K1K !19 MMMElG #j/ B B # # # # # # # # #r c t j t j |d }t |t j rdS |t |j d t j r t |j d j
}n# t j
$ r Y dS w xY wt |dd dk r+t j | r| d| dS t |t j t j f rdS | j st |t j rt+ d t- j |j f|j D r= |j t6 n'# t8 $ r | d| Y nw xY wdS t; |d rXt< D ]5}|D ].} | | # t j $ r Y nw xY w n6| d| dS dS | d| dS # t j $ r Y dS w xY w)
z4Check that the argument to `reversed` is a sequence.r )positionNr iterr r c 3 T K | ]#}|j d k ot j | V $dS )r, N)r r
is_builtin_object)r( ancestors r r z/BasicChecker._check_reversed..Z sM MV+Q0G0Q0Q r getattr)!r
r get_argument_from_callr r r r r r r r rE r r r r r r r r rF r r r _proxied ancestorslocalsREVERSED_PROTOCOL_METHODKeyErrorr REVERSED_METHODS
NotFoundErrorNoSuchArgumentError)r r argumentr methodsmeths r rl z BasicChecker._check_reversed< s 5 E '(DTTU(V(V(VWWH (D$899
dilEJ77 M #DIaL$5$;$;$=$= > >"1 fd $)$;D$A$A (()@t(LLL(UZ$=>>
?
z(G | j j j }|D ]}t |t j s g }|j D ]}t |t j r| |g 3t |t j rE|j dk r:|r |
|j r d S | |j t j
| }| D ]$\ }}|dk r| d|f| % d S )Nr rD r r )r r dummy_variables_rgxr r r rr _check_redeclared_assign_namer r matchrO collectionsCounter most_commonr ) r r r r found_nameselementnamesr counts r r z*BasicChecker._check_redeclared_assign_name sH "k 0 D F fek22
K!;
5
5 gu{33 566yAAAA )9:: 5w|s?R?R* /B/H/H /V/V &&w|444 ' 44E $ 0 0 2 2
e199$$2$v %
r r} r c d | | | |j d S r )r r r r s r visit_assignzBasicChecker.visit_assign s4
++D111 **4<88888r nodes.Forc < | |j g d S r )r r r s r visit_forzBasicChecker.visit_for s **DK=99999r )r r r5 r6 )r5 r6 )r r r5 r6 )r r r5 r6 )r r r5 r6 )r r r r r5 r6 )r r r5 r )r r r5 r6 )r r r5 r6 )r r r5 r6 )r r r r r5 r )r r r rM r5 r )r r r5 r6 )r r9 r5 r6 )r rL r5 r6 )r rQ r5 r6 )r rV r5 r6 )r r\ r5 r6 )r_ r` r5 r6 )r r` r5 r6 )r rn r5 r6 )r ru r5 r6 )r r} r5 r6 )r r r5 r6 )r r r5 r6 )r r r r r5 r6 )r )r r r rM r r r5 r6 )r r r5 r6 )r r r5 r6 )r r r5 r6 )r r r5 r6 )0r r r r r msgsr] reportsr r r
only_required_for_messagesr r r r staticmethodr r r r r r! r8 r= visit_asyncfunctiondefr< rP rT r[ r^ re rm rt r| r r r r rN rO rl r r r r r
__classcell__)r s @r r_ r_ l s
DS
S
S
S $
%S 4
5S @
AS P
QS Z
[S j
kS z
{S J
KS X
YS j
kS x
yS F
GS P
QS Z
[S h
[S S S Dj .0DEGG@ @ @ @ @ @- - - - &U% E 9 9 9 9 &U% E 9 9 9 9 &U% E ? ? ? ?
OU OU OU OUb * * * \*:4 4 4 43 3 3 3 &U% '$!$ <? <? <? <?|
\
\
&U%&:;;@P @P @P <;@PD &U%&?@@, , , A@, /&T &T &T &TP &U%m5EFF
I
I
I GF
I &U%m44& & & 54& &U%m5EFF L L L GF L &U%m44& & & 54& N N N N* &U% # = = = =" &U%&79STT
R
R
R UT
R &U%o66 76 &U%&788 98 ' ' ' '
"& 4 57 # # # # #27E 7E 7E 7Er &U%&@AA
L
L
L BA
L ' ' ' 'R . &U%!#= 9 9 9 9 &U%&@AA: : : BA: : : : :r r_ )r0 r1 r2 r r3 r4 r5 r6 )*r
__future__r r r syscollections.abcr typingr r r r r r pylintr
rK pylint.checkersr pylint.interfacesr r
r pylint.reporters.ureportsrP pylint.utilsr pylint.lint.pylinterr version_infor typing_extensionsr r SEQUENCE_PROTOCOL_METHODSr r, r0 rH r] r_ r r r r sP
% $ " " " " " "
$ $ $ $ $ $ & & & & & & & & ( ( ( ( ( ( ( ( ( ( & & & & & & . . . . . . . . 9 9 9 9 9 9 9 9 9 9 = = = = = = $ $ $ $ $ $ .------v )))))) K * 6 -0H/JK 4CDD,CDDD
(&J &J &J &JTb
: b
: b
: b
: b
:= b
: b
: b
: b
: b
:r