jHdZddlmZddlmZddlmZddlmZm Z ddl m Z ddl m Z ddlmZdd lmZdd lmZdd lmZdd lmZeZerdd lmZGddeZGddZGddeZd%dZ GddeZ!Gdde!Z"Gdde!Z#GddeZ$Gdd Z%d!Z&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) TYPE_CHECKINGAny)Name)debug)clean_scope_docstringSimpleGetItemNotFound) safe_property)%inference_state_as_method_param_cache)memoize_method)InferenceStateceZdZdS) HasNoContextN)__name__ __module__ __qualname__f/var/www/finuniver-perm.ru/html/student/venv/lib/python3.11/site-packages/jedi/inference/base_value.pyrrsDrrceZdZUeed<ded<eed<eed<eed<eed<eed<eed <eed <d Zd Zd ZdZdZ ddZ dZ ddZ ddZ dZdZddZdZdZedZdS) HelperValueMixinparent_contextrinference_statename get_filtersis_stubpy__getattribute__alternatives py__iter__ py__mro__ _as_contextc`|}|j|S |j|S|j}N)r as_context)selfvalues rget_root_contextz!HelperValueMixin.get_root_context,sB   '##%% % )#+ (E )rc:|j||S)N) argumentsrexecuter'r+s rr-zHelperValueMixin.execute6s#++DI+FFFrcnddlm}|d|D}|j||S)Nr)ValuesArgumentsc.g|]}t|gSrValueSet).0r(s r z8HelperValueMixin.execute_with_values..;s"$O$O$O5Xug%6%6$O$O$Or)jedi.inference.argumentsr0rr-)r' value_listr0r+s rexecute_with_valuesz$HelperValueMixin.execute_with_values9sK<<<<<<#O$O$OJ$O$O$OPP #++D)<<s'')))rc"t|gSr%r2r's rgather_annotation_classesz*HelperValueMixin.gather_annotation_classesAsrNFcrtd|||DS)Nc3>K|]}|VdSr%inferr4 lazy_values r z:HelperValueMixin.merge_types_of_iterate..EsB" "      " " " " " " rr3 from_setsiterate)r'contextualized_nodeis_asyncs rmerge_types_of_iteratez'HelperValueMixin.merge_types_of_iterateDsE!!" " "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.inferencerVrT filter_namer dbg)r'rR name_contextanalysis_errorsrVfiltersnamess rgotozHelperValueMixin.gotoSsX))))))))+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|]}|VdSr%rB)r4rs rrFz6HelperValueMixin.py__getattribute__..bs*#C#CTDJJLL#C#C#C#C#C#Crranalysisz context.names_to_types: %s -> %s) r^r3rHrPrr(r rWrbadd_attribute_errorr rY) r'rRrZpositionr[r]valuesnrbs rpy__getattribute__z#HelperValueMixin.py__getattribute__Zs  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)rgr warningr8)r'await_value_sets r py__await__zHelperValueMixin.py__await__osC11+>> F M> E E E22444rc|jjSr%)r string_namer>s r py__name__zHelperValueMixin.py__name__us y$$rctjd||rddlm}t ||dddgS||S)Nz iterate %sr)LazyKnownValues __aiter__ __anext__ri) r rYjedi.inference.lazy_valuerqiterrgr8py__stop_iteration_returnsr!)r'rJrKrqs rrIzHelperValueMixin.iteratexs ,%%%   A A A A A A++K88LLNN++K889L9L9N9N++K889L9L9N9N3355  2333rc>tjd|d|d5|D];}||r$tjddddddS BLUE)colorzmatched subclass TrueTzmatched subclass FalseF)r increase_indent_cmr" is_same_classrY)r' class_valueclss ris_sub_class_ofz HelperValueMixin.is_sub_class_ofs#  % %$$$P[P[&\,2444  ~~''  $$[11 I5VDDDD           I.f = = = =                  sAB-BBBc|t|jtjkr||S||kSr%)typer{r)r'class2s rr{zHelperValueMixin.is_same_classs8 << %)9)G G G''-- -v~rc|j|i|Sr%)r#r'argskwargss rr&zHelperValueMixin.as_contextst0000rNF)NT)NNT)rrrr__annotations__r)r-r8r<r?rLrTr^rgrlrorIr~r{rr&rrrrr!s%%%% III LLL$''''OOONNN)))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%)rr)r'rrs r__init__zValue.__init__s.,rchddlm}||jd|jd|zt S)Nrraztype-error-not-subscriptablez+TypeError: '%s' object is not subscriptablemessage)rWrbrr;node NO_VALUES)r'index_value_setrJrbs r py__getitem__zValue.py__getitem__sN++++++  ' *  $ADH    rctr%r )r'indexs rpy__simple_getitem__zValue.py__simple_getitem__s##rc||,ddlm}||jd|jd|zt gS)Nrraztype-error-not-iterablez&TypeError: '%s' object is not iterabler)rWrbrr;rru)r'rJrbs rr!zValue.py__iter__s\  * / / / / / / LL#+)#(@4G  I I I Bxxrc,||Sr%)r!)r'rJs r py__next__zValue.py__next__s2333rcgSr%rr>s rget_signatureszValue.get_signaturess rcdSrrr>s ris_classzValue.is_classurcdSrrr>s ris_class_mixinzValue.is_class_mixinrrcdSrrr>s r is_instancezValue.is_instancerrcdSrrr>s r is_functionzValue.is_functionrrcdSrrr>s r is_modulezValue.is_modulerrcdSrrr>s r is_namespacezValue.is_namespacerrcdSrrr>s r is_compiledzValue.is_compiledrrcdSrrr>s ris_bound_methodzValue.is_bound_methodrrcdSrrr>s 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. Trr>s r py__bool__zValue.py__bool__s trcf |jjt|jS#t$rYdSwxYw)N) tree_node get_doc_noder AttributeErrorr>s 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)r'defaults rget_safe_valuezValue.get_safe_values& h  FMNN Nrc>tjd|||tS)Nz!%s not possible between %s and %sr rjr)r'otheroperators 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 %srr>s rrvz Value.py__stop_iteration_returnss H$OOOrctS)zH For now a way to add values in cases like __getattr__. )r)r'rRs rr z$Value.py__getattribute__alternativess rcLtjd|t|gS)NzNo __get__ defined on %s)r rjr3)r'instancer|s r py__get__zValue.py__get__ s% 0$777rctSr%)NotImplemented)r'calling_instancerr|s rpy__get__on_classzValue.py__get__on_classsrcdSr%rr>s rget_qualified_nameszValue.get_qualified_namesstrc4|jSr%)rrr>s rrz Value.is_stubs"**,,,rctr%)rr>s rr#zValue._as_contextsrctr%NotImplementedErrorr>s rrz Value.names!!rTcdSr%r)r'add_class_infos r get_type_hintzValue.get_type_hint strciS)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_vars#s 6 rr%T)'rrr__doc__r array_typeapi_typerrrr!rrrrrrrrrrrrrrrrrrvr rrrrr#propertyrrrrrrrrsIJ.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|]}|VdSr%rBrDs rrFz!iterate_values..FsB  rrKrG)rerJrKs riterate_valuesrAsI    ..)s rrzLazyValueWrapper._wrapped_valuecs Frctjd5|cdddS#1swxYwYdS)NzResolve lazy value wrapper)r rz_get_wrapped_valuer>s rrzLazyValueWrapper._wrapped_valuegs)*FGG 1 1..00 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1s 6::c d|jjzS)Nz<%s>) __class__rr>s r__repr__zLazyValueWrapper.__repr__ms011rctr%rr>s rrz#LazyValueWrapper._get_wrapped_valueps!!rN) rrrrrrrr rrrrrrrras 1  C         1 1   1222"""""rrceZdZdZdZdS) ValueWrapperc||_dSr%)r)r' wrapped_values rrzValueWrapper.__init__us+rc0|jjd|jdS)N())rrrr>s rrzValueWrapper.__repr__xs!>222D4G4G4GHHrN)rrrrrrrrrrts7,,,IIIIIrrc$eZdZfdZdZxZS) TreeValuecZt||||_dSr%)superrr)r'rrrrs rrzTreeValue.__init__}s( .999"rc2d|jjd|jdS)N<: >)rrrr>s rrzTreeValue.__repr__s !^444dnnnEEr)rrrrr __classcell__)rs@rrr|sN#####FFFFFFFrrc&eZdZdZdZdZdZdS)ContextualizedNodec"||_||_dSr%)r;r)r'r;rs rrzContextualizedNode.__init__s  rc4|jSr%)r;r)r>s rr)z#ContextualizedNode.get_root_contexts|,,...rc@|j|jSr%)r; infer_noderr>s rrCzContextualizedNode.infers|&&ty111rcBd|jjd|jd|jdS)Nrr z in r )rrrr;r>s rrzContextualizedNode.__repr__s(#'>#:#:#:DIIIt|||TTrN)rrrrr)rCrrrrr r sU///222UUUUUrr ct}t}|D]}|d}t|tt t ttfvr* || |z}a#t$rYnwxYw| ||s|s&|| t||z}tjd||S)N)rzpy__getitem__ result: %s)rsetrrfloatintstrslicebytesrr rrr3r rY)r( index_valuesrJresult 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) r3cft||_|D]}t|trJdSr%) frozenset_setrPr3)r'iterabler(s rrzValueSet.__init__sCh''  3 3E!%22 2 2 2 2 3 3rc>||}||_|Sr%)__new__r")r} frozenset_r's 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. )rrPr3r"r!r')r}sets aggregatedset_s rrHzValueSet.from_setssj UU  . .D$)) .di' ioo- ##Ij$9$9:::rcF||j|jzSr%r'r"r'rs r__or__zValueSet.__or__$$TY%;<<s r__iter__zValueSet.__iter__DIrc*t|jSr%)boolr"r>s r__bool__zValueSet.__bool__r5rc*t|jSr%)lenr"r>s r__len__zValueSet.__len__s49~~rcPddd|jDzS)NzS{%s}, c34K|]}t|VdSr%)r)r4ss rrFz$ValueSet.__repr__..s(#>#>qCFF#>#>#>#>#>#>r)joinr"r>s rrzValueSet.__repr__s*$))#>#>DI#>#>#>>>??rcR|t||jSr%)rfilterr")r' filter_funcs rrBzValueSet.filters ~~f[$)<<===rcfd}|S)NcXfdjDS)Nc3DK|]}t|iVdSr%)r)r4r(rrrs rrFz7ValueSet.__getattr__..mapper..sP""%t$$d5f55""""""r)rHr")rrrr's``rmapperz$ValueSet.__getattr__..mappersM>>""""""!Y""" rr)r'rrGs`` rrzValueSet.__getattr__s)        rc"|j|jkSr%r"r.s r__eq__zValueSet.__eq__syEJ&&rc.|| Sr%)rJr.s r__ne__zValueSet.__ne__s;;u%%%%rc*t|jSr%)hashr"r>s r__hash__zValueSet.__hash__r5rc>td|jDS)Nc3>K|]}|VdSr%) py__class__r4rSs rrFz'ValueSet.py__class__..s*;;A ;;;;;;r)r3r"r>s rrRzValueSet.py__class__s!;;;;;;;;rNFc#Kddlm}fd|jD}t|D]}|d|DVdS)Nr)get_merged_lazy_valuec>g|]}|S)r)rI)r4rSrJrKs rr5z$ValueSet.iterate..s*[[[Aaii 3hiGG[[[rcg|]}||Sr%r)r4ls rr5z$ValueSet.iterate..s999q1====r)rtrUr"r)r'rJrKrU type_iters lazy_valuess `` rrIzValueSet.iteratesCCCCCC[[[[[QUQZ[[[ & 3  K''99K999      rcZtfd|jDS)Nc3NK|]}|j|V dSr%r,)r4rSr+s rrFz#ValueSet.execute..s6!]!]a!"3";";Ay"I"I!]!]!]!]!]!]rr3rHr"r.s `rr-zValueSet.executes0!!!]!]!]!]SWS\!]!]!]]]]rc^tfd|jDS)Nc32K|]}|jiVdSr%r:r4rSrrs rrFz/ValueSet.execute_with_values..s6!\!\Q"7!"7"H"H"H!\!\!\!\!\!\rr]rs ``rr8zValueSet.execute_with_valuess4!!!\!\!\!\!\RVR[!\!\!\\\\rcVttfd|jDgS)Nc*g|]}|jiSr)r^r`s rr5z!ValueSet.goto..s*GGGFAFD3F33GGGr)rrr"rs ``rr^z ValueSet.gotos0cGGGGGTYGGGLLLrc^tfd|jDS)Nc32K|]}|jiVdSr%)rgr`s rrFz.ValueSet.py__getattribute__..s6![![A"6!"6"G"G"G![![![![![![rr]rs ``rrgzValueSet.py__getattribute__s4!!![![![![![QUQZ![![![[[[rc^tfd|jDS)Nc38K|]}t|gRiVdSr%)rr`s rrFz$ValueSet.get_item..s;!R!R1(1">t">">">v">">!R!R!R!R!R!Rrr]rs ``rget_itemzValueSet.get_items2!!!R!R!R!R!R !R!R!RRRRrctg}|jD]0} t||}||z}!#t$rY-wxYw|Sr%)r3r"rr)r' function_namerrSmethods r try_mergezValueSet.try_mergespRLL  & &A & M22VVXX% "    s8 AAcTtd|jDS)Nc6g|]}|Sr)r?rSs rr5z6ValueSet.gather_annotation_classes..s$"T"T"TQ1#>#>#@#@"T"T"Trr]r>s rr?z"ValueSet.gather_annotation_classess'!!"T"T$)"T"T"TUUUrc$d|jDS)Nc@g|]}|D]}|Sr)r)r4rSsigs rr5z+ValueSet.get_signatures..s1EEE!2B2B2D2DEE3EEEErrIr>s rrzValueSet.get_signaturessEETYEEEErTctfd|jD}ttd|}t|dkr|dSd|v}|r|dt|dkrdSt|dkr |d}ndd|z}|rd|z}|S)Nc<g|]}|S))r)r)r4vrs rr5z*ValueSet.get_type_hint..s' O O OQ__N_ ; ; O O OrrNonez Union[%s]r=z Optional[%s])r"sortedrBr:remover@)r'rt type_hintsoptionalr?s ` 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.annotationr|r"r)r'rr| type_var_dictr(s rrzValueSet.infer_type_vars-s`JJJJJJ Y  E %%i00    rrr)rrrrrr'rHr/r2r4r8r;rrBrrJrLrOrRrIr-r8r^rgrgrkr?rrrrrrr3r3s333 [  ; ;[ ;======@@@>>>'''&&&<<<^^^]]]MMM\\\SSS   VVVFFF(     rr3cfd}|S)Nc.t|i|Sr%r2)rrfuncs rwrapperz&iterator_to_value_set..wrapper>s d-f--...rr)rrs` riterator_to_value_setr=s#///// Nrr)*r functoolsrrr itertoolsrtypingrrparso.python.treerjedir jedi.parser_utilsr jedi.inference.helpersr jedi.inference.utilsr jedi.inference.cacher jedi.cacherobjectrrWr Exceptionrrrrrrrrr rr3rrrrrrs!!!!!!%%%%%%%%""""""333333888888......FFFFFF%%%%%% 688.------     9   y1y1y1y1y1y1y1y1xaaaaa aaaH22222(222*"""""("""&IIIII$IIIFFFFFFFF U U U U U U U U6HHHHHHHHV HRLL r