B S\VJ @s8dZddlZddlZddlZddlmZddlmZddlmZe dZ e dZ ej Z e dZeZejd krd Z d Znd Z d Ze ddhZddddddddddh ZddZGdddZd.ddZd d!ZGd"d#d#eZGd$d%d%eZGd&d'd'eZGd(d)d)eZGd*d+d+eZGd,d-d-eZdS)/zXThis module contains base classes and functions for the nodes and some inference utils. N)context) exceptions)utilzinterpreter.objectmodelhelpersmanager)rbuiltins__bool__Z __builtin__Z __nonzero__z .propertyzabc.abstractpropertyZcached_propertyZcachedpropertyZ lazypropertyZ lazy_propertyZreifyZ lazyattributeZlazy_attributeZ LazyPropertyZlazyZcache_readonlycst|rdSdd|DtfddtDr>dS|jsHdSx|jjpTdD]t}t|}|dksV|t j krxqV|j j dkrVxD|j D]:}|j j d krq||j\}}|jtkr|jd krdSqWqVWdS) NTcSs$h|]}|tjk r|ddqS).)r Uninferablesplit).0namer,lib/python3.7/site-packages/astroid/bases.py Dsz_is_property..c3s|]}|kVqdS)Nr)rr)strippedrr Isz_is_property..FrClassDefNameproperty) PROPERTIES intersectionZdecoratornamesanyPOSSIBLE_PROPERTIES decoratorsZnodesrZ safe_inferrr __class____name__baseslookuprBUILTINS)methZ decoratorinferredZ base_classmodule_r)rr _is_propertyAs(      r&c@s0eZdZdZdZd ddZddZd ddZdS) Proxyza simple proxy object Note: Subclasses of this object will need a custom __getattr__ if new instance attributes are created. See the Const class NcCs|dk r||_dS)N)_proxied)selfZproxiedrrr__init__iszProxy.__init__cCs4|dkrt|jdS||jkr(|j|St|j|S)Nr()getattrr__dict__r()r)rrrr __getattr__ms    zProxy.__getattr__ccs |VdS)Nr)r)rrrrinfertsz Proxy.infer)N)N)r __module__ __qualname____doc__r(r*r-r.rrrrr'^s  r'c csd}|dk r|j}|}n d}t}x|D]}|tjkrH|Vd}q.||||_y$x|j|dD]}|Vd}qfWWq.tj k rw.Yq.tj k rtjVd}Yq.Xq.W|stj d|||ddS)zGReturn an iterator on statements inferred by each statement in *stmts*.FNT)rz.Inference failed for all members of {stmts!r}.)stmtsframer) Z lookupnameZclone contextmodInferenceContextrr Z _infer_namer.rZNameInferenceErrorInferenceError)r2rr3r#rZstmtrrr _infer_stmtsxs6    r7cCst|j||dd}|rt|dr|s0tjSy@x:|j||dD](}|tjkrT|St|j|d}|SWWnt j k rYnXtjS)N)rinfer_call_result) nextigetattrhasattrcallablerr r8r. bool_valuerr6)instanceZ method_namerr"valuer#rrr_infer_method_result_truths r@c@sDeZdZdZdZddZdddZddd Zdd d Zdd d Z dS) BaseInstancezNAn instance base class, which provides lookup methods for potential instances.NcCsdS)Nz Instance ofr)r)rrr display_typeszBaseInstance.display_typeTc Csy|j||}Wnjtjk r|}zJ|jrD||jkrD|j|gS|rZ|jj||ddStj|||d|Wdd}~XYnX|ry||jj||ddStjk rYnX|S)NF) class_context)targetZ attributer)r(Z instance_attrrAttributeInferenceErrorspecial_attributesr r+)r)rr lookupclassvaluesexcrrrr+s" zBaseInstance.getattrc cs|s t}yD||j|fr"dS|j||dd}t|||||dEdHWntjk r}zyH|jj j dkrtj ft |||jj ||dd}|||EdHWn6tjk r}ztj ft ||Wdd}~XYnXWdd}~XYnXdS)zinferred getattrNF)rG)r3r)rC)r4r5pushr(r+r7 _wrap_attrrrErrr6varsr:)r)rrZget_attrerrorattrsrrrr:s zBaseInstance.igetattrccsx|D]}t|tr>t|r0|||EdHqt||Vqt|dr|jdkr||j kr|j j r|j j djdkrt||Vq|Vq|VqWdS)z7wrap bound methods of attrs in a InstanceMethod proxiesNrzrr)) isinstance UnboundMethodr&r8 BoundMethodr;rZ statementZscoper(args)r)rNrattrrrrrKs   zBaseInstance._wrap_attrccstt||}d}xJ|jd|D]8}|tjks |s8q x|||D]}d}|VqFWq W|sptj |||ddS)z4infer what a class instance is returning when calledF__call__T)nodecallerrN) r4bind_context_to_noder(r:rr r<r8rr6)r)rVrr#rUZresrrrr8s zBaseInstance.infer_call_result)NT)N)N)N) rr/r0r1rFrBr+r:rKr8rrrrrAs   rAc@sXeZdZdZeddZddZddZdd Z d d Z d d Z ddZ dddZ dS)Instancez-A special node representing a class instance.cCstS)N) objectmodelZ InstanceModelrrrrszInstance.cCsd|jj|jjt|fS)Nz)r(rootrid)r)rrr__repr__s zInstance.__repr__cCsd|jj|jjfS)NzInstance of %s.%s)r(r[r)r)rrr__str__szInstance.__str__cCs0y|jjddddStjk r*dSXdS)NrTF)rCT)r(r+rrE)r)rrrr<s zInstance.callablecCs |jS)N)r(qname)r)rrrpytype$szInstance.pytypecCsdS)Nz Instance ofr)r)rrrrB'szInstance.display_typec Cs|t}tjgd|_||_yt|t|}WnJtjtj fk rvyt|d|}Wntj tjfk rpdSXYnX|S)aVInfer 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) r4r5Z CallContextZ callcontextZ boundnoder@BOOL_SPECIAL_METHODrr6rE)r)rresultrrrr=*s  zInstance.bool_valueNcCsdS)Nr)r)indexrrrrgetitemFszInstance.getitem)N)rr/r0r1rlazy_descriptorrFr]r^r<r`rBr=rerrrrrX srXc@sZeZdZdZeddZddZddZdd Z dd d Z dd dZ ddZ ddZ d S)rPz=a special node representing a method not bound to an instancecCstS)N)rYZUnboundMethodModelrrrrrZNszUnboundMethod.cCs,|jj}d|jj|jj|t|fS)Nz<%s %s of %s at 0x%s)r(parentr3rrrr_r\)r)r3rrrr]Ps  zUnboundMethod.__repr__cCsdS)Nrr)r)rrrimplicit_parametersYsz!UnboundMethod.implicit_parameterscCsdS)NFr)r)rrris_bound\szUnboundMethod.is_boundNcCs&||jkr|j|gS|j||S)N)rFr r(r+)r)rrrrrr+_s zUnboundMethod.getattrcCs*||jkrt|j|fS|j||S)N)rFiterr r(r:)r)rrrrrr:ds zUnboundMethod.igetattrcCsp|jjdkrb|jjdtkrb|jrP|j|jd}|jdj |d}ng}dd|DS|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)rcss$|]}|tjk rt|n|VqdS)N)rr rX)rxrrrrsz2UnboundMethod.infer_call_result..) r(rrgr3r_r!rRZ extra_contextgetr.r8)r)rVrZ node_contextr.rrrr8is zUnboundMethod.infer_call_resultcCsdS)NTr)r)rrrr=szUnboundMethod.bool_value)N)N)rr/r0r1rrfrFr]rhrir+r:r8r=rrrrrPJs   rPcsXeZdZdZeddZddZddZdd Z d d Z dfd d Z ddZ Z S)rQz9a special node representing a method bound to an instancecCstS)N)rYZBoundMethodModelrrrrrZszBoundMethod.cCst||||_dS)N)rPr*bound)r)proxyrnrrrr*s zBoundMethod.__init__cCsdS)Nr)r)rrrrhszBoundMethod.implicit_parameterscCsdS)NTr)r)rrrriszBoundMethod.is_boundcsddlm}t|jdjd}|jjdkr2dS|dtsDdSt|jdjd}|jjdkrjdSt |j t szdSt|jd jd}|jjd krdSfd d |j D}t d d|DrdSt|jdjd}|jjdkrdStt} x`|jD]V\} } t| jd} t| jd} | jjdkrt | j t r| | j | qW|j|j |j|j|d} |} | j|j | ggd|gd| | _| S)zTry 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)rrNz%s.typerpZConstZTuplecsg|]}t|jdqS))r)r9r.)rZelt)rrr sz4BoundMethod._infer_type_new_call..css|]}|jjdkVqdS)rN)rr)rbaserrrrsz3BoundMethod._infer_type_new_call..rZDict)rlineno col_offsetrgT)rZbodyrZnewstyle metaclasskeywords)astroidrqr9rRr.rrZ is_subtype_ofr!rOr?strZeltsr collections defaultdictlistitemsappendrurvZPassZpostinitlocals)r)rVrrqZmcsrrZinferred_basesrNZ cls_localskeyr?clsemptyr)rr_infer_type_new_callsR       z BoundMethod._infer_type_new_callNcslt||j}|jjjdkrZ|jjdkrZ|jdkrZt|jdkrZ|||}|rZt |fSt t | ||S)Nrtyperk) r4rWrnrrrlenrRrrjsuperrQr8)r)rVrZnew_cls)rrrr8s    zBoundMethod.infer_call_resultcCsdS)NTr)r)rrrr=szBoundMethod.bool_value)N)rr/r0r1rrfrFr*rhrirr8r= __classcell__rr)rrrQsErQc@sXeZdZdZeddZdddZddZd d Z d d Z d dZ ddZ ddZ dS) Generatorzea special node representing a generator. Proxied class is set once for all in raw_building. cCstS)N)rYZGeneratorModelrrrrrZszGenerator.NcCs ||_dS)N)rg)r)rgrrrr*szGenerator.__init__cCsdS)NFr)r)rrrr<szGenerator.callablecCsdtS)Nz %s.generator)r!)r)rrrr`szGenerator.pytypecCsdS)Nrr)r)rrrrBszGenerator.display_typecCsdS)NTr)r)rrrr=szGenerator.bool_valuecCsd|jj|jt|fS)Nz)r(rrur\)r)rrrr]szGenerator.__repr__cCs d|jjS)Nz Generator(%s))r(r)r)rrrr^szGenerator.__str__)N)rr/r0r1rrfrFr*r<r`rBr=r]r^rrrrrs rc@s0eZdZdZddZddZddZdd Zd S) AsyncGeneratorz,Special node representing an async generatorcCsdtS)Nz%s.async_generator)r!)r)rrrr`szAsyncGenerator.pytypecCsdS)Nrr)r)rrrrBszAsyncGenerator.display_typecCsd|jj|jt|fS)Nz!)r(rrur\)r)rrrr]szAsyncGenerator.__repr__cCs d|jjS)NzAsyncGenerator(%s))r(r)r)rrrr^"szAsyncGenerator.__str__N)rr/r0r1r`rBr]r^rrrrrs r)N)r1rr{sysryrr4rrZ lazy_importrYrrr!rZAstroidManagerZMANAGER version_inforbrrr&r'r7r@rArXrPrQrrrrrrsJ         "`=<h$