Your IP : 216.73.216.196
B
��\VJ �
@ s8 d Z ddlZddlZddlZddlmZ ddlmZ ddlmZ e� d�Z
e� d�Z ej Z
e� d�Ze�� Zejd kr�d
Z
d Znd Z
d
Ze
d dhZddddddddddh
Zdd� ZG d d � d �Zd.d d �Zd d!� ZG d"d#� d#e�ZG d$d%� d%e�ZG d&d'� d'e�ZG d(d)� d)e�Z G d*d+� d+e�Z G d,d-� d-e �Z dS )/zXThis module contains base classes and functions for the nodes and some
inference utils.
� N)�context)�
exceptions)�utilzinterpreter.objectmodel�helpers�manager)� r �builtins�__bool__� __builtin__� __nonzero__z .propertyzabc.abstractpropertyZcached_propertyZcachedpropertyZ lazypropertyZ
lazy_propertyZreifyZ
lazyattributeZlazy_attributeZ LazyPropertyZlazyZcache_readonlyc s� t �| �� �rdS dd� | �� D �� t� fdd�tD ��r>dS | jsHdS x�| jjpTdD ]t}t�|�}|d ksV|t j
krxqV|j j dkrVxD|j
D ]:}|j j d kr�q�|�|j�\}}|jtkr�|jd
kr�dS q�W qVW dS ) NTc S s$ h | ] }|t jk r|�d �d �qS )�.���)r � Uninferable�split)�.0�name� r �>/opt/alt/python37/lib/python3.7/site-packages/astroid/bases.py� <setcomp>D s z _is_property.<locals>.<setcomp>c 3 s | ]}|� kV qd S )Nr )r r )�strippedr r � <genexpr>I s z _is_property.<locals>.<genexpr>Fr �ClassDef�Name�property)�
PROPERTIES� intersectionZdecoratornames�any�POSSIBLE_PROPERTIES�
decoratorsZnodesr Z
safe_inferr r � __class__�__name__�bases�lookupr �BUILTINS)�methZ decorator�inferredZ
base_class�module�_r )r r � _is_propertyA s(
r( c @ s0 e Zd ZdZdZd dd�Zdd� Zd
dd�ZdS ) �Proxyz�a simple proxy object
Note:
Subclasses of this object will need a custom __getattr__
if new instance attributes are created. See the Const class
Nc C s |d k r|| _ d S )N)�_proxied)�selfZproxiedr r r �__init__i s zProxy.__init__c C s4 |dkrt | jd�S || jkr(| j| S t | j|�S )Nr* )�getattrr �__dict__r* )r+ r r r r � __getattr__m s
zProxy.__getattr__c c s
| V d S )Nr )r+ r r r r �infert s z Proxy.infer)N)N)r �
__module__� __qualname__�__doc__r* r, r/ r0 r r r r r) ^ s
r) c c s� d}|dk r |j }|�� }n d}t�� }x�| D ]�}|tjkrH|V d}q.|�||�|_ y$x |j|d�D ]}|V d}qfW W q. tj k
r� w.Y q. tj
k
r� tjV d}Y q.X q.W |s�tj
d| ||d��dS )zGReturn an iterator on statements inferred by each statement in *stmts*.FNT)r z.Inference failed for all members of {stmts!r}.)�stmts�framer ) Z
lookupname�clone�
contextmod�InferenceContextr r Z _infer_namer0 r ZNameInferenceError�InferenceError)r4 r r5 r% r Zstmtr r r � _infer_stmtsx s6
r: c C s� t | j||d�d �}|r�t|d�r�|�� s0tjS y@x:|j| |d�D ](}|tjkrT|S t |j|d��}|�� S W W n t j
k
r� Y nX tjS )N)r �infer_call_result) �next�igetattr�hasattr�callabler r r; r0 �
bool_valuer r9 )�instance� method_namer r$ �valuer% r r r �_infer_method_result_truth� s
rD c @ sD e Zd ZdZdZdd� Zddd�Zddd �Zdd
d �Zdd d
�Z dS )� BaseInstancezNAn instance base class, which provides lookup methods for potential instances.Nc C s dS )Nz Instance ofr )r+ r r r � display_type� s zBaseInstance.display_typeTc
C s� y| j �||�}W nj tjk
r| } zJ| jrD|| jkrD| j�|�gS |rZ| j j||dd�S tj| ||d�|�W d d }~X Y nX |r�y|| j j||dd� S tjk
r� Y nX |S )NF)�
class_context)�target� attributer )r* Z
instance_attrr �AttributeInferenceError�special_attributesr" r- )r+ r r � lookupclass�values�excr r r r- � s"
zBaseInstance.getattrc
c s� |s t �� }yD|�| j|f�r"dS | j||dd�}t| �||�|| d�E dH W n� tjk
r� } z�yH| jj j
dkr�tj f t |��|�| jj
||dd�}| �||�E dH W n6 tjk
r� } ztj f t |��|�W dd}~X Y nX W dd}~X Y nX dS )zinferred getattrNF)rL )r5 r )rG )r7 r8 �pushr* r- r: �
_wrap_attrr rJ r r r9 �varsr= )r+ r r Zget_attr�error�attrsr r r r= � s zBaseInstance.igetattrc c s� x�|D ]�}t |t�r>t|�r0|�| |�E dH q�t|| �V qt|d�r�|jdkr�|�� �� | j kr�|j
j
r�|j
j
d jdkr�t|| �V q|V q|V qW dS )z7wrap bound methods of attrs in a InstanceMethod proxiesNr z<lambda>r r+ ) �
isinstance�
UnboundMethodr( r; � BoundMethodr> r Z statementZscoper* �args)r+ rS r �attrr r r rP � s
zBaseInstance._wrap_attrc c st t �|| �}d}xJ| j�d|�D ]8}|tjks |�� s8q x |�||�D ]}d}|V qFW q W |sptj | ||d��dS )z4infer what a class instance is returning when calledF�__call__T)�node�callerr N)
r7 �bind_context_to_noder* r= r r r? r; r r9 )r+ r[ r r% rZ �resr r r r; � s z BaseInstance.infer_call_result)NT)N)N)N)
r r1 r2 r3 rK rF r- r= rP r; r r r r rE � s
rE c @ sX e Zd ZdZe�dd� �Zdd� Zdd� Zdd � Z d
d � Z
d d
� Z dd� Z ddd�Z
dS )�Instancez-A special node representing a class instance.c C s t �� S )N)� objectmodelZ
InstanceModelr r r r �<lambda> � zInstance.<lambda>c C s d| j �� j| j jt| �f S )Nz<Instance of %s.%s at 0x%s>)r* �rootr �id)r+ r r r �__repr__ s
zInstance.__repr__c C s d| j �� j| j jf S )NzInstance of %s.%s)r* rb r )r+ r r r �__str__ s zInstance.__str__c C s0 y| j jddd� dS tjk
r* dS X d S )NrY F)rG T)r* r- r rJ )r+ r r r r? s
zInstance.callablec C s
| j �� S )N)r* �qname)r+ r r r �pytype$ s zInstance.pytypec C s dS )Nz Instance ofr )r+ r r r rF ' s zInstance.display_typec C s| t �� }t jg d�|_| |_yt| t|�}W nJ tjtj fk
rv yt| d|�}W n tj tjfk
rp dS X Y nX |S )aV Infer the truth value for an Instance
The truth value of an instance is determined by these conditions:
* if it implements __bool__ on Python 3 or __nonzero__
on Python 2, then its bool value will be determined by
calling this special method and checking its result.
* when this method is not defined, __len__() is called, if it
is defined, and the object is considered true if its result is
nonzero. If a class defines neither __len__() nor __bool__(),
all its instances are considered true.
)rW �__len__T)
r7 r8 Z CallContextZ callcontextZ boundnoderD �BOOL_SPECIAL_METHODr r9 rJ )r+ r �resultr r r r@ * s
zInstance.bool_valueNc C s d S )Nr )r+ �indexr r r r �getitemF s zInstance.getitem)N)r r1 r2 r3 r �lazy_descriptorrK rd re r? rg rF r@ rl r r r r r^
s r^ c @ sZ e Zd ZdZe�dd� �Zdd� Zdd� Zdd � Z dd d �Z
dd
d�Z dd� Z dd� Z
d
S )rU z=a special node representing a method not bound to an instancec C s t �� S )N)r_ ZUnboundMethodModelr r r r r` N ra zUnboundMethod.<lambda>c C s, | j j�� }d| jj| j j|�� t| �f S )Nz<%s %s of %s at 0x%s)r* �parentr5 r r r rf rc )r+ r5 r r r rd P s zUnboundMethod.__repr__c C s dS )Nr r )r+ r r r �implicit_parametersY s z!UnboundMethod.implicit_parametersc C s dS )NFr )r+ r r r �is_bound\ s zUnboundMethod.is_boundNc C s& || j kr| j �|�gS | j�||�S )N)rK r" r* r- )r+ r r r r r r- _ s
zUnboundMethod.getattrc C s* || j kr t| j �|�f�S | j�||�S )N)rK �iterr" r* r= )r+ r r r r r r= d s
zUnboundMethod.igetattrc C sp | j jdkrb| j j�� �� dt krb|jrP|j�|jd �}|jd j |d�}ng }dd� |D �S | j �
||�S )a�
The boundnode of the regular context with a function called
on ``object.__new__`` will be of type ``object``,
which is incorrect for the argument in general.
If no context is given the ``object.__new__`` call argument will
correctly inferred except when inside a call that requires
the additional context (such as a classmethod) of the boundnode
to determine which class the method was called from
�__new__z %s.objectr )r c s s$ | ] }|t jk rt|�n|V qd S )N)r r r^ )r �xr r r r s z2UnboundMethod.infer_call_result.<locals>.<genexpr>) r* r rn r5 rf r# rW Z
extra_context�getr0 r; )r+ r[ r Z node_contextr0 r r r r; i s z UnboundMethod.infer_call_resultc C s dS )NTr )r+ r r r r@ � s zUnboundMethod.bool_value)N)N)r r1 r2 r3 r rm rK rd ro rp r- r= r; r@ r r r r rU J s
rU c sX e Zd ZdZe�dd� �Zdd� Zdd� Zdd � Z d
d � Z
d� fd
d� Z dd� Z � Z
S )rV z9a special node representing a method bound to an instancec C s t �� S )N)r_ ZBoundMethodModelr r r r r` � ra zBoundMethod.<lambda>c C s t �| |� || _d S )N)rU r, �bound)r+ �proxyru r r r r, � s zBoundMethod.__init__c C s dS )N� r )r+ r r r ro � s z BoundMethod.implicit_parametersc C s dS )NTr )r+ r r r rp � s zBoundMethod.is_boundc s� ddl m} t|jd j� d��}|jjdkr2dS |�dt �sDdS t|jd j� d��}|jjdkrjdS t |j
t �szdS t|jd j� d��}|jjd
kr�dS � fd d �|j D �}t
d
d� |D ��r�dS t|jd j� d��}|jjdkr�dS t�t�} x`|jD ]V\}
} t|
j� d��}
t| j� d��} |
jjdk�rt |
j
t ��r| |
j
�| � �qW |j|j
|j|j|d�} |�� }
| j|j |
gg d|g d� | | _| S )z�Try to infer what type.__new__(mcs, name, bases, attrs) returns.
In order for such call to be valid, the metaclass needs to be
a subtype of ``type``, the name needs to be a string, the bases
needs to be a tuple of classes
r )� node_classes)r r Nz%s.typerw ZConst� ZTuplec s g | ]}t |j� d ���qS ))r )r< r0 )r �elt)r r r �
<listcomp>� s z4BoundMethod._infer_type_new_call.<locals>.<listcomp>c s s | ]}|j jd kV qdS )r N)r r )r �baser r r r � s z3BoundMethod._infer_type_new_call.<locals>.<genexpr>r �Dict)r �lineno�
col_offsetrn T)r! �bodyr Znewstyle� metaclass�keywords)�astroidrx r< rW r0 r r Z
is_subtype_ofr# rT rC �strZeltsr � collections� defaultdict�list�items�appendr~ r ZPassZpostinit�locals)r+ r[ r rx Zmcsr r! Zinferred_basesrS Z
cls_locals�keyrC �cls�emptyr )r r �_infer_type_new_call� sR
z BoundMethod._infer_type_new_callNc sl t �|| j�}| jjjdkrZ| jjdkrZ| jdkrZt|j�dkrZ| �||�}|rZt |f�S t
t | �� ||�S )Nr �typerr � )
r7 r\ ru r r r �lenrW r� rq �superrV r; )r+ r[ r Znew_cls)r r r r; � s
z BoundMethod.infer_call_resultc C s dS )NTr )r+ r r r r@ � s zBoundMethod.bool_value)N)r r1 r2 r3 r rm rK r, ro rp r� r; r@ �
__classcell__r r )r r rV � s ErV c @ sX e Zd ZdZe�dd� �Zddd�Zdd� Zd d
� Z d d � Z
d
d� Z dd� Z dd� Z
dS )� Generatorzea special node representing a generator.
Proxied class is set once for all in raw_building.
c C s t �� S )N)r_ ZGeneratorModelr r r r r` � ra zGenerator.<lambda>Nc C s
|| _ d S )N)rn )r+ rn r r r r, � s zGenerator.__init__c C s dS )NFr )r+ r r r r? � s zGenerator.callablec C s dt S )Nz %s.generator)r# )r+ r r r rg � s zGenerator.pytypec C s dS )Nr� r )r+ r r r rF s zGenerator.display_typec C s dS )NTr )r+ r r r r@ s zGenerator.bool_valuec C s d| j j| jt| �f S )Nz <Generator(%s) l.%s at 0x%s>)r* r r~ rc )r+ r r r rd s zGenerator.__repr__c C s d| j j S )Nz
Generator(%s))r* r )r+ r r r re s zGenerator.__str__)N)r r1 r2 r3 r rm rK r, r? rg rF r@ rd re r r r r r� � s
r� c @ s0 e Zd ZdZdd� Zdd� Zdd� Zdd � Zd
S ) �AsyncGeneratorz,Special node representing an async generatorc C s dt S )Nz%s.async_generator)r# )r+ r r r rg s zAsyncGenerator.pytypec C s dS )Nr� r )r+ r r r rF s zAsyncGenerator.display_typec C s d| j j| jt| �f S )Nz!<AsyncGenerator(%s) l.%s at 0x%s>)r* r r~ rc )r+ r r r rd s zAsyncGenerator.__repr__c C s d| j j S )NzAsyncGenerator(%s))r* r )r+ r r r re " s zAsyncGenerator.__str__N)r r1 r2 r3 rg rF rd re r r r r r� s
r� )N) r3 r r� �sysr� r r7 r r Z lazy_importr_ r r r# r ZAstroidManagerZMANAGER� version_infori r r r( r) r: rD rE r^ rU rV r� r� r r r r �<module> sJ
"`=<h$