Файловый менеджер - Редактировать - /opt/imh-python/lib/python3.9/site-packages/pylint/checkers/base/__pycache__/basic_checker.cpython-39.pyc
Ðазад
a n�h� � @ s, d Z ddlmZ ddlZddlZddlmZ ddlmZm Z m Z ddl Z ddl m Z m Z mZ ddlmZ ddlmZmZ dd lmZmZmZ dd lm Z dd lmZ er�dd l m Z G d d� de�Z dZ dZ e e ffZ!e"e#dd� dD �g d��fi dd� dD ���Z$ddddd �d d �Z%G d d � d e �Z&dS )!z Basic checker for Python code.� )� annotationsN)�Iterator)� TYPE_CHECKING�Literal�cast)�nodes�objects�util)�utils)� BaseCheckerr )�HIGH� INFERENCE� Confidence)r )� LinterStats)�PyLinterc @ s e Zd ZdZdZdS )� _BasicCheckerzYPermits separating multiple checks with the same checker name into classes/file. �basicN)�__name__� __module__� __qualname__�__doc__�name� r r ��/root/rpmbuild/BUILDROOT/imh-python39-modules-3.9.7-92.el8.x86_64/opt/imh-python/lib/python3.9/site-packages/pylint/checkers/base/basic_checker.pyr s r � __reversed__)� __getitem__�__len__c C s g | ]}d � d|g��qS )�.�builtins)�join��.0�xr r r � <listcomp>* � r# )�set�dict�list)zset()z{}z[]c C s i | ]}||� d ��qS )z()r r r r r � <dictcomp>- s �r( )zcollections.dequezcollections.ChainMapzcollections.Counterzcollections.OrderedDictzcollections.defaultdictzcollections.UserDictzcollections.UserListzreporter_nodes.Sectionr zLinterStats | None�None)�sect�stats� old_stats�returnc C s8 i }dD ]�}t td |�}|�|�}i ||< |dkr|�|�}|| }|d | }|d�|| d< |�|�} | d | }|d�|| d< qg d�} dD ]�}t td |�}|�|�} |r�|�|�nd } | r�t�| | �nd } | |t| �| r�t| �nd | r�| nd || �dd �|| �dd �g7 } q�| � t j | d d d�� d S )zzMake a report of. * percentage of different types documented * percentage of different types with a bad name )�module�class�method�function)r1 r/ r0 r. r g Y@z.2fZpercent_documentedZpercent_badname)�type�numberz old number� differencez %documentedz%badnameNZNC�0� � )�children�colsZrheaders) r r Zget_node_countZget_undocumentedZ get_bad_names� lint_utilsZ diff_string�str�get�append�reporter_nodes�Table)r* r+ r, Z nice_statsZ node_type�totalZundocumented_nodeZ documented�percentZ badname_node�lines�new�oldZdiff_strr r r �report_by_type_stats< s8 �rE c sd e Zd ZdZdZddddddd d d d d ddddddddddddd�Zdd effZd d d �� fd d!� Zd d"�d#d$�Z e � d%d&�d'd d(�d)d*��Z e � d%d&�d+d d(�d,d-��Z e � d%d&�d.d d(�d/d0��Zd1d2d d3�d4d5�Zed6d7d8�d9d:��Zd;d d<�d=d>�Zd?d d<�d@dA�Ze � dBdCdDdEdF�dGd d(�dHdI��ZedJdKdLdM�dNdO��ZedPdQdRdS�dTdU��Ze � dV�dJd d(�dWdX��Ze � dY�dZd d(�d[d\��ZeZdZd d(�d]d^�Ze � d_d`�dad d(�dbdc��Ze � d_�ddd d(�dedf��Z e � d_d`�dgd d(�dhdi��Z e � d_�djd d(�dkdl��Z dmd dn�dodp�Z e � dqdrdsdtd_�dmd d(�dudv��Z e � dwdx�dyd d(�dzd{��Z!e � d|�d}d d(�d~d��Z"e � d��d�d d(�d�d���Z#d�d d(�d�d��Z$d�d d<�d�d��Z%e&fd�d�d d��d�d��Z'd�d�dQd�d d��d�d��Z(dmd d(�d�d��Z)e � d��d�d d(�d�d���Z*d�d d(�d�d��Z+d�d d��d�d��Z,e � d�d��d�d d(�d�d���Z-e � d��d�d d(�d�d���Z.� Z/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 )zUnreachable code� unreachablezbUsed when there is some code behind a "return" or "raise" statement, which will never be accessed.)z&Dangerous default value %s as argument�dangerous-default-valuez_Used when a mutable value as list or dictionary is detected in a default value for an argument.)z!Statement seems to have no effect�pointless-statementzEUsed when a statement doesn't have (or at least seems to) any effect.)z String statement has no effect�pointless-string-statementz�Used 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.)z&Expression "%s" is assigned to nothing�expression-not-assignedzqUsed when an expression that is not a function call is assigned to nothing. Probably something else was intended.)zLambda may not be necessary�unnecessary-lambdaz�Used 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.)z Duplicate key %r in dictionary� duplicate-keyzDUsed when a dictionary expression binds the same key multiple times.)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.)z Use of eval� eval-usedz�Used 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.)z3%s statement in finally block may swallow exception�lost-exceptionz�Used 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.)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.)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.)z3Using a conditional statement with a constant value�using-constant-testz�Emitted 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.)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 parentheses)z(Assigning the same variable %r to itself�self-assigning-variablez<Emitted when we detect that a variable is assigned to itself)z$Redeclared variable %r in assignment�redeclared-assigned-namezMEmitted when we detect that a variable was redeclared in the same assignment.)z/The first reversed() argument is not a sequence�bad-reversed-sequencez�Used when the first argument to reversed() builtin isn't a sequence (does not implement __reversed__, nor __getitem__ and __len__)z$format function is not called on str�misplaced-format-functionz�Emitted when format function is not called on str object. e.g doing print("value: {}").format(123) instead of print("value: {}".format(123)). This might not be what the user intended to do.)zUAssert statement has a string literal as its first argument. The assert will %s fail.�assert-on-string-literalzuUsed when an assert statement has a string literal as its first argument, which will cause the assert to always pass.)zDuplicate value %r in set�duplicate-valuezMThis message is emitted when a set contains the same value two or more times.)z%Named expression used without context�named-expr-without-contextzyEmitted if named expression is used to do a regular assignment outside a context like if, for, while, or a comprehension.)z!Exception statement has no effect� pointless-exception-statementzjUsed when an exception is created without being assigned, raised or returned for subsequent use elsewhere.)z*'return' shadowed by the 'finally' clause.�return-in-finallyz�Emitted when a 'return' statement is found in a 'finally' block. This will overwrite the return value of a function and should be avoided.)ZW0101ZW0102ZW0104ZW0105ZW0106ZW0108ZW0109ZW0122ZW0123ZW0150ZW0199ZW0124ZW0125ZW0126ZW0127ZW0128ZE0111ZE0119ZW0129ZW0130ZW0131ZW0133ZW0134ZRP0101zStatistics by typer r) )�linterr- c s t � �|� | d S �N)�super�__init__)�selfr^ �� __class__r r ra s zBasicChecker.__init__)r- c C s* | j jj}|dk| _g | _| j j�� dS )z*Initialize visit variables and statistics.)� � N)r^ �config� py_version� _py38_plus�_trysr+ Zreset_node_count)rb rh r r r �open s zBasicChecker.openrS rT znodes.If)�noder- c C s | � ||j� d S r_ ��_check_using_constant_test�test�rb rl r r r �visit_if s zBasicChecker.visit_ifz nodes.IfExpc C s | � ||j� d S r_ rm rp r r r � visit_ifexp" s zBasicChecker.visit_ifexpznodes.Comprehensionc C s" |j r |j D ]}| �||� q d S r_ )�ifsrn )rb rl Zif_testr r r �visit_comprehension( s z BasicChecker.visit_comprehensionz,nodes.If | nodes.IfExp | nodes.Comprehensionznodes.NodeNG | None)rl ro r- c C s� t jt jt jt jt jtjjtj tj t jf }t j t j t j t jf}t jt jt jt jt jf}d }t|t jg|�|�R �}d }t||�s�t�|�}t|tj�r�t|t j�r�t� |�\}}nt|t j�r�|}|�r,t�|j �} t| t j��r,d } | � � D ]"} t| j t j��s d} �qd} q�| �r,| j d|t!d� d S |�rD| j d|t!d� n�t||��r�d } z>t|t j��rtt"|�#|��} n t|t j��r�t"|�#|��} W n tj$�y� d } Y n0 | �r�| j d|t!d� | j d|t!d� d S )NFTrS �rl � confidencerT )%r �Module� GeneratorExp�Lambda� FunctionDef�ClassDef�astroid�bases� GeneratorZ UnboundMethodZ BoundMethod�Dict�Tuple�Set�List�Call�BinOp�BoolOp�UnaryOp� Subscript� isinstance�Constr � safe_inferr �UninferableBase�NamerF �_name_holds_generator�funcZ _get_return_nodes_skip_functions�value� add_messager r' Zinfer_call_result�InferenceError) rb rl ro Z const_nodes�structsZ except_nodes�inferred�emit�maybe_generator_callZ inferred_callZall_returns_were_generator� return_nodeZ call_inferredr r r rn 0 sx � � � � �z'BasicChecker._check_using_constant_testz nodes.Namez tuple[bool, nodes.Call | None])ro r- c C s� t | tj�sJ �d}d}| �� �| j�}|s4||fS dd� |d D �}t|d�}|dur�tt� |f|��rpd}nNt |d �dkr�t |d d j tj �r�t |d d j j tj�r�|d d j j }||fS )z�Return whether `test` tests a name certain to hold a generator, or optionally a call that should be then tested to see if *it* returns only generators. FNc s s, | ]$}t |jtj�rt |jjtj�V qd S r_ )r� �parentr �Assignr� rx )r! Z assign_namer r r � <genexpr>� s �z5BasicChecker._name_holds_generator.<locals>.<genexpr>r7 Tr )r� r r� �frame�lookupr �next�all� itertools�chain�lenr� r� r� r� )ro r� r� Z lookup_resultZmaybe_generator_assignedZ first_itemr r r r� � s* � ���z"BasicChecker._name_holds_generatorz nodes.Module)�_r- c C s | j jjd d7 < dS )z4Check module name, docstring and required arguments.r. r7 N�r^ r+ � node_count�rb r� r r r � visit_module� s zBasicChecker.visit_moduleznodes.ClassDefc C s | j jjd d7 < dS )zXCheck module name, docstring and redefinition increment branch counter. �klassr7 Nr� r� r r r �visit_classdef� s zBasicChecker.visit_classdefrI r\ rJ rK r[ z nodes.Exprc C s� |j }t|tj�r�t|j t�r�|�� }t|tjtjtjf�r�t|tj�rT|j dkrTn6|� � }|dur�|�� |u r�t|tj tj tj f�r�dS | jd|d� dS t|tj��r d}t|jtj�r�|jj }nt|jtj�r�|jj}|dd� �� r�t�|�nd}t|tj��r| jd|td� dS t|tjtjf��spt|j tj tj f��rV|j j |gk�spt|tj��rt|j t u �rtdS t|tj!��r�| jd |t"d� n6t#|�$tj���r�| jd ||�%� d � n| jd |d� dS ) z4Check for various kind of statements without effect.ra NrJ �rl � r7 r\ ru r[ rK �rl �argsrI )&r� r� r r� r; �scoper{ rw rz r Zprevious_siblingr� � AnnAssign� TypeAliasr� r� r� r� � Attribute�attrname�isupperr r� r ZExceptionInstancer �Yield�Awaitr� �TryZTryStar�body�Ellipsis� NamedExprr �any�nodes_of_class� as_string)rb rl �exprr� Zsiblingr r� r r r � visit_expr� s` � ��� � �� � �� �zBasicChecker.visit_exprz nodes.Lambdazlist[nodes.NodeNG]zIterator[nodes.NodeNG])rl � call_argsr- c c sF |D ]<}t |tj�r:t |jtj�r@|jj| jjkr@|V q|V qd S r_ )r� r �Starredr� r� r r� �vararg)rl r� �argr r r �_filter_vararg� s ��zBasicChecker._filter_varargz#list[nodes.Starred | nodes.Keyword]r; �bool)r� � variadic_namer- c s | pt � fdd�| D ��S )Nc 3 s8 | ]0}t |jtj�r |jj� kp.t |jtj� V qd S r_ )r� r� r r� r )r! �a�r� r r r� s � �z6BasicChecker._has_variadic_argument.<locals>.<genexpr>)r� )r� r� r r� r �_has_variadic_argument s �z#BasicChecker._has_variadic_argumentrL c C sN |j jr dS |j}t|tj�s"dS t|jjtj�rHt|jjjtj�rHdS t |j j �}t | � ||j ��}|j j r�| � |j |j j �r�dS n |j r�dS |j jr�| � |j|j j�r�dS n |jr�dS t|�t|�kr�dS t||�D ],\}}t|tj�s� dS |j|jkr� dS q�|j�tj�D ]"}|�|j�d |u �r dS �q| jd|j|d� dS )z'Check whether the lambda is suspicious.Nr rL )�linerl )r� �defaultsr� r� r r� r� r� r� r' r� �kwargr� �keywordsr� Zstarargsr� �zipr� r r� r� r� Z fromlineno)rb rl �callZ ordinary_argsZ new_call_argsr� Z passed_argr r r r � visit_lambda s@ � zBasicChecker.visit_lambdarH znodes.FunctionDefc C sD |� � r | jjjd d7 < n| jjjd d7 < | �|� dS )zeCheck function name, docstring, arguments, redefinition, variable names, max locals. r0 r7 r1 N)Z is_methodr^ r+ r� �_check_dangerous_defaultrp r r r �visit_functiondefH s z BasicChecker.visit_functiondefc C s& ddd�dd�}|j jpg |j jp$g }|D ]�}|s6q,zt|�� �}W n tjy^ Y q,Y n0 t|tj�r,|� � t v r,||u r�t |� � }n�t|tj�s�||�r�||�r�|� � }n<t|t j �r�|j� d|� � � d�}n|�� � d|� � � d�}n |�� � dt |� � � d�}| jd ||fd � q,d S ) z0Check for dangerous default values as arguments.z nodes.NodeNGr� )� internal_noder- c S s t | tjtjtjf�S r_ )r� r r� r� r )r� r r r � is_iterableX s z:BasicChecker._check_dangerous_default.<locals>.is_iterablez() (�)z (rH r� N)r� r� � kw_defaultsr� �inferr| r� r� �InstanceZqname�DEFAULT_ARGUMENT_SYMBOLSZpytyper r� r r� r� )rb rl r� r� �defaultr� �msgr r r r� U s. � � z%BasicChecker._check_dangerous_defaultrG rP z nodes.Returnc C s | � |� | �|dtjf� dS )z�Return node visitor. 1 - check if the node has a right sibling (if so, that's some unreachable code) 2 - check if the node is inside the 'finally' clause of a 'try...finally' block r- N)�_check_unreachable�_check_not_in_finallyr rz rp r r r � visit_return} s zBasicChecker.visit_returnznodes.Continuec C s | � |� dS )z]Check is the node has a right sibling (if so, that's some unreachable code). N�r� rp r r r �visit_continue� s zBasicChecker.visit_continuez nodes.Breakc C s$ | � |� | �|dtjtjf� dS )z�Break node visitor. 1 - check if the node has a right sibling (if so, that's some unreachable code) 2 - check if the node is inside the 'finally' clause of a 'try...finally' block �breakN)r� r� r �For�Whilerp r r r � visit_break� s zBasicChecker.visit_breakz nodes.Raisec C s | � |� dS )z]Check if the node has a right sibling (if so, that's some unreachable code). Nr� rp r r r � visit_raise� s zBasicChecker.visit_raisez nodes.Call)� call_noder- c C s� t |jtj�sd S |jjdkr"d S t�|jj�}t |tj �r@d S |s�|jj}t |tj �s\d S t |jtj �r�|jj dkr�| j d|d� d S )N�format�printrX r� )r� r� r r� r� r r� r� r r� r� r� r r� )rb r� r� Z call_exprr r r � _check_misplaced_format_function� s � �z-BasicChecker._check_misplaced_format_functionrO rN rW rX c C s� t �|�r| j|td� | �|� t|jtj�r�|jj }||� � v s�||� � v s�|dkrh| j d|d� n*|dkr|| � |� n|dkr�| j d|d� dS ) zVisit a Call node.)rv �execrN r� �reversed�evalrO N)r Zis_terminating_funcr� r r� r� r� r r� r r� �rootr� �_check_reversed)rb rl r r r r � visit_call� s zBasicChecker.visit_callrQ rY z nodes.Assertc C sr t |jtj�r.t|jj�dkr.| jd|td� t |jtj�rnt |jj t �rn|jj rXd}nd}| jd||fd� dS ) z:Check whether assert is used on a tuple or string literal.r rQ ru �never�alwaysrY r� N) r� ro r r� r� �eltsr� r r� r� r; )rb rl �whenr r r � visit_assert� s zBasicChecker.visit_assertrM z nodes.Dictc C sh t � }|jD ]V\}}t|tj�r(|j}nt|tj�r |�� }nq ||v rX| jd||d� |� |� q dS )z"Check duplicate key in dictionary.rM r� N) r% �itemsr� r r� r� r� r� r� �add)rb rl �keys�kr� �keyr r r � visit_dict� s zBasicChecker.visit_dictrZ z nodes.Setc C sP t � }|jD ]>}t|tj�r |j}nq ||v r@| jd||td� |�|� q dS )z Check duplicate value in set.rZ )rl r� rv N) r% r� r� r r� r� r� r r� )rb rl �values�vr� r r r � visit_set� s �zBasicChecker.visit_setz nodes.Tryc C s> | j �|� |jD ]&}|�tj�D ]}| jd|td� q"qdS )�Update try block flag.r] ru N)rj r= � finalbodyr� r �Returnr� r )rb rl Z final_noder� r r r � visit_try� s zBasicChecker.visit_tryc C s | j �� dS )r� N)rj �popr� r r r � leave_try s zBasicChecker.leave_tryzFnodes.Return | nodes.Continue | nodes.Break | nodes.Raise | nodes.Callr )rl rv r- c C s^ |� � }|durZt|tj�rJt|tj�rJt|jtj�rJ|� � }|du rJdS | jd||d� dS )zCheck unreachable code.NrG ru )Z next_siblingr� r r� �Exprr� r� r� )rb rl rv Zunreachable_statementr r r r� s � � ��z BasicChecker._check_unreachabler znodes.Break | nodes.Returnztuple[nodes.NodeNG, ...])rl � node_name�breaker_classesr- c C sZ | j s dS |j}|}|rVt||�sVt|d�rJ||jv rJ| jd||d� dS |}|j}qdS )z�Check 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. Nr� rP r� )rj r� r� �hasattrr� r� )rb rl r r Z_parent�_noder r r r� s z"BasicChecker._check_not_in_finallyc C s� zt �t j|dd��}W n t jy. Y �n�0 t|tj�r@dS |du r�t|jd tj �r�zt |jd j � � �}W n t jy� Y dS 0 t|dd�dkr�t �|�r�| jd|d� dS t|tjtjf�r�dS | j�s>t|t j��r>tdd � t�|jf|j�� �D ���r>z|jt W n" t �y8 | jd|d� Y n0 dS t |d ��r�t D ]F}|D ]4}z|�|� W n t j �y� Y �qNY n0 �qV �q��qN| jd|d� n| jd|d� dS ) z4Check that the argument to `reversed` is a sequence.r )�positionNr �iterrW r� c s s" | ]}|j d kot�|�V qdS )r& N)r r �is_builtin_object)r! Zancestorr r r r� W s �z/BasicChecker._check_reversed.<locals>.<genexpr>�getattr)!r r� Zget_argument_from_callZNoSuchArgumentErrorr� r r� r� r r� r� r� r� r| r� r r r� r� r� ri r� r� r� r� Z_proxiedZ ancestors�locals�REVERSED_PROTOCOL_METHOD�KeyErrorr �REVERSED_METHODSZ NotFoundError)rb rl �argumentr� �methods�methr r r r� 9 sX ����� z BasicChecker._check_reversedrR z nodes.Withc C sd |j }|r`t||dd � �D ]B\}}t|d tj�r |d d u r t|d tj�s | jd|d� q d S )Nr7 r rR r� )r� r� r� r � AssignNamer� r� )rb rl �pairsZ prev_pair�pairr r r � visit_withr s ��zBasicChecker.visit_withz nodes.Assignc C s |� � }|j}g }|j}t|d tj�rRt|�dkr8d S |d j}t|�dkrRd S t|jtj �rzt|�dkrpd S |jg}n:t|jtj�r�t|jj�}t|�|ks�|dkr�d S |jj}t ||�D ]\\}}t|tj �s�q�t|tj �s�q�t|tj �r�|j |v r�q�|j |j kr�| jd|j f|d� q�d S )Nr r7 rU �r� rl )r� r �targetsr� r r� r� r� r� r� r� r r{ r r� ) rb rl r� Z scope_localsZ rhs_namesr Z rhs_count�targetZlhs_namer r r � _check_self_assigning_variable� s< �z+BasicChecker._check_self_assigning_variablezlist[nodes.NodeNG | None])r r- c C s� | j jj}|D ]�}t|tj�s qg }|jD ]X}t|tj�rH| �|g� q*t|tj�r*|j dkr*|rv|� |j �rv d S |� |j � q*t � |�}|�� D ]"\}}|dkr�| jd|f|d� q�qd S )Nr� r7 rV r )r^ rg �dummy_variables_rgxr� r r� r� � _check_redeclared_assign_namer r �matchr= � collections�Counter� most_commonr� ) rb r r r Z found_names�element�namesr �countr r r r � s$ �z*BasicChecker._check_redeclared_assign_namerU rV c C s | � |� | �|j� d S r_ )r r r rp r r r � visit_assign� s zBasicChecker.visit_assignz nodes.Forc C s | � |jg� d S r_ )r r rp r r r � visit_for� s zBasicChecker.visit_for)r )0r r r r r ZmsgsrE Zreportsra rk r Zonly_required_for_messagesrq rr rt rn � staticmethodr� r� r� r� r� r� r� r� Zvisit_asyncfunctiondefr� r� r� r� r� r� r� r� r� r� r� r r r� r� r� r r r r" r# � __classcell__r r rc r rF f s� � � ���Q �C 9 ( � � �9)�rF )'r � __future__r r r� �collections.abcr �typingr r r r| r r r Zpylintr r: Zpylint.checkersr Zpylint.interfacesr r r Zpylint.reporters.ureportsr> Z pylint.utilsr Zpylint.lint.pylinterr r r ZSEQUENCE_PROTOCOL_METHODSr r& r� r� rE rF r r r r �<module> s< ����*
| ver. 1.1 | |
.
| PHP 8.3.30 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка