Mh+GdZddlmZddlmZddlmZddlmZddl m Z ddl m Z ddl mZdd lmZdd lmZdd lmZeZGd d eZGddZGddeZd#dZGddeZGddeZGddeZGddeZGddZ dZ!Gd d!Z"e"gZ#d"Z$dS)$a4 Values are the "values" that Python would return. However Values are at the same time also the "values" that a user is currently sitting in. A ValueSet is typically used to specify the return of a function or any other static analysis operation. In jedi there are always multiple returns and not just one. )reduce)add) zip_longest)Name)debug)clean_scope_docstringSimpleGetItemNotFound) safe_property)%inference_state_as_method_param_cache)memoize_methodceZdZdS) HasNoContextN)__name__ __module__ __qualname__Y/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/jedi/inference/base_value.pyrrsDrrceZdZdZdZdZdZdZddZd Z dd Z dd Z d Z dZ ddZdZdZedZdS)HelperValueMixinc`|}|j|S |j|S|j}N)parent_context as_context)selfvalues rget_root_contextz!HelperValueMixin.get_root_contextsB   '##%% % )#+ (E )rc:|j||S)N) argumentsinference_stateexecuterr s rr#zHelperValueMixin.execute(s#++DI+FFFrcnddlm}|d|D}|j||S)Nr)ValuesArgumentsc.g|]}t|gSrValueSet).0rs r z8HelperValueMixin.execute_with_values..-s"$O$O$O5Xug%6%6$O$O$Or)jedi.inference.argumentsr&r"r#)r value_listr&r s rexecute_with_valuesz$HelperValueMixin.execute_with_values+sK<<<<<<#O$O$OJ$O$O$OPP #++D)<<K|]}|VdSrinferr* lazy_values r z:HelperValueMixin.merge_types_of_iterate..7sB" "      " " " " " " rr) from_setsiterate)rcontextualized_nodeis_asyncs rmerge_types_of_iteratez'HelperValueMixin.merge_types_of_iterate6sE!!" " "ll+>II" " "    rc#Kt|tr|nd}||Ed{V|r>>>>>>>> <<>> + H H H H H H#^HdV$4$455 + +==??******** + + + +rTcddlm}||}|||}t jd||||S)Nr)finderzcontext.goto %s in (%s): %s)jedi.inferencerMrK filter_namerdbg)rrI name_contextanalysis_errorsrMfiltersnamess rgotozHelperValueMixin.gotoEsX))))))))+66""7K88 /dEJJJ rc||}||||}td|D}|s3t|tr|jn|}||}|s6|s4|r2t|trddlm}| |||tj d|||S)zZ :param position: Position of the last statement -> tuple of line, column Nc3>K|]}|VdSrr7)r*names rr;z6HelperValueMixin.py__getattribute__..Ts*#C#CTDJJLL#C#C#C#C#C#Crranalysisz context.names_to_types: %s -> %s) rUr)r=rErrpy__getattribute__alternativesrNrZadd_attribute_errorrrP) rrIrQpositionrRrTvaluesnrZs rpy__getattribute__z#HelperValueMixin.py__getattribute__Ls  L +|_EE###C#CU#C#C#CCC <%/ T%B%BS !! A88;;F 5V 5 5+t,, 5333333,, $ 555 4eVDDD rc|d}|stjd||S)N __await__z"Tried to run __await__ on value %s)r`rwarningr.)rawait_value_sets r py__await__zHelperValueMixin.py__await__asC11+>> F M> E E E22444rc|jjSr)rX string_namer1s r py__name__zHelperValueMixin.py__name__gs y$$rctjd||rddlm}t ||dddgS||S)Nz iterate %sr)LazyKnownValues __aiter__ __anext__rb) rrPjedi.inference.lazy_valuerjiterr`r.py__stop_iteration_returns py__iter__)rr?r@rjs rr>zHelperValueMixin.iteratejs ,%%%   A A A A A A++K88LLNN++K889L9L9N9N++K889L9L9N9N3355  2333rc>tjd|d|d5|D];}||r$tjddddddS BLUE)colorzmatched subclass TrueTzmatched subclass FalseF)rincrease_indent_cm py__mro__ is_same_classrP)r class_valueclss ris_sub_class_ofz HelperValueMixin.is_sub_class_ofzs#  % %$$$P[P[&\,2444  ~~''  $$[11 I5VDDDD           I.f = = = =                  sAB-BBBc|t|jtjkr||S||kSr)typervr)rclass2s rrvzHelperValueMixin.is_same_classs8 << %)9)G G G''-- -v~rc|j|i|Sr) _as_contextrargskwargss rrzHelperValueMixin.as_contextst0000rNF)NT)NNT)rrrrr#r.r2r4rArKrUr`rerhr>ryrvr rrrrrrs")))GGG=== ***       +++KO+/*555 %%%4444  11^111rrceZdZdZdZdZdZd#dZdZdZ d#dZ d#dZ d Z d Z d Zd Zd ZdZdZdZdZdZdZdZefdZdZdZdZdZdZdZdZ dZ!dZ"e#dZ$d$d!Z%d"Z&dS)%Valuez* To be implemented by subclasses. Nnot_defined_please_report_bugc"||_||_dSr)r"r)rr"rs r__init__zValue.__init__s.,rchddlm}||jd|jd|zt S)NrrYztype-error-not-subscriptablez+TypeError: '%s' object is not subscriptablemessage)rNrZrcontextnode NO_VALUES)rindex_value_setr?rZs r py__getitem__zValue.py__getitem__sN++++++  ' *  $ADH    rctrr )rindexs rpy__simple_getitem__zValue.py__simple_getitem__s##rc||,ddlm}||jd|jd|zt gS)NrrYztype-error-not-iterablez&TypeError: '%s' object is not iterabler)rNrZrrrrn)rr?rZs rrpzValue.py__iter__s\  * / / / / / / LL#+)#(@4G  I I I Bxxrc,||Sr)rp)rr?s r py__next__zValue.py__next__s2333rcgSrrr1s rget_signatureszValue.get_signaturess rcdSrrr1s ris_classzValue.is_classurcdSrrr1s ris_class_mixinzValue.is_class_mixinrrcdSrrr1s r is_instancezValue.is_instancerrcdSrrr1s r is_functionzValue.is_functionrrcdSrrr1s r is_modulezValue.is_modulerrcdSrrr1s r is_namespacezValue.is_namespacerrcdSrrr1s r is_compiledzValue.is_compiledrrcdSrrr1s ris_bound_methodzValue.is_bound_methodrrcdSrrr1s ris_builtins_modulezValue.is_builtins_modulerrcdS)z Since Wrapper is a super class for classes, functions and modules, the return value will always be true. Trr1s r py__bool__zValue.py__bool__s trcf |jjt|jS#t$rYdSwxYw)N) tree_node get_doc_noderAttributeErrorr1s r py__doc__zValue.py__doc__sH 9 N ' ')88 8   22 s " 00c<|turtd|z|S)Nz'There exists no safe value for value %s)sentinel ValueError)rdefaults rget_safe_valuezValue.get_safe_values& h  FMNN Nrc>tjd|||tS)Nz!%s not possible between %s and %srrcr)rotheroperators rexecute_operationzValue.execute_operations 98T5QQQrc:tjd|tS)Nzno execution possible %srr$s r py__call__zValue.py__call__s 0$777rc:tjd|tS)Nz0Not possible to return the stop iterations of %srr1s rroz Value.py__stop_iteration_returnss H$OOOrctS)zH For now a way to add values in cases like __getattr__. )r)rrIs rr[z$Value.py__getattribute__alternativess rcLtjd|t|gS)NzNo __get__ defined on %s)rrcr))rinstancerws r py__get__zValue.py__get__s% 0$777rctSr)NotImplemented)rcalling_instancerrws rpy__get__on_classzValue.py__get__on_classsrcdSrrr1s rget_qualified_nameszValue.get_qualified_namesstrc4|jSr)rrGr1s rrGz Value.is_stubs"**,,,rctr)rr1s rr~zValue._as_context srctrNotImplementedErrorr1s rrXz Value.names!!rTcdSrr)radd_class_infos r get_type_hintzValue.get_type_hintstrciS)an When the current instance represents a type annotation, this method tries to find information about undefined type vars and returns a dict from type var name to value set. This is for example important to understand what `iter([1])` returns. According to typeshed, `iter` returns an `Iterator[_T]`: def iter(iterable: Iterable[_T]) -> Iterator[_T]: ... This functions would generate `int` for `_T` in this case, because it unpacks the `Iterable`. Parameters ---------- `self`: represents the annotation of the current parameter to infer the value for. In the above example, this would initially be the `Iterable[_T]` of the `iterable` parameter and then, when recursing, just the `_T` generic parameter. `value_set`: represents the actual argument passed to the parameter we're inferred for, or (for recursive calls) their types. In the above example this would first be the representation of the list `[1]` and then, when recursing, just of `1`. r)r value_sets rinfer_type_varszValue.infer_type_varss 6 rrT)'rrr__doc__r array_typeapi_typerrrrprrrrrrrrrrrrrrrrrror[rrrrGr~propertyrXrrrrrrrsIJ.H----   $$$4444999&.     ---""X"rrNFcttd|||DS)z Calls `iterate`, on all values but ignores the ordering and just returns all values that the iterate functions yield. c3>K|]}|VdSrr7r9s rr;z!iterate_values..8sB  rr@r<)r^r?r@s riterate_valuesr3sI    ..)snEE]E**,,$$-,[$22222rrc@eZdZeedZdZdZdS)LazyValueWrapperctjd5|cdddS#1swxYwYdS)NzResolve lazy value wrapper)rrt_get_wrapped_valuer1s rrzLazyValueWrapper._wrapped_valueTs %&B C C - -**,, - - - - - - - - - - - - - - - - - -s 6::c d|jjzS)Nz<%s>) __class__rr1s r__repr__zLazyValueWrapper.__repr__Zs011rctrrr1s rrz#LazyValueWrapper._get_wrapped_value]s!!rN)rrrr r rrrrrrrrSsU--^]-222"""""rrceZdZdZdZdS) ValueWrapperc||_dSr)r)r wrapped_values rrzValueWrapper.__init__bs+rc0|jjd|jdS)N())rrrr1s rrzValueWrapper.__repr__es!>222D4G4G4GHHrN)rrrrrrrrrras7,,,IIIIIrrc$eZdZfdZdZxZS) TreeValuecZt||||_dSr)superrr)rr"rrrs rrzTreeValue.__init__js( .999"rc2d|jjd|jdS)N<: >)rrrr1s rrzTreeValue.__repr__ns !^444dnnnEEr)rrrrr __classcell__)rs@rrrisN#####FFFFFFFrrc&eZdZdZdZdZdZdS)ContextualizedNodec"||_||_dSr)rr)rrrs rrzContextualizedNode.__init__ss  rc4|jSr)rrr1s rrz#ContextualizedNode.get_root_contextws|,,...rc@|j|jSr)r infer_noderr1s rr8zContextualizedNode.inferzs|&&ty111rcBd|jjd|jd|jdS)Nrrz in r)rrrrr1s rrzContextualizedNode.__repr__}s(#'>#:#:#:DIIIt|||TTrN)rrrrrr8rrrrrrrsU///222UUUUUrrct}t}|D]}|d}t|tt t ttfvr* || |z}a#t$rYnwxYw| ||s|s&|| t||z}tjd||S)N)rzpy__getitem__ result: %s)rsetrr{floatintstrslicebytesrr rrr)rrP)r index_valuesr?result unused_values index_valuers r_getitemrs FEEM# ' ' **4*88 ;;5#sE59 9 9 %44U;;;(     +&&&&  L %%% ] # #     I(&111 Ms A99 BBceZdZdZedZedZdZdZdZ dZ dZ d Z d Z d Zd Zd ZdZdZddZdZdZdZdZdZdZdZdZddZdZdS) r)cft||_|D]}t|trJdSr) frozenset_setrEr))riterablers rrzValueSet.__init__sCh''  3 3E!%22 2 2 2 2 3 3rc>||}||_|Sr)__new__r)rx frozenset_rs r_from_frozen_setzValueSet._from_frozen_sets{{3  rct}|D]4}t|tr ||jz}"|t |z}5|t |S)z7 Used to work with an iterable of set. )rrEr)rrr!)rxsets aggregatedset_s rr=zValueSet.from_setssj UU  . .D$)) .di' ioo- ##Ij$9$9:::rcF||j|jzSrr!rrrs r__or__zValueSet.__or__$$TY%;<<.s(#>#>qCFF#>#>#>#>#>#>r)joinrr1s rrzValueSet.__repr__s*$))#>#>DI#>#>#>>>??rcR|t||jSr)rfilterr)r filter_funcs rr<zValueSet.filters ~~f[$)<<===rcfd}|S)NcXfdjDS)Nc3DK|]}t|iVdSr)r)r*rrrrXs rr;z7ValueSet.__getattr__..mapper..sP""%t$$d5f55""""""r)r=r)rrrXrs``rmapperz$ValueSet.__getattr__..mappersM>>""""""!Y""" rr)rrXrAs`` rrzValueSet.__getattr__s)        rc"|j|jkSrrr(s r__eq__zValueSet.__eq__syEJ&&rc.|| Sr)rDr(s r__ne__zValueSet.__ne__s;;u%%%%rc*t|jSr)hashrr1s r__hash__zValueSet.__hash__r/rc>td|jDS)Nc3>K|]}|VdSr) py__class__r*rJs rr;z'ValueSet.py__class__..s*;;A ;;;;;;r)r)rr1s rrLzValueSet.py__class__s!;;;;;;;;rNFc#Kddlm}fd|jD}t|D]}|d|DVdS)Nr)get_merged_lazy_valuec>g|]}|S)r)r>)r*rJr?r@s rr+z$ValueSet.iterate..s*[[[Aaii 3hiGG[[[rcg|]}||Srr)r*ls rr+z$ValueSet.iterate..s999q1====r)rmrOrr)rr?r@rO type_iters lazy_valuess `` rr>zValueSet.iteratesCCCCCC[[[[[QUQZ[[[ & 3  K''99K999      rcZtfd|jDS)Nc3NK|]}|j|V dSrr!)r*rJr s rr;z#ValueSet.execute..s6!]!]a!"3";";Ay"I"I!]!]!]!]!]!]rr)r=rr$s `rr#zValueSet.executes0!!!]!]!]!]SWS\!]!]!]]]]rc^tfd|jDS)Nc32K|]}|jiVdSrr0r*rJrrs rr;z/ValueSet.execute_with_values..s6!\!\Q"7!"7"H"H"H!\!\!\!\!\!\rrWrs ``rr.zValueSet.execute_with_valuess4!!!\!\!\!\!\RVR[!\!\!\\\\rcVttfd|jDgS)Nc*g|]}|jiSr)rUrZs rr+z!ValueSet.goto..s*GGGFAFD3F33GGGr)rrrrs ``rrUz ValueSet.gotos0cGGGGGTYGGGLLLrc^tfd|jDS)Nc32K|]}|jiVdSr)r`rZs rr;z.ValueSet.py__getattribute__..s6![![A"6!"6"G"G"G![![![![![![rrWrs ``rr`zValueSet.py__getattribute__s4!!![![![![![QUQZ![![![[[[rc^tfd|jDS)Nc38K|]}t|gRiVdSr)rrZs rr;z$ValueSet.get_item..s;!R!R1(1">t">">">v">">!R!R!R!R!R!RrrWrs ``rget_itemzValueSet.get_items2!!!R!R!R!R!R !R!R!RRRRrc|g}|jD]0} t||}||z}!#t$rY-wxYw|Sr)rrrr)r function_namerrJmethods r try_mergezValueSet.try_mergesvNN2&&  & &A & M22VVXX% "    s> A  A cTtd|jDS)Nc6g|]}|Sr)r4rMs rr+z6ValueSet.gather_annotation_classes..s$"T"T"TQ1#>#>#@#@"T"T"TrrWr1s rr4z"ValueSet.gather_annotation_classess'!!"T"T$)"T"T"TUUUrc$d|jDS)Nc@g|]}|D]}|Sr)r)r*rJsigs rr+z+ValueSet.get_signatures..s1EEE!2B2B2D2DEE3EEEErrCr1s rrzValueSet.get_signaturessEETYEEEErTctfd|jD}ttd|}t|dkr|dSd|v}|r|dt|dkrdSt|dkr |d}ndd|z}|rd|z}|S)Nc<g|]}|S))r)r)r*vrs rr+z*ValueSet.get_type_hint..s' O O OQ__N_ ; ; O O OrrNonez Union[%s]r7z Optional[%s])rsortedr<r4remover:)rrt type_hintsoptionalr9s ` rrzValueSet.get_type_hints O O O OTY O O OF4OO,, z??a  a= Z'  &   f % % % z??a  4 __ ! !1 AAdii 333A  #"Archddlm}i}|jD]!}||||"|S)Nr)merge_type_var_dicts)!jedi.inference.gradual.annotationrvrr)rrrv type_var_dictrs rrzValueSet.infer_type_varss`JJJJJJ Y  E %%i00    rrr)rrrrrr!r=r)r,r.r2r5rr<rrDrFrIrLr>r#r.rUr`rarer4rrrrrrr)r)s333 [  ; ;[ ;======@@@>>>'''&&&<<<^^^]]]MMM\\\SSS   VVVFFF(     rr)cfd}|S)Nc.t|i|Srr()rrfuncs rwrapperz&iterator_to_value_set..wrapper+s d-f--...rr)r{r|s` riterator_to_value_setr}*s#///// Nrr)%r functoolsrrr itertoolsrparso.python.treerjedirjedi.parser_utilsrjedi.inference.helpersr jedi.inference.utilsr jedi.inference.cacher jedi.cacher objectr Exceptionrrrrrrrrrrr)rr}rrrrs!!!!!!""""""333333888888......FFFFFF%%%%%% 688     9   o1o1o1o1o1o1o1o1daaaaa aaaH22222(222* " " " " "( " " "IIIII$IIIFFFFFFFF U U U U U U U U6HHHHHHHHV HRLL r