o ˷e-G@s2dZddlmZddlmZddlmZddlmZddl m Z ddl m Z ddl mZdd lmZdd lmZdd lmZeZGd d d eZGdddZGdddeZd&ddZGdddeZGdddeZGdddeZGdddeZGdddZ d d!Z!Gd"d#d#Z"e"gZ#d$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_methodc@s eZdZdS) HasNoContextN)__name__ __module__ __qualname__rrP/var/www/ideatree/venv/lib/python3.10/site-packages/jedi/inference/base_value.pyr sr c@seZdZddZddZddZddZd d Zd"d dZddZ d#ddZ d$ddZ ddZ ddZ d"ddZddZddZed d!Zd S)%HelperValueMixincCs.|}|jdur |S |jdur|S|j}q N)parent_context as_context)selfvaluerrrget_root_contexts  z!HelperValueMixin.get_root_contextcCs|jj||dS)N argumentsinference_stateexecuterrrrrr(zHelperValueMixin.executecGs,ddlm}|dd|D}|j||S)Nr)ValuesArgumentscSsg|]}t|gqSrValueSet.0rrrr -sz8HelperValueMixin.execute_with_values..)jedi.inference.argumentsr!rr)r value_listr!rrrrexecute_with_values+s z$HelperValueMixin.execute_with_valuescCs|Srr)rrrrexecute_annotation0z#HelperValueMixin.execute_annotationcCs t|gSrr"r+rrrgather_annotation_classes3 z*HelperValueMixin.gather_annotation_classesNFcCstdd|||DS)Ncs|]}|VqdSrinferr% lazy_valuerrr 7  z:HelperValueMixin.merge_types_of_iterate..r# from_setsiterate)rcontextualized_nodeis_asyncrrrmerge_types_of_iterate6s  z'HelperValueMixin.merge_types_of_iterateccsdt|tr|nd}|j|dEdH|r.ddlm}|t|hD] }|EdHq$dSdS)N) origin_scoper)convert_values) isinstancer get_filtersis_stub!jedi.inference.gradual.conversionr>r#)r name_or_strr=r>crrr_get_value_filters<s z#HelperValueMixin._get_value_filtersTcCs6ddlm}||}|||}td||||S)Nr)finderzcontext.goto %s in (%s): %s)jedi.inferencerFrE filter_namerdbg)rrC name_contextanalysis_errorsrFfiltersnamesrrrgotoEs   zHelperValueMixin.gotoc Cs|dur|}||||}tdd|D}|s(t|tr!|jn|}||}|s@|s@|r@t|tr@ddlm}| |||t d|||S)zZ :param position: Position of the last statement -> tuple of line, column Ncsr0rr1)r%namerrrr5Tz6HelperValueMixin.py__getattribute__..ranalysisz context.names_to_types: %s -> %s) rNr#r8r?rrpy__getattribute__alternativesrGrRadd_attribute_errorrrI) rrCrJpositionrKrMvaluesnrRrrrpy__getattribute__Ls    z#HelperValueMixin.py__getattribute__cCs"|d}|s td||S)N __await__z"Tried to run __await__ on value %s)rXrwarningr))rawait_value_setrrr py__await__as  zHelperValueMixin.py__await__cCs|jjSr)rO string_namer+rrr py__name__gr-zHelperValueMixin.py__name__cCsVtd||r&ddlm}t||dddgS||S)Nz iterate %sr)LazyKnownValues __aiter__ __anext__rY) rrIjedi.inference.lazy_valuer_iterrXr)py__stop_iteration_returns py__iter__)rr:r;r_rrrr9js      zHelperValueMixin.iteratecCstjd||fdd-|D]}||r'tjdddWddSqtjddd WddS1s;wYdS)Nzsubclass matching of %s <=> %sBLUE)colorzmatched subclass TrueTzmatched subclass FalseF)rincrease_indent_cm py__mro__ is_same_classrI)r class_valueclsrrris_sub_class_ofzs  $z HelperValueMixin.is_sub_class_ofcCs"t|jtjkr ||S||kSr)typerjr)rclass2rrrrjs zHelperValueMixin.is_same_classcOs|j|i|Sr) _as_contextrargskwargsrrrrszHelperValueMixin.as_contextNF)NT)NNT)rrrrrr)r,r.r<rErNrXr\r^r9rmrjr rrrrrrs&      rc@seZdZdZdZdZdZdAddZddZdd Z dAd d Z dAd d Z ddZ ddZ ddZddZddZddZddZddZddZd d!Zd"d#Zd$d%Zefd&d'Zd(d)Zd*d+Zd,d-Zd.d/Zd0d1Zd2d3Zd4d5Z d6d7Z!d8d9Z"e#d:d;Z$dBd=d>Z%d?d@Z&dS)CValuez* To be implemented by subclasses. Nnot_defined_please_report_bugcC||_||_dSr)rr)rrrrrr__init__ zValue.__init__cCs*ddlm}|j|jd|jd|dtS)NrrQztype-error-not-subscriptablez+TypeError: '%s' object is not subscriptablemessage)rGrRrcontextnode NO_VALUES)rindex_value_setr:rRrrr py__getitem__s zValue.py__getitem__cCtrr)rindexrrrpy__simple_getitem__zValue.py__simple_getitem__cCs6|durddlm}|j|jd|jd|dtgS)NrrQztype-error-not-iterablez&TypeError: '%s' object is not iterablerz)rGrRrr|r}rc)rr:rRrrrres zValue.py__iter__cCs ||Sr)re)rr:rrr py__next__r/zValue.py__next__cCsgSrrr+rrrget_signaturesrzValue.get_signaturescCdSrtrr+rrris_classrzValue.is_classcCrrtrr+rrris_class_mixinrzValue.is_class_mixincCrrtrr+rrr is_instancerzValue.is_instancecCrrtrr+rrr is_functionrzValue.is_functioncCrrtrr+rrr is_modulerzValue.is_modulecCrrtrr+rrr is_namespacerzValue.is_namespacecCrrtrr+rrr is_compiledrzValue.is_compiledcCrrtrr+rrris_bound_methodrzValue.is_bound_methodcCrrtrr+rrris_builtins_modulerzValue.is_builtins_modulecCr)z Since Wrapper is a super class for classes, functions and modules, the return value will always be true. Trr+rrr py__bool__szValue.py__bool__cCs,z|jjWn tyYdSwt|jS)N) tree_node get_doc_nodeAttributeErrorrr+rrr py__doc__s    zValue.py__doc__cCs|tur td||S)Nz'There exists no safe value for value %s)sentinel ValueError)rdefaultrrrget_safe_values zValue.get_safe_valuecCstd|||tS)Nz!%s not possible between %s and %srrZr~)rotheroperatorrrrexecute_operationszValue.execute_operationcCtd|tS)Nzno execution possible %srrrrr py__call__ zValue.py__call__cCr)Nz0Not possible to return the stop iterations of %srr+rrrrdrz Value.py__stop_iteration_returnscCtS)zH For now a way to add values in cases like __getattr__. )r~)rrCrrrrSsz$Value.py__getattribute__alternativescCstd|t|gS)NzNo __get__ defined on %s)rrZr#)rinstancerkrrr py__get__s  zValue.py__get__cCrr)NotImplemented)rcalling_instancerrkrrrpy__get__on_classrzValue.py__get__on_classcCdSrrr+rrrget_qualified_nameszValue.get_qualified_namescC |jSr)rrAr+rrrrAs z Value.is_stubcCrr)r r+rrrrp rzValue._as_contextcCrrNotImplementedErrorr+rrrrOrz Value.nameTcCrrr)radd_class_inforrr get_type_hintrzValue.get_type_hintcCsiS)ap 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 inferrined 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_setrrrinfer_type_varsszValue.infer_type_varsrT)'rrr__doc__r array_typeapi_typerxrrrerrrrrrrrrrrrrrrrrrdrSrrrrArppropertyrOrrrrrrrusH       ruNFcCstdd|j||dDS)z Calls `iterate`, on all values but ignores the ordering and just returns all values that the iterate functions yield. csr0rr1r3rrrr58r6z!iterate_values..r;r7)rVr:r;rrriterate_values3s  rc@s2eZdZeddZeeddZddZdS)_ValueWrapperBasecCsBddlm}|jj}|jdur|||jSddlm}|||jS)Nr) ValueName)CompiledValueName)jedi.inference.namesr_wrapped_valuerO tree_namejedi.inference.compiledrr])rr wrapped_namerrrrrO?s     z_ValueWrapperBase.namecOs||i|Srr)rlrrrrsrrr create_cachedIsz_ValueWrapperBase.create_cachedcCs|dksJdt|j|S)NrzProblem with _get_wrapped_value)getattrr)rrOrrr __getattr__Ns z_ValueWrapperBase.__getattr__N) rrrr rO classmethodr rrrrrrr>s    rc@s,eZdZeeddZddZddZdS)LazyValueWrappercCs6td |WdS1swYdS)NzResolve lazy value wrapper)rrh_get_wrapped_valuer+rrrrTs $zLazyValueWrapper._wrapped_valuecCs d|jjS)Nz<%s>) __class__rr+rrr__repr__Z zLazyValueWrapper.__repr__cCrrrr+rrrr]rz#LazyValueWrapper._get_wrapped_valueN)rrrr r rrrrrrrrSs   rc@seZdZddZddZdS) ValueWrappercCs ||_dSr)r)r wrapped_valuerrrrxbr/zValueWrapper.__init__cCd|jj|jfS)Nz%s(%s))rrrr+rrrrezValueWrapper.__repr__N)rrrrxrrrrrras rcs$eZdZfddZddZZS) TreeValuecst||||_dSr)superrxr)rrrrrrrrxjs zTreeValue.__init__cCr)Nz<%s: %s>)rrrr+rrrrnrzTreeValue.__repr__)rrrrxr __classcell__rrrrris rc@s,eZdZddZddZddZddZd S) ContextualizedNodecCrwr)r|r})rr|r}rrrrxsryzContextualizedNode.__init__cCrr)r|rr+rrrrwr/z#ContextualizedNode.get_root_contextcCs|j|jSr)r| infer_noder}r+rrrr2zszContextualizedNode.infercCsd|jj|j|jfS)Nz<%s: %s in %s>)rrr}r|r+rrrr}zContextualizedNode.__repr__N)rrrrxrr2rrrrrrrs  rc Cst}t}|D]+}|jdd}t|tttttfvr-z || |O}Wqt y,Ynw| |q|s7|sA|| t ||O}td||S)N)rzpy__getitem__ result: %s)r~setrrnfloatintstrslicebytesrr rrr#rrI)r index_valuesr:result unused_values index_valuerrrr_getitems&    rc@seZdZddZeddZeddZddZd d Zd d Z d dZ ddZ ddZ ddZ ddZddZddZddZddZd8d!d"Zd#d$Zd%d&Zd'd(Zd)d*Zd+d,Zd-d.Zd/d0Zd1d2Zd9d4d5Zd6d7ZdS):r#cCs&t||_|D] }t|trJqdSr) frozenset_setr?r#)riterablerrrrrxs zValueSet.__init__cCs||}||_|Sr)__new__r)rl frozenset_rrrr_from_frozen_sets zValueSet._from_frozen_setcCs@t}|D]}t|tr||jO}q|t|O}q|t|S)z7 Used to work with an iterable of set. )rr?r#rrr)rlsets aggregatedset_rrrr8s   zValueSet.from_setscCs||j|jBSrrrrrrrr__or__rzValueSet.__or__cCs||j|j@Srrrrrr__and__rzValueSet.__and__cC t|jSr)rcrr+rrr__iter__r/zValueSet.__iter__cCrr)boolrr+rrr__bool__r/zValueSet.__bool__cCrr)lenrr+rrr__len__r/zValueSet.__len__cCsdddd|jDS)NzS{%s}, css|]}t|VqdSr)r)r%srrrr5rPz$ValueSet.__repr__..)joinrr+rrrrzValueSet.__repr__cCs|t||jSr)rfilterr)r filter_funcrrrrrzValueSet.filtercsfdd}|S)NcsfddjDS)Nc3s$|] }t|iVqdSr)rr$)rrrsrOrrr5s  z7ValueSet.__getattr__..mapper..)r8rrrrsrOrrrmappersz$ValueSet.__getattr__..mapperr)rrOrrrrrszValueSet.__getattr__cCs |j|jkSrrrrrr__eq__rzValueSet.__eq__cCs || Sr)rrrrr__ne__rzValueSet.__ne__cCrr)hashrr+rrr__hash__r/zValueSet.__hash__cCstdd|jDS)Ncsr0r) py__class__r%rDrrrr5rPz'ValueSet.py__class__..)r#rr+rrrrszValueSet.py__class__NFc#sJddlm}fdd|jD}t|D] }|dd|DVqdS)Nr)get_merged_lazy_valuecsg|] }|jdqS)r)r9rr:r;rrr&sz$ValueSet.iterate..cSsg|]}|dur|qSrr)r%lrrrr&)rbrrr)rr:r;r type_iters lazy_valuesrrrr9s   zValueSet.iteratecstfdd|jDS)Nc3s|] }|j|VqdSrrrrrrr5sz#ValueSet.execute..r#r8rrrrrrrzValueSet.executectfdd|jDS)Nc3 |] }|jiVqdSrr*rrrrr5z/ValueSet.execute_with_values..r rqrrrr)zValueSet.execute_with_valuescsttfdd|jDgS)Ncsg|] }|jiqSr)rNrrrrr&sz!ValueSet.goto..)rrrrqrrrrNsz ValueSet.gotocr )Nc3r r)rXrrrrr5r z.ValueSet.py__getattribute__..r rqrrrrXr zValueSet.py__getattribute__cr )Nc3s&|]}t|gRiVqdSr)rrrrrr5s$z$ValueSet.get_item..r rqrrrget_itemr zValueSet.get_itemc CsF|g}|jD]}zt||}Wn tyYqw||O}q|Sr)rrrr)r function_namerrDmethodrrr try_merges    zValueSet.try_mergecCstdd|jDS)NcSsg|]}|qSr)r.rrrrr&sz6ValueSet.gather_annotation_classes..r r+rrrr.rz"ValueSet.gather_annotation_classescCsdd|jDS)NcSsg|] }|D]}|qqSr)r)r%rDsigrrrr&sz+ValueSet.get_signatures..rr+rrrrr zValueSet.get_signaturesTcsfdd|jD}ttd|}t|dkr|dSd|v}|r&|dt|dkr.dSt|dkr9|d}ndd|}|rFd|}|S) Ncsg|]}|jdqS)r)r)r%vrrrr&rz*ValueSet.get_type_hint..rNonez Union[%s]rz Optional[%s])rsortedrrremover)rrt type_hintsoptionalrrrrrs     zValueSet.get_type_hintcCs0ddlm}i}|jD] }||||q |S)Nr)merge_type_var_dicts)!jedi.inference.gradual.annotationrrr)rrr type_var_dictrrrrrs  zValueSet.infer_type_varsrtr)rrrrxrrr8rrrrrrrrrrrrr9rr)rNrXrrr.rrrrrrrr#s:       r#csfdd}|S)Ncst|i|Srr"rfuncrrwrapper+rz&iterator_to_value_set..wrapperr)r r!rrriterator_to_value_set*s r"rt)%r functoolsrrr itertoolsrparso.python.treerjedirjedi.parser_utilsrjedi.inference.helpersr jedi.inference.utilsr jedi.inference.cacher jedi.cacher objectr Exceptionr rrurrrrrrrr#r~r"rrrrs6          r %