^jHdZddlmZddlmZddlmZddlmZm Z ddl m Z ddl m Z ddlmZdd lmZdd lmZdd lmZdd lmZeZerdd lmZGddeZGddZGddeZd$dZ GddeZ!Gdde!Z"Gdde!Z#GddeZ$GddZ%d Z&Gd!d"Z'e'gZ(d#Z)y)%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)InferenceStatec eZdZy) HasNoContextN)__name__ __module__ __qualname__R/opt/ringagent/.cad-venv/lib/python3.12/site-packages/jedi/inference/base_value.pyrrsrrceZdZUeed<ded<eed<eed<eed<eed<eed<eed <eed <d Zd Zd ZdZdZ ddZ dZ ddZ ddZ dZdZddZdZdZedZy)HelperValueMixinparent_contextrinference_statename get_filtersis_stubpy__getattribute__alternatives py__iter__ py__mro__ _as_contextcv|}|j|jS |j|S|j}N)r as_context)selfvalues rget_root_contextz!HelperValueMixin.get_root_context,sF    '##% %##+ ((Erc<|jj||S)N) argumentsrexecuter'r+s rr-zHelperValueMixin.execute6s##++DI+FFrcddlm}||Dcgc]}t|gc}}|jj ||Scc}w)Nr)ValuesArguments)jedi.inference.argumentsr0ValueSetrr-)r' value_listr0r(r+s rexecute_with_valuesz$HelperValueMixin.execute_with_values9s@<#J$O5Xug%6$OP ##++D)<<%PsAc"|jSr%r4)r'contexts rexecute_annotationz#HelperValueMixin.execute_annotation>s''))rct|gSr%r2r's rgather_annotation_classesz*HelperValueMixin.gather_annotation_classesAsrNcZtjd|j||DS)Nc3<K|]}|jywr%infer.0 lazy_values r z:HelperValueMixin.merge_types_of_iterate..Es!"     " r2 from_setsiterate)r'contextualized_nodeis_asyncs rmerge_types_of_iteratez'HelperValueMixin.merge_types_of_iterateDs.!!" "ll+>I"   rc#Kt|tr|nd}|j|Ed{|jr6ddlm}|t |hD]}|jEd{yy7K7 w)N) origin_scoper)convert_values) isinstancerrr!jedi.inference.gradual.conversionrNr2)r' name_or_strrMrNcs r_get_value_filtersz#HelperValueMixin._get_value_filtersJss&0d&C{ ###>>> <<> H#HdV$45 +==?** +  ? +s"*A<A8AA</A:0 A<:A<cddlm}|j|}|j||}t j d||||S)Nr)finderzcontext.goto %s in (%s): %s)jedi.inferencerUrS filter_namer dbg)r'rQ name_contextanalysis_errorsrUfiltersnamess rgotozHelperValueMixin.gotoSs?)))+6""7K8 /dEJ rcZ||}|j|||}tjd|D}|s/t|tr |j n|}|j |}|s-|s+|r)t|trddlm}|j|||tjd|||S)zZ :param position: Position of the last statement -> tuple of line, column c3<K|]}|jywr%r?)rBrs rrDz6HelperValueMixin.py__getattribute__..bs#CTDJJL#CrEranalysisz context.names_to_types: %s -> %s) r]r2rGrOrr(r rVraadd_attribute_errorr rX) r'rQrYpositionrZr\valuesnras rpy__getattribute__z#HelperValueMixin.py__getattribute__Zs  L +|_E###CU#CC%/ T%B !! A88;FV+t,3,, $ 5 4eVD rct|jd}|stjd||jS)N __await__z"Tried to run __await__ on value %s)rfr warningr4)r'await_value_sets r py__await__zHelperValueMixin.py__await__os311+> MM> E2244rc.|jjSr%)r string_namer;s r py__name__zHelperValueMixin.py__name__usyy$$$rcNtjd||r}ddlm}t ||j dj j dj j dj jgS|j|S)Nz iterate %sr)LazyKnownValues __aiter__ __anext__rh) r rXjedi.inference.lazy_valuerpiterrfr4py__stop_iteration_returnsr!)r'rIrJrps rrHzHelperValueMixin.iteratexs ,%  A++K8LLN++K89L9L9N++K89L9L9N335  233rc&tjd|d|d5|jD]4}|j|stjdddddytjdd dddy#1swYyxYw) Nzsubclass matching of z <=> BLUE)colorzmatched subclass TrueTzmatched subclass FalseF)r increase_indent_cmr" is_same_classrX)r' class_valueclss ris_sub_class_ofz HelperValueMixin.is_sub_class_ofs  % %$P[&\,24 ~~' $$[1II5VD     II.f =   s%BB%BBczt|jtjk7r|j|S||k(Sr%)typerzr)r'class2s rrzzHelperValueMixin.is_same_classs6 < % %)9)G)G G''- -v~rc&|j|i|Sr%)r#r'argskwargss rr&zHelperValueMixin.as_contextst000rNF)NT)NNT)rrrr__annotations__r)r-r4r8r<rKrSr]rfrkrnrHr}rzrr&rrrrr!s%% I L$''ON)G= *  +KO+/*5 %4  11rrceZdZdZdZdZdZd"dZdZdZ d"dZ d"dZ d Z d Z d Zd Zd ZdZdZdZdZdZdZdZefdZdZdZdZdZdZdZdZ dZ!dZ"e#dZ$d#d Z%d!Z&y)$Valuez* To be implemented by subclasses. Nnot_defined_please_report_bugc ||_||_yr%)rr)r'rrs r__init__zValue.__init__s.,rcrddlm}|j|jd|jd|zt S)Nrr`ztype-error-not-subscriptablez+TypeError: '%s' object is not subscriptablemessage)rVrarr7node NO_VALUES)r'index_value_setrIras r py__getitem__zValue.py__getitem__s;+  ' ' *  $ $ADH  rctr%r )r'indexs rpy__simple_getitem__zValue.py__simple_getitem__s##rc|2ddlm}|j|jd|jd|zt gS)Nrr`ztype-error-not-iterablez&TypeError: '%s' object is not iterabler)rVrarr7rrt)r'rIras rr!zValue.py__iter__sE  * / LL#++)#((@4G  I Bxrc$|j|Sr%)r!)r'rIs r py__next__zValue.py__next__s233rcgSr%rr;s rget_signatureszValue.get_signaturess rcyrrr;s ris_classzValue.is_classrcyrrr;s ris_class_mixinzValue.is_class_mixinrrcyrrr;s r is_instancezValue.is_instancerrcyrrr;s r is_functionzValue.is_functionrrcyrrr;s r is_modulezValue.is_modulerrcyrrr;s r is_namespacezValue.is_namespacerrcyrrr;s r is_compiledzValue.is_compiledrrcyrrr;s ris_bound_methodzValue.is_bound_methodrrcyrrr;s ris_builtins_modulezValue.is_builtins_modulerrcy)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 rcx |jjt|jS#t$rYywxYw)N) tree_node get_doc_noder AttributeErrorr;s r py__doc__zValue.py__doc__s9 9 NN ' ')8 8  s - 99c2|turtd|z|S)Nz'There exists no safe value for value %s)sentinel ValueError)r'defaults rget_safe_valuezValue.get_safe_values h FMN Nrc>tjd|||tS)Nz!%s not possible between %s and %sr rir)r'otheroperators rexecute_operationzValue.execute_operations 98T5Qrc:tjd|tS)Nzno execution possible %srr.s r py__call__zValue.py__call__s 0$7rc:tjd|tS)Nz0Not possible to return the stop iterations of %srr;s rruz Value.py__stop_iteration_returnss H$OrctS)zH For now a way to add values in cases like __getattr__. )r)r'rQs rr z$Value.py__getattribute__alternativess rcFtjd|t|gS)NzNo __get__ defined on %s)r rir2)r'instancer{s r py__get__zValue.py__get__ s 0$7rctSr%)NotImplemented)r'calling_instancerr{s rpy__get__on_classzValue.py__get__on_classsrcyr%rr;s rget_qualified_nameszValue.get_qualified_namessrc6|jjSr%)rrr;s rrz Value.is_stubs""**,,rctr%)rr;s rr#zValue._as_contextsrctr%NotImplementedErrorr;s rrz Value.names!!rcyr%r)r'add_class_infos r get_type_hintzValue.get_type_hint srciS)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!rrrrrrrrrrrrrrrrrrur rrrrr#propertyrrrrrrrrsIJ.H- $49&.   -""rrNc\tjd|j||DS)z Calls `iterate`, on all values but ignores the ordering and just returns all values that the iterate functions yield. c3<K|]}|jywr%r?rAs rrDz!iterate_values..Fs!  rErJrF)rdrIrJs riterate_valuesrAs2    ..)) __class__rr;s r__repr__zLazyValueWrapper.__repr__ms0011rctr%rr;s rrz#LazyValueWrapper._get_wrapped_valueps!!rN) rrrrrrrr rrrrrrrrasD  C      1   12"rrceZdZdZdZy) ValueWrapperc||_yr%)r)r' wrapped_values rrzValueWrapper.__init__us +rcN|jjd|jdS)N())rrrr;s rrzValueWrapper.__repr__xs>>22D4G4GHHrN)rrrrrrrrrrts ,Irrc$eZdZfdZdZxZS) TreeValuec4t|||||_yr%)superrr)r'rrrrs rrzTreeValue.__init__}s .9"rcPd|jjd|jdS)N<: >)rrrr;s rrzTreeValue.__repr__s!^^44dnnEEr)rrrrr __classcell__)rs@rrr|s#Frrc$eZdZdZdZdZdZy)ContextualizedNodec ||_||_yr%)r7r)r'r7rs rrzContextualizedNode.__init__s  rc6|jjSr%)r7r)r;s rr)z#ContextualizedNode.get_root_contexts||,,..rcL|jj|jSr%)r7 infer_noderr;s rr@zContextualizedNode.infers||&&tyy11rcjd|jjd|jd|jdS)Nrrz in r )rrrr7r;s rrzContextualizedNode.__repr__s!#'>>#:#:DIIt||TTrN)rrrrr)r@rrrrr r s/2Urr ct}t}|D]a}|jd}t|tt t ttfvr ||j|z}Q|j|c|s|s||jt||z}tjd||S#t$rYXwxYw)N)rzpy__getitem__ result: %s)rsetrrfloatintstrslicebytesrr rrr2r rX)r( index_valuesrIresult unused_values index_valuers r_getitemrs FEM# ' **4*8 ;5#sE59 9 %44U;; +& 'L%%% ] #    II(&1 M)  sB11 B=<B=ceZdZdZedZedZdZdZdZ dZ dZ d Z d Z d Zd Zd ZdZdZddZdZdZdZdZdZdZdZdZddZdZy)r2cVt||_|D]}t|tsJyr%) frozenset_setrOr2)r'iterabler(s rrzValueSet.__init__s-h'  3E!%2 22 3rc6|j|}||_|Sr%)__new__r!)r| frozenset_r's r_from_frozen_setzValueSet._from_frozen_sets{{3  rct}|D]0}t|tr||jz}#|t |z}2|j t |S)z7 Used to work with an iterable of set. )rrOr2r!r r&)r|sets aggregatedset_s rrGzValueSet.from_setssX U  .D$)dii' io-  . ##Ij$9::rcR|j|j|jzSr%r&r!r'rs r__or__zValueSet.__or__ $$TYY%;<.s#>qCF#>s)joinr!r;s rrzValueSet.__repr__s $))#>DII#>>??rcL|jt||jSr%)rfilterr!)r' filter_funcs rrAzValueSet.filters~~f[$))<==rcfd}|S)NcTjfdjDS)Nc3BK|]}t|iywr%)r)rBr(rrrs rrDz7ValueSet.__getattr__..mapper..s,"%t$d5f5")rGr!)rrrr's``rmapperz$ValueSet.__getattr__..mappers%>>"!YY" rr)r'rrGs`` rrzValueSet.__getattr__s   rc4|j|jk(Sr%)r!r-s r__eq__zValueSet.__eq__syyEJJ&&rc&|j| Sr%)rIr-s r__ne__zValueSet.__ne__s;;u%%%rc,t|jSr%)hashr!r;s r__hash__zValueSet.__hash__r4rc:td|jDS)Nc3<K|]}|jywr%) py__class__)rBrRs rrDz'ValueSet.py__class__..s;A ;rE)r2r!r;s rrQzValueSet.py__class__s;;;;rNc#Kddlm}|jDcgc]}|j||}}t |D]}||Dcgc]}|| c}ycc}wcc}ww)Nr)get_merged_lazy_valuer)rsrSr!rHr)r'rIrJrSrR type_iters lazy_valuesls rrHzValueSet.iteratesnCQUQZQZ[Aaii 3hiG[ [& 3 K''9q1=9  \:s!A&AA&A! A! A&cTtjfd|jDS)Nc3VK|] }|jj|"ywr%r,)rBrRr+s rrDz#ValueSet.execute..s$!]a!"3"3";";Ay"I!]s&)r2rGr!r.s `rr-zValueSet.executes!!!!]SWS\S\!]]]rcXtjfd|jDS)Nc3BK|]}|jiywr%r6rBrRrrs rrDz/ValueSet.execute_with_values..s$!\Q"7!"7"7"H"H!\rFrYrs ``rr4zValueSet.execute_with_valuess!!!!\RVR[R[!\\\rc ~tt|jDcgc]}|j|i|c}gScc}wr%)rrr!r])r'rrrRs rr]z ValueSet.gotos3cTYYGFAFFD3F3GLLGs: cXtjfd|jDS)Nc3BK|]}|jiywr%)rfr\s rrDz.ValueSet.py__getattribute__..s$![A"6!"6"6"G"G![rFrYrs ``rrfzValueSet.py__getattribute__s!!!![QUQZQZ![[[rcXtjfd|jDS)Nc3<K|]}t|giywr%)rr\s rrDz$ValueSet.get_item..s !R1(1">t">v">!RsrYrs ``rget_itemzValueSet.get_items!!!R !RRRrctg}|jD]} t||}||z}|S#t$rY)wxYwr%)r2r!rr)r' function_namerrRmethods r try_mergezValueSet.try_mergesYRL  &A & M2VX%  & "  s 6 AActj|jDcgc]}|jc}Scc}wr%)r2rGr!r<)r'rRs rr<z"ValueSet.gather_annotation_classess.!!$))"TQ1#>#>#@"TUU"Ts<cp|jDcgc]}|jD]}|c}}Scc}}wr%)r!r)r'rRsigs rrzValueSet.get_signaturess/!YYE!2B2B2DE3EEEEs2c\|jDcgc]}|j|}}ttd|}t |dk(r|dSd|v}|r|j dt |dk(ryt |dk(r|d}nddj |z}|rd|z}|Scc}w)N)rrNonez Union[%s]r<z Optional[%s])r!rsortedrAr9remover?)r'rvt type_hintsoptionalr>s rrzValueSet.get_type_hintsEIYY OQ__N_ ; O OF4O, z?a a= Z'    f % z?a  _ !1 Adii 33A "A# PsB)chddlm}i}|jD]}|||j||S)Nr)merge_type_var_dicts)!jedi.inference.gradual.annotationrtr!r)r'rrt type_var_dictr(s rrzValueSet.infer_type_vars-s>J YY E %%i0   rrr)rrrrrr&rGr.r1r3r7r:rrArrIrKrNrQrHr-r4r]rfrbrfr<rrrrrrr2r2s3   ; ;==@>'&<^]M\S VF( rr2cfd}|S)Nc&t|i|Sr%r:)rrfuncs rwrapperz&iterator_to_value_set..wrapper>sd-f-..rr)ryrzs` riterator_to_value_setr{=s/ Nrr)*r functoolsrrr itertoolsrtypingrrparso.python.treerjedir jedi.parser_utilsr jedi.inference.helpersr jedi.inference.utilsr jedi.inference.cacher jedi.cacherobjectrrVr Exceptionrrrrrrrrr rr2rr{rrrrs!%"38.F% 8- 9 y1y1xa aH2(2*"("&I$IFF U U6HHV RL r