h U d Z ddlmZ ddlZddlZddlZddlmZ ddlm Z m
Z
ddl Z ddl m Z m
Z
mZ ddlmZ ddlmZmZ dd lmZ dd
lmZ dd lmZmZ dd lm Z e rdd
l m Z dPdZ dQdRdZ dSdZ!i dd d d d d d!d"d#d$d%d&gifd'd(d)d*d+d,d-d.d/d0d1d2d%d3gifd4d5d6d7d8d9d:d;dd?d@dAZ"dBe#dC< G dD dE Z$ G dF dGe$ Z% G dH dIe$ Z& G dJ dKej' Z(dTdOZ)dS )Uz,Checks for various exception related errors. ) annotationsN) Generator)
TYPE_CHECKINGAny)nodesobjectsutil)InferenceContext)InferenceResultSuccessfulInferenceResult)checkers)utils)HIGH INFERENCE)MessageDefinitionTuple)PyLinterreturnset[str]c V dd} t j t | }d |D S )Nobjr r boolc V t | t ot | t S N)
isinstancetype
issubclass
BaseException)r s l/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib/python3.11/site-packages/pylint/checkers/exceptions.py predicatez&_builtin_exceptions..predicate s! #t$$GC )G)GG c " h | ] \ }}|j
S )__name__.0_excs r z&_builtin_exceptions.." s 1 1 1XaCL 1 1 1r )r r r r )inspect
getmembersbuiltins)r memberss r _builtin_exceptionsr- sB H H H H 955G 1 1 1 1 11r stmt nodes.NodeNGcontextInferenceContext | NoneEGenerator[tuple[nodes.NodeNG, SuccessfulInferenceResult], None, None]c # L K t | t j t j f rB| j D ]8}t j | }|r t |t j s||fV 9dS | | D ]#}t |t j r | |fV $dS )zRecursively generate nodes inferred by the given statement.
If the inferred value is a list or a tuple, recurse on the elements.
Returns an iterator which yields tuples in the format
('original node', 'inferred node').
N)
r r ListTupleeltsr
safe_inferr UninferableBaseinfer)r. r0 eltinferreds r _annotated_unpack_inferr< % s $U[122 9 $ $C ',,H
$
8T5I J J
$8m###JJw'' h 4 5 5 Hn r bodylist[nodes.NodeNG]r c 4 t d | D S )zz _is_raising..< s. >>z$ ,,>>>>>>r )any)r= s r _is_raisingrF : s >>>>> > >>r E0701)z Bad except clauses order (%s)bad-except-orderzUsed when except clauses are not in the correct order (from the more specific to the more generic). If you don't fix the order, some exceptions may not be caught by the most specific handler.E0702)z6Raising %s while only classes or instances are allowedraising-bad-typezkUsed when something which is neither a class nor an instance is raised (i.e. a `TypeError` will be raised).E0704)z2The raise statement is not inside an except clausemisplaced-bare-raiseag Used when a bare raise is not used inside an except clause. This generates an error, since there are no active exceptions to be reraised. An exception to this rule is represented by a bare raise inside a finally clause, which might work, as long as an exception is raised inside the try block, but it is nevertheless a code smell that must not be relied upon.E0705zDException cause set to something which is not an exception, nor Nonebad-exception-causeziUsed when using the syntax "raise ... from ...", where the exception cause is not an exception, nor None. old_names)E0703zbad-exception-contextE0710)zBRaising a new style class which doesn't inherit from BaseExceptionraising-non-exceptionzOUsed when a new style class which doesn't inherit from BaseException is raised.E0711)z8NotImplemented raised - should raise NotImplementedErrornotimplemented-raisedzAUsed when NotImplemented is raised instead of NotImplementedErrorE0712)z>Catching an exception which doesn't inherit from Exception: %scatching-non-exceptionzcUsed when a class which doesn't inherit from Exception is used as an exception in an except clause.W0702)z No exception type(s) specified bare-exceptaJ A bare ``except:`` clause will catch ``SystemExit`` and ``KeyboardInterrupt`` exceptions, making it harder to interrupt a program with ``Control-C``, and can disguise other problems. If you want to catch all exceptions that signal program errors, use ``except Exception:`` (bare except is equivalent to ``except BaseException:``).W0718z!Catching too general exception %sbroad-exception-caughtzIf you use a naked ``except Exception:`` clause, you might end up catching exceptions other than the ones you expect to catch. This can hide bugs or make it harder to debug programs when unrelated errors are hidden.)W0703z broad-exceptW0705)z,Catching previously caught exception type %sduplicate-exceptzQUsed when an except catches a type that was already caught by a previous handler.W0706)z%The except handler raises immediatelytry-except-raisezUsed when an except handler uses raise as its first or only operator. This is useless because it raises back the exception immediately. Remove the raise operator or the entire try-except-raise block!W0707)z3Consider explicitly re-raising using %s'%s from %s'raise-missing-fromah Python's exception chaining shows the traceback of the current exception, but also of the original exception. When you raise a new exception after another exception was caught it's likely that the second exception is a friendly re-wrapping of the first exception. In such cases `raise from` provides a better link between the two tracebacks in the final error.W0711)z;Exception to catch is the result of a binary "%s" operationbinary-op-exceptionz~Used when the exception to catch is of the form "except A or B:". If intending to catch multiple, rewrite as "except (A, B):"W0715)z?Exception arguments suggest string formatting might be intendedraising-format-tuplezUsed when passing multiple arguments to an exception constructor, the first of them a string literal containing what appears to be placeholders intended for formattingW0716)z Invalid exception operation. %swrong-exception-operationzUsed when an operation is done against an exception, but the operation is not valid for the exception in question. Usually emitted when having binary operations between exceptions in except handlers.W0719)z!Raising too general exception: %sbroad-exception-raisedaA Raising exceptions that are too generic force you to catch exceptions generically too. It will force you to use a naked ``except Exception:`` clause. You might then end up catching exceptions other than the ones you expect to catch. This can hide bugs or make it harder to debug programs when unrelated errors are hidden.z!dict[str, MessageDefinitionTuple]MSGSc * e Zd ZdZddZdd
Zdd
ZdS ) BaseVisitorz/Base class for visitors defined in this module.checkerExceptionsCheckerrC nodes.Raiser Nonec " || _ || _ d S r )_checker_node)selfrm rC s r __init__zBaseVisitor.__init__ s
r r c |j j }t | d|z d }|r
|| d S | | d S )Nvisit_) __class__r# lowergetattr
visit_default)rt rC name
dispatch_meths r visitzBaseVisitor.visit se ~&,,.. hot<<
% M$ t $ $ $ $ $r r& r/ c dS )z)Default implementation for all the nodes.Nr" rt r& s r r{ zBaseVisitor.visit_default s r N)rm rn rC ro r rp )rC r r rp )r& r/ r rp )r#
__module__ __qualname____doc__ru r~ r{ r" r r rl rl sV 99 % % % %8 8 8 8 8 8r rl c " e Zd ZdZd
dZd dZd S ) ExceptionRaiseRefVisitorz4Visit references (anything that is not an AST leaf).rC
nodes.Namer rp c |j dk r)| j d| j t d S t t
| }n# t j $ r Y d S w xY w|D ]f\ }}t |t j rG| j | r-| j d|j | j t gd S )NNotImplementedrT rC
confidenceri argsrC r )r| rr add_messagers r listr< astroidInferenceErrorr r ClassDef_is_overgeneral_exceptionr )rt rC
exceptionsr& exceptions r
visit_namez#ExceptionRaiseRefVisitor.visit_name s 9( ( ( M % %'djT
&
F 5d ; ;<
-99)DD
))," ( * s A A&%A&
nodes.Callc t |j t j r| |j t |j dk rt |j d t j rnt |j d j t rK|j d j }d|v sd|v r3d|v r1| j
d| j t d S d S d S d S d S d S )N r %{}re r )r funcr Namer lenr Constvaluestrrr r rs r )rt rC msgs r
visit_callz#ExceptionRaiseRefVisitor.visit_call s di , , ' OODI & & & NNQ 49Q<55
49Q<-s33
)A,$CczzcSjjSCZZ
))* *
)jZZr N)rC r r rp )rC r r rp )r# r r r r r r" r r r r sB >> . r r c > e Zd ZdZddZdd ZeZdd ZddZddZ dS )ExceptionRaiseLeafVisitorz1Visitor for handling leaf kinds of a raise value.rC nodes.Constr rp c t | j d| j |j j j t d S )NrJ rC r r )rr r rs r rx r# r rt rC s r visit_constz%ExceptionRaiseLeafVisitor.visit_const sA
!! %. "
r instanceobjects.ExceptionInstancec > |j }| | d S r )_proxiedvisit_classdef)rt r clss r visit_instancez(ExceptionRaiseLeafVisitor.visit_instance s$ C r nodes.ClassDefc t j | sDt j | r2|j r-| j d| j t d S d S d S d S )NrR r )r inherit_from_std_exhas_known_basesnewstylerr r rs r r s r r z(ExceptionRaiseLeafVisitor.visit_classdef s (.. 53H3N3N }
))+ ( *
r r& nodes.Tuplec V | j d| j dt d S )NrJ tupler )rr r rs r r s r visit_tuplez%ExceptionRaiseLeafVisitor.visit_tuple s9
!! "
r r/ c t |d|j j }| j d| j |t d S )Nr| rJ r )rz rx r# rr r rs r )rt rC r| s r r{ z'ExceptionRaiseLeafVisitor.visit_default sO tVT^%<==
!! "
r N)rC r r rp )r r r rp )rC r r rp )r& r r rp )rC r/ r rp )
r# r r r r r visit_exceptioninstancer r r{ r" r r r r s ;;
! ! ! !
-
r r c
Z e Zd ZdZdZeZddddddffZd4 fd Z e j
d d
dddddd d5d Z d5dZ d5dZ
d5dZd6d Zd7d"Z e j
d# d8d% Z e j
d# d9d' Z e j
d(d)d*d+d,d-d. d7d/ Zd:d3Z xZS );rn zException related checks.r zovergeneral-exceptions)zbuiltins.BaseExceptionzbuiltins.Exceptioncsvz z0Exceptions that will emit a warning when caught.)defaultr metavarhelpr rp c t | _ | j j j D ](}d|vr"t j d| dt ddd )t d S )N.zSpecifying exception names in the overgeneral-exceptions option without module name is deprecated and support for it will be removed in pylint 3.0. Use fully qualified name (maybe 'builtins.z
' ?) instead.z*pylint: Command line or configuration filer pylint)categoryfilenamelinenomodule) r- linterconfigovergeneral_exceptionswarnings
warn_explicit UserWarningsuperopen)rt exc_namerx s r r zExceptionsChecker.open3 s #6#8#8 *A H(""&Z CKZ Z Z ) I # r rL rJ rR rT rN re ra ri rC ro c |j | | d S |j | | n| | |j }t | | | t j | }|t |t j rd S t | | | d S r )
r' _check_misplaced_bare_raisecause_check_raise_missing_from_check_bad_exception_causer r~ r r7 r r r8 r )rt rC exprr; s r visit_raisez ExceptionsChecker.visit_raiseC s 8 , ,T 2 2 2 F : * *4 0 0 0 0 + +D 1 1 1x t,,224888#D)) z(D4H I I F!$--33H=====r c | }t |t j r!| r
|j dk rd S |}t j t j f}|r3t |j | s |j }|rt |j | t j f}|rt |j | s | d|t d S d S )N__exit__rL r )
scoper r FunctionDef is_methodr|
ExceptHandlerparentr r )rt rC r currentignoresexpecteds r r z-ExceptionsChecker._check_misplaced_bare_raise_ s
ue / 0 0 !!
j(( F &(9: %j A A % nG %j A A % ') Qj B B Q 3$4 P P P P P Q Qr c t j |j }|t |t j rdS t |t j r(|j | d|t dS dS t |t j s3t j | s!| d|t dS dS dS )zyVerify that the exception cause is properly set.
An exception cause can be only `None` or an exception.
NrN r )
r r7 r r r r8 r r r r r r r )rt rC r s r r z,ExceptionsChecker._check_bad_exception_causet s
,, =Jud.B C C= F eU[ ) ) U{& !6Ti XXXXX '&E5>22 U5;T <
<
U
2) T T T T T U U U Ur c |j d S t j | }|sd S |j d}t |j t j t j f r|j }|
d|d| d| dft d S t |j t j r$t |j j
t j s9t |j t j rY|j j |j j k rA|
d|d| |j j ft d S d S d S )N Exceptionra z'except z
as exc' and r' r )r' r !find_except_wrapper_node_in_scoper| r r r r r5 as_stringr r Callr )rt rC containing_except_nodeclass_of_old_errors r r z+ExceptionsChecker._check_raise_missing_from s 8
F!&!H!N!N % F " & . "- 05
EK7PQQ
M%;%@%J%J%L%L" $@ 1@@@NN$$
tx , , 48=%*55 $(EJ//
!7!zCExceptionsChecker._check_catching_non_exception.. s# BBB#(--BBBr c 3 J K | ] }t |t j V d S r )r r r8 rB s r rD zBExceptionsChecker._check_catching_non_exception.. s/ OOd:dD$899OOOOOOr c 3 l K | ]/}|o(t j | pt j | V 0d S r )r r r rB s r rD zBExceptionsChecker._check_catching_non_exception.. s` Y.t44WEEl>P>X \++C00 ?Y $$0 $\ "nn . . 0 % , ..**, !
F )#.. 888$S))
,7.gather_exceptions_from_handler.. sA ) ))ej%/5R S S % r )r r r7 r r r5 r r6 )r r exceptions_in_handlers r gather_exceptions_from_handlerzQExceptionsChecker._check_try_except_raise..gather_exceptions_from_handler s 13J|
(-(8 (F(F% 3U[AA !% -B-G " "JJ + "7!8JJ 4 r Fc 3 f K | ]+}t j t j | V ,d S r )r is_subclass_ofr7 )r% einferred_currents r rD z. sP ,U-=a-@-@BRSS r r Tr_ )rC )r r r r )handlersr r7 rE rF r= r' r )
rt rC r
bare_raisehandler_having_bare_raiseexceptions_in_bare_handlerr excs_in_current_handlerexc_in_current_handlerr s
@r _check_try_except_raisez)ExceptionsChecker._check_try_except_raise s_ *
$(!CE"} U UG
+I*H*Q*Q'. EE-5EE.E *','78N'O'O$ !; &+
GLO,--
Y<?&.!%J07-1O1OPW1X1X.
U !3:S TTTTT
U
Ur rg nodes.BinOpc t |j t j rRd|j d|j d}| d||f d S d S )NDid you mean '(, )' instead?rg r )r r r r leftr rightr rt rC
suggestions r visit_binopz ExceptionsChecker.visit_binop! s~ dk5#6 7 7 Yg49+>+>+@+@ggDJDXDXDZDZgggJ 8t:- X X X X X Y Yr
nodes.Comparec t |j t j r]d|j dd d |j D d}| d||f d S d S )Nr
r c 3 D K | ]\ }}| V d S r )r )r% r& os r rD z2ExceptionsChecker.visit_compare... s. @ @tq!Q[[]] @ @ @ @ @ @r r rg r ) r r r r r r joinopsr r s r
visit_comparez ExceptionsChecker.visit_compare( s dk5#6 7 7 YN$)"5"5"7"7 N N99 @ @tx @ @ @@@N N N
8t:- X X X X X
Y Yr rX rZ r_ rc rH rV r] c | | g }t |j }t |j D ]@\ }}|j [t |j s | d|t ||dz
k r d}| d||t ht |j t j r)| d||j j t t t |j }n# t j $ r Y w xY w|D ]E\ }} t | t j rt% j | r| j } | || | t | t j smd | D }
|D ]:} | |
v r4| j d
| j }| d|j |t2 ;| | r.e s: % % % %c5>::%% % %r z is an ancestor class of rZ r r] c g | ]\ }}|S r" r" r$ s r r z5ExceptionsChecker.visit_tryexcept.. s &D&D&Dvq#s&D&D&Dr )r
r r enumerater rF r= r r r r BoolOpopr r< r r Instancer r r r r ancestorsr| r r ) rt rC exceptions_classes nb_handlersindexr r r r r
exc_ancestors previous_excs r visit_tryexceptz!ExceptionsChecker.visit_tryexcept2 s
$$T***(*$-(( '
6 6 F E F ENE7|#"7<00 S$$]T$RRR K!O,,IC$$*CD % GL%,77 9
E ) # ! !%&=gl&K&K!L!LJJ - H (2 * *OD)!!7#3 7 3I>>7 %.$6 66w 4PPP%i @@ ! % %#,#6#6#8#8% % %M ); '=88%1%6"a"aQZQ_"a"aC , , 2%,\%(+4 - 55i@@ J J (( 4!* !( '0 ) !$666 (( .!* !( '0 ) #&D&D&D&D&DD""MF E F Es 1!DD%$D%r r r c | | j j j v pGd|j vo>|j | j j j v o&| j t j k S )Nr )qnamer r r r| rootr EXCEPTIONS_MODULE)rt r s r r z+ExceptionsChecker._is_overgeneral_exception sg OO !3!J J
A).( A$+"4"KKA %)@@
r )r rp )rC ro r rp )r r r' r r r/ r rp )rC r r rp )rC r r rp )rC r r rp )r r r r )r# r r r r| rj msgsoptionsr r only_required_for_messagesr r r r r r
r r r* r
__classcell__)rx s @r rn rn " s ## D D
%K :J
G &U% > > > >$Q Q Q Q*U U U U", , , ,\3 3 3 3j7U 7U 7U 7Ur &U%&ABBY Y Y CBY &U%&ABBY Y Y CBY &U% KE KE KE KEZ
r rn r r rp c J | t | d S r )register_checkerrn )r s r registerr5 s%
-f 5 566666r )r r r )r. r/ r0 r1 r r2 )r= r> r r )r r r rp )*r
__future__r r+ r) r collections.abcr typingr r r r r r astroid.contextr
astroid.typingr r r r
pylint.checkersr pylint.interfacesr r
pylint.typingr pylint.lintr r- r< rF rj __annotations__rl r r BaseCheckerrn r5 r" r r rA s
3 2 2 " " " " " " % % % % % % % % % % % % % % ( ( ( ( ( ( ( ( ( ( , , , , , , E E E E E E E E ! ! ! ! ! ! - - - - - - - - 0 0 0 0 0 0 %$$$$$$2 2 2 2 <@ *? ? ? ?
w+ w+ w+ w+0 N
9:;
1w+@ Aw+L Mw+V Ww+b cw+t + M
012
uw+D Ew+P Qw+` aw+r sw+@ Aw+N Ow+\ ]w+ w w w wt8 8 8 8 8 8 8 8&& & & & &{ & & &R*
*
*
*
*
*
*
*
Zm
m
m
m
m
, m
m
m
` 7 7 7 7 7 7r