ccdZddlmZddlZddlZddlZddlmZddlmZm Z m Z ddl m Z m Z ddlmZddlmZmZmZmZdd lmZmZmZmZdd lmZmZmZdd lmZm Z m!Z!ej"d krdd lm#Z#ndd l$m#Z#erddl%m&Z&e!dZ'e!dZ(e!dZ)dZ*dZ+ddhZ,ere,-dhdZ.d4d5dZ/GddZ0 d4d6d$Z1d%Z2Gd&d'e0Z3Gd(d)e3Z4Gd*d+e0Z5Gd,d-e5Z6Gd.d/e3Z7Gd0d1e7Z8Gd2d3e3Z9dS)7zXThis module contains base classes and functions for the nodes and some inference utils. ) annotationsN)Sequence) TYPE_CHECKINGAnyClassVar) decoratorsnodes) PY310_PLUS) CallContextInferenceContextbind_context_to_node copy_context)AstroidTypeErrorAttributeInferenceErrorInferenceErrorNameInferenceError) InferBinaryOpInferenceErrorInfoInferenceResult) Uninferablelazy_descriptor lazy_import))Literal) Constraintzinterpreter.objectmodelhelpersmanager__bool__builtinszbuiltins.propertyzabc.abstractpropertyz enum.property> lazyreify LazyProperty lazyproperty lazy_property lazyattributecache_readonlycachedpropertylazy_attributecached_propertyDynamicClassAttributecontextInferenceContext | Nonereturnboolc||}t|rdSd|DtfdtDrdS|jsdS|jjpdD]}t||}| |tur*|j j dkrR|j D]J}|j j dkr| |j\}}|jd kr|jd krdSKdS) Nr,TcVh|]&}|tu |dd'S).)rsplit).0names -lib/python3.11/site-packages/astroid/bases.py z_is_property..QsA $$k:Q 3c3 K|]}|vV dSN)r6r7strippeds r8 z_is_property..Ts( < <48  < < < < < s @r8 _is_propertyrSMsX(((99N~..t(6H < < < <(; < < <<<t ?u_*0b   %%i%AA  x;6     &* 4 &n  '0F:&--jo>> ;*, J1N 444 5r:c@eZdZUdZdZded< dddZd Z dddZdS)ProxyzA simple proxy object. Note: Subclasses of this object will need a custom __getattr__ if new instance attributes are created. See the Const class N,nodes.ClassDef | nodes.Lambda | Proxy | None_proxiedproxiedr.Nonecn|+t|tjttfsJdS||_dSr<) isinstancer Const Generator UnionTyperW)selfrXs r8__init__zProxy.__init__vs>  $dU[)Y$GHH H H H H H#DMMMr:c||dkr |jjS||jvr |j|St|j|S)NrW)rIrW__dict__getattr)r_r7s r8 __getattr__zProxy.__getattr__sH :  +>* * 4=  '=& &t}d+++r:r,r-kwargsrKcollections.abc.Generator[InferenceResult, None, InferenceErrorInfo | None]c+K|VdSr<r=)r_r,res r8inferz Proxy.infers r:r<)rXrVr.rY)r,r-rerr.rf) rJ __module__ __qualname____doc__rW__annotations__r`rdrhr=r:r8rUrUis   GK $ $ $ $ $,,,26r:rUstmts5Sequence[nodes.NodeNG | type[Uninferable] | Instance]framenodes.NodeNG | Instance | None6collections.abc.Generator[InferenceResult, None, None]c# Kd}d}|7|j}|}|j|i}nd}i}t }|D]}|t ur|Vd}||||_ t}|D]/\} } | |s| | 0| |D]& t fd|Dr Vd}$d}'#t$rYt$rt Vd}YwxYw|s |r t VdS|std|||dS)zGReturn an iterator on statements inferred by each statement in *stmts*.FNTr1c3BK|]}|VdSr<) satisfied_by)r6 constraintinfs r8r?z_infer_stmts..s1WW z..s33WWWWWWr:z.Inference failed for all members of {stmts!r}.)rmror,) lookupnameclone constraintsgetr r _infer_namesetitems parent_ofupdaterhallrr) rmr,rorOconstraint_failedr7rystmtstmt_constraintsconstraint_stmtpotential_constraintsrvs @r8 _infer_stmtsrs H%!--//)--dB77  "$$ ;  JJJH !--eT:: 03 :E:K:K:M:M C C6!6&0066C$++,ABBBzz'z22 - -WWWWFVWWWWW-III#HH(,%%  - "    H      HHH   )    <       sBD D6D65D6c t|||d}|rt|dr|stS t g||_|||D]l}|tur|cS t||}n##t$r}t||d}~wwxYw| cSn#t$rYnwxYwtS)Nr1infer_call_resultargscallee) nextigetattrhasattrcallablerr callcontextrrh StopIterationr bool_value)instance method_namer,rMvaluerOes r8_infer_method_result_truthrsF !!+w!?? F FD 122}}   "-2d"C"C"CG //'/JJ - -K'! LLLA#EKKK$@$@AAHH$AAA(999q@A**,,,,, -    D  s6;C/#B54C/5 C?CCC// C<;C<cHeZdZdZdZddZddd Zddd Zddd Z dddZ dS) BaseInstancezWAn instance base class, which provides lookup methods for potential instances. Nr.strcdSNz Instance ofr=r_s r8 display_typezBaseInstance.display_type}r:Tr,r-c |j||}ny#t$rl}|jr)||jvr |j|gcYd}~S|r"|j||dcYd}~St||||d}~wwxYw|r1 ||j||dzS#t$rYnwxYw|S)NF class_context)target attributer,)rW instance_attrrspecial_attributesrLrc)r_r7r, lookupclassvaluesexcs r8rczBaseInstance.getattrs= ]00w??FF&   & >443J+J >/66t<<======= Q},,T7%,PPPPPPPP)tW      5 5'!6!!+     s> B*BBB6B<BBB:: CCc #4K|st} ||_||jrt d|||||d}t |||||Ed{VdS#t$r |jj j dkr|j ||d}|||Ed{VYdS#t$r}t d it||d}~wwxYwwxYw) zInferred getattr.z%Cannot infer the same attribute again)messagenoder,F)r)roNr@rr=) r rwpushrWrrcr _wrap_attrrrIrJrvars)r_r7r,get_attrattrserrors r8rzBaseInstance.igetattrs )&((G ?!%G ||DM** $C#||D'u|EEH#'22G4         ' ? ? ? ?=*3zA ..tWE.RR??5'::::::::::::* ? ? ?$33tE{{33> ? ?s+A7B DAC** D4DDDc#xK|D]}t|tr?t|r|||Ed{VCt ||VVt |drJ|jdkr?|jjr.|jjdjdkrt ||V|V|VdS)z8Wrap bound methods of attrs in a InstanceMethod proxies.Nr7zrr_) r[ UnboundMethodrSr BoundMethodrr7r arguments)r_rr,attrs r8rzBaseInstance._wrap_attr s  D$ .. %%2#55dGDDDDDDDDDD%dD111111v&& 49 +B 9&49+>q+A+F&+P%dD11111    r:callernodes.Call | Proxyc#Kt||}d}t|tjrHt|jtjr)||jj|D]}d}|V |jd|D]?}|tus| s | ||D]}d}|V @|st|||dS)z5Infer what a class instance is returning when called.FT__call__)rrr,N) r r[r Callfunc AttributerattrnamerWrrrr)r_rr,rOresrs r8rzBaseInstance.infer_call_result0s'w55 fej ) ) jeo.V.V }}V[%97CC   M**:w??  D{" $--// --fg>>     L d67KKK K L Lr:r.rNTr,r-r<)rrr,r-) rJrirjrkrrrcrrrr=r:r8rrs4?????>"NRLLLLLLLr:rceZdZUdZded<edZdfd Zd ed <dd ZddZ ddZ ddZ ddZ dddZ dddZxZS)Instancez-A special node representing a class instance.nodes.ClassDefrWc4tSr<) objectmodel InstanceModelr=r:r8zInstance.Ns1J1J1L1Lr:rXnodes.ClassDef | Noner.rYcJt|dSr<)superr`)r_rXrIs r8r`zInstance.__init__Ps! !!!!!r:z!ClassVar[InferBinaryOp[Instance]]infer_binary_oprcd|jj|jjt |S)Nz)formatrWrootr7idrs r8__repr__zInstance.__repr__Us=,33 M   %t}'92d88   r:c^d|jjd|jjS)Nz Instance of r3)rWrr7rs r8__str__zInstance.__str__Zs.Ndm00227NN$-:LNNNr:r/cb |jdddS#t$rYdSwxYw)NrFrT)rWrcrrs r8rzInstance.callable]sI  M ! !*E ! B B B4&   55 s  ..c4|jSr<)rWqnamers r8pytypezInstance.pytypeds}""$$$r:cdSrr=rs r8rzInstance.display_typegrr:Nr,r-c|p t}||_ t|t|}nC#tt f$r/ t|d|}n#t tf$rYYdSwxYwYnwxYw|S)aWInfer 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. __len__T)r boundnoderBOOL_SPECIAL_METHODrr)r_r,results r8rzInstance.bool_valuejs/-//  /6I7SSFF 78    3D)WMM+^<   ttt    s30A0AA0A*%A0)A**A0/A0ct||}|s|}t|d|d}t|g||_t |t std||t|j j dkrtd||t| ||dS)N __getitem__r1rz(Could not find __getitem__ for {node!r}.)rr,z8__getitem__ for {node!r} does not have correct signature) r rrr rr[rrlenrrrr)r_indexr, new_contextmethods r8getitemzInstance.getitems*7D99  "!GdmmM7mCCTJJ"-E76"J"J"J &+..  :w  v{$ % % * "J  F,,T;??FFFr:)rXrr.rYr)r.r/r<r)rJrirjrkrlrrr`rrrrrrr __classcell__rIs@r8rrHs77))L)LMM""""""7666    OOOO%%%%4GGGGGGGGGr:rcneZdZdZedZddZddZdd Zddd Z dddZ dZ ddZ dddZ d S)rz>A special node representing a method not bound to an instance.c4tSr<)rUnboundMethodModelr=r:r8rzUnboundMethod.s1O1O1Q1Qr:r.rc|jjd}d|jj|jj|t|S)NTfuturez<{} {} of {} at 0x{}) rWparentrorrIrJr7rr)r_ros r8rzUnboundMethod.__repr__sV $**$*77%,, N #T]%74   r: Literal[0]cdS)Nrr=rs r8implicit_parametersz!UnboundMethod.implicit_parameterssqr:Literal[False]cdSNFr=rs r8is_boundzUnboundMethod.is_boundur:Nr,r-c||jvr|j|gS|j||Sr<)rrLrWrcr_r7r,s r8rczUnboundMethod.getattrsD 4* * :+224889 9}$$T7333r:c||jvr(t|j|fS|j||Sr<)riterrLrWrrs r8rzUnboundMethod.igetattrsM 4* * A077==?@@ @}%%dG444r:c|jjdkrc|jjd}|dr|dkr|||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 be 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__Trz builtins. builtins.type)rWr7rror startswith_infer_builtin_newr)r_rr,rs r8rzUnboundMethod.infer_call_results =  * @M(..d.;;AACCE ,, @/1I @..vw???}..vw???r:r nodes.Callr Qcollections.abc.Generator[nodes.Const | Instance | type[Uninferable], None, None]c#K|jsdSt|jdkrd}t|jdtjr|jdj}nNt |jdd}t|tjr|j}|tj|VdS|j |jd}|jd|D]@}|tur|Vt|tj rt|VtdS)Nrr1)rrr[r r\rrrh const_factory extra_contextrzrr@rr)r_rr,r inferred_arg node_contextrOs r8rz UnboundMethod._infer_builtin_newsN{  F v{  a  E&+a.%+66 / A,#FKN$8$8$:$:DAA lEK88/(.E )%00000,00Q@@  A,,\,BB ! !H;& (EN33 )x(((((  ! !r: Literal[True]cdSrr=r_r,s r8rzUnboundMethod.bool_valuetr:r)r.rr.rr<r)rrr,r r.rr,r-r.r )rJrirjrkrrrrrrcrrrrr=r:r8rrsHH))Q)QRR    44444 55555 @@@(!!!!<r:rcheZdZdZedZfdZddZddZd Z ddfd Z dddZ xZ S)rz:A special node representing a method bound to an instance.c4tSr<)rBoundMethodModelr=r:r8rzBoundMethod.s1M1M1O1Or:cXt|||_dSr<)rr`bound)r_proxyrrIs r8r`zBoundMethod.__init__s&  r:r. Literal[0, 1]c |jdkrdSdS)Nrrr)r7rs r8rzBoundMethod.implicit_parameterss 9 ! 1qr:r cdSrr=rs r8rzBoundMethod.is_boundr r:cddlm} t|jd}n##t $r}t |d}~wwxYw|jjdkrdS| dsdS t|jd}n##t $r}t |d}~wwxYw|jjdkrdSt|j tsdS t|jd }n##t $r}t |d}~wwxYw|jjd krdS fd |j D}n##t $r}t |d}~wwxYwtd |DrdS t|jd } n##t $r}t |d}~wwxYw| jjdkrdStjt"} | jD]\} } t| } n##t $r}t |d}~wwxYw t| } n##t $r}t |d}~wwxYw| jjdkr:t| j tr | | j | ||j |j|j|} |}| |j |ggd|g| | _| 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)Passr1Nr@rrr\rTuplecVg|]%}t|&S)r1)rrh)r6eltr,s r8 z4BoundMethod._infer_type_new_call..(s/UUU3d399W9#=#=>>UUUr:c36K|]}|jjdkVdS)r@N)rIrJ)r6bases r8r?z3BoundMethod._infer_type_new_call..+s,PPt~&*4PPPPPPr:rDict)r7lineno col_offsetrT)rKbodyrnewstyle metaclasskeywords) astroid.nodesrrrrhrrrIrJ is_subtype_ofr[rreltsrF collections defaultdictlistr}appendr"r#postinitlocals)r_rr,rmcsrr7rKinferred_basesr cls_localskeyrclsemptys ` r8_infer_type_new_callz BoundMethod._infer_type_new_calls '&&&&& 9v{1~++G+<<==CC 9 9 9 111q 8 9 = !Z / 4  11 4 9 A,,W,==>>DD 9 9 9 111q 8 9 > "g - 4$*c** 4 9Q--g->>??EE 9 9 9 111q 8 9 ? #w . 4 9UUUU%*UUUNN 9 9 9 111q 8 9 PPPPP P P 4 9Q--g->>??EE 9 9 9 111q 8 9 ? #v - 4 ,T22 + 4 4JC =399W95566  = = =$W5551< = =U[[[99::  = = =$W5551< =}%0 4Z 35O5O 439%,,U333mm=(     *       s.8 AAA.B44 C>CC.D55 E?EE+E?? F FF>.G-- H 7HH #I,, J 6JJ #J44 K>KKNr,r-cRt||j}|jjjdkr[|jjdkrK|jdkr@t |jdkr(|||}|rt|fSt ||S)Nr@typer) r rrIrJr7rrr7rrr)r_rr,new_clsrIs r8rzBoundMethod.infer_call_resultXs&w ;; J )Z 7 ( 6) ( Y& (FK  A% (//@@G (WJ'''ww((999r:cdSrr=r s r8rzBoundMethod.bool_valuegr r:)r.r)r.r r<rr) rJrirjrkrrr`rrr7rrrrs@r8rrsDD))O)OPP YYYv : : : : : : :r:rceZdZUdZded<eejZ ddfd Z e j dZ dd Z dd ZddZdddZddZddZxZS)r]zeA special node representing a generator. Proxied class is set once for all in raw_building. rrWNgenerator_initial_contextr-c~t||_t||_dSr<)rr`rr _call_context)r_rr>rIs r8r`zGenerator.__init__us9  )*CDDr:c#TK|j|jEd{VdSr<)rinfer_yield_resultr@rs r8infer_yield_typeszGenerator.infer_yield_types|s7;11$2DEEEEEEEEEEEr:r.rcdSrr=rs r8rzGenerator.callablerr:Literal['builtins.generator']cdS)Nzbuiltins.generatorr=rs r8rzGenerator.pytypes##r:rcdS)Nr]r=rs r8rzGenerator.display_type{r:r,r cdSrr=r s r8rzGenerator.bool_valuer r:cRd|jjd|jdt|dS)Nz rWr7r"rrs r8rzGenerator.__repr__0ST]/SST[SS4SSSSr:c"d|jjdS)Nz Generator()rWr7rs r8rzGenerator.__str__1DM.1111r:)NN)r>r-r)r.rErr<r)rJrirjrkrlrrGeneratorModelrr`rcachedrCrrrrrrrrs@r8r]r]ks  ()CDDQUEEEEEEEFFF$$$$TTTT22222222r:r]c2eZdZdZd dZd dZd dZd dZd S) AsyncGeneratorz-Special node representing an async generator.r.#Literal['builtins.async_generator']cdS)Nzbuiltins.async_generatorr=rs r8rzAsyncGenerator.pytypes))r:rcdS)NrWr=rs r8rzAsyncGenerator.display_typesr:cRd|jjd|jdt|dS)Nzrys #""""" $$$$$$//////////%%%%%%%%$$$$$$  NMMMMMMMMMBBBBBBBBBBv*)))))).------k344 +i  +i ! !#9 :  $NN?###   8&&&&&&&&X-12 2 2 2 2 j,hLhLhLhLhL5hLhLhLVMGMGMGMGMG|MGMGMG`OOOOOEOOOd~~~~~-~~~B%2%2%2%2%2 %2%2%2P 7 7 7 7 7Y 7 7 7 #2#2#2#2#2 #2#2#2#2#2r: