Файловый менеджер - Редактировать - /opt/imh-python/lib/python3.9/site-packages/pylint/checkers/classes/__pycache__/class_checker.cpython-39.pyc
Ðазад
a n�hDr � ) @ st U d Z ddlmZ ddlmZ ddlmZmZ ddlm Z ddl m Z m Z ddl mZ ddlmZmZmZmZ dd lZdd lmZmZmZ dd lmZ dd lmZ dd l m Z m Z ddl m Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-m.Z.m/Z/m0Z0m1Z1 ddl2m3Z3m4Z4 ddl5m6Z6 e�r0ddl7m8Z8 eej9ej:f Z;h d�Z<ddhZ=ddhZ>ej?dd� ej@dd� ejAdd� ejBdd� ejCd d� ejDd d� iZEG d d � d e�ZFG d d!� d!e�ZGd"d d#�d$d%�ZHd&d!d'�d(d)�ZId!d d*d+�d,d-�ZJd.d*d/�d0d1�ZKd.d2d3�d4d5�ZLG d6d7� d7�ZMeM� ZNd&d&d*d8�d9d:�ZOd2d2d;d<d=�d>d?�ZPd2d2d<d8�d@dA�ZQd.d.d;d<d=�dBdC�ZRdDd*dE�dFdG�ZSdDdHd*dI�dJdK�ZTdLdDdMd*dN�dOdP�ZUdHdDd*dQ�dRdS�ZVdTdUd*dV�dWdX�ZWdYdZd[d\d]d^d_d`dadbdcdddedfdgdhdidjdkdldmdngifdodpdqdrdsdtdudvdwdxdydzd{d|d}d~dd�d�d�d�d�d��(ZXd�eYd�< d�d��d�d��ZZG d�d�� d��Z[G d�d�� d�e �Z\d�dDdHd�d��d�d��Z]d S )�z Classes checker for Python code.� )� annotations)� defaultdict)�Callable�Sequence)�cached_property)�chain� zip_longest)�Pattern)� TYPE_CHECKING�Any� NamedTuple�UnionN)�bases�nodes�util)�LocalsDictNodeNG)�SuccessfulInferenceResult)� BaseChecker�utils)� PYMETHODS�class_is_abstract�decorated_with�decorated_with_property�get_outer_class�has_known_bases�is_attr_private�is_attr_protected�is_builtin_object�is_comprehension� is_iterable�is_property_setter� is_property_setter_or_deleter�node_frame_class�only_required_for_messages� safe_infer� unimplemented_abstract_methods� uninferable_final_decorators)�HIGH� INFERENCE)�MessageDefinitionTuple)�PyLinter> �bool�range�slice� memoryviewzbultins.propertyzfunctools.cached_property�builtins.propertyzbuiltins.classmethodc C s | j |j kS �N��value��a�b� r6 ��/root/rpmbuild/BUILDROOT/imh-python39-modules-3.9.7-92.el8.x86_64/opt/imh-python/lib/python3.9/site-packages/pylint/checkers/classes/class_checker.py�<lambda>7 � r8 c C s | j |j kS r0 ��qnamer3 r6 r6 r7 r8 8 r9 c C s | j |j kS r0 ��eltsr3 r6 r6 r7 r8 9 r9 c C s | j |j kS r0 r< r3 r6 r6 r7 r8 : r9 c C s | j |j kS r0 )�itemsr3 r6 r6 r7 r8 ; r9 c C s t | �� �t |�� �kS r0 )�set�inferr3 r6 r6 r7 r8 < r9 c @ s. e Zd ZU ded< ded< ded< ded< dS ) �_CallSignaturezlist[str | None]�argsz dict[str | None, str | None]�kws� list[str]� starred_args� starred_kwsN��__name__� __module__� __qualname__�__annotations__r6 r6 r6 r7 rA C s rA c @ s. e Zd ZU ded< ded< ded< ded< dS )�_ParameterSignaturerD rB � kwonlyargs�str�varargs�kwargsNrG r6 r6 r6 r7 rL J s rL z nodes.Call)�call�returnc C s� i }g }g }g }| j pg D ]T}|j|j }}|d u rNt|tj�rN|�|j� qt|tj�rf|j||< qd ||< q| jD ]R}t|tj �r�t|jtj�r�|�|jj� qvt|tj�r�|�|j� qv|�d � qvt ||||�S r0 ) �keywords�argr2 � isinstancer �Name�append�namerB �StarredrA )rQ rC rB rF rE �keywordrT r2 r6 r6 r7 �_signature_from_callQ s$ r[ �nodes.Arguments�� argumentsrR c C sB | j }| j}dd� t| j| j�D �}dd� | jD �}t||||�S )Nc S s g | ]}|j d kr|j �qS ��self�rX ��.0rT r6 r6 r7 � <listcomp>q s �z-_signature_from_arguments.<locals>.<listcomp>c S s g | ] }|j �qS r6 ra rb r6 r6 r7 rd v r9 )�kwarg�varargr � posonlyargsrB rM rL )r^ re rf rB rM r6 r6 r7 �_signature_from_argumentsn s �rh r+ )� definitionrQ rR c s� �j r�j � jvr"dS n � jr"dS �jr:�j� jvrDdS n � jrDdS t� fdd��jD ��r`dS �j� jkrpdS t� �fdd�� jD ��S )z8Check if a definition signature is equivalent to a call.Fc 3 s | ]}|� j vV qd S r0 )rC �rc �kw)rQ r6 r7 � <genexpr>� r9 z1_definition_equivalent_to_call.<locals>.<genexpr>c 3 s" | ]}|� j v p|�jv V qd S r0 )rB rM rj �rQ ri r6 r7 rl � r9 ) rP rF rO rE �anyrM rB �allrC )ri rQ r6 rm r7 � _definition_equivalent_to_callz s rp �nodes.FunctionDef��functionrR c C s� | � � r| jrdS | j}t|�dkr(dS |d }t|tjtjf�sFdS |j}t|tj �rft|j tj �sjdS t |j j �}t|tjj�s�dS |j j| jkr�dS | j�� }|j|ks�t|jtj�r�|jj|jkr�dS dS )zzCheck whether a function definition is a method consisting only of a call to the same function on the superclass. F� r T)� is_method� decorators�body�lenrU r �Expr�Returnr2 �Call�func� Attributer$ �expr�astroid�objects�Super�attrnamerX �parent�scopeZ mro_pointer�type�Instance)rs rw � statementrQ Z super_callZ current_scoper6 r6 r7 � _is_trivial_super_delegation� s> �� � � � � �r� zlist[nodes.AssignName]��methodrR c C s* | j j }| �� r&| jdv r&|dd � }|S )N> r� � classmethodrt )rB �is_boundr� )r� � positionalr6 r6 r7 �_positional_parameters� s r� c @ s e Zd ZdZdS )�_DefaultMissingz=Sentinel value for missing arg default, use _DEFAULT_MISSING.N)rH rI rJ �__doc__r6 r6 r6 r7 r� � s r� )�original� overriddenrR c C s� | j du s|j du rdS t| j | j�D ]�}z| �|j�}W n tjjyT t}Y n0 z |�|j�}|tu rtW dS W n& tjjy� |tu r�Y q&Y dS 0 t |�}t ||�s� dS t � |�}|du r� dS |||�s& dS q&dS )a, Check if original and overridden methods arguments have different default values. Return True if one of the overridden arguments has a default value different from the default value of the original argument If one of the method doesn't have argument (.args is None) return False NFT) rB r rM � default_valuerX r � exceptions� NoDefault�_DEFAULT_MISSINGr� rU �ASTROID_TYPE_COMPARATORS�get)r� r� �paramZoriginal_defaultZoverridden_default� original_typeZ is_same_fnr6 r6 r7 �'_has_different_parameters_default_value� s4 � r� � Pattern[str]rD )r� r� �dummy_parameter_regexrR c s� g }t | |�}|D ]�\}}|s(dg S |sbz|j�|j� W qW n tjy` dg Y S 0 dd� ||fD �}t� fdd�|D ��r�q|j|jkr|�d|j� d|j� d�� q|S ) N�Number of parameters c S s g | ] }|j �qS r6 ra )rc r� r6 r6 r7 rd r9 z-_has_different_parameters.<locals>.<listcomp>c 3 s | ]}� � |�V qd S r0 )�match�rc rX �r� r6 r7 rl r9 z,_has_different_parameters.<locals>.<genexpr>z Parameter 'z' has been renamed to 'z' in)r r� r� rX r r� rn rW )r� r� r� �resultZzippedZoriginal_paramZoverridden_param�namesr6 r� r7 �_has_different_parameters s* ��r� c s� dd� | D �}dd� |D �� t � fdd�|D ��r8dgS � D ]B}||v rJq<z|d j�|� W q< tjy| dg Y S 0 q<g S )zDDetermine if the two methods have different keyword only parameters.c S s g | ] }|j �qS r6 ra �rc �ir6 r6 r7 rd ) r9 z:_has_different_keyword_only_parameters.<locals>.<listcomp>c S s g | ] }|j �qS r6 ra r� r6 r6 r7 rd * r9 c 3 s | ]}|� vV qd S r0 r6 r� �Zoverridden_namesr6 r7 rl , r9 z9_has_different_keyword_only_parameters.<locals>.<genexpr>r� r )rn r� r� r r� )r� r� �original_namesrX r6 r� r7 �&_has_different_keyword_only_parameters$ s r� c s\ g }t | �}t |�}| jj}|jjrDdd� |D �� � fdd�|D �}|jjrtdd� |jjD �� � fdd�| jjD �}t|||�}t||jj�}|r�|r�d|d v r�d|d v r�|�d� ||d d � 7 }||d d � 7 }n||7 }||7 }n|r�||7 }|�r||7 }| jj�o|jj } | jj�o,|jj } | �s:| �rD|d g7 }| jt v �rX|� � |S ) aE Determine if the two methods have different parameters. They are considered to have different parameters if: * they have different positional parameters, including different names * one of the methods is having variadics, while the other is not * they have different keyword only parameters. c S s g | ] }|j �qS r6 ra �rc �vr6 r6 r7 rd V r9 z)_different_parameters.<locals>.<listcomp>c s g | ]}|j � v r|�qS r6 ra r� r� r6 r7 rd W s c S s g | ] }|j �qS r6 ra r� r6 r6 r7 rd \ r9 c s g | ]}|j � v r|�qS r6 ra r� r� r6 r7 rd ] s zNumber r r� rt NzVariadics removed in) r� rB rM rf re r� r� rW rX r �clear) r� r� r� Zoutput_messagesZoriginal_parametersZoverridden_parametersZoriginal_kwonlyargsZdifferent_positionalZdifferent_kwonlyZ kwarg_lostZ vararg_lostr6 r� r7 �_different_parameters; sL � ��� r� �nodes.ClassDef)�clsrR c C s | j tv ot| �S r0 )rX �INVALID_BASE_CLASSESr �r� r6 r6 r7 �_is_invalid_base_class� s r� rN )r� �attrrR c C s� | � |�}|D ]x}zZ|�� D ]L}t|tj�r z|� d� |� d� W n tjy\ Y q Y q 0 W dS q W q tjy� Y dS 0 qdS )N�__get__�__set__TF)�getattrr@ rU r r� � NotFoundError�InferenceError)r� r� � attributes� attribute�inferredr6 r6 r7 �_has_data_descriptor� s r� r � Sequence[str])r| �klass�methodsrR c C s� t | tj�sdS |D ]�}z|�|�}W n tjy> Y qY n0 |D ]�}|�tj�D ]p}zt|j � � �}W n tj t fy� Y qTY n0 t |tj �s�qT|j}t |tj�r�|j}|j| jkrT dS qTqDqdS )z�Check if the func was called in any of the given methods, belonging to the *klass*. Returns True if so, False otherwise. FT)rU r � FunctionDefr� r r� �nodes_of_classr{ �nextr| r@ r� � StopIterationZ BoundMethod�_proxied� UnboundMethodrX ) r| r� r� r� r� Z infer_methodrQ �boundZfunc_objr6 r6 r7 �_called_in_methods� s* r� �rX r� rR c C s� z|� | �}W n tjy$ Y dS 0 d}|D ]~}t|tj�r@q.zt|�� �}W n tjyh Y q.Y n0 t|t j �r�t |�r� dS |� � |kr�q.t |�}||�� kr�q. dS dS )a/ Check if the given attribute *name* is a property in the given *klass*. It will look for `property` calls or for functions with the given name, decorated by `property` or `property` subclasses. Returns ``True`` if the name is a property in the given klass, ``False`` otherwise. Fr/ T)r� r r� rU r �UninferableBaser� r@ r� r r� r Zpytyper" Zdeclared_metaclass)rX r� r� Z property_namer� r� r� r6 r6 r7 �_is_attribute_property� s. � r� zlist[nodes.Const | None]z nodes.Name)�slots�assigned_valuerR c C s@ t |�� �}t|tj�r<|�� }tdd� t| |�D ��r<dS dS )Nc s s& | ] \}}|o |o |j |j kV qd S r0 r1 )rc Z first_slotZ second_slotr6 r6 r7 rl � s �z)_has_same_layout_slots.<locals>.<genexpr>TF)r� r@ rU r �ClassDefr� ro r )r� r� r� Z other_slotsr6 r6 r7 �_has_same_layout_slots� s �r� )z+Unable to check methods signature (%s / %s)�method-check-failedz�Used when Pylint has been unable to check methods signature compatibility for an unexpected reason. Please report this kind if you don't make sense of it.)z4An attribute defined in %s line %s hides this method� method-hiddenz~Used when a class defines a method which is hidden by an instance attribute from an ancestor class or set by some client code.)z1Access to member %r before its definition line %s� access-member-before-definitionzGUsed when an instance member is accessed before it's actually assigned.)z%Attribute %r defined outside __init__� attribute-defined-outside-initzGUsed when an instance attribute is defined outside the __init__ method.)z1Access to a protected member %s of a client class�protected-accessz�Used when a protected member (i.e. class member with a name beginning with an underscore) is accessed outside the class or a descendant of the class where it's defined.)z=Flag member %(overlap)s shares bit positions with %(sources)s�implicit-flag-aliaszdUsed when multiple integer values declared within an enum.IntFlag class share a common bit position.)zMethod %r has no argument�no-method-argumentzbUsed when a method which should have the bound instance as first argument has no argument defined.)z.Method %r should have "self" as first argument�no-self-argumentz�Used when a method has an attribute different the "self" as first argument. This is considered as an error since this is a so common convention that you shouldn't break it!)z0Class method %s should have %s as first argument�bad-classmethod-argumentz�Used when a class method has a first argument named differently than the value specified in valid-classmethod-first-arg option (default to "cls"), recommended to easily differentiate them from regular instance methods.)z4Metaclass method %s should have %s as first argument�bad-mcs-method-argumentz�Used when a metaclass method has a first argument named differently than the value specified in valid-classmethod-first-arg option (default to "cls"), recommended to easily differentiate them from regular instance methods.)z:Metaclass class method %s should have %s as first argument� bad-mcs-classmethod-argumentz�Used when a metaclass class method has a first argument named differently than the value specified in valid-metaclass-classmethod-first-arg option (default to "mcs"), recommended to easily differentiate them from regular instance methods.)z'Static method with %r as first argument�bad-staticmethod-argumentz�Used when a static method has "self" or a value specified in valid-classmethod-first-arg option or valid-metaclass-classmethod-first-arg option as first argument.)�%s %s %r method�arguments-differz�Used when a method has a different number of arguments than in the implemented interface or in an overridden method. Extra arguments with default values are ignored.)z#Signature differs from %s %r method�signature-differszgUsed when a method signature is different than in the implemented interface or in an overridden method.)zIMethod %r is abstract in class %r but is not overridden in child class %r�abstract-methodzbUsed when an abstract method (i.e. raise NotImplementedError) is not overridden in concrete class.)z0__init__ method from base class %r is not called�super-init-not-calledzaUsed when an ancestor class method has an __init__ method which is not called by a derived class.)z9__init__ method from a non direct base class %r is called�non-parent-init-calledznUsed when an __init__ method is called on a class which is not in the direct ancestors for the analysed class.z1Useless parent or super() delegation in method %r�useless-parent-delegationz�Used whenever we can detect that an overridden method is useless, relying on parent or super() delegation to do the same thing as another method from the MRO.Z old_names)ZW0235zuseless-super-delegation)z7Method %r was expected to be %r, found it instead as %r�invalid-overridden-methodz�Used when we detect that a method was overridden in a way that does not match its base class which could result in potential bugs at runtime.)r� �arguments-renamedzoUsed when a method parameter has a different name than in the implemented interface or in an overridden method.)z Unused private member `%s.%s`�unused-private-memberzAEmitted when a private member of a class is defined but not used.)zUMethod %r overrides a method decorated with typing.final which is defined in class %r�overridden-final-methodzCUsed when a method decorated with typing.final has been overridden.)zAClass %r is a subclass of a class decorated with typing.final: %r�subclassed-final-classzBUsed when a class decorated with typing.final has been subclassed.)z Redefined slots %r in subclass�redefined-slots-in-subclassz-Used when a slot is re-defined in a subclass.)zSuper call without brackets�super-without-bracketsznUsed when a call to super does not have brackets and thus is not an actual call and does not work as expected.)zCInvalid object %r in __slots__, must contain only non empty strings�invalid-slots-objectz=Used when an invalid (non-string) object occurs in __slots__.)z4Assigning to attribute %r not defined in class slots�assigning-non-slotzCUsed when assigning to an attribute not defined in the class slots.)zInvalid __slots__ object� invalid-slotszhUsed when an invalid __slots__ is found in class. Only a string, an iterable or a sequence is permitted.)z$Inheriting %r, which is not a class.�inherit-non-classz?Used when a class inherits from something which is not a class.)z1Inconsistent method resolution order for class %r�inconsistent-mroz>Used when a class has an inconsistent method resolution order.)z Duplicate bases for class %r�duplicate-baseszBDuplicate use of base classes in derived classes raise TypeErrors.)z/Value %r in slots conflicts with class variable� class-variable-slots-conflictzSUsed when a value in __slots__ conflicts with a class variable, property or method.)zNInvalid assignment to '__class__'. Should be a class definition but got a '%s'�invalid-class-objectz[Used when an invalid object is assigned to a __class__ property. Only a class is permitted.)z#Extending inherited Enum class "%s"�invalid-enum-extensionzfUsed when a class tries to extend an inherited Enum class. Doing so will raise a TypeError at runtime.)z No such name %r in __slots__�declare-non-slotz�Raised when a type annotation on a class is absent from the list of names in __slots__, and __slots__ does not contain a __dict__ entry.)z9Consider using a decorator instead of calling classmethod�no-classmethod-decoratorzGUsed when a class method is defined without using the decorator syntax.)z:Consider using a decorator instead of calling staticmethod�no-staticmethod-decoratorzHUsed when a static method is defined without using the decorator syntax.)z/Class __slots__ should be a non-string iterable� single-string-used-for-slotszHUsed when a class __slots__ is a simple string, rather than an iterable.)zJClass %r inherits from object, can be safely removed from bases in python3�useless-object-inheritancezoUsed when a class inherit from object, which under python3 is implicit, hence can be safely removed from bases.)z-Cannot have defined parameters for properties�property-with-parametersz�Used when we detect that a property also has parameters, which are useless, given that properties cannot be called with additional arguments.)(ZF0202ZE0202ZE0203ZW0201ZW0212ZW0213ZE0211ZE0213ZC0202ZC0203ZC0204ZW0211ZW0221ZW0222ZW0223ZW0231ZW0233ZW0246ZW0236ZW0237ZW0238ZW0239ZW0240ZW0244ZW0245ZE0236ZE0237ZE0238ZE0239ZE0240ZE0241ZE0242ZE0243ZE0244ZE0245ZR0202ZR0203ZC0205ZR0205ZR0206z!dict[str, MessageDefinitionTuple]�MSGSz$defaultdict[str, list[_AccessNodes]]�rR c C s t t�S r0 )r �listr6 r6 r6 r7 �_scope_default� s r� c @ s> e Zd ZdZdd�dd�Zddd�dd �Zd d d �d d�ZdS )�ScopeAccessMapz'Store the accessed variables per scope.�Noner� c C s t t�| _d S r0 )r r� �_scopesr_ r6 r6 r7 �__init__� s �zScopeAccessMap.__init__� _AccessNodes��noderR c C s. t |�}|du rdS | j| |j �|� dS )z Set the given node as accessed.N)r" r� r� rW �r` r �framer6 r6 r7 � set_accessed� s zScopeAccessMap.set_accessedr� � dict[str, list[_AccessNodes]])r� rR c C s | j �|i �S )z/Get the accessed variables for the given scope.)r� r� )r` r� r6 r6 r7 �accessed� s zScopeAccessMap.accessedN)rH rI rJ r� r� r r r6 r6 r6 r7 r� � s r� c s� e Zd ZdZdZeZdddddd�fd d dd d d�fd ddd dd�fdddddd�fdddddd�ffZddd�� fd d � Zdd �d d �Z e d!d �d"d#��Z e d$d%d&d'd(d)d*d+d,d-d.d/d0d1�d2dd3�d4d5��Z d2dd3�d6d7�Zd2dd3�d8d9�Zd2d2dd:�d;d<�Zd2dd3�d=d>�Zd2dd3�d?d@�Ze dAdBdC�d2dd3�dDdE��Zd2dd3�dFdG�Zd2dd3�dHdI�Zd2dd3�dJdK�Zd2ddL�dMdN�ZdOdd3�dPdQ�ZeZdOddR�dSdT�ZdOdd3�dUdV�ZdOdOddW�dXdY�Z dZd[d\�d]d^�Z d2d[d3�d_d`�Z d2dd3�dadb�Z d2dcd3�ddde�Z dfdcdg�dhdi�Z!d2djdfddk�dldm�Z"dnd2ddo�dpdq�Z#dOdd3�drds�Z$e$Z%dZdd3�dtdu�Z&dZdd3�dvdw�Z'e dxdydC�dzdd3�d{d|��Z(dzdd3�d}d~�Z)dzdd3�dd��Z*e d�d�d��d�dd��d�d���Z+d�dd3�d�d��Z,d�dd3�d�d��Z-e.djd[d3�d�d���Z/djd[d��d�d��Z0e.d�d[d��d�d���Z1e.djd2d[d��d�d���Z2e.d�d2d[d��d�d���Z3d2d�dd��d�d��Z4dOd[dd��d�d��Z5d�d�dOd�d�dd��d�d��Z6d2dd3�d�d��Z7dOd2dd��d�d��Z8dOdOd2dd��d�d��Z9d�d[d3�d�d��Z:djd[d3�d�d��Z;� Z<S )�� ClassCheckerz�Checker for class nodes. Checks for : * methods without self as first argument * overridden methods signature * access only to existent members via self * attributes not defined in the __init__ method * unreachable code �classeszdefining-attr-methods)r� �__new__ZsetUpZ asyncSetUp� __post_init__�csvz<method names>zGList of method names used to declare (i.e. assign) instance attributes.)�defaultr� �metavar�helpzvalid-classmethod-first-argr� z<argument names>z=List of valid names for the first argument in a class method.z%valid-metaclass-classmethod-first-arg)�mcszGList of valid names for the first argument in a metaclass class method.zexclude-protected)�_asdict�_fields�_replace�_source�_makezos._exitz <protected access exclusions>zQList of member names, which should be excluded from the protected access warning.z)check-protected-access-in-special-methodsFZynz<y or n>z<Warn about protected attribute access inside special methodsr* r� )�linterrR c s t � �|� t� | _g | _d S r0 )�superr� r� � _accessed� _first_attrs)r` r �� __class__r6 r7 r� S s zClassChecker.__init__r� c C s$ | j jj| _| j jj}|dk| _d S )N)� � )r �configZmixin_class_rgx�_mixin_class_rgx� py_version� _py38_plus)r` r r6 r6 r7 �openX s zClassChecker.openr� c C s | j jjS r0 )r r Zdummy_variables_rgxr_ r6 r6 r7 � _dummy_rgx] s zClassChecker._dummy_rgxr� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r c C s@ | � |� | �|� | �|� | �|� | �|� | �|� dS )z Init visit variable _accessed.N)�_check_bases_classes� _check_slots�_check_proper_bases�_check_typing_final�_check_consistent_mro�_check_declare_non_slot�r` r r6 r6 r7 �visit_classdefa s zClassChecker.visit_classdefc C s� | � |�sd S | �|�}|s d S d|v r,d S |jD ]T}t|�}t|tj�sLq2| � |�s\ d S | �|�D ] }|dkrz d S |�|� qfq2|jD ]N}t|tj �r�|j d ur�q�t|j tj �r�|j j |vr�| jd|j j |j td� q�d S )N�__dict__r� �rB r � confidence)�_has_valid_slots�_get_classdef_slots_namesr r$ rU r r� rW rw � AnnAssignr2 �target� AssignNamerX � add_messager( )r` r � slot_names�base�ancestorZ slot_name�childr6 r6 r7 r) z s: �z$ClassChecker._check_declare_non_slotc C s\ z |� � W nJ tjy2 | jd|j|d� Y n& tjyV | jd|j|d� Y n0 dS )z<Detect that a class has a consistent mro or duplicate bases.r� �rB r r� N)�mror ZInconsistentMroErrorr4 rX ZDuplicateBasesErrorr* r6 r6 r7 r( � s z"ClassChecker._check_consistent_mro)r r7 rR c s� |� d�}|rpt|d tj�rp|d jrp|d jD ]<\}}tdd� |� |j�D ��rVq2| jd|j�td� qpq2|� d��r�t t �� �� tj �D ]:}t|jtj�r�t |jjdd �}t|t�r�� | �|� q�t t�}� D ]6} d d� ttt| ���D �} | D ]} || �| � q�q�t t �} |�� D ],} t| �^}}|D ]}| | �|� �q4�q | D ]b�� � D ]R}| jd |d �j� d |j� d �� d�d�� ��fdd�| � D ��d�td� �q^�qRd S )N� __members__r c s s( | ] }t |jtj�o |jjd u V qd S r0 )rU r� r r1 r2 �rc �itemr6 r6 r7 rl � s �z0ClassChecker._check_enum_base.<locals>.<genexpr>r� r- z enum.IntFlagr2 c s s | ]\}}|d kr|V qdS )�1Nr6 )rc r� �cr6 r6 r7 rl � r9 r� �<�.�: �>�, c 3 sH | ]@}d �j � d� | d j � d|� d�� d|� d�|@ � d� V qdS ) r@ rA r rB z> (z & z = �)Nra )rc �source�Z assignmentsr �overlapr6 r7 rl � s � ���)rH �sources�r rB r. )r� rU r �Dictr> ro rX r4 r( � is_subtype_ofr r� r� r3 r� �Assignr2 �intrW r? � enumerate�reversed�bin�add�values�sorted�join)r` r r7 �members�_� name_node� assign_namer2 Z bit_flags�flag� flag_bits�bit�overlaps�flagsrF � conflicts�conflictZassignment_noder6 rG r7 �_check_enum_base� sV �� ���z ClassChecker._check_enum_basec C s� |j D ]�}t|�}|sqt|tj�r:|�d�s|�d�r:qt|tj�rNt|�rb| j d|� � |d� t|tj�r�|�d�r�| � ||� |j t jkr| j d|j |d� qdS )zWDetect that a class inherits something which is not a class or a type. z builtins.typez .Protocolr� r9 z enum.Enumr� N)r r$ rU r r� rL r r� r� r4 � as_stringra rX �objectrH �r` r r6 r7 r6 r6 r7 r& � s, ���� �z ClassChecker._check_proper_basesc C sb | j s dS |jD ]L}t|�}|s"qt|tj�rt|dg�sDt|j�r| j d|j |j f|d� qdS )z]Detect that a class does not subclass a class decorated with `typing.final`. N� typing.finalr� r9 ) r! r r$ rU r r� r r& rv r4 rX rd r6 r6 r7 r' s �� �z ClassChecker._check_typing_finalr� r� r� c C s, | � |� | �|� | �|� | �|� dS )z�Checker for Class nodes. check that instance attributes are defined in __init__ and check access to existent members N)� _check_unused_private_functions� _check_unused_private_variables� _check_unused_private_attributes�%_check_attribute_defined_outside_initr* r6 r6 r7 �leave_classdef s zClassChecker.leave_classdefc C s� |� tj�D �]n}t|j�s q |j�� }t|tj�rR|jdd� |� tj�D �v rRq |� tjtj f�D ]�}t|tj�r�|j|jkr� q t|tj �rd|j |jksd|�� |kr�qdt|j tj�r�|j jdd|jhv r� q t|j tj �rdt |j �}t|tj�rd|j|jkrd q qdg }|}||k�r2|�|j� |j�� }�qd�t|��� }|� d|j� d|j�� � d�} | jd||j| �d�fd � q d S ) Nc s s | ] }|j V qd S r0 ra �rc �nr6 r6 r7 rl 2 s z?ClassChecker._check_unused_private_functions.<locals>.<genexpr>r` r� rA �(rE r� �r rB )r� r r� r rX r� r� rU rV r} r� r~ r{ r$ r� rW rU rP rB rb r4 �lstrip) r` r Z function_defZ parent_scoper8 r� Z name_stack�currZouter_level_namesZ function_reprr6 r6 r7 rf + sV � � �� � � �z,ClassChecker._check_unused_private_functionsc C s� |� tj�D ]�}t|jtj�r q t|j�s,q |� tjtj f�D ]b}t|tj�r^|j|jkr^ q t|tj �r>t|j tj�s| q |j |jkr>|j jdd|jfv r> q q>|j|jf}| j d||d� q dS )z9Check if private variables are never used within a class.r` r� r� rn N) r� r r3 rU r� � Argumentsr rX rV r} r~ r� r4 )r` r rY r8 rB r6 r6 r7 rg c s& � z,ClassChecker._check_unused_private_variablesc C s, |� tj�D �]}t|j�r t|jtj�s,q dg}|�� }t|tj �rl|j dkrl|� dd� |� tj �D �� |� tj �D ]�}|j|jkr�qxt|jtj�s�qx|jj d|j hv r�|jj dd|j hv r� q |jj |v r�|jj dkr� q |jj |jj k�r |j krxn qx q qx|j |jf}| jd||d� q d S )Nr` r c S s" g | ]}t |jtj�r|jj�qS r6 )rU r2 r rV rX )rc Z return_noder6 r6 r7 rd � s �zAClassChecker._check_unused_private_attributes.<locals>.<listcomp>r� r� rn )r� r � AssignAttrr r� rU r~ rV r� r� rX �extendrz r} r4 )r` r Z assign_attrZacceptable_obj_namesr� r� rB r6 r6 r7 rh z sD � �� �� � �$ z-ClassChecker._check_unused_private_attributes)�cnoderR c sj d| j jjv r | j�|j�r d S | j�|�}|jdkrB| � ||� | j � d�sRd S | j jj �|� � � |j �� D ]�\}}|dkr�qn� fdd�|D �}|s�qndd� |D �}t�fdd�|D ��r�qn|�|�D ]2}d }|j | D ]}|�� j�v r�d }q�|r� qnq�z|�|� W qn tj�yb |D ]<}|�� j�v�r t|�� |���rJ�q | jd||d � �q Y qn0 qnd S ) Nr� � metaclassr, c s2 g | ]*}t |�� tjtjf�s|�� � u r|�qS r6 )rU r� r �Delete� AugAssign�rootrk )�current_moduler6 r7 rd � s �zFClassChecker._check_attribute_defined_outside_init.<locals>.<listcomp>c s s | ]}|� � V qd S r0 )r )rc r r6 r6 r7 rl � r9 zEClassChecker._check_attribute_defined_outside_init.<locals>.<genexpr>c 3 s | ]}|j � v pt|�V qd S r0 )rX r )rc r )�defining_methodsr6 r7 rl � s �FTr9 )r r Zignored_checks_for_mixinsr r� rX r r r� �_check_accessed_members�is_message_enabledZdefining_attr_methodsrx �instance_attrsr> rn �instance_attr_ancestorsr � local_attrr r� r� r4 ) r` rt r r� � nodes_lst�framesr� Z attr_definedr r6 )ry rz r7 ri � s\ �� � � � ��z2ClassChecker._check_attribute_defined_outside_initrq c C s� |� � s dS | �|� | �|� |j�� }| �||jdk� |jdkrV| �||� dS |� |j�D ]V}z||j }W n t y� Y qbY n0 t |t j �s�qb| �|||� | �||� q�qb|j�r�|jj D �] }t |t j�r�|jdv r� dS t |t j��r |jtv �r dS t |t j��r,| �|��r, dS t|�}|�s@ dS t |t j ��r|zt|�|��}W n tj�yz Y dS 0 z8t |tjt j f��r�|� d��r�|� d��r�W dS W q� tj �y� Y q�0 q�z�|� |j�d }|�� }t |t j ��r |jdk�r |j�� }t |t j ��r*|� |�!� ��s0W dS |�"� D ]X}|j|j#v �r^t$|j��r^ W dS |�%|j�d D ] } t | t j ��rn W dS �qn�q8|�&� j|j'f} | j(d | |d � W n tj)�y� Y n0 dS ) z#Check method arguments, overriding.Nru r� > �setter�getter�deleterr� r� r r� rt r� r9 )*ru � _check_useless_super_delegation� _check_property_with_parametersr� r �_check_first_arg_for_typer� rX � _check_init�local_attr_ancestors�KeyErrorrU r r� �_check_signature� _check_invalid_overridden_methodrv r} r� rV �ALLOWED_PROPERTIES�_check_functools_or_notr$ r� Zinfer_call_resultr r� r� r� r� ZAttributeInferenceError� instance_attrrL r; � ancestorsr} r �lookuprx � fromlinenor4 r� ) r` r r� r� Zparent_function� decoratorr� Zoverridden_framer7 �objrB r6 r6 r7 �visit_functiondef� s� ��� �� � � z ClassChecker.visit_functiondefrr c C s� t |�s dS |jd j}|jdkrB|j�� D ]}|jdkr, dS q,|j�� }d}|�|j�D ]h}z||j }W n ty� Y q\Y n0 t |t j �r�t |j |j �s�|j j du r�|�� dgkr� dS q�q\t|j �}t|�}|du�r�|j j�r|j j�rt|j j �t|j j �k�rdS ddd�d d �} | |j �} | |j �} | �rR| �rR| | k�rRdS |jdu�r�|jdu�r�|j�� |j�� k�r�dS t||��r�| jd ||jftd � dS ) aR Check if the given function node is an useless method override. We consider it *useless* if it uses the super() builtin, but having nothing additional whatsoever than not implementing the method at all. If the method uses super() to delegate an operation to the rest of the MRO, and if the method called is the same as the current one, the arguments passed to super() are the same as the parameters that were passed to this method, then the method could be removed altogether, by letting other implementation to take precedence. Nr �__hash__�__eq__r` r\ rD r] c S s t | jp g | j�}dd� |D �S )Nc S s g | ]}|d ur|� � �qS r0 )rb )rc �annr6 r6 r7 rd � r9 zZClassChecker._check_useless_super_delegation.<locals>.form_annotations.<locals>.<listcomp>)r Zposonlyargs_annotationsr )r^ r r6 r6 r7 �form_annotations� s �zFClassChecker._check_useless_super_delegation.<locals>.form_annotationsr� rJ )r� rw r2 rX r� � mymethodsr r� r� rU r r� r� rB �argnamesrh r[ rf rx �returnsrb rp r4 r( ) r` rs rQ Z other_methodr� Z meth_noder� �paramsrB r� Zcalled_annotationsZoverridden_annotationsr6 r6 r7 r� \ sn ��� � � �� ��� �z,ClassChecker._check_useless_super_delegationc C s4 t |jj�dkr0t|�r0t|�s0| jd|td� d S )Nrt r� �r r. )rx rB r^ r r r4 r' r* r6 r6 r7 r� � s ���z,ClassChecker._check_property_with_parameters)� function_node�parent_function_noderR c C s� t |�pt|�}t |�p t|�}|rD|sD| jd|jd|jf|d� n |sd|rd| jd|jddf|d� t|tj�}t|tj�}|r�|s�| jd|jddf|d� n |s�|r�| jd|jddf|d� t|dg�s�t |j �r�| j r�| jd|j|j � � jf|d� d S ) Nr� �propertyr9 r� �asyncz non-asyncre r� )r r! r4 rX r� rU r �AsyncFunctionDefr r& rv r! r� r )r` r� r� Zparent_is_propertyZcurrent_is_propertyZparent_is_asyncZcurrent_is_asyncr6 r6 r7 r� � s^ ���� � � � � ����z-ClassChecker._check_invalid_overridden_methodznodes.Attributer+ )r� rR c C sh |j dkrdS t|jtj�s dS |j�|jj�\}}|s<dS |d }t|tjtj f�sZdS dt |j �v S )Nr Fr � functools) r� rU r~ r rV r� rX r �Import� ImportFrom�dictr� )r` r� rW Z import_nodesZ import_noder6 r6 r7 r� � s z$ClassChecker._check_functools_or_notc C s� d|j vrdS zt|�d��}W n tjy6 Y dS 0 |D ]N}t|tj�rR dS t|�sht |�sh dS t|t j �rz dS t |d�s< dS q<dS )N� __slots__F�iteredT) �locals�tuple�ilookupr r� rU r r� r r r �Const�hasattr)r` r �inferred_slotsr� r6 r6 r7 r/ s z ClassChecker._has_valid_slotsc C s d|j vrd S zt|�d��}W n tjy6 Y d S 0 |D ]�}t|tj�rNq<t|�snt |�sn| j d|d� q<t|t j �r�| j d|d� q<t |d�s�q<t|t j�r�dd� |jD �}n|�� }t|tj�r�q<|D ].}z| �||� W q� tjy� Y q�Y q�0 q�| �|||� q<d S )Nr� r� �r r� r� c S s g | ] }|d �qS �r r6 r< r6 r6 r7 rd / r9 z-ClassChecker._check_slots.<locals>.<listcomp>)r� r� r� r r� rU r r� r r r4 r r� r� rK r> r� �_check_slots_elt�_check_redefined_slots)r` r r� r� rS �eltr6 r6 r7 r% s8 zClassChecker._check_slotsrD c C st g }zt |�d��}W n tjy. | Y S 0 |D ]:}t|tj�rVdd� |jD �}n|�� }|� | � |�� q4|S )Nr� c S s g | ] }|d �qS r� r6 r< r6 r6 r7 rd D r9 z:ClassChecker._get_classdef_slots_names.<locals>.<listcomp>) r� r� r r� rU r rK r> r� rs �_get_slots_names)r` r � slots_namesr� r� rS r6 r6 r7 r0 ; s z&ClassChecker._get_classdef_slots_nameszlist[nodes.NodeNG])� slots_listrR c C sT g }|D ]F}t |tj�r&|�|j� qt|�}t|dd �}t |t�r|�|� q|S )Nr2 )rU r r� rW r2 r$ r� rN )r` r� r� �slotZ inferred_slotZinferred_slot_valuer6 r6 r7 r� K s z ClassChecker._get_slots_namesz nodes.NodeNG)r � slots_noder� rR c sP | � |�}dd� |�d�D �}|�|�� � rL| jd� fdd�|D �f|d� dS ) zGCheck if `node` redefines a slot which is defined in an ancestor class.c S s$ h | ] }|� � pg D ] }|j�qqS r6 )r� r2 )rc r7 r� r6 r6 r7 � <setcomp>a s �z6ClassChecker._check_redefined_slots.<locals>.<setcomp>r� r� c s g | ]}|� v r|�qS r6 r6 r� �Zredefined_slotsr6 r7 rd m r9 z7ClassChecker._check_redefined_slots.<locals>.<listcomp>r9 N)r� r� � intersectionr4 )r` r r� r� r� Zancestors_slots_namesr6 r� r7 r� W s � �z#ClassChecker._check_redefined_slotsr )r� r rR c C s� |� � D ]�}t|tj�rqt|tj�r2t|jt�sJ| jd|� � |t d� q|jsf| jd|� � |t d� |j � |j�}|rt |�dkr�|d j}t|tj�r�|jd u r� d S | jd|jf|d� qd S )Nr� r- rt r r� r9 )r@ rU r r� r r� r2 rN r4 rb r( r� r� rx r� r1 )r` r� r r� Zclass_variabler� r6 r6 r7 r� q s: ��� �z ClassChecker._check_slots_eltc C s" |� � r |jjdur | j�� dS )z�On method node, check if this method couldn't be a function. ignore class, static and abstract methods, initializer, methods overridden from a parent class. N)ru rB r �popr* r6 r6 r7 �leave_functiondef� s z ClassChecker.leave_functiondefc C sB | � |� | �|�r$| j�|� dS | j�d�s4dS | �|� dS )z�Check if the getattr is an access to a class member if so, register it. Also check for access to protected class member from outside its class (but ignore __special__ methods) Nr� )� _check_super_without_brackets� _uses_mandatory_method_paramr r r r| �!_check_protected_attribute_accessr* r6 r6 r7 �visit_attribute� s z ClassChecker.visit_attributec C st |� � }t|tj�sdS t|j� � tj�s.dS t|jtj�s@dS t|jtj�sRdS |jj dkrp| j d|jt d� dS )zCCheck if there is a function call on a super call without brackets.Nr r� r� ) r rU r r� r� r� r{ r~ rV rX r4 r' r r6 r6 r7 r� � s z*ClassChecker._check_super_without_bracketsr� r� znodes.AssignAttrc C s> t |�� tj�r&| �|�r&| j�|� | �|� | �|� d S r0 ) rU Z assign_typer rw r� r r �_check_in_slots�_check_invalid_class_objectr* r6 r6 r7 �visit_assignattr� s �� z ClassChecker.visit_assignattrc C s� |j dksd S t|jtj�rpd}t|jj�D ] \}}t|d�r,|j dkr,|}q,|dkrZd S t|jjj j| �}n t|jj �}t|tj t j f�s�|d u r�d S | j d||jjtd� d S )Nr ���r� r� rJ )r� rU r� r �TuplerO r= r� r$ r2 r� r r� r4 r rH r( )r` r Z class_indexr� r� r� r6 r6 r7 r� � s, ���z(ClassChecker._check_invalid_class_objectc s� t � j�}t|tj�sdS |j}t|�s,dS d|jvr:dS tdd� |� � D ��rTdS tdd� |� � D ��r�t |dd�}|r�|� |j �dur�||j = |� � }|du r�dS tdd� |� � D ��r�dS t� fdd�|D ���s�td d� |D ���s�t� j|�r�dS � jd k�r t�� j|��r dS � j|jv �rv|j� � j�D ]*}|�� }t|tj��r8|j�s8 dS �q8t|� j��rvdS � jd k�r�t|� jj��r�dS | jd � jf� td � dS ) zTCheck that the given AssignAttr node is defined in the class slots. Nr� c s s& | ] }|� � d kr|j�d�V qdS )zbuiltins.object� __setattr__N)r; r� r� �rc r6 r6 r6 r7 rl � s �z/ClassChecker._check_in_slots.<locals>.<genexpr>c s s | ]}|� � d kV qdS )ztyping.GenericNr: r� r6 r6 r7 rl r9 Z__cachec s s" | ]}d |j vo|jdvV qdS )r� )�Genericrc N)r� rX )rc r7 r6 r6 r7 rl s � c 3 s | ]}|j � jkV qd S r0 )r2 r� �rc r� r� r6 r7 rl r9 c s s | ]}|j d kV qdS )r, Nr1 r� r6 r6 r7 rl r9 r r� r- )r$ r~ rU r r� r� r r� rn r: r� r� r� r� r� r� r � is_class_attrr� r r1 r2 r� r� r� r4 r( )r` r r� r� �cacher� Z local_namer� r6 r� r7 r� � sf � � � �� ��z ClassChecker._check_in_slotsr� r� r� z nodes.Assign)� assign_noderR c C s@ | � |� |jd }t|tj�s$d S | �|�r2d S | �|� d S �Nr )� _check_classmethod_declaration�targetsrU r rr r� r� )r` r� r r6 r6 r7 � visit_assign5 s zClassChecker.visit_assignc s� t |jtj�sdS |jj}t |tj�r0|jdvr4dS |jdkrBdnd}|�� }t |tj�s^dS |jj d }t |tj�szdS |j� t � fdd�|� � D ��r�| j ||j d d � dS ) a\ Checks for uses of classmethod() or staticmethod(). When a @classmethod or @staticmethod decorator should be used instead. A message will be emitted only if the assignment is at a class scope and only if the classmethod's argument belongs to the class where it is defined. `node` is an assign node. N)r� � staticmethodr� r� r� r c 3 s | ]}� |j kV qd S r0 ra )rc �member�� method_namer6 r7 rl f r9 z>ClassChecker._check_classmethod_declaration.<locals>.<genexpr>r� )rU r2 r r{ r| rV rX r� r� rB rn r� r4 r� )r` r r| �msgZ parent_classZ classmeth_argr6 r� r7 r� B s$ �� z+ClassChecker._check_classmethod_declarationz"nodes.Attribute | nodes.AssignAttrc C s |j }t|�r || jjjv r dS t�|�r.dS t|j�}|rlt |t j t j f�rl|j � d|� �| jjjv rldS t|�}|du r�| jd||d� dS t |jt j�r�t |jjt j�r�|jjj dkr�dS | �|j�r�dS d}|}|j�� }|�d�}|�� |D ](}|�r||j k�rd} �q"t|�}q�|�s�||jv �s�|j�� } t | t j��r�t | j �dk�r�t | j d t j ��r�| j d j } t | |��r�dS | � |�!� ��r�| �"|j|��r�| �#||��r�dS |�$d � } | jjj%�s�| �r�| �&|��r�dS | jd||d� dS ) a� Given an attribute access node (set or get), check if attribute access is legitimate. Call _check_first_attr with node before calling this method. Valid cases are: * self._attr in a method or cls._attr in a classmethod. Checked by _check_first_attr. * Klass._attr inside "Klass" class. * Klass2._attr inside "Klass" class when Klass2 is a base class of Klass. NrA r� rn r TFrt r �__)'r� r r r Zexclude_protectedr Z"is_node_in_type_annotation_contextr$ r~ rU r r� �ModulerX r" r4 r{ r| rV �_is_type_self_callrb �split�reverser � basenamesr� r� rM rx r� r3 r� �_is_classmethodr �_is_inferred_instance� _is_class_or_instance_attribute� startswithZ)check_protected_access_in_special_methods� _is_called_inside_special_method) r` r r� r� r� Z inside_klassZ outer_klassZcalleeZparents_callee�stmtrX Zlicit_protected_memberr6 r6 r7 r� i s� � � ��� �� � � �� � � � ���z.ClassChecker._check_protected_attribute_accessc C s | � � j}|o|tv S )zIReturns true if the node is located inside a special (aka dunder) method.)r rX r )r Z frame_namer6 r6 r7 r� � s z-ClassChecker._is_called_inside_special_method)r~ rR c C sD t |tj�oBt |jtj�oB|jjdkoBt|j�dkoB| �|jd �S )Nr� rt r ) rU r r{ r| rV rX rx rB �_is_mandatory_method_param)r` r~ r6 r6 r7 r� � s � � ��z ClassChecker._is_type_self_callr )r| rR c C s t | tj�o | jdkp | jdkS )z1Check if the given *func* node is a class method.r� �__class_getitem__)rU r r� r� rX )r| r6 r6 r7 r� � s �z ClassChecker._is_classmethod)r~ r� rR c C s" t | �}t|tj�sdS |j|u S )z[Check if the inferred value of the given *expr* is an instance of *klass*. F)r$ rU r r� r� )r~ r� r� r6 r6 r7 r� � s z"ClassChecker._is_inferred_instancerN r� c C s< t �| |�rdS z|�| � W dS tjy6 Y dS 0 dS )z�Check if the given attribute *name* is a class or instance member of the given *klass*. Returns ``True`` if the name is a property in the given klass, ``False`` otherwise. TFN)r r� r� r r� )rX r� r6 r6 r7 r� � s z,ClassChecker._is_class_or_instance_attributer )r r rR c s4 d}|� � D �] \}� z|�|� W q W n tjy< Y n0 zt|�|�� W q W n tyf Y n0 z|�|�}W n tjy� Y q 0 � fdd�|D �}|s�q |d �� ��fdd�t |�D �}t |�dkr |d }|� � }|j }� D ]@} | � � |u r�| j |k r�t� | �� ||�s�| jd| ||fd� q�q d S ) z(Check that accessed members are defined.)�AttributeError� Exception� BaseExceptionc s g | ]}|� vr|�qS r6 r6 )rc r� )r� r6 r7 rd r9 z8ClassChecker._check_accessed_members.<locals>.<listcomp>r c s( g | ] \}}|d ks |� � � ur|�qS r� �r� )rc r� r� r� r6 r7 rd ( s �rt r� rn N)r> r r r� r� r~ r� r� r� rO rx r r� Z are_exclusiver� r4 ) r` r r Zexcsr� ZdefstmtsZdefstmtr �lno�_noder6 )r� r� r7 r{ sR � �� ���z$ClassChecker._check_accessed_members)r ru rR c C s� |j j du rdS |j jr(|j jd j}n|j j r>|�� d }nd}| j�|� | jd }|jdkr�|dks�|| jjj v s�|| jjj v r�| j d||d� dS d| jd< n�d|� � v r�dS |j j s�|j js�|j j s�|j js�| j d ||jd � n�|�r4|jd k�r| �|| jjj |d |j� n| �|| jjj |d |j� nP|jd k�sL|jdk�rh| �|| jjj |d|j� n |dk�r�| j d||jd � dS )am Check the name of first argument, expect:. * 'self' for a regular method * 'cls' for a class method or a metaclass regular method (actually valid-classmethod-first-arg value) * 'mcs' for a metaclass class method (actually valid-metaclass-classmethod-first-arg) * not one of the above for a static method Nr r� r� r` r� r9 zbuiltins.staticmethodr� rn r� r� r� r� r� r� )rB rg rX r� r rW r� r r Zvalid_classmethod_first_argZ%valid_metaclass_classmethod_first_argr4 Zdecoratornamesrf re �_check_first_arg_config)r` r ru Z first_arg�firstr6 r6 r7 r� C sp � � � ���� � �� z&ClassChecker._check_first_arg_for_typez str | Noner� )r� r r �messager� rR c C sh ||vrdt |�dkr"t|d �}n.d�dd� |d d� D ��}|� d|d ��}| j|||f|d� d S ) Nrt r rD c s s | ]}t |�V qd S r0 )�reprr� r6 r6 r7 rl � r9 z7ClassChecker._check_first_arg_config.<locals>.<genexpr>r� z or r9 )rx r� rU r4 )r` r� r r r� r� Zvalidr6 r6 r7 r� � s z$ClassChecker._check_first_arg_configc C s� ddd�dd�}t |�r dS tt||��� dd� d �}|D ]D\}}|j�� }||u rVq:||jv rbq:| jd |||j|jft d � q:dS ) z_Check that the given class node implements abstract methods from base classes. rq r+ r� c S s | j dd�S )NF)Zpass_is_abstract)� is_abstract)r� r6 r6 r7 r� � s z6ClassChecker._check_bases_classes.<locals>.is_abstractNc S s | d S r� r6 )r= r6 r6 r7 r8 � r9 z3ClassChecker._check_bases_classes.<locals>.<lambda>)�keyr� rJ ) r rT r% r> r� r r� r4 rX r( )r` r r� r� rX r� �ownerr6 r6 r7 r$ � s& � �z!ClassChecker._check_bases_classes)r � klass_noderR c C s� | j �d�s | j �d�s dS t|�}t|�}t� }|�tj�D �]<}|j}t |tj �r>|j dkrbq>t |j tj�r�t |j jtj �r�|j jjdkr� dS z�|j �� D ]�}t |tj�r�q�t |tj�r�t |jtj�r�t|j�r�|jjdkr� W dS t |tjj��r W dS z |�|�} |�t| �� W q� t �yZ ||j dd�v�rV| j d||jd� Y q�0 q�W q> tj �yz Y q>Y q>0 q>|� � D ]V\}} t| �|v �r� dS t!�"|��r� dS t#|d g��rƐq�| j d|j|t$d � �q�dS ) z�Check that the __init__ method call super or ancestors'__init__ method (unless it is used for type hinting with `typing.overload`). r� r� Nr� r F�Zrecursrn ztyping.overloadr- )%r r| �_ancestors_to_callr� r? r� r r{ r| rU r} r� r~ rV rX r@ r r� r r� r� r� r r� r� r� rR r" r� r� r4 r� r> r Zis_protocol_classr r( ) r` r r� �to_callZnot_called_yetZparents_with_called_initsr� r~ r� r� r6 r6 r7 r� � st � � �� � � �� � � �zClassChecker._check_init)�method1� refmethodr� rR c C sB t |tj�rt |tj�s0| jd||f|d� dS |�� }tj�||�}tj�||�}|jjdu sl|jjdu rpdS t |j �r~dS t |�r�dS t ||| j d�}d}t|�dk�r |D �]J}d|v �r�t|jj�}|jjr�|d7 }|jjr�|d7 }|jj�r|t|jj�7 }t|jj�} |jj�r$| d7 } |jj�r6| d7 } |jj�rP| t|jj�7 } d } |d | � d |j�� j � d |j � d |� d� ||j�� j � d |j � �f} nPd|v �r�d} |||j�� j � d |j � �f} n"d } |||j�� j � d |j � �f} | j| | |d� q�n>t|jj�t|jj�k �r>|jj�s>d}| jd||j f|d� dS )z8Check that the signature of the two given methods match.r� r9 Nr� Z overridingr �Numberrt r� zwas z in 'rA z ' and is now z inZrenamedr� r� r� )rU r r� r4 Zinstantiate_classr Z scoped_nodesZfunction_to_methodrB r rX r r� r# rx rf re rM r� r �defaults) r` r� r� r� �instanceZarg_differ_outputZ class_typer� Ztotal_args_method1Ztotal_args_refmethodZ error_typeZmsg_argsr6 r6 r7 r� s� � � � � ��� ���� �z ClassChecker._check_signaturez1nodes.Attribute | nodes.Assign | nodes.AssignAttrc C s | � |j�S )z�Check that attribute lookup name use first attribute variable name. Name is `self` for method, `cls` for classmethod and `mcs` for metaclass. )r� r~ r* r6 r6 r7 r� a s z)ClassChecker._uses_mandatory_method_paramc C sh | j r| j d }n@t�|tj�}|du r,dS |�� s8dS |jjsDdS |jjd j}t|tj �of|j|kS )z�Check if nodes.Name corresponds to first attribute variable name. Name is `self` for method, `cls` for classmethod and `mcs` for metaclass. Static methods return False. r� NFr ) r r Z get_node_first_ancestor_of_typer r� r� rB rX rU rV )r` r Z first_attrZ closest_funcr6 r6 r7 r� j s �z'ClassChecker._is_mandatory_method_param)=rH rI rJ r� rX r� Zmsgs�optionsr� r" r r# r# r+ r) r( ra r& r' rj rf rg rh ri r� Zvisit_asyncfunctiondefr� r� r� r� r/ r% r0 r� r� r� r� Zleave_asyncfunctiondefr� r� r� r� r� r� r� r� r� r� r� r� r� r� r{ r� r� r$ r� r� r� r� � __classcell__r6 r6 r r7 r � s� ���� �� �����D� + ; � 83JcX2% $ � K� 'k >N!HW r r� z)dict[nodes.ClassDef, bases.UnboundMethod])r� r� rR c C sj i }| j dd�D ]T}z6t|�|��}t|tj�s4W q|�� r@W q|||< W q tjyb Y qY q0 q|S )z�Return a dictionary where keys are the list of base classes providing the queried method, and so that should/may be called from the method node. Fr� )r� r� ZigetattrrU r r� r� r� )r� r� r� Z base_nodeZ init_noder6 r6 r7 r� � s r� )r� )^r� � __future__r � collectionsr �collections.abcr r r� r � itertoolsr r �rer �typingr r r r r r r r Z astroid.nodesr Zastroid.typingr Zpylint.checkersr r Zpylint.checkers.utilsr r r r r r r r r r r r r! r" r# r$ r% r& Zpylint.interfacesr' r( Z pylint.typingr) Zpylint.lint.pylinterr* r} rr r r� r� ZBUILTIN_DECORATORSr� r� r� �ListrK rV r� rA rL r[ rh rp r� r� r� r� r� r� r� r� r� r� r� r� r� r� rK r� r� r r� r6 r6 r6 r7 �<module> s� P � 8. M!#�� � u �
| ver. 1.1 | |
.
| PHP 8.3.30 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка