B a)@sdZddlmZddlmZddlmZmZmZmZm Z ddl m Z ddl m Z mZmZmZmZddZd d Zd$d d Zd%ddZd&ddZd'ddZd(ddZd)ddZd*ddZddZddZddZd d!Zd+d"d#Zd S),z Various helper utilities. )bases)context)managernodes raw_building scoped_nodesutil)BUILTINS)AstroidTypeErrorAttributeInferenceErrorInferenceErrorMroError_NonDeducibleTypeHierarchycCst|}||_|S)N)rZ build_classparent)cls_namebuiltinsproxyr3/tmp/pip-unpacked-wheel-mm06h1t3/astroid/helpers.py_build_proxy_class"s rcCsRt|tjr&|jtkr d}qHd}n"t|tjr8d}nt|tjrHd}t ||S)NZbuiltin_function_or_methodfunctionmethod) isinstancerLambdarootnamer r BoundMethod UnboundMethodr)rrrrrr_function_type(s   rNccst}|j}|pt}x|j|dD]}t|tjrh|j rV|j |d}|rV|Vq(| ddVq(t|tj t jfrt||Vq(t|tjrtd|Vq(|jVq(WdS)N)rtypermodule)rZAstroidManagerZbuiltins_module contextmodInferenceContextinferrrClassDefnewstyle metaclassgetattrrrrrModuler_proxied)noderZastroid_managerrinferredr&rrr _object_type5s     r,cCsLytt||}Wntk r(tjSXt|dks:|s@tjSt|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,r r Uninferablelenlist)r*rtypesrrr object_typeJs r3cCszt|ttfs|f}n|}|tjkr*tjSdd|D}x<|D]4}|tjkrTtdx|D]}||kr^dSq^Wq>WdS)NcSs"g|]}t|tjs|ntjqSr)rrInstancerr/).0itemrrr hsz,_object_type_is_subclass..z&arg 2 must be a type or tuple of typesTF)rtupler1rr/r mro)obj_type class_or_seqrZ class_seqklassZ obj_subclassrrr_object_type_is_subclass]s    r=cCs(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)r3rr/r=)r*r;rr:rrrobject_isinstancexs  r>cCs(t|tjst|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 needs to be a ClassDef node)r)rrr$ TypeErrorr=)r*r;rrrrobject_issubclasss r@c Csjy|j|d}t|}Wnttfk r0dSXy t|dStk 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)r#nextr StopIteration)r*rZinferitvaluerrr safe_infers  rDcCsly|jStk rYnXxD|jD]:}t||d}t|tjrT||ksTt||ds$d|_dSq$Wd|_dS)z=Return true if all base classes of a class could be inferred.)rFT)Z_all_bases_knownAttributeErrorrrDrrr$has_known_bases)r<rbaseresultrrrrFs    rFc Cslttt||fstt|j|jgs*dSy||ddkStk rf}z t|Wdd}~XYnXdS)NF)allmaprFrr%r9r )type1type2errr _type_checksrOcCs t||dS)z)Check if *type1* is a subtype of *type2*.)rLrM)rO)rLrMrrr is_subtypesrPcCs t||S)z+Check if *type2* is a supertype of *type1*.)rO)rLrMrrr is_supertypesrQcCst}tj|gd|_y^xX|jd|dD]F}t|tjsr@rDrFrOrPrQrXrhrrrrs&