Your IP : 216.73.216.213
B
A!p\� � @ s& d Z ddlmZ ddlZddlmZmZ ddlZddlZddl m
Z
m Z ddl m
Z
mZ ddlmZ ddlmZ dd lmZ dd
lmZ dd lmZ dd lmZmZmZmZm Z m Z m Z m Z m Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z' dd
l(m)Z) ej*dkr�dZ+ndZ+ddddhZ,e�-dd�Z.e�-dd�Z/dd� Z0dd � Z1d d � Z2d d � Z3d!d"� Z4d#d$� Z5d%d&� Z6d'd(� Z7d)d*� Z8d+d,� Z9d-d.� Z:d/d0� Z;d1d2� Z<d3d4� Z=dbd5d6�Z>d7d8� Z?d9d:d;d<d=d>d?d@dAdBdCdDdEdFdGdHdIdJdKdLdMdNdOdPdQdRdSdTdUdV� Z@G dWdX� dX�ZAG dYdZ� dZe�ZBG d[d\� d\e�ZCdcd^d_�ZDd`da� ZEdS )dz classes checker for Python code
� )�
generatorsN)�chain� zip_longest)� Generator�BUILTINS)�InconsistentMroError�DuplicateBasesError)�
decorators)�objects)�function_to_method)�IAstroidChecker)� BaseChecker)� PYMETHODS�SPECIAL_METHODS_PARAMS�overrides_a_method�check_messages�is_attr_private�is_attr_protected�node_frame_class�is_builtin_object�decorated_with_property� unimplemented_abstract_methods�decorated_with�class_is_abstract�
safe_infer�has_known_bases� is_iterable�is_comprehension)�get_global_option)� r �__next__�next�bool�range�slice�
memoryview�_CallSignaturez!args kws starred_args starred_kws�_ParameterSignaturez args kwonlyargs varargs kwargsc C s� i }g }g }g }xb| j pg D ]T}|j|j }}|d krPt|tj�rP|�|j� q t|tj�rh|j||< q d ||< q W x\| jD ]R}t|tj �r�t|jtj�r�|�|jj� q|t|tj�r�|�|j� q||�d � q|W t
||||�S )N) �keywords�arg�value�
isinstance�astroid�Name�append�name�argsZStarredr& )�call�kwsr0 � starred_kws� starred_args�keywordr) r* � r6 �H/opt/alt/python37/lib/python3.7/site-packages/pylint/checkers/classes.py�_signature_from_callU s$ r8 c C s: | j }| j}dd� | jD �}dd� | jD �}t||||�S )Nc S s g | ]}|j d kr|j �qS )�self)r/ )�.0r) r6 r6 r7 �
<listcomp>u s z-_signature_from_arguments.<locals>.<listcomp>c S s g | ]
}|j �qS r6 )r/ )r: r) r6 r6 r7 r; v s )�kwarg�varargr0 �
kwonlyargsr' )� argumentsr< r= r0 r> r6 r6 r7 �_signature_from_argumentsr s
r@ c
s� | j r| j � jk}n� j }| jr0| j� jk}n� j }t� fdd�| jD ��}| j� jk}d}� jr�x0� jD ]&}|� jk}|| jk} |sn| snd}P qnW t|||||f�S )z8Check if a definition signature is equivalent to a call.c 3 s | ]}|� j kV qd S )N)r2 )r: �kw)r1 r6 r7 � <genexpr>� s z1_definition_equivalent_to_call.<locals>.<genexpr>TF)�kwargsr3 �varargsr4 �allr> r0 r2 )
Z
definitionr1 Zsame_kw_variadicsZsame_args_variadicsZsame_kwonlyargsZ same_argsZ no_additional_kwarg_argumentsr5 Zis_argZ is_kwonlyr6 )r1 r7 � _definition_equivalent_to_callz s,
rF c C s" | j j }| jdkr |dd � }|S )N)� classmethod�method� )r0 �type)rH �
positionalr6 r6 r7 �_positional_parameters� s
rL c C s x|D ]}t | |�r|S qW dS )z�
Return the type of the node if it exists in potential_types.
Args:
node (astroid.node): node to get the type of.
potential_types (tuple): potential types of the node.
Returns:
type: type of the node or None.
N)r+ )�nodeZpotential_typesZpotential_typer6 r6 r7 �_get_node_type� s
rN c C s t | |�t ||�kS )a}
Check equality of nodes based on the comparison of their attributes named attr_name.
Args:
node_a (astroid.node): first node to compare.
node_b (astroid.node): second node to compare.
attr_name (str): name of the nodes attribute to use for comparison.
Returns:
bool: True if node_a.attr_name == node_b.attr_name, False otherwise.
)�getattr)Znode_aZnode_b� attr_namer6 r6 r7 �_check_arg_equality� s rQ c s. | j dks|j dkrdS t| j | j�}dd� |D �}t� � x�|D ]�}y| �|�}W n tjjk
rn � }Y nX y|�|�}W n tjjk
r� � }Y nX � fdd�||fD �}t|�r�t |�s�dS tj
dtj dtj d tj
d i}td
d � |D ��} t|| �}
|
r@t||
��sdS t||||
�s@dS q@W dS ) a0
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
NFc S s g | ]
}|j �qS r6 )r/ )r: �paramr6 r6 r7 r; � s z;_has_different_parameters_default_value.<locals>.<listcomp>c s g | ] }|� k�qS r6 r6 )r: r) )�default_missingr6 r7 r; � s Tr* r/ Zeltsc s s | ]
}|V qd S )Nr6 )r: Z astroid_typer6 r6 r7 rB � s z:_has_different_parameters_default_value.<locals>.<genexpr>)r0 r r> �objectZ
default_valuer, �
exceptionsZ NoDefault�anyrE �Const�ClassDefZTupleZList�tuplerN r+ rQ ) �original�
overridden�all_argsZoriginal_param_names�
param_nameZoriginal_defaultZoverridden_defaultZ default_listZastroid_type_compared_attrZ
handled_types�
original_typer6 )rS r7 �'_has_different_parameters_default_value� sB
r_ c C sd t | |�}xT|D ]L\}}||f}t|�s,dS dd� |D �}tt|j|��rLq|j|jkrdS qW dS )NTc S s g | ]
}|j �qS r6 )r/ )r: rR r6 r6 r7 r; s z-_has_different_parameters.<locals>.<listcomp>F)r rE rV �map�matchr/ )rZ r[ �dummy_parameter_regexZzippedZoriginal_paramZoverridden_param�params�namesr6 r6 r7 �_has_different_parameters s
re c C s� t | �}t |�}t|||�}t| jj|jj|�}| jtkrBd }}tdd� | jj|jjfD ��dk}tdd� | jj|jjfD ��dk}t ||||f�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.
Fc s s | ]}|sd V qdS )rI Nr6 )r: rR r6 r6 r7 rB 2 s z(_different_parameters.<locals>.<genexpr>rI c s s | ]}|sd V qdS )rI Nr6 )r: rR r6 r6 r7 rB 6 s )
rL re r0 r> r/ r �sumr< r= rV ) rZ r[ rb Zoriginal_parametersZoverridden_parametersZdifferent_positionalZdifferent_kwonlyZdifferent_kwargZdifferent_varargr6 r6 r7 �_different_parameters s
rg c C s | j tkot| �S )N)r/ �INVALID_BASE_CLASSESr )�clsr6 r6 r7 �_is_invalid_base_class? s rj c
C s� | � |�}x||D ]t}yXxR|�� D ]F}t|tj�r y|� d� |� d� W n tjk
r` w Y q X dS q W W q tjk
r� dS X qW dS )N�__get__�__set__TF)rO �inferr+ r, �Instance�
NotFoundError�InferenceError)ri �attr�
attributes� attribute�inferredr6 r6 r7 �_has_data_descriptorC s
ru c C s� t | tj�sdS x�|D ]�}y|�|�}W n tjk
r@ wY nX x�|D ]�}xz|�tj�D ]j}yt|j� � �}W n tj
t fk
r� wZY nX t |tj �s�qZ|j
}t |tj�r�|j
}|j| jkrZdS qZW qHW qW dS )z� Check if the func was called in any of the given methods,
belonging to the *klass*. Returns True if so, False otherwise.
FT)r+ r, � FunctionDefrO ro �nodes_of_class�Callr! �funcrm rp �
StopIterationZ BoundMethod�_proxiedZ
UnboundMethodr/ ) ry �klass�methodsrH �inferedZ infer_methodr1 ZboundZfunc_objr6 r6 r7 �_called_in_methodsV s*
r c C s� y|� | �}W n tjk
r$ dS X d�t�}xj|D ]b}|tjkrFq6yt|�� �}W n tjk
rn w6Y nX t |tj
�r�t |�r�dS |� � |kr6dS q6W dS )a4 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.
Fz {}.propertyT)
rO r, ro �formatr � Uninferabler! rm rp r+ rv r Zpytype)r/ r| rr Z
property_namerq r~ r6 r6 r7 �_is_attribute_propertyq s$
r� c C s@ x:| � tj�D ]*}|j}t|tj�r|jdkr|jsdS qW dS )N�superTF)rw r, rx ry r+ r- r/ r0 )Z fundef_noder1 ry r6 r6 r7 �_has_bare_super_call� s
r� c C s~ y| j ||d�}t|�}W n( tjk
r0 dS tk
rB dS X y t|� dS tjk
rf dS tk
rx |S X dS )z�
Safely infer the return value of a function.
Returns None if inference failed or if there is some ambiguity (more than
one node has been inferred). Otherwise returns infered value.
)�contextN)�infer_call_resultr! r, rp rz )rM �callerr� Zinferitr* r6 r6 r7 �_safe_infer_call_result� s r� c C s@ t |�� �}t|tj�r<|�� }tdd� t| |�D ��r<dS dS )Nc s s& | ] \}}|o |o |j |j kV qd S )N)r* )r: Z
first_slotZ second_slotr6 r6 r7 rB � s z)_has_same_layout_slots.<locals>.<genexpr>TF)r! rm r+ r, rX �slotsrE r )r� Zassigned_valuert Z other_slotsr6 r6 r7 �_has_same_layout_slots� s r� )z+Unable to check methods signature (%s / %s)zmethod-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 methodz
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 %sz access-member-before-definitionzGUsed when an instance member is accessed before it's actually assigned.)z%Attribute %r defined outside __init__z attribute-defined-outside-initzGUsed when an instance attribute is defined outside the __init__ method.)z1Access to a protected member %s of a client classzprotected-accessz�Used when a protected member (i.e. class member with a name beginning with an underscore) is access outside the class or a descendant of the class where it's defined.)zMethod has no argumentzno-method-argumentzbUsed when a method which should have the bound instance as first argument has no argument defined.)z+Method should have "self" as first argumentzno-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 argumentzbad-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 argumentzbad-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 argumentz 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 argumentzbad-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.)zMethod could be a functionz no-self-usezYUsed when a method doesn't use its bound instance, and so could be written as a function.)z#Parameters differ from %s %r methodzarguments-differztUsed when a method has a different number of arguments than in the implemented interface or in an overridden method.)z#Signature differs from %s %r methodzsignature-differszgUsed when a method signature is different than in the implemented interface or in an overridden method.)z7Method %r is abstract in class %r but is not overriddenzabstract-methodzbUsed when an abstract method (i.e. raise NotImplementedError) is not overridden in concrete class.)z0__init__ method from base class %r is not calledzsuper-init-not-calledzaUsed when an ancestor class method has an __init__ method which is not called by a derived class.)z Class has no __init__ methodzno-initzEUsed when a class has no __init__ method, neither its parent classes.)z9__init__ method from a non direct base class %r is calledznon-parent-init-calledznUsed when an __init__ method is called on a class which is not in the direct ancestors for the analysed class.)z%Useless super delegation in method %rzuseless-super-delegationz�Used whenever we can detect that an overridden method is useless, relying on super() delegation to do the same thing as another method from the MRO.)zCInvalid object %r in __slots__, must contain only non empty stringszinvalid-slots-objectz=Used when an invalid (non-string) object occurs in __slots__.)z4Assigning to attribute %r not defined in class slotszassigning-non-slotzCUsed when assigning to an attribute not defined in the class slots.)zInvalid __slots__ objectz
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.zinherit-non-classz?Used when a class inherits from something which is not a class.)z1Inconsistent method resolution order for class %rzinconsistent-mroz>Used when a class has an inconsistent method resolution order.)z Duplicate bases for class %rzduplicate-basesz&Used when a class has duplicate bases.)z9Consider using a decorator instead of calling classmethodzno-classmethod-decoratorzGUsed when a class method is defined without using the decorator syntax.)z:Consider using a decorator instead of calling staticmethodzno-staticmethod-decoratorzHUsed when a static method is defined without using the decorator syntax.)z/Class __slots__ should be a non-string iterablez 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 python3zuseless-object-inheritancezoUsed when a class inherit from object, which under python3 is implicit, hence can be safely removed from bases.) ZF0202ZE0202ZE0203ZW0201ZW0212ZE0211ZE0213ZC0202ZC0203ZC0204ZW0211ZR0201ZW0221ZW0222ZW0223ZW0231ZW0232ZW0233ZW0235ZE0236ZE0237ZE0238ZE0239ZE0240ZE0241ZR0202ZR0203ZC0205ZR0205c @ s( e Zd ZdZdd� Zdd� Zdd� ZdS ) �ScopeAccessMapz'Store the accessed variables per scope.c C s t �dd� �| _d S )Nc S s
t �t�S )N)� collections� defaultdict�listr6 r6 r6 r7 �<lambda>s � z)ScopeAccessMap.__init__.<locals>.<lambda>)r� r� �_scopes)r9 r6 r6 r7 �__init__r s zScopeAccessMap.__init__c C s. t |�}|dkrdS | j| |j �|� dS )z Set the given node as accessed.N)r r� �attrnamer. )r9 rM �framer6 r6 r7 � set_accessedu s zScopeAccessMap.set_accessedc C s | j �|i �S )z/Get the accessed variables for the given scope.)r� �get)r9 �scoper6 r6 r7 �accessed~ s zScopeAccessMap.accessedN)�__name__�
__module__� __qualname__�__doc__r� r� r� r6 r6 r6 r7 r� o s r� c @ sf e Zd ZdZefZdZeZdZ dddddd �fd
d dd d
d �fdd dd dd �fdddddd �ffZ
dQdd�Z e j
dd� �Ze j
dd� �Zdd � Zd d � Zd d � Zd!d"� Zd#d$� ZeZd%d&� Zd'd(� Zd)d*� Zd+d,� Zd-d.� Zd/d0� Zd1d2� Z e d3d4d5�d6d7� �Z d8d9� Z d:d;� Z d<d=� Z!d>d?� Z"d@dA� Z#dRdCdD�Z$dEdF� Z%dGdH� Z&dIdJ� Z'dKdL� Z(dMdN� Z)dOdP� Z*dS )S� ClassCheckerz�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
�classes���zdefining-attr-methods)r� �__new__ZsetUpZcsvz<method names>zGList of method names used to declare (i.e. assign) instance attributes.)�defaultrJ �metavar�helpzvalid-classmethod-first-arg)ri z<argument names>z=List of valid names for the first argument in a class method.z%valid-metaclass-classmethod-first-argzGList of valid names for the first argument in a metaclass class method.zexclude-protected)�_asdict�_fields�_replaceZ_source�_makez <protected access exclusions>zQList of member names, which should be excluded from the protected access warning.Nc C s$ t �| |� t� | _g | _d | _d S )N)r
r� r� � _accessed� _first_attrs�_meth_could_be_func)r9 �linterr6 r6 r7 r� � s zClassChecker.__init__c C s t | dd d�S )Nzdummy-variables-rgx)r� )r )r9 r6 r6 r7 �
_dummy_rgx� s zClassChecker._dummy_rgxc C s t | ddd�S )Nzignore-mixin-membersT)r� )r )r9 r6 r6 r7 �
_ignore_mixin� s zClassChecker._ignore_mixinc C st | � |� |jdkrRt|�rRy|�d� W n& tjk
rP | jd||d� Y nX | �|� | �|� | � |� dS )z&init visit variable _accessed
�classr� zno-init)r0 rM N)
�_check_bases_classesrJ r �
local_attrr, ro � add_message� _check_slots�_check_proper_bases�_check_consistent_mro)r9 rM r6 r6 r7 �visit_classdef� s
zClassChecker.visit_classdefc C sn y |� � W n\ tk
r2 | jd|j|d� Y n8 tk
rV | jd|j|d� Y n tk
rh Y nX dS )z<Detect that a class has a consistent mro or duplicate bases.zinconsistent-mro)r0 rM zduplicate-basesN)�mror r� r/ r �NotImplementedError)r9 rM r6 r6 r7 r� � s z"ClassChecker._check_consistent_mroc C s� x�|j D ]�}t|�}|tjdfkr$qt|tj�rB|�dtf �rBqt|tj�rVt |�rj| j
d|� � |d� |j t
jkr| j
d|j |d� qW dS )z`
Detect that a class inherits something which is not
a class or a type.
Nz%s.typezinherit-non-class)r0 rM zuseless-object-inheritance)�basesr r, r� r+ rn �
is_subtype_ofr rX rj r� � as_stringr/ rT r� )r9 rM �base�ancestorr6 r6 r7 r� � s z ClassChecker._check_proper_basesc
s` | j r |jdd� �� dkr dS | j�|�}|jdkrB| �||� | j�d�sRdS | j j
�|� � � x�|j �
� D ]�\}}� fdd�|D �}|s�qnt�fdd �|D ��r�qnx�|�|�D ]4}d
}x$|j | D ]}|�� j�kr�d }q�W |r�P q�W y|�|� W qn tjk
�rV xD|D ]<}|�� j�k�rt|�� |���r<�q| jd||d � �qW Y qnX qnW dS )
z�close a class node:
check that instance attributes are defined in __init__ and check
access to existent members
���NZmixin� metaclassz attribute-defined-outside-initc s2 g | ]*}t |�� tjtjf�s|�� � kr|�qS r6 )r+ � statementr, ZDelete� AugAssign�root)r: �n)�current_moduler6 r7 r; s z/ClassChecker.leave_classdef.<locals>.<listcomp>c 3 s | ]}|� � j� kV qd S )N)r� r/ )r: rM )�defining_methodsr6 r7 rB ( s z.ClassChecker.leave_classdef.<locals>.<genexpr>FT)r0 rM )r� r/ �lowerr� r� rJ �_check_accessed_membersr� �is_message_enabled�configZdefining_attr_methodsr� Zinstance_attrs�itemsrV �instance_attr_ancestorsr� r� r, ro r r� )r9 Zcnoder� rq �nodes�parentZ attr_definedrM r6 )r� r� r7 �leave_classdef sB
zClassChecker.leave_classdefc C s0 |� � s dS | �|� |j�� }d| _| �||jdk� |jdkrP| �|� dS xZ|� |j�D ]J}y||j }W n t
k
r� w^Y nX t |t j
�s�q^| �||d|� P q^W |j�r�x�|jjD ]�}t |t j�r�|jdkr�dS t |t j�r�|jdkr�dS t|�}|�sdS t |t j
��rByt|�|��}W n t jk
�r@ dS X y4t |t jt jf��rt|�d��rt|�d ��rtdS W q� t jk
�r� Y q�X q�W y~|� |j�d
}|�� }t |t j
��r�|jd k�r�|j�� }t |t j��r|� |� � ��r|� � j|j f}| j!d ||d
� W n t j"k
�r* Y nX dS )z"check method arguments, overridingNTr� r� r[ )�getter�setter�deleter�propertyrk rl r rH z
method-hidden)r0 rM )#� is_method� _check_useless_super_delegationr� r� r� �_check_first_arg_for_typerJ r/ � _check_init�local_attr_ancestors�KeyErrorr+ r, rv �_check_signaturer r� � Attributer� r- r r! r� rp rn rX rO ZAttributeInferenceError�
instance_attrr� Zqnamer� �
fromlinenor� ro ) r9 rM r| r[ � meth_node� decoratorrt Zoverridden_framer0 r6 r6 r7 �visit_functiondefG sj
z ClassChecker.visit_functiondefc C s� |� � r|jrdS |j}t|�dkr(dS |d }t|tjtjf�sFdS |j}t|tj �rft|j
tj �sjdS yt |j
j
�� �}W n tjk
r� dS X t|tj�s�dS |j
j|jkr�dS |j�� }|j|ks�t|jtj�r�|jj|jkr�dS |j�� }d}xd|�|j�D ]T} y| |j }W n tk
�r4 �wY nX t|tj ��rTt |j |j ��rXdS P �qW t |j �}
t |�} |dk �r�dd� } | |j j!�}
| |j j!�}|
�r�|�r�|
|k�r�dS t"|
| ��r�| j#d||jfd� dS )aQ 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.
NrI r c S s dd� t d | �D �S )Nc S s g | ] }|� � �qS r6 )r� )r: �
annotationr6 r6 r7 r; � s zZClassChecker._check_useless_super_delegation.<locals>.form_annotations.<locals>.<listcomp>)�filter)� annotationsr6 r6 r7 �form_annotations� s zFClassChecker._check_useless_super_delegation.<locals>.form_annotationszuseless-super-delegation)rM r0 )$r� r �body�lenr+ r, ZExprZReturnr* rx ry r� r! �exprrm rp r
�Superr� r/ r� r� Z mro_pointerrJ rn r� r� r� rv r_ r0 r@ r8 r� rF r� )r9 �functionr� r� r1 Z
super_callZ
current_scoper| r� r[ rc r0 r� Zcalled_annotationsZoverridden_annotationsr6 r6 r7 r� � sd
z,ClassChecker._check_useless_super_delegationc
C s� d|j krd S x�|�d�D ]�}|tjkr*qt|�sJt|�sJ| jd|d� qt|tj�rf| jd|d� qt |d�srqt|tj
�r�dd� |j D �}n|� � }|tjkr�d S x4|D ],}y| �
|� W q� tjk
r� w�Y q�X q�W qW d S )N� __slots__z
invalid-slots)rM z single-string-used-for-slots�iteredc S s g | ] }|d �qS )r r6 )r: �itemr6 r6 r7 r; s z-ClassChecker._check_slots.<locals>.<listcomp>)�locals�igetattrr, r� r r r� r+ rW �hasattr�Dictr� r� �_check_slots_eltrp )r9 rM r� �values�eltr6 r6 r7 r� s.
zClassChecker._check_slotsc C sj xd|� � D ]X}|tjkrq
t|tj�r2t|jt�sH| jd|�� |d� q
|js
| jd|�� |d� q
W d S )Nzinvalid-slots-object)r0 rM ) rm r, r� r+ rW r* �strr� r� )r9 r� r~ r6 r6 r7 r� $ s
z ClassChecker._check_slots_eltc C s� |� � r�|jjdk r | j�� | j�d�s.dS |j�� }| jr�|j dkr�|j
t kr�|� � s�t
||j
�s�t|�s�t|�s�| jd|d� 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.
Nz no-self-userH )rM )r� r0 r� �popr� r� r� r� r� rJ r/ r � is_abstractr r r� r� )r9 rM Z
class_noder6 r6 r7 �leave_functiondef4 s
z ClassChecker.leave_functiondefc C s8 | � |�r| j�|� dS | j�d�s*dS | �|� 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)
Nzprotected-access)� _uses_mandatory_method_paramr� r� r� r� �!_check_protected_attribute_access)r9 rM r6 r6 r7 �visit_attributeM s
z ClassChecker.visit_attributec C s4 t |�� tj�r&| �|�r&| j�|� | �|� d S )N)r+ Z assign_typer, r� r� r� r� �_check_in_slots)r9 rM r6 r6 r7 �visit_assignattr\ s
z ClassChecker.visit_assignattrc s� t � j�}|r�t|tj�r�|j}d|jks0|js4dS |�� }|dkrHdS t dd� |�
� D ��rbdS t � fdd�|D ��s�t dd� |D ��s�t � j |�r�dS � j |jkr�t
|� j �r�dS � j dkr�t|� jj�r�dS | jd� j f� d � dS )
zU Check that the given AssignAttr node
is defined in the class slots.
r� Nc s s" | ]}d |j ko|jdkV qdS )r� rT N)r� r/ )r: r� r6 r6 r7 rB s s z/ClassChecker._check_in_slots.<locals>.<genexpr>c 3 s | ]}|j � jkV qd S )N)r* r� )r: �slot)rM r6 r7 rB x s c s s | ]}|j d kV qdS )�__dict__N)r* )r: r� r6 r6 r7 rB { s � __class__zassigning-non-slot)r0 rM )r r� r+ r, rn r{ r� Znewstyler� rV � ancestorsr� r� ru r� r� r* r� )r9 rM r~ r| r� r6 )rM r7 r� c s0
z ClassChecker._check_in_slotszprotected-accesszno-classmethod-decoratorzno-staticmethod-decoratorc C s@ | � |� |jd }t|tj�s$d S | �|�r2d S | �|� d S )Nr )� _check_classmethod_declaration�targetsr+ r, Z
AssignAttrr� r� )r9 Z assign_noderM r6 r6 r7 � visit_assign� s
zClassChecker.visit_assignc s� t |jtj�sdS |jj}t |tj�r0|jdkr4dS |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)rG � staticmethodrG zno-classmethod-decoratorzno-staticmethod-decoratorr c 3 s | ]}� |j kV qd S )N)r/ )r: �member)� method_namer6 r7 rB � s z>ClassChecker._check_classmethod_declaration.<locals>.<genexpr>)rM )r+ r* r, rx ry r- r/ r� rX r0 rV Z mymethodsr� r )r9 rM ry �msgZ parent_classZ
classmeth_argr6 )r r7 r� � s" z+ClassChecker._check_classmethod_declarationc C s |j }t|�r�|| jjkr�t|�}|j�� }|dkrH| jd||d� dS t|jt j
�rxt|jj t j �rx|jj j
dkrxdS | �|j�r�dS ||j
ks�||jks�|j�� }t|t j�r�t|j�dkr�t|jd t j�r�|jd j
}t||�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.
Nzprotected-access)rM r0 r� rI r )r� r r� Zexclude_protectedr r� r� r� r+ r, rx ry r- r/ �_is_type_self_callZ basenamesr� r� ZAssignr� r Z
AssignNamer� )r9 rM r� r| Zcallee�stmtr/ r6 r6 r7 r� � s.
z.ClassChecker._check_protected_attribute_accessc C sD t |tj�oBt |jtj�oB|jjdkoBt|j�dkoB| �|jd �S )NrJ rI r ) r+ r, rx ry r- r/ r� r0 �_is_mandatory_method_param)r9 r� r6 r6 r7 r � s
z ClassChecker._is_type_self_callc C s* | j r&|j| j d ks | j d s&d| _dS )zXcheck if the name handle an access to a class member
if so, register it
���FN)r� r/ r� )r9 rM r6 r6 r7 �
visit_name s zClassChecker.visit_namec
s@ d}�x4|� � D �]&\}� y|�|� wW n tjk
r@ Y nX yt|�|�� wW n tk
rj Y nX y|�|�}W n tjk
r� Y qX � fdd�|D �}|s�q|d �� ��fdd�t |�D �}t
|�dkr|d }|� � }|j }xH� D ]@} | � � |kr�| j |k r�t�
| �� ||�s�| jd| ||fd� q�W qW d S )
z'check that accessed members are defined)�AttributeError� Exception�
BaseExceptionc s g | ]}|� kr|�qS r6 r6 )r: r )r� r6 r7 r; + s z8ClassChecker._check_accessed_members.<locals>.<listcomp>r c s( g | ] \}}|d ks |� � � k r|�qS )r )r� )r: �ir )r� r6 r7 r; 4 s rI z access-member-before-definition)rM r0 N)r� r� r, ro r! r� rz r� r� � enumerater� r� r� Z
are_exclusiver� r� )
r9 rM r� Zexcsrq ZdefstmtsZdefstmtr� Zlno�_noder6 )r� r� r7 r� sF
z$ClassChecker._check_accessed_membersr c C s* |j j dkrdS |j j o"|�� d }| j�|� | jd }|jdkr�|dksd|| jjksd|| jjkrx| jd||d� dS d| jd< n�|j j s�| jd|d � n�|r�|jd
kr�| � || jj|d |j
� n| � || jj|d |j
� nH|jd
ks�|j
d
k�r| � || jj|d|j
� n|dk�r&| jd|d � dS )al 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 r9 zbad-staticmethod-argument)r0 rM zno-method-argument)rM rG z bad-mcs-classmethod-argumentzbad-mcs-method-argument�__class_getitem__zbad-classmethod-argumentzno-self-argument) r0 �argnamesr� r. rJ r� Zvalid_classmethod_first_argZ%valid_metaclass_classmethod_first_argr� �_check_first_arg_configr/ )r9 rM r� Z first_arg�firstr6 r6 r7 r� N sJ
z&ClassChecker._check_first_arg_for_typec C sf ||krbt |�dkr"t|d �}n,d�dd� |d d� D ��}d||d f }| j|||f|d� d S ) NrI r z, c s s | ]}t |�V qd S )N)�repr)r: �vr6 r6 r7 rB � s z7ClassChecker._check_first_arg_config.<locals>.<genexpr>r z%s or %r)r0 rM )r� r �joinr� )r9 r r� rM �messager Zvalidr6 r6 r7 r � s z$ClassChecker._check_first_arg_configc C sz dd� }t |�rdS tt||��� dd� d�}xF|D ]>\}}|j�� }||krPq4||jkr\q4| jd|||jfd� q4W dS ) z^check that the given class node implements abstract methods from
base classes
c S s | j dd�S )NF)Zpass_is_abstract)r� )rH r6 r6 r7 r� � s z6ClassChecker._check_bases_classes.<locals>.is_abstractNc S s | d S )Nr r6 )r� r6 r6 r7 r� � r� z3ClassChecker._check_bases_classes.<locals>.<lambda>)�keyzabstract-method)rM r0 ) r �sortedr r� r� r� r� r� r/ )r9 rM r� r} r/ rH �ownerr6 r6 r7 r� � s
z!ClassChecker._check_bases_classesc
C s� | j �d�s | j �d�s dS |j�� }t|�}t|�}�x&|�tj�D �]}|j }t
|tj �rF|j dkrjqFt
|j
tj�r�t
|j
j tj�r�|j
j jdkr�dS y�x�|j
�� D ]�}|tjkr�q�t
|tj�r�t
|jtj�r�t|j�r�|jjdkr�dS t
|tj�r�dS y
||= W q� tk
�r8 ||k�r4| jd||jd� Y q�X q�W W qF tjk
�rZ wFY qFX qFW xR|�� D ]F\}}t |�} |jdk�sj| �r�| jdk�r��qj| jd|j|d� �qjW dS ) zWcheck that the __init__ method call super or ancestors'__init__
method
zsuper-init-not-calledznon-parent-init-calledNr� r� )rM r0 rT )r0 rM ) r� r� r� r� �_ancestors_to_call�dictrw r, rx ry r+ r� r� r� r- r/ rm r� rn r{ rX r r
r� r� r� rp r� r )
r9 rM �
klass_node�to_callZnot_called_yetr r� r| rH ri r6 r6 r7 r� � sN
zClassChecker._check_initc C s t |tj�rt |tj�s0| jd||f|d� dS |�� }t||�}t||�}|jjdksd|jjdkrhdS t|j�rvdS |j r�x*|j j
D ] }t |tj �r�|j dkr�dS q�W t
||| jd�r�| jd||jf|d� n.t|jj�t|jj�k r�| jd||jf|d� dS )z@check that the signature of the two given methods match
zmethod-check-failed)r0 rM Nr� )rb zarguments-differzsignature-differs)r+ r, rv r� Zinstantiate_classr r0 r r/ r r� r� r� rg r� r� �defaults)r9 Zmethod1Z refmethodZ
class_typeri �instancer� r6 r6 r7 r� � s0
z ClassChecker._check_signaturec 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� )r9 rM r6 r6 r7 r� s z)ClassChecker._uses_mandatory_method_paramc C s" | j o t|tj�o |j| j d kS )z�Check if astroid.Name corresponds to first attribute variable name
Name is `self` for method, `cls` for classmethod and `mcs` for metaclass.
r )r� r+ r, r- r/ )r9 rM r6 r6 r7 r s z'ClassChecker._is_mandatory_method_param)N)r )+r� r� r� r� r �__implements__r/ �MSGS�msgs�priority�optionsr� r Zcachedpropertyr� r� r� r� r� r� r� �visit_asyncfunctiondefr� r� r� r� r� r� r� r r r� r� r r
r� r� r r� r� r� r� r r6 r6 r6 r7 r� � sn
?Qj * '> =
@ 9,r� c @ s� e Zd ZdZefZdZddde dddgifd d
d dd gifd
ddi fd�ZdZ e
d
dd�dd� �Z e Z dd� Z
edd� �Zdd� Zdd� Zd S ) �SpecialMethodsCheckerzOChecker which verifies that special methods
are implemented correctly.
r� z __iter__ returns non-iteratorznon-iterator-returnedzaUsed when an __iter__ method returns something which is not an iterable (i.e. has no `%s` method)Z old_names)ZW0234znon-iterator-returned)ZE0234znon-iterator-returnedz6The special method %r expects %s param(s), %d %s givenz#unexpected-special-method-signaturez�Emitted when a special method was defined with an invalid number of parameters. If it has too few or too many, it might not work at all.)ZE0235zbad-context-managerz,__len__ does not return non-negative integerzinvalid-length-returnedzPUsed when a __len__ method returns something which is not a non-negative integer)ZE0301ZE0302ZE0303r� c C sL |� � s d S |jdkr | �|� |jdkr4| �|� |jtkrH| �|� d S )N�__iter__�__len__)r� r/ � _check_iter�
_check_lenr �"_check_unexpected_method_signature)r9 rM r6 r6 r7 r� P s
z'SpecialMethodsChecker.visit_functiondefc
C s t |j }|d krd S |jjs*|jjs*d S t|td g�rD|jj}n|jjdd � }t|�t|jj� }t|jj�}|| }t|t �r�||k}d| }nB|| }|dkr�d}n,|dk r�d}n |dkr�|| dkp�|jj }|�r
|dkr�dnd} | j
d |j||| f|d
� d S ) Nz
.staticmethodrI zbetween %d or %dr FT�was�werez#unexpected-special-method-signature)r0 rM ) r r/ r0 r= r r r� r r+ rY r� )
r9 rM Zexpected_paramsr\ � mandatory�optionalZcurrent_params�emit�restZverbr6 r6 r7 r- a s6
z8SpecialMethodsChecker._check_unexpected_method_signaturec C s� | t jkrdS t| t�r dS t| t j�rPy| �t� dS t jk
rL Y q�X nJt| t j�r�| � � }|r�t|t j�r�y|�t� dS t jk
r� Y nX dS )NTF)
r, r� r+ r rn r� � NEXT_METHODro rX r� )rM r� r6 r6 r7 � _is_iterator� s&
z"SpecialMethodsChecker._is_iteratorc C s. t ||�}|d k r*| �|�s*| jd|d� d S )Nznon-iterator-returned)rM )r� r5 r� )r9 rM r~ r6 r6 r7 r+ � s
z!SpecialMethodsChecker._check_iterc C s� t ||�}|r|tjkr d S t|tj�rB|jdkrBt|tj�sBd S t|tj�s`| jd|d� d S |j}t|t �rx|dk r�| jd|d� d S )N�intzinvalid-length-returned)rM r )
r� r, r� r+ rn r/ rW r� r* r6 )r9 rM rt r* r6 r6 r7 r, � s
z SpecialMethodsChecker._check_lenN)r� r� r� r� r r" r/ r4 r$ r% r r� r' r- r r5 r+ r, r6 r6 r6 r7 r( * s8
/ r( r� c C sN i }xD| j dd�D ]4}yt|�|��||< W q tjk
rD wY qX qW |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
F)Zrecurs)r� r! r� r, rp )r rH r Z base_noder6 r6 r7 r � s r c C s | � t| �� | � t| �� dS )z.required method to auto register this checker N)Zregister_checkerr� r( )r� r6 r6 r7 �register� s r7 )N)r� )Fr� �
__future__r r� � itertoolsr r �sysr, Z
astroid.basesr r Zastroid.exceptionsr r r r
Zastroid.scoped_nodesr Zpylint.interfacesr Zpylint.checkersr
Zpylint.checkers.utilsr r r r r r r r r r r r r r r r Z pylint.utilsr � version_infor4 rh �
namedtupler& r' r8 r@ rF rL rN rQ r_ re rg rj ru r r� r� r� r� r# r� r� r( r r7 r6 r6 r6 r7 �<module> s� H
(9.
.