Your IP : 216.73.216.213
B
2tX^� � @ s� d Z ddlZddlZddlZddlZejdk Zejdk Zejdk Zejdk Z yej
dZ W n e k
rr dZ Y nX e
eer�d nd
��Zy ddlZW n@ ek
r� ddlZd ejjkr�d ej_ed
d� �ej_Y nX ddlmZ er�dd� Zndd� Ze�rdd� Zndd� Ze �r$ej ej fZ nej ej ej fZ G dd� de �Z!dd� Z"de!� fdd�Z#d d � Z$G d d � d e%�Z&G d d!� d!e&�Z'G d"d#� d#e%�Z(G d$d%� d%e%�Z)G d&d'� d'e'�Z*G d(d)� d)e*�Z+G d*d+� d+e*�Z,G d,d-� d-e*�Z-G d.d/� d/e,�Z.G d0d1� d1e&�Z/G d2d3� d3e&�Z0G d4d5� d5e'�Z1G d6d7� d7e'�Z2G d8d9� d9e&�Z3G d:d;� d;e �Z4G d<d=� d=e4�Z5G d>d?� d?e4�Z6G d@dA� dAe4�Z7G dBdC� dCe4�Z8G dDdE� dEe8�Z9dFdGdHgZ:dIdJ� Z;G dKdL� dLe%�Z<dS )Mz]
Main module.
Implement the central Checker class.
Also, it models the Bindings and Scopes.
� N)� r )r r )r � )r � TFZ __builtin__�builtins�decorator_list� c C s | j S )N)Z
decorators)�sr r �A/opt/alt/python37/lib/python3.7/site-packages/pyflakes/checker.py�<lambda> � r
)�messagesc C s t t| j��� �S )N)�str�unicode�__name__�upper)�
node_classr r r � getNodeType& s r c C s
| j �� S )N)r r )r r r r r * s c C sH t | tjtjf�r| jgS t | tj�rD| j| j gdd� | jD � S d S )Nc S s g | ]
}|g�qS r r )�.0�hdlr r r �
<listcomp>3 s z#getAlternatives.<locals>.<listcomp>)�
isinstance�ast�IfZ
TryFinally�bodyZ TryExcept�orelse�handlers)�nr r r �getAlternatives/ s r c C sB t | tj�r| jgS t | tj�r>| j| j gdd� | jD � S d S )Nc S s g | ]
}|g�qS r r )r r r r r r 9 s z#getAlternatives.<locals>.<listcomp>)r r r r ZTryr r )r r r r r 5 s c @ s e Zd ZdZdd� Zdd� ZdS )� _FieldsOrderz Fix order of AST node fields.c C s> |j }d|krdj}nd|kr&dj}ndj}tt||dd��S )N�iter�
generators�valueT)�key�reverse)�_fields�find�tuple�sorted)�selfr �fieldsZ key_firstr r r � _get_fieldsD s z_FieldsOrder._get_fieldsc C s | � |� | |< }|S )N)r* )r( r r) r r r � __missing__O s z_FieldsOrder.__missing__N)r �
__module__� __qualname__�__doc__r* r+ r r r r r A s r c C s* i }x | D ]}|� |d�d ||< q
W |S )z|
Simplest required implementation of collections.Counter. Required as 2.6
does not have Counter in collections.
r � )�get)�items�results�itemr r r �counterT s
r4 c c s` xZ|| j D ]L}||krq t| |d�}t|tj�r:|V q t|t�r x|D ]
}|V qJW q W dS )z�
Yield all direct child nodes of *node*, that is, all fields that
are nodes and all items of fields that are lists of nodes.
N)� __class__�getattrr r �AST�list)�node�omitZ
_fields_order�name�fieldr3 r r r �iter_child_nodes_ s
r= c C s� t | tj�r| jS ttd�r.t | tj�r.| jS t | tj�rNtdd� | jD ��S t | tj �r`| j
S t | tj �r�t | d�}ddd d�}|�
|j|�S ts�t | tj�r�| jS t� S d S )N�Bytesc s s | ]}t |�V qd S )N)�convert_to_value)r �ir r r � <genexpr>u s z#convert_to_value.<locals>.<genexpr>)r3 TF)�True�False�None)r r �Strr �hasattrr> �Tupler& �elts�Numr �Name� VariableKeyr0 r; �PY33� NameConstantr! �UnhandledKeyType)r3 �resultZconstants_lookupr r r r? o s&
r? c @ s0 e Zd ZdZdd� Zdd� Zdd� Zdd � Zd
S ) �Bindingar
Represents the binding of a value to a name.
The checker uses this to keep track of which names have been bound and
which names have not. See L{Assignment} for a special type of binding that
is checked with stricter rules.
@ivar used: pair of (L{Scope}, node) indicating the scope and
the node that this binding was last used.
c C s || _ || _d| _d S )NF)r; �source�used)r( r; rQ r r r �__init__� s zBinding.__init__c C s | j S )N)r; )r( r r r �__str__� s zBinding.__str__c C s d| j j| j| jjt| �f S )Nz#<%s object %r from line %r at 0x%x>)r5 r r; rQ �lineno�id)r( r r r �__repr__� s zBinding.__repr__c C s t |t�o| j|jkS )N)r �
Definitionr; )r( �otherr r r � redefines� s zBinding.redefinesN)r r, r- r. rS rT rW rZ r r r r rP � s
rP c @ s e Zd ZdZdS )rX z7
A binding that defines a function or a class.
N)r r, r- r. r r r r rX � s rX c @ s e Zd ZdZdS )rN zS
A dictionary key of a type that we cannot or do not check for duplicates.
N)r r, r- r. r r r r rN � s rN c @ s( e Zd ZdZdd� Zdd� Zdd� ZdS ) rK zY
A dictionary key which is a variable.
@ivar item: The variable AST object.
c C s |j | _d S )N)rV r; )r( r3 r r r rS � s zVariableKey.__init__c C s |j | j ko|j| jkS )N)r5 r; )r( Zcomparer r r �__eq__� s zVariableKey.__eq__c C s
t | j�S )N)�hashr; )r( r r r �__hash__� s zVariableKey.__hash__N)r r, r- r. rS r[ r] r r r r rK � s rK c sF e Zd ZdZd
� fdd� Zdd� Zdd� Zed d
� �Zd d � Z � Z
S )� Importationz�
A binding created by an import statement.
@ivar fullName: The complete name given to the import statement,
possibly including multiple dotted components.
@type fullName: C{str}
Nc s& |p|| _ g | _tt| ��||� d S )N)�fullName� redefined�superr^ rS )r( r; rQ � full_name)r5 r r rS � s
zImportation.__init__c C s, t |t�r| j|jkS t |t�o*| j|jkS )N)r �SubmoduleImportationr_ rX r; )r( rY r r r rZ � s
zImportation.redefinesc C s | j �d�d | jk S )z.Return whether importation needs an as clause.�.���)r_ �splitr; )r( r r r �
_has_alias� s zImportation._has_aliasc C s& | � � rd| j| jf S d| j S dS )z5Generate a source statement equivalent to the import.zimport %s as %sz import %sN)rg r_ r; )r( r r r �source_statement� s z Importation.source_statementc C s" | � � r| jd | j S | jS dS )z#Return import full name with alias.z as N)rg r_ r; )r( r r r rT � s zImportation.__str__)N) r r, r- r. rS rZ rg �propertyrh rT �
__classcell__r r )r5 r r^ � s r^ c s@ e Zd ZdZ� fdd�Z� fdd�Zdd� Zedd � �Z� Z S )
rc a�
A binding created by a submodule import statement.
A submodule import is a special case where the root module is implicitly
imported, without an 'as' clause, and the submodule is also imported.
Python does not restrict which attributes of the root module may be used.
This class is only used when the submodule import is without an 'as' clause.
pyflakes handles this case by registering the root module name in the scope,
allowing any attribute of the root module to be accessed.
RedefinedWhileUnused is suppressed in `redefines` unless the submodule
name is also the same, to avoid false positives.
c sF d|kr|r t |tj�s t�|�d�d }tt| ��||� || _d S )Nrd r ) r r ZImport�AssertionErrorrf ra rc rS r_ )r( r; rQ � package_name)r5 r r rS s z SubmoduleImportation.__init__c s& t |t�r| j|jkS tt| ��|�S )N)r r^ r_ ra rc rZ )r( rY )r5 r r rZ s
z SubmoduleImportation.redefinesc C s | j S )N)r_ )r( r r r rT s z SubmoduleImportation.__str__c C s
d| j S )Nzimport )r_ )r( r r r rh s z%SubmoduleImportation.source_statement)
r r, r- r. rS rZ rT ri rh rj r r )r5 r rc � s
rc c s2 e Zd Zd� fdd� Zdd� Zedd� �Z� ZS ) �ImportationFromNc sL || _ |p || _|�d�r&|| j }n|d | j }tt| ��|||� d S )Nrd )�module� real_name�endswithra rm rS )r( r; rQ rn ro rb )r5 r r rS s
zImportationFrom.__init__c C s& | j | jkr | jd | j S | jS dS )z#Return import full name with alias.z as N)ro r; r_ )r( r r r rT ! s zImportationFrom.__str__c C s4 | j | jkr d| j| j | jf S d| j| jf S d S )Nzfrom %s import %s as %szfrom %s import %s)ro r; rn )r( r r r rh ( s
z ImportationFrom.source_statement)N)r r, r- rS rT ri rh rj r r )r5 r rm s rm c s4 e Zd ZdZ� fdd�Zedd� �Zdd� Z� ZS )�StarImportationz3A binding created by a 'from x import *' statement.c s& t t| ��d|� |d | _|| _d S )N�*z.*)ra rq rS r; r_ )r( r; rQ )r5 r r rS 5 s
zStarImportation.__init__c C s d| j d S )Nzfrom z import *)r_ )r( r r r rh < s z StarImportation.source_statementc C s | j �d�r| jS | jS d S )Nrd )r_ rp rh r; )r( r r r rT @ s zStarImportation.__str__) r r, r- r. rS ri rh rT rj r r )r5 r rq 2 s rq c s e Zd ZdZ� fdd�Z� ZS )�FutureImportationzs
A binding created by a from `__future__` import statement.
`__future__` imports are implicitly used.
c s" t t| ��||d� ||f| _d S )N�
__future__)ra rs rS rR )r( r; rQ �scope)r5 r r rS O s zFutureImportation.__init__)r r, r- r. rS rj r r )r5 r rs H s rs c @ s e Zd ZdZdS )�Argumentz3
Represents binding a name as an argument.
N)r r, r- r. r r r r rv T s rv c @ s e Zd ZdZdS )�
Assignmenta
Represents binding a name with an explicit assignment.
The checker will raise warnings for any Assignment that isn't used. Also,
the checker does not consider assignments in tuple/list unpacking to be
Assignments, rather it treats them as simple Bindings.
N)r r, r- r. r r r r rw Z s rw c @ s e Zd ZdS )�FunctionDefinitionN)r r, r- r r r r rx d s rx c @ s e Zd ZdS )�ClassDefinitionN)r r, r- r r r r ry h s ry c s e Zd ZdZ� fdd�Z� ZS )�
ExportBindinga
A binding created by an C{__all__} assignment. If the names in the list
can be determined statically, they will be treated as names for export and
additional checking applied to them.
The only C{__all__} assignment that can be recognized is one which takes
the value of a literal list containing literal strings. For example::
__all__ = ["foo", "bar"]
Names which are imported and not otherwise used but appear in the value of
C{__all__} will not have an unused import warning reported for them.
c s� d|kr&t |tj�r&t|d j�| _ng | _t |jtjtjf�rlx*|jjD ] }t |tj �rJ| j�
|j � qJW t t
| ��||� d S )N�__all__)r r Z AugAssignr8 �namesr! ZListrG rH rE �appendr ra rz rS )r( r; rQ ru r9 )r5 r r rS { s zExportBinding.__init__)r r, r- r. rS rj r r )r5 r rz l s
rz c @ s e Zd ZdZdd� ZdS )�ScopeFc C s | j j}d|t| �t�| �f S )Nz<%s at 0x%x %s>)r5 r rV �dictrW )r( Z scope_clsr r r rW � s zScope.__repr__N)r r, r- �
importStarredrW r r r r r~ � s r~ c @ s e Zd ZdS )�
ClassScopeN)r r, r- r r r r r� � s r� c s: e Zd ZdZdZedddg�Z� fdd�Zdd � Z� Z S )
�
FunctionScopezp
I represent a name scope for a function.
@ivar globals: Names declared 'global' in this function.
FZ__tracebackhide__Z__traceback_info__Z__traceback_supplement__c s* t t| ��� | j�� | _d | _d| _d S )NF)ra r� rS �
alwaysUsed�copy�globals� returnValue� isGenerator)r( )r5 r r rS � s zFunctionScope.__init__c c sD x>| � � D ]2\}}|js
|| jkr
| js
t|t�r
||fV q
W dS )zR
Return a generator for the assignments which have not been used.
N)r1 rR r� �
usesLocalsr rw )r( r; �bindingr r r �unusedAssignments� s
z FunctionScope.unusedAssignments)
r r, r- r. r� �setr� rS r� rj r r )r5 r r� � s
r� c @ s e Zd ZdS )�GeneratorScopeN)r r, r- r r r r r� � s r� c @ s e Zd ZdZdZdS )� ModuleScopezScope for a module.TN)r r, r- r. �_futures_allowedr r r r r� � s r� c @ s e Zd ZdZdS )� DoctestScopezScope for a doctest.N)r r, r- r. r r r r r� � s r� �__file__� __builtins__Z WindowsErrorc C s$ t | d�r| jS t | d�r | jS d S )NrV r; )rF rV r; )r9 r r r � getNodeName� s
r� c @ sB e Zd ZdZdZdZdZee�� e
�Z e j
�d�ZerFe �e�d�� [ddde j
kfd d
�Zd d � Zd
d� Zdd� Zdd� Zedd� �Zejdd� �Zedd� �Zdd� Zdd� Z e fd d �Z d d � Z d d!� Z d"d#� Z!d$d%� Z"d&d'� Z#d(d)� Z$d*d+� Z%d,d-� Z&d.d/� Z'd0d1� Z(ddd2d3�Z)d4d5� Z*d6d7� Z+d8d9� Z,d:d;� Z-e.�/� j0Z1d<d=� Z2d>d?� Z3e) Z4 Z5 Z6 Z7 Z8 Z9 Z: Z; Z< Z= Z> Z? Z@ ZAZBe3ZCe) ZD ZE ZF ZG ZH ZI ZJ ZK ZL ZM ZNZOe3 ZP ZQ ZRZSe) ZT ZUZVe3 ZW ZX ZY ZZ Z[Z\e3 Z] Z^ Z_ Z` Za Zb Zc Zd Ze Zf Zg Zh Zi Zj Zk Zl Zm Zn Zo Zp Zq Zr Zs Zt Zu Zv Zw ZxZye) Zz Z{ Z|Z}d@dA� Z~dBdC� ZdDdE� Z�e�Z�dFdG� Z�e��r�e)ne�Z�e� Z�Z�dHdI� Z�dJdK� Z�e�Z�dLdM� Z�dNdO� Z�e� Z�Z�dPdQ� Z�e�Z�dRdS� Z�dTdU� Z�dVdW� Z�dXdY� Z�e�Z�dZd[� Z�d\d]� Z�d^d_� Z�e�Z�d`da� Z�dbdc� Z�dS )e�Checkera�
I check the cleanliness and sanity of Python code.
@ivar _deferredFunctions: Tracking list used by L{deferFunction}. Elements
of the list are two-tuples. The first element is the callable passed
to L{deferFunction}. The second element is a copy of the scope stack
at the time L{deferFunction} was called.
@ivar _deferredAssignments: Similar to C{_deferredFunctions}, but for
callables which are deferred assignment checks.
r NFZPYFLAKES_BUILTINS�,z(none)ZPYFLAKES_DOCTESTc C s� i | _ g | _g | _g | _g | _|| _|r6| j�|�| _|| _t � g| _
dg| _ || _ | �
|� | �| j� d | _| �| j� d | _| j
dd �= | �� | �� d S )Nr r/ )�
_nodeHandlers�_deferredFunctions�_deferredAssignments�
deadScopesr �filename�builtIns�union� withDoctestr� �
scopeStack�exceptHandlers�root�handleChildren� runDeferred�popScope�checkDeadScopes)r( �treer� r r� r r r rS � s(
zChecker.__init__c C s" | j �|| jdd� | jf� dS )a{
Schedule a function handler to be called just before completion.
This is used for handling function bodies, which must be deferred
because code later in the file might modify the global scope. When
`callable` is called, the scope at the time this is called will be
restored, however it will contain any new bindings added to it.
N)r� r} r� �offset)r( �callabler r r �
deferFunction� s zChecker.deferFunctionc C s" | j �|| jdd� | jf� dS )zl
Schedule an assignment handler to be called just after deferred
function handlers.
N)r� r} r� r� )r( r� r r r �deferAssignment s zChecker.deferAssignmentc C s* x$|D ] \}}}|| _ || _|� qW dS )zV
Run the callables in C{deferred} using their associated scope stack.
N)r� r� )r( Zdeferred�handlerru r� r r r r�
s zChecker.runDeferredc C s t | j�dko t| jd t�S )N� r/ )�lenr� r r� )r( r r r � _in_doctest s zChecker._in_doctestc C s t dd� | jD ��sdS | jjS )Nc s s | ]}t |t�V qd S )N)r r� )r ru r r r rA s z)Checker.futuresAllowed.<locals>.<genexpr>F)�allr� ru r� )r( r r r �futuresAllowed s zChecker.futuresAllowedc C s$ |dks t �t| jt�r d| j_d S )NF)rk r ru r� r� )r( r! r r r r� " s c C s
| j d S )Nre )r� )r( r r r ru ( s z
Checker.scopec C s | j �| j�� � d S )N)r� r} r� �pop)r( r r r r� , s zChecker.popScopec C sj �xb| j D �]V}t|t�r q
|�d�}|r8t|t�s8d}|rRt|j�}|�|�}ng }}|r�|js�t j
� | j �dkr�x"|D ]}| �
tj|d j|� q|W |jr�x |�� D ]}t|t�r�||_q�W x�|�� D ]�}t|t�r�|jp�|j|k}|�s
tj} | �
| |jt|�� xR|jD ]H}
t| �|
�tj��r2tj } n|�r>�qntj } | �
| |
|j|j� �qW q�W q
W dS )z�
Look at scopes which have been fully examined and report names in them
which were imported but unused.
r{ Nz __init__.py) r� r r� r0 rz r� r| �
differencer� �os�path�basenamer� �reportr ZUndefinedExportrQ �valuesrq rR r^ r; Z UnusedImportr
r` � getParentr �For�ImportShadowedByLoopVar�RedefinedWhileUnused) r( ru Z all_bindingZ all_namesZ undefinedr; r� r! rR Zmessgr9 r r r r� / sB
zChecker.checkDeadScopesc C s | j �|� � d S )N)r� r} )r( Z
scopeClassr r r � pushScopea s zChecker.pushScopec O s | j �|| jf|�|�� d S )N)r r} r� )r( Z messageClass�args�kwargsr r r r� d s zChecker.reportc C s( x"|j }t|d�st|d�s|S qW d S )NrH �ctx)�parentrF )r( r9 r r r r� g s zChecker.getParentc C sz |||fks t |d�r t |d�s$d S ||kr0|S |j|jkrL| �|j||�S |j|jk rh| �||j|�S | �|j|j|�S )Nr� )rF �depth�getCommonAncestorr� )r( �lnode�rnode�stopr r r r� n s
zChecker.getCommonAncestorc C s$ x |D ]}| � |||�rdS qW dS )NTF)r� )r( r9 Z ancestorsr� �ar r r � descendantOf{ s
zChecker.descendantOfc C sN | � ||| j�}t|�}|rJx,|D ]$}| �|||�| �|||�A r"dS q"W dS )zATrue, if lnode and rnode are located on different forks of IF/TRYTF)r� r� r r� )r( r� r� Zancestor�partsr1 r r r �differentForks� s
zChecker.differentForksc C sD x$| j ddd� D ]}|j|krP qW |�|j�}|�r| �||j��s| �|j�}t|t�r�t|tj �r�| �
t j ||j|j� n�|| j
kr�t|tj�r�t| �|j�tj tjf�s�| �
t j||j|j� n&|js�|�|�r�| �
t j||j|j� n$t|t��r|�|��r|j�|� |j| j
k�r4| j
|j j|_|| j
|j< dS )z�
Called when a binding is altered.
- `node` is the statement responsible for the change
- `value` is the new value, a Binding instance
Nre )r� r; r0 r� rQ r� r r^ r r� r� r r� ru �
comprehensionZRedefinedInListComprR rZ r� r` r} )r( r9 r! ru �existing� parent_stmtr r r �
addBinding� s.
zChecker.addBindingc C s@ y
| j | S tk
r& t|�}Y nX t| |� | j |< }|S )N)r� �KeyErrorr r6 )r( r ZnodeTyper� r r r �getNodeHandler� s
zChecker.getNodeHandlerc C s` t |�}|sd S d }d }xv| jdd d� D ]b}|dkrBt|t�rBq*y| j|f|| _W n tk
rj Y nX d S |px|j}|dk r*t|t�}q*W || j kr�d S |�rg }xL| jdd d� D ]8}x2|�
� D ]&}t|t �r�| j|f|_|� |j
� q�W q�W d�t|��}| �tj|||� d S |dk�r<tj�| j�dk�r<d S d| jd k�r\| �tj||� d S )Nre Fz, �__path__z __init__.py� NameError)r� r� r r� ru rR r� r� r� r� r� rq r} r_ �joinr' r� r ZImportStarUsager� r� r� r� r� �
UndefinedName)r( r9 r; Z
in_generatorsr� ru � from_listr� r r r �handleNodeLoad� s@
zChecker.handleNodeLoadc C s" t |�}|sd S t| jt�r�|| jkr�xz| jd d� D ]h}t|ttf�sJq6||koZ|| j}|r6|d | jkr6|| jjkr6| �t j
|| jd ||| j � P q6W | � |�}t|t
jt
jf�s�||jkr�| �|�s�t||�}n4|dk�rt| jt��rt||j| j�}n
t||�}| �||� d S )Nre r r/ r{ )r� r ru r� r� r� rR r� r� r ZUndefinedLocalrQ r� r r� r� r� �isLiteralTupleUnpackingrP rz rw r� )r( r9 r; ru rR r� r� r r r �handleNodeStore� s*
zChecker.handleNodeStorec s� � fdd�}t � �}|s d S |� r&d S t| jt�rN|| jjkrN| jj�|� n2y | j|= W n$ tk
r~ | �tj � |� Y nX d S )Nc s@ t � dd�} x.| r:t| tjtjtjf�r,dS t | dd�} qW dS )zN
Return `True` if node is part of a conditional body.
r� NTF)r6 r r r �WhileZIfExp)�current)r9 r r �on_conditional_branch s z7Checker.handleNodeDelete.<locals>.on_conditional_branch)
r� r ru r� r� �remover� r� r r� )r( r9 r� r; r )r9 r �handleNodeDelete s zChecker.handleNodeDeletec C s& x t ||d�D ]}| �||� qW d S )N)r: )r= �
handleNode)r( r� r: r9 r r r r� . s zChecker.handleChildrenc C s: t |tj�r6x$|j|jg D ]}t|d�s dS q W dS d S )NrH FT)r r ZAssign�targetsr! rF )r( r9 �childr r r r� 2 s
z Checker.isLiteralTupleUnpackingc C s& t |tj�p$t |tj�o$t |jtj�S )z}
Determine if the given node is a docstring, as long as it is at the
correct place in the node tree.
)r r rE �Exprr! )r( r9 r r r � isDocstring9 s zChecker.isDocstringc C sR t |tj�r|j}t |tj�s"dS tr2|jd }n|j|j�d� d }|j|fS )N)NNr/ �
) r r r� r! rE �PYPYrU r �count)r( r9 Zdoctest_linenor r r � getDocstringA s zChecker.getDocstringc C s� |d kr d S | j rJt|dd �d k rJ| j| j d 7 _| j| j d 7 _| jrftd| j |jj � | j r�t
|t j �s�| �
|�s�d| _ | jd7 _| j|_||_z| �|j�}||� W d | jd8 _X | jr�td| j d |jj � d S )NrU r r/ z Fzend )r� r6 rU �
col_offset� traceTree�print� nodeDepthr5 r r� r r Z
ImportFromr� r� r� r� )r( r9 r� r� r r r r� O s&
zChecker.handleNodec C sr y&| � |jd �\}}|o"| �|�}W n ttfk
r> d S X |sHd S | j}| jd g| _| jpdd}| �t� d| j k}|s�| j �
d� x�|D ]�}yt |j ddt
j�} W nh tk
�r t�� d }
tr�|
jd7 _||j |
j |jd |
jp�d f} | �tj|| � Y q�X |d | |j |d |j d f| _| �| � || _q�W |�s`| j �d� | �� || _d S )Nr )r r �_z <doctest>�execr/ r )r� r �_getDoctestExamples�
ValueError�
IndexErrorr� r� r� r� r� �add�compilerQ r Z
PyCF_ONLY_AST� SyntaxError�sys�exc_infor� rU �indentr� r ZDoctestSyntaxErrorr� r� r� ) r( r9 Z docstringZ node_linenoZexamplesZ saved_stackZ node_offsetZunderscore_in_builtinsZexampler� �e�positionr r r �handleDoctestsg s@
zChecker.handleDoctestsc C s d S )Nr )r( r9 r r r �ignore� s zChecker.ignorec s� dd� �j D �}t|�}dd� |�� D �}x�|D ]�� � fdd�t|�D �}t�fdd�|D ��}tdd� |�� D ��r0xD|D ]<}�j | }t� t�r�| �tj |� j
� q|| �tj |� � q|W q0W | � �� d S )Nc S s g | ] }t |��qS r )r? )r r" r r r r � s z Checker.DICT.<locals>.<listcomp>c S s g | ]\}}|d kr|�qS )r/ r )r r" r� r r r r � s c s g | ]\}}|� kr|�qS r r )r r@ Zi_key)r" r r r � s c 3 s | ]}t � j| �V qd S )N)r? r� )r �index)r9 r r rA � s z Checker.DICT.<locals>.<genexpr>c s s | ]\}}|d kV qdS )r/ Nr )r r! r� r r r rA � s )
�keysr4 r1 � enumerate�anyr rK r� r Z MultiValueRepeatedKeyVariabler; Z MultiValueRepeatedKeyLiteralr� ) r( r9 r� Z
key_countsZduplicate_keysZ key_indicesr� Z key_indexZkey_noder )r" r9 r �DICT� s(
z Checker.DICTc C s6 t |jtj�r(|jjg kr(| �tj|� | �|� d S )N) r �testr rG rH r� r Z AssertTupler� )r( r9 r r r �ASSERT� s zChecker.ASSERTc s� | � � r dnd}| j| }| j|k r�xh|jD ]^� t� |�}� fdd�| jD �| _|�� |� ||f|_x"| j|d d� D ] }||� < qzW q,W dS )z5
Keep track of globals declarations.
r/ r c s* g | ]"}t |tj�r"|jd � kr|�qS )r )r r r� Z message_args)r �m)� node_namer r r � s z"Checker.GLOBAL.<locals>.<listcomp>N)r� r� ru r| rw r �
setdefaultrR )r( r9 Zglobal_scope_indexZ global_scopeZ
node_valueru r )r� r �GLOBAL� s
zChecker.GLOBALc C s | � t� | �|� | �� d S )N)r� r� r� r� )r( r9 r r r � GENERATOREXP� s
zChecker.GENERATOREXPc C s� t |jtjtjf�rL| �|� |jdkr�t | jt�r�t |j tj
�r�d| j_ nJt |jtj tj
f�rl| �|� n*t |jtj�r�| �|� ntd|jf ��dS )zV
Handle occurrence of Name (which can be a load/store/delete access.)
�localsTz%Got impossible expression context: %rN)r r� r �LoadZAugLoadr� rV ru r� r� ZCallr� �StoreZAugStorer� ZDelr� � RuntimeError)r( r9 r r r �NAME s
z Checker.NAMEc C s� |}xxt |d�r||j| }}t|t�r4||jkr4d S t|tjtjf�rHP t |d�rt|tj�r||j kr| �
t j |� d S qW t|tj�r�| �
t j
|� n| �
t j|� d S )Nr� � finalbody)rF r� r �
LOOP_TYPESr r � FunctionDef�ClassDefZContinuer r� r ZContinueInFinallyZContinueOutsideLoopZBreakOutsideLoop)r( r9 r Zn_childr r r �CONTINUE s
zChecker.CONTINUEc C sX t | jttf�r"| �tj|� d S |jrFt| jd�rF| jj sF|j| j_ | �
|j|� d S )Nr� ) r ru r� r� r� r ZReturnOutsideFunctionr! rF r� r� )r( r9 r r r �RETURN- s
zChecker.RETURNc C s< t | jttf�r"| �tj|� d S d| j_| �|j |� d S )NT)
r ru r� r� r� r ZYieldOutsideFunctionr� r� r! )r( r9 r r r �YIELD: s
z
Checker.YIELDc sl x� j D ]}��|� � qW ��� � ��� t� j� �� �jrh��� sht�j t
�sh�� � �fdd�� d S )Nc s
�� � �S )N)r� r )r9 r( r r r
N r z%Checker.FUNCTIONDEF.<locals>.<lambda>) r r� �LAMBDAr� rx r; r� r� r ru r� r� )r( r9 �decor )r9 r( r � FUNCTIONDEFD s
zChecker.FUNCTIONDEFc s� g �g }t r0� �fdd�� � �jj� �jj}nBx0�jj�jj D ] }��|j� |�|j� qBW �jj�jj }t�d�}xbdD ]Z}t �j|�}|s�q���t
r�|n|j� |r�t
r�|d }|�t �j|�� q�|�|j� q�W |r�|��j � t t
���t ��k �r@x8t��D ],\} }|�d | � k�r��tj�|� �qW x$|| D ]}
|
�rJ��|
�� �qJW ���fdd�} ��| � d S )Nc s6 x0| D ](}t |tj�r"� |j� q��|j� qW d S )N)r r rG rH r} rV )Zarglist�arg)�addArgsr� r r r W s
z Checker.LAMBDA.<locals>.addArgs�returns)�vararg�kwarg�
annotationc s� �� � x � D ]} ���t| ��� qW t�jt�rRx*�jD ]}��|�� q<W n���j�� �fdd�}��|� tr��fdd�}��|� �� � d S )Nc s. x(� j �� D ]\} }� �tj|j| � q W dS )zU
Check to see if any assignments have not been used.
N)ru r� r� r ZUnusedVariablerQ )r; r� )r( r r �checkUnusedAssignments� s zCChecker.LAMBDA.<locals>.runFunction.<locals>.checkUnusedAssignmentsc s& � j jr"� j jr"� �tj� j j� dS )z�
Check to see if there is any return statement with
arguments but the function is a generator.
N)ru r� r� r� r Z ReturnWithArgsInsideGeneratorr )r( r r �&checkReturnWithArgumentInsideGenerator� s zSChecker.LAMBDA.<locals>.runFunction.<locals>.checkReturnWithArgumentInsideGenerator)
r� r� rv r r r8 r� r� �PY32r� )r; �stmtr r )r� r9 r( r r � runFunction� s
z#Checker.LAMBDA.<locals>.runFunction)�PY2r� �defaults�
kwonlyargsr} r r � kw_defaultsrF r6 rL r r� r� r� r� r ZDuplicateArgumentr� r� ) r( r9 � annotationsr r Z is_py3_funcZarg_nameZwildcardZ
argannotation�idxr� r r )r r� r9 r( r r R s@
!zChecker.LAMBDAc s� x� j D ]}��|� � qW x� jD ]}��|� � q$W tsXx� jD ]}��|� � qDW ��t� �jr���� s�t �j
t �s��� � �fdd�� x� j
D ]}��|� � q�W ��� ��� t� j� �� dS )z�
Check names used in a class definition, including its decorators, base
classes, and the body of its definition. Additionally, add its name to
the current scope.
c s
�� � �S )N)r� r )r9 r( r r r
� r z"Checker.CLASSDEF.<locals>.<lambda>N)r r� �basesr �keywordsr� r� r� r� r ru r� r� r r� r� ry r; )r( r9 r ZbaseNodeZ keywordNoder r )r9 r( r �CLASSDEF� s
zChecker.CLASSDEFc C s, | � |j� | �|j|� | �|j|� d S )N)r� �targetr� r! )r( r9 r r r � AUGASSIGN� s zChecker.AUGASSIGNc C s� t s�t|jtj�r�d}d}x>t|j�D ]0\}}t|tj�r&|rN| �t j
|� P d}|}q&W |dksxt |j�| d dkr�| �t j |� | �
|� d S )NFre T� r/ i )r r r� r r r� rH ZStarredr� r ZTwoStarredExpressionsr� Z%TooManyExpressionsInStarredAssignmentr� )r( r9 Z has_starredZstar_locr@ r r r r �TUPLE� s z
Checker.TUPLEc C sX xR|j D ]H}d|jkr*|js*t|j|�}n|jp4|j}t|||j�}| �||� qW d S )Nrd )r| r; �asnamerc r^ r� )r( r9 �alias� importationr; r r r �IMPORT� s zChecker.IMPORTc C s |j dkr.| js4| �tj|dd� |jD �� nd| _d|j |j pDd }x�|jD ]�}|jp^|j}|j dkr�t ||| j
�}|jt j kr�| �tj
||j� n`|jdkr�ts�t| j
t�s�| �tj||� qPd| j
_| �tj||� t||�}nt||||j�}| �||� qPW d S ) Nrt c S s g | ]
}|j �qS r )r; )r r r r r r � s z&Checker.IMPORTFROM.<locals>.<listcomp>Frd � rr T)rn r� r� r ZLateFutureImportr| �levelr* r; rs ru rt �all_feature_namesZFutureFeatureNotDefinedr r r� ZImportStarNotPermittedr� ZImportStarUsedrq rm r� )r( r9 rn r+ r; r, r r r �
IMPORTFROM� s0
zChecker.IMPORTFROMc C s� g }x�t |j�D ]x\}}t|jtj�rHx6|jjD ]}|�t|�� q0W n|jr^|�t|j�� |jd kr|t |j�d k r| �
t j |� qW | j
�|� x|jD ]}| �||� q�W | j
�� | j|dd� d S )Nr/ r )r: )r� r r �typer rG rH r} r� r� r� r ZDefaultExceptNotLastr� r r� r� r� )r( r9 Z
handler_namesr@ r� �exc_typer� r r r �TRY s
z Checker.TRYc C s� t s|jd kr | �|� d S x,| jd d d� D ]}|j|kr.d}P q.W d}| �|� | �|� |s�y| j|j= W n tk
r� Y nX d S )Nre TF)r r; r� r� r� ru r� )r( r9 ru Zis_name_previously_definedr r r �
EXCEPTHANDLER s
zChecker.EXCEPTHANDLERc C sF |j r| �|j|� t| jt�s.| �|j|� |j rB| �|j |� dS )z�
Annotated assignments don't have annotations evaluated on function
scope, hence the custom implementation.
See: PEP 526.
N)r! r� r& r ru r� r )r( r9 r r r � ANNASSIGN; s zChecker.ANNASSIGN)N)�r r, r- r. r� r� r� r� � builtin_varsr� �_MAGIC_GLOBALSr� r� �environr0 Z_customBuiltIns�updaterf rS r� r� r� r� ri r� �setterru r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� �doctestZ
DocTestParserZ get_examplesr� r� r� ZDELETEZPRINTZFORZASYNCFORZWHILEZIFZWITHZWITHITEMZ ASYNCWITHZ
ASYNCWITHITEMZRAISEZ
TRYFINALLYZEXECZEXPRZASSIGNZPASS�BOOLOPZBINOPZUNARYOPZIFEXPZSETZCOMPARE�CALLZREPRZ ATTRIBUTEZ SUBSCRIPTZSTARREDZ NAMECONSTANTZNUMZSTRZBYTES�ELLIPSISZSLICEZEXTSLICEZINDEXZLOADZSTOREZDELZAUGLOADZAUGSTOREZPARAMZAND�ORZADDZSUBZMULTZDIVZMODZPOWZLSHIFTZRSHIFTZBITORZBITXORZBITANDZFLOORDIVZINVERTZNOTZUADDZUSUBZEQZNOTEQZLTZLTEZGTZGTEZISZISNOT�INZNOTINZMATMULTZ
COMPREHENSIONZKEYWORDZFORMATTEDVALUEZ JOINEDSTRr� r� r ZNONLOCALr r ZLISTCOMPZDICTCOMPZSETCOMPr r ZBREAKr
r ZAWAITZ YIELDFROMr ZASYNCFUNCTIONDEFr r% r' r) ZLISTr- r1 r4 Z TRYEXCEPTr5 r6 r r r r r� � s� 2
'6
'<0 t$
Q "r� )=r. rt r< r� r� � version_infor r rL �PY34Zpypy_version_infor� �AttributeError�dir�
__import__r7 r � ImportError�_astr r$ r ri r
�pyflakesr r r r� r� r ZAsyncForr r r4 r= r? �objectrP rX rN rK r^ rc rm rq rs rv rw rx ry rz r~ r� r� r� r� r� r8 r� r� r r r r �<module> st
(%