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__Z __builtin__Z __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- r. 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
lookupnameZclone�
contextmod�InferenceContextr r Z _infer_namer. r ZNameInferenceError�InferenceError)r2 r r3 r# r Zstmtr r r � _infer_stmtsx s6
r7 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 r8 r. �
bool_valuer r6 )�instanceZ method_namer r" �valuer# r r r �_infer_method_result_truth� s
r@ 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)�targetZ 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)rG )r3 r )rC )r4 r5 �pushr( r+ r7 �
_wrap_attrr rE r r r6 �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& r8 � BoundMethodr; r Z statementZscoper( �args)r) rN r �attrr r r rK � 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)
r4 �bind_context_to_noder( r: r r r< r8 r r6 )r) rV r r# rU �resr r r r8 � s z BaseInstance.infer_call_result)NT)N)N)N)
r r/ r0 r1 rF rB r+ r: rK r8 r r r r rA � s
rA 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( r] r )r) r r r �__str__ s zInstance.__str__c C s0 y| j jddd� dS tjk
r* dS X d S )NrT F)rC T)r( r+ r rE )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 rB ' 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.
)rR �__len__T)
r4 r5 Z CallContextZ callcontextZ boundnoder@ �BOOL_SPECIAL_METHODr r6 rE )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 r/ r0 r1 r �lazy_descriptorrF r_ r` r< rb rB r= rg r r r r rY
s rY c @ sZ e Zd ZdZe�dd� �Zdd� Zdd� Zdd � Z dd d �Z
dd
d�Z dd� Z dd� Z
d
S )rP z=a special node representing a method not bound to an instancec C s t �� S )N)rZ ZUnboundMethodModelr r r r r[ N r\ zUnboundMethod.<lambda>c C s, | j j�� }d| jj| j j|�� t| �f S )Nz<%s %s of %s at 0x%s)r( �parentr3 r r r ra r^ )r) r3 r r r r_ 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)rF r r( r+ )r) r r r r r r+ _ s
zUnboundMethod.getattrc C s* || j kr t| j �|�f�S | j�||�S )N)rF �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 rY )r �xr r r r s z2UnboundMethod.infer_call_result.<locals>.<genexpr>) r( r ri r3 ra r! rR Z
extra_context�getr. r8 )r) rV r Z node_contextr. r r r r8 i s z UnboundMethod.infer_call_resultc C s dS )NTr )r) r r r r= � s zUnboundMethod.bool_value)N)N)r r/ r0 r1 r rh rF r_ rj rk r+ r: r8 r= r r r r rP J s
rP c sX e Zd ZdZe�dd� �Zdd� Zdd� Zdd � Z d
d � Z
d� fd
d� Z dd� Z � Z
S )rQ z9a special node representing a method bound to an instancec C s t �� S )N)rZ ZBoundMethodModelr r r r r[ � r\ zBoundMethod.<lambda>c C s t �| |� || _d S )N)rP r* �bound)r) �proxyrp r r r r* � s zBoundMethod.__init__c C s dS )N� r )r) r r r rj � s z BoundMethod.implicit_parametersc C s dS )NTr )r) r r r rk � 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.typerr ZConst� ZTuplec s g | ]}t |j� d ���qS ))r )r9 r. )r Zelt)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 ZDict)r �lineno�
col_offsetri T)r Zbodyr Znewstyle� metaclass�keywords)�astroidrs r9 rR r. r r Z
is_subtype_ofr! rO r? �strZeltsr � collections� defaultdict�list�items�appendrw rx ZPassZpostinit�locals)r) rV r rs Zmcsr r Zinferred_basesrN Z
cls_locals�keyr? �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 �typerm � )
r4 rW rp r r r �lenrR r� rl �superrQ r8 )r) rV r Znew_cls)r r r r8 � s
z BoundMethod.infer_call_resultc C s dS )NTr )r) r r r r= � s zBoundMethod.bool_value)N)r r/ r0 r1 r rh rF r* rj rk r� r8 r= �
__classcell__r r )r r rQ � s ErQ 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)rZ ZGeneratorModelr r r r r[ � r\ zGenerator.<lambda>Nc C s
|| _ d S )N)ri )r) ri 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 rb � s zGenerator.pytypec C s dS )Nr� r )r) r r r rB 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 rw r^ )r) r r r r_ s zGenerator.__repr__c C s d| j j S )Nz
Generator(%s))r( r )r) r r r r` s zGenerator.__str__)N)r r/ r0 r1 r rh rF r* r< rb rB r= r_ r` 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 rb s zAsyncGenerator.pytypec C s dS )Nr� r )r) r r r rB s zAsyncGenerator.display_typec C s d| j j| jt| �f S )Nz!<AsyncGenerator(%s) l.%s at 0x%s>)r( r rw r^ )r) r r r r_ s zAsyncGenerator.__repr__c C s d| j j S )NzAsyncGenerator(%s))r( r )r) r r r r` " s zAsyncGenerator.__str__N)r r/ r0 r1 rb rB r_ r` r r r r r� s
r� )N) r1 r r} �sysr{ r r4 r r Z lazy_importrZ r r r! r ZAstroidManagerZMANAGER� version_inford r r r& r' r7 r@ rA rY rP rQ r� r� r r r r �<module> sJ
"`=<h$