o Zh+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/html/lang_env/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..)Zjedi.inference.argumentsr!rr)rZ 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%Z 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) isinstancerZ get_filtersis_stubZ!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.inferencerAr@Z filter_namerdbg)rr> name_contextanalysis_errorsrAfiltersnamesrrrgotoEs   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 Ncsr.rr/)r%namerrrr2Tz6HelperValueMixin.py__getattribute__..ranalysisz context.names_to_types: %s -> %s) rHr#r5r<rrpy__getattribute__alternativesrBrLZadd_attribute_errorrrC) rr>rDpositionrErGvaluesnrLrrrpy__getattribute__Ls    z#HelperValueMixin.py__getattribute__cCs"|d}|s td||S)N __await__z"Tried to run __await__ on value %s)rQrwarningr')rZawait_value_setrrr py__await__as  zHelperValueMixin.py__await__cCs|jjSr)rI string_namer)rrr py__name__gr+zHelperValueMixin.py__name__cCsVtd||r&ddlm}t||dddgS||S)Nz iterate %sr)LazyKnownValues __aiter__ __anext__rR) rrCjedi.inference.lazy_valuerWiterrQr'py__stop_iteration_returns py__iter__)rr7r8rWrrrr6js      zHelperValueMixin.iteratecCstjd||fdd-|D]}||r'tjdddWddSqtjddd WddS1s;wYdS)Nzsubclass matching of %s <=> %sZBLUE)colorzmatched subclass TrueTzmatched subclass FalseF)rincrease_indent_cmZ py__mro__ is_same_classrC)r class_valueclsrrris_sub_class_ofzs  $z HelperValueMixin.is_sub_class_ofcCs"t|jtjkr ||S||kSr)typer`r)rZclass2rrrr`s zHelperValueMixin.is_same_classcOs|j|i|Sr) _as_contextrargskwargsrrrrszHelperValueMixin.as_contextNF)NT)NNT)rrrrrr'r*r,r9r@rHrQrTrVr6rcr`r 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. NZnot_defined_please_report_bugcC||_||_dSr)rr)rrrrrr__init__ zValue.__init__cCs*ddlm}|j|jd|jd|dtS)NrrKztype-error-not-subscriptablez+TypeError: '%s' object is not subscriptablemessage)rBrLrcontextnode NO_VALUES)rZindex_value_setr7rLrrr py__getitem__s zValue.py__getitem__cCtrr)rindexrrrpy__simple_getitem__zValue.py__simple_getitem__cCs6|durddlm}|j|jd|jd|dtgS)NrrKztype-error-not-iterablez&TypeError: '%s' object is not iterablern)rBrLrrprqr[)rr7rLrrrr]s zValue.py__iter__cCs ||Sr)r])rr7rrr py__next__r-zValue.py__next__cCsgSrrr)rrrget_signaturesrwzValue.get_signaturescCdSrirr)rrris_classrwzValue.is_classcCrzrirr)rrris_class_mixinrwzValue.is_class_mixincCrzrirr)rrr is_instancerwzValue.is_instancecCrzrirr)rrr is_functionrwzValue.is_functioncCrzrirr)rrr is_modulerwzValue.is_modulecCrzrirr)rrr is_namespacerwzValue.is_namespacecCrzrirr)rrr is_compiledrwzValue.is_compiledcCrzrirr)rrris_bound_methodrwzValue.is_bound_methodcCrzrirr)rrris_builtins_modulerwzValue.is_builtins_modulecCrz)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_nodeZ 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 %srrSrr)rotheroperatorrrrexecute_operationszValue.execute_operationcCtd|tS)Nzno execution possible %srrrrr py__call__ zValue.py__call__cCr)Nz0Not possible to return the stop iterations of %srr)rrrr\rz Value.py__stop_iteration_returnscCtS)zH For now a way to add values in cases like __getattr__. )rr)rr>rrrrMsz$Value.py__getattribute__alternativescCstd|t|gS)NzNo __get__ defined on %s)rrSr#)rinstancerarrr py__get__s  zValue.py__get__cCrr)NotImplemented)rZcalling_instancerrarrrpy__get__on_classrwzValue.py__get__on_classcCdSrrr)rrrget_qualified_nameszValue.get_qualified_namescC |jSr)rr=r)rrrr=s z Value.is_stubcCrtr)r r)rrrre rwzValue._as_contextcCrtrNotImplementedErrorr)rrrrIrz Value.nameTcCrrr)radd_class_inforrr get_type_hintrwzValue.get_type_hintcCsiS)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_setrrrinfer_type_varsszValue.infer_type_varsrT)'rrr__doc__rZ array_typeZapi_typerlrsrvr]rxryr{r|r}r~rrrrrrrrrrrr\rMrrrr=repropertyrIrrrrrrrjsH       rjNFcCstdd|j||dDS)z Calls `iterate`, on all values but ignores the ordering and just returns all values that the iterate functions yield. csr.rr/r1rrrr28r3z!iterate_values..r8r4)rOr7r8rrriterate_values3s  rc@s2eZdZeddZeeddZddZdS)_ValueWrapperBasecCsBddlm}|jj}|jdur|||jSddlm}|||jS)Nr) ValueName)CompiledValueName)Zjedi.inference.namesr_wrapped_valuerIZ tree_nameZjedi.inference.compiledrrU)rrZ wrapped_namerrrrrI?s     z_ValueWrapperBase.namecOs||i|Srr)rbrrgrhrrr create_cachedIsz_ValueWrapperBase.create_cachedcCs|dksJdt|j|S)NrzProblem with _get_wrapped_value)getattrr)rrIrrr __getattr__Ns z_ValueWrapperBase.__getattr__N) rrrr rI classmethodr rrrrrrr>s    rc@s,eZdZeeddZddZddZdS)LazyValueWrappercCs6td |WdS1swYdS)NzResolve lazy value wrapper)rr__get_wrapped_valuer)rrrrTs $zLazyValueWrapper._wrapped_valuecCs d|jjS)Nz<%s>) __class__rr)rrr__repr__Z zLazyValueWrapper.__repr__cCrtrrr)rrrr]rwz#LazyValueWrapper._get_wrapped_valueN)rrrr r rrrrrrrrSs   rc@seZdZddZddZdS) ValueWrappercCs ||_dSr)r)rZ wrapped_valuerrrrlbr-zValueWrapper.__init__cCd|jj|jfS)Nz%s(%s))rrrr)rrrrezValueWrapper.__repr__N)rrrrlrrrrrras rcs$eZdZfddZddZZS) TreeValuecst||||_dSr)superrlr)rrrrrrrrljs zTreeValue.__init__cCr)Nz<%s: %s>)rrrr)rrrrnrzTreeValue.__repr__)rrrrlr __classcell__rrrrris rc@s,eZdZddZddZddZddZd S) ContextualizedNodecCrkr)rprq)rrprqrrrrlsrmzContextualizedNode.__init__cCrr)rprr)rrrrwr-z#ContextualizedNode.get_root_contextcCs|j|jSr)rpZ infer_noderqr)rrrr0zszContextualizedNode.infercCsd|jj|j|jfS)Nz<%s: %s in %s>)rrrqrpr)rrrr}zContextualizedNode.__repr__N)rrrrlrr0rrrrrrrs  rc Cst}t}|D]+}|jdd}t|tttttfvr-z || |O}Wqt y,Ynw| |q|s7|sA|| t ||O}td||S)N)rzpy__getitem__ result: %s)rrsetrrdfloatintstrslicebytesrvr rrsr#rrC)rZ index_valuesr7resultZ unused_valuesZ index_valuerurrr_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#)riterablerrrrrls zValueSet.__init__cCs||}||_|Sr)__new__r)rbZ 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)rbZsetsZ aggregatedset_rrrr5s   zValueSet.from_setscCs||j|jBSrrrrrrrr__or__rzValueSet.__or__cCs||j|j@Srrrrrr__and__rzValueSet.__and__cC t|jSr)r[rr)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%srrrr2rJz$ValueSet.__repr__..)joinrr)rrrrzValueSet.__repr__cCs|t||jSr)rfilterr)rZ filter_funcrrrrrzValueSet.filtercsfdd}|S)NcsfddjDS)Nc3s$|] }t|iVqdSr)rr$)rgrhrIrrr2s  z7ValueSet.__getattr__..mapper..)r5rrgrhrIrrrmappersz$ValueSet.__getattr__..mapperr)rrIrrrrrszValueSet.__getattr__cCs |j|jkSrrrrrr__eq__rzValueSet.__eq__cCs || Sr)rrrrr__ne__rzValueSet.__ne__cCrr)hashrr)rrr__hash__r-zValueSet.__hash__cCstdd|jDS)Ncsr.r) py__class__r%r?rrrr2rJz'ValueSet.py__class__..)r#rr)rrrrszValueSet.py__class__NFc#sJddlm}fdd|jD}t|D] }|dd|DVqdS)Nr)get_merged_lazy_valuecsg|] }|jdqS)r)r6rr7r8rrr&sz$ValueSet.iterate..cSsg|]}|dur|qSrr)r%lrrrr&)rZrrr)rr7r8rZ type_itersZ lazy_valuesrrrr6s   zValueSet.iteratecstfdd|jDS)Nc3s|] }|j|VqdSrrrrrrr2sz#ValueSet.execute..r#r5rrrrrrrzValueSet.executectfdd|jDS)Nc3 |] }|jiVqdSrr(rrrrr2z/ValueSet.execute_with_values..rrfrrrr'zValueSet.execute_with_valuescsttfdd|jDgS)Ncsg|] }|jiqSr)rHrrrrr&sz!ValueSet.goto..)rrrrfrrrrHsz ValueSet.gotocr)Nc3rr)rQrrrrr2rz.ValueSet.py__getattribute__..rrfrrrrQrzValueSet.py__getattribute__cr)Nc3s&|]}t|gRiVqdSr)rrrrrr2s$z$ValueSet.get_item..rrfrrrget_itemrzValueSet.get_itemc CsF|g}|jD]}zt||}Wn tyYqw||O}q|Sr)rrrr)rZ function_namerr?methodrrr try_merges    zValueSet.try_mergecCstdd|jDS)NcSsg|]}|qSr)r,rrrrr&sz6ValueSet.gather_annotation_classes..rr)rrrr,rz"ValueSet.gather_annotation_classescCsdd|jDS)NcSsg|] }|D]}|qqSr)ry)r%r?sigrrrr&sz+ValueSet.get_signatures..rr)rrrryr 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)rrtZ type_hintsoptionalrrrrrs     zValueSet.get_type_hintcCs0ddlm}i}|jD] }||||q |S)Nr)merge_type_var_dicts)Z!jedi.inference.gradual.annotationrrr)rrrZ type_var_dictrrrrrs  zValueSet.infer_type_varsrir)rrrrlrrr5rrrrrrrrrrrrr6rr'rHrQrrr,ryrrrrrrr#s:       r#csfdd}|S)Ncst|i|Srr"rfuncrrwrapper+rz&iterator_to_value_set..wrapperr)rrrrriterator_to_value_set*s rri)%r functoolsrrr itertoolsrZparso.python.treerZjedirZjedi.parser_utilsrZjedi.inference.helpersr Zjedi.inference.utilsr Zjedi.inference.cacher Z jedi.cacher objectr Exceptionr rrjrrrrrrrr#rrrrrrrs6          r %