3 %^#@sdZddlZddlmZddlmZddlmZddlmZddlm Z ddlm Z dd lm Z dd lm Z ej Zd d Zd dZd'ddZd(ddZd)ddZd*ddZd+ddZd,ddZd-ddZddZdd Zd!d"Zd#d$Zd.d%d&ZdS)/z Various helper utilities. N)bases)context) exceptions)manager)nodes) raw_building) scoped_nodes)utilcCstj|}||_|S)N)rZ build_classparent)cls_namebuiltinsproxyr2/tmp/pip-build-8app2_gc/astroid/astroid/helpers.py_build_proxy_classs rcCsRt|tjr&|jjtkr d}qHd}n"t|tjr8d}nt|tjrHd}t ||S)NZbuiltin_function_or_methodfunctionmethod) isinstancerLambdarootnameBUILTINSr BoundMethod UnboundMethodr)rr r rrr_function_type"s   rccstj}|j}|ptj}x|j|dD]}t|tjrh|j rV|j |d}|rV|Vq(|j ddVq(t|tj t jfrt||Vq(t|tjrtd|Vq(|jVq(WdS)N)rtypermodule)rZAstroidManagerZbuiltins_module contextmodInferenceContextinferrrClassDefnewstyle metaclassgetattrrrrrModulerZ_proxied)noderZastroid_managerr inferredr"rrr _object_type/s     r'c CsPytt||}Wntjk r*tjSXt|dks>| rDtjSt|dS)aUObtain the type of the given node This is used to implement the ``type`` builtin, which means that it's used for inferring type calls, as well as used in a couple of other places in the inference. The node will be inferred first, so this function can support all sorts of objects, as long as they support inference. r)setr'rInferenceErrorr Uninferablelenlist)r%rtypesrrr object_typeDs r/cCs|t|ttfs|f}n|}|tjkr*tjSdd|D}x>|D]6}|tjkrVtjdx|jD]}||kr`dSq`Wq>WdS)NcSs"g|]}t|tjs|ntjqSr)rrZInstancer r+).0itemrrr bsz,_object_type_is_subclass..z&arg 2 must be a type or tuple of typesTF)rtupler-r r+rAstroidTypeErrormro)obj_type class_or_seqrZ class_seqklassZ obj_subclassrrr_object_type_is_subclassWs     r9cCs(t||}|tjkrtjSt|||dS)zCheck if a node 'isinstance' any node in class_or_seq :param node: A given node :param class_or_seq: Union[nodes.NodeNG, Sequence[nodes.NodeNG]] :rtype: bool :raises AstroidTypeError: if the given ``classes_or_seq`` are not types )r)r/r r+r9)r%r7rr6rrrobject_isinstancers  r:cCs*t|tjstdj|dt|||dS)arCheck if a type is a subclass of any node in class_or_seq :param node: A given node :param class_or_seq: Union[Nodes.NodeNG, Sequence[nodes.NodeNG]] :rtype: bool :raises AstroidTypeError: if the given ``classes_or_seq`` are not types :raises AstroidError: if the type of the given node cannot be inferred or its type's mro doesn't work z"{node} needs to be a ClassDef node)r%)r)rrr TypeErrorformatr9)r%r7rrrrobject_issubclasss r=cCsjy|j|d}t|}Wntjk r.dSXy t|dStjk rRdStk rd|SXdS)zReturn the inferred value for the given node. Return None if inference failed or if there is some ambiguity (more than one node has been inferred). )rN)rnextrr* StopIteration)r%rZinferitvaluerrr safe_infers  rAc Cspy|jStk rYnXxH|jD]>}t||d}t|tj sX||ksXt||d r$d|_dSq$Wd|_dS)z=Return true if all base classes of a class could be inferred.)rFT)Z_all_bases_knownAttributeErrorrrArrr has_known_bases)r8rbaseresultrrrrCs  rCc Csbttt||fstjt|j|jgs,dSy||jddkStjk r\tjYnXdS)NFr()allmaprCrZ_NonDeducibleTypeHierarchyr!r5ZMroError)type1type2rrr _type_checksrKcCs t||dS)z)Check if *type1* is a subtype of *type2*.)rIrJ)rK)rIrJrrr is_subtypesrLcCs t||S)z+Check if *type2* is a supertype of *type1*.)rK)rIrJrrr is_supertypesrMc Cstj}tj|gd|_y^xX|jd|dD]F}t|tjsrPZAttributeInferenceErrorr4r<ZpytyperQ)r%rrUZ inferred_nodeZ node_typeZlen_callZ result_of_lenrrr object_lens.        r_)N)N)N)N)N)N)N)N)__doc__r Z builtins_modZastroidrrrrrrrrr __name__rrrr'r/r9r:r=rArCrKrLrMrTr_rrrr s0