a lc-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__rrU/var/www/html/django/DPS/env/lib/python3.9/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)&HelperValueMixincCs0|}|jdur|S|jdur$|S|j}qdSN)parent_context as_context)selfvaluerrrget_root_contexts   z!HelperValueMixin.get_root_contextcCs|jj||dS)N argumentsinference_stateexecuterrrrrr(szHelperValueMixin.executecGs,ddlm}|dd|D}|j||S)Nr)ValuesArgumentscSsg|]}t|gqSrValueSet.0rrrr -z8HelperValueMixin.execute_with_values..)Zjedi.inference.argumentsr rr)rZ value_listr rrrrexecute_with_values+s z$HelperValueMixin.execute_with_valuescCs|Srr'rrrrexecute_annotation0sz#HelperValueMixin.execute_annotationcCs t|gSrr!r)rrrgather_annotation_classes3sz*HelperValueMixin.gather_annotation_classesNFcCstdd|||DS)Ncss|]}|VqdSrinferr$Z lazy_valuerrr 7sz:HelperValueMixin.merge_types_of_iterate..r" from_setsiterate)rcontextualized_nodeis_asyncrrrmerge_types_of_iterate6s  z'HelperValueMixin.merge_types_of_iterateccs^t|tr|nd}|j|dEdH|rZddlm}|t|hD]}|EdHqFdS)N) origin_scoper)convert_values) isinstancerZ get_filtersis_stubZ!jedi.inference.gradual.conversionr7r")r name_or_strr6r7crrr_get_value_filters<s  z#HelperValueMixin._get_value_filtersTcCs6ddlm}||}|||}td||||S)Nr)finderzcontext.goto %s in (%s): %s)jedi.inferencer=r<Z filter_namerdbg)rr: name_contextanalysis_errorsr=filtersnamesrrrgotoEs    zHelperValueMixin.gotoc Cs|dur |}||||}tdd|D}|sPt|trB|jn|}||}|s|s|rt|trddlm}| |||t d|||S)zZ :param position: Position of the last statement -> tuple of line, column Ncss|]}|VqdSrr,)r$namerrrr/Tr&z6HelperValueMixin.py__getattribute__..ranalysisz context.names_to_types: %s -> %s) rDr"r1r8rrpy__getattribute__alternativesr>rGZadd_attribute_errorrr?) rr:r@positionrArCvaluesnrGrrrpy__getattribute__Ls    z#HelperValueMixin.py__getattribute__cCs"|d}|std||S)N __await__z"Tried to run __await__ on value %s)rLrwarningr')rZawait_value_setrrr py__await__as  zHelperValueMixin.py__await__cCs|jjSr)rE string_namer)rrr py__name__gszHelperValueMixin.py__name__cCsVtd||rLddlm}t||dddgS||S)Nz iterate %sr)LazyKnownValues __aiter__ __anext__rM) rr?jedi.inference.lazy_valuerRiterrLr'py__stop_iteration_returns py__iter__)rr3r4rRrrrr2js   zHelperValueMixin.iteratecCstjd||fddX|D].}||r tjdddWddSq tjdddWddS1st0YdS)Nzsubclass matching of %s <=> %sZBLUE)colorzmatched subclass TrueTzmatched subclass FalseF)rincrease_indent_cmZ py__mro__ is_same_classr?)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_context)NF)NT)NNT)NF)rrrrrr'r*r+r5r<rDrLrOrQr2r^r[r rrrrrrs$      rc@seZdZdZdZdZdZdAddZddZdd Z dBd d Z dCd 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$dDd=d>Z%d?d@Z&dS)EValuez* To be implemented by subclasses. NZnot_defined_please_report_bugcCs||_||_dSr)rr)rrrrrr__init__szValue.__init__cCs*ddlm}|j|jd|jd|dtS)NrrFztype-error-not-subscriptablez+TypeError: '%s' object is not subscriptablemessage)r>rGrcontextnode NO_VALUES)rZindex_value_setr3rGrrr py__getitem__s zValue.py__getitem__cCstdSrr)rindexrrrpy__simple_getitem__szValue.py__simple_getitem__cCs6|dur.ddlm}|j|jd|jd|dtgS)NrrFztype-error-not-iterablez&TypeError: '%s' object is not iterablerf)r>rGrrhrirV)rr3rGrrrrXs zValue.py__iter__cCs ||Sr)rX)rr3rrr py__next__szValue.py__next__cCsgSrrr)rrrget_signaturesszValue.get_signaturescCsdSNFrr)rrris_classszValue.is_classcCsdSrprr)rrris_class_mixinszValue.is_class_mixincCsdSrprr)rrr is_instanceszValue.is_instancecCsdSrprr)rrr is_functionszValue.is_functioncCsdSrprr)rrr is_moduleszValue.is_modulecCsdSrprr)rrr is_namespaceszValue.is_namespacecCsdSrprr)rrr is_compiledszValue.is_compiledcCsdSrprr)rrris_bound_methodszValue.is_bound_methodcCsdSrprr)rrris_builtins_moduleszValue.is_builtins_modulecCsdS)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__cCs0z |jjWnty YdS0t|jSdS)N) tree_nodeZ get_doc_nodeAttributeErrorrr)rrr py__doc__s   zValue.py__doc__cCs|turtd||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 %srrNrj)rotheroperatorrrrexecute_operationszValue.execute_operationcCstd|tS)Nzno execution possible %srrrrr py__call__s zValue.py__call__cCstd|tS)Nz0Not possible to return the stop iterations of %srr)rrrrWs z Value.py__stop_iteration_returnscCstS)zH For now a way to add values in cases like __getattr__. )rj)rr:rrrrHsz$Value.py__getattribute__alternativescCstd|t|gS)NzNo __get__ defined on %s)rrNr")rinstancer\rrr py__get__s zValue.py__get__cCstSr)NotImplemented)rZcalling_instancerr\rrrpy__get__on_classszValue.py__get__on_classcCsdSrrr)rrrget_qualified_namesszValue.get_qualified_namescCs |jSr)rr9r)rrrr9sz Value.is_stubcCstdSr)r r)rrrr` szValue._as_contextcCstdSrNotImplementedErrorr)rrrrEsz Value.nameTcCsdSrr)radd_class_inforrr get_type_hintszValue.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_vars)N)N)N)T)'rrr__doc__r|Z array_typeZapi_typererkrmrXrnrorqrrrsrtrurvrwrxryrzr~rrrrrWrHrrrr9r`propertyrErrrrrrrdsF      rdNFcCstdd|j||dDS)z Calls `iterate`, on all values but ignores the ordering and just returns all values that the iterate functions yield. css|]}|VqdSrr,r.rrrr/8sz!iterate_values..r4r0)rJr3r4rrriterate_values3s  rc@s2eZdZeddZeeddZddZdS)_ValueWrapperBasecCsFddlm}|jj}|jdur*|||jSddlm}|||jSdS)Nr) ValueName)CompiledValueName)Zjedi.inference.namesr_wrapped_valuerEZ tree_nameZjedi.inference.compiledrrP)rrZ wrapped_namerrrrrE?s     z_ValueWrapperBase.namecOs||i|Srr)r]rrbrcrrr create_cachedIsz_ValueWrapperBase.create_cachedcCs|dksJdt|j|S)NrzProblem with _get_wrapped_value)getattrr)rrErrr __getattr__Nsz_ValueWrapperBase.__getattr__N) rrrr rE classmethodr rrrrrrr>s   rc@s,eZdZeeddZddZddZdS)LazyValueWrappercCs6td|WdS1s(0YdS)NzResolve lazy value wrapper)rrZ_get_wrapped_valuer)rrrrTs zLazyValueWrapper._wrapped_valuecCs d|jjS)Nz<%s>) __class__rr)rrr__repr__ZszLazyValueWrapper.__repr__cCstdSrrr)rrrr]sz#LazyValueWrapper._get_wrapped_valueN)rrrr r rrrrrrrrSs  rc@seZdZddZddZdS) ValueWrappercCs ||_dSr)r)rZ wrapped_valuerrrrebszValueWrapper.__init__cCsd|jj|jfS)Nz%s(%s))rrrr)rrrreszValueWrapper.__repr__N)rrrrerrrrrrasrcs$eZdZfddZddZZS) TreeValuecst||||_dSr)superrer|)rrrr|rrrrejszTreeValue.__init__cCsd|jj|jfS)Nz<%s: %s>)rrr|r)rrrrnszTreeValue.__repr__)rrrrer __classcell__rrrrris rc@s,eZdZddZddZddZddZd S) ContextualizedNodecCs||_||_dSr)rhri)rrhrirrrresszContextualizedNode.__init__cCs |jSr)rhrr)rrrrwsz#ContextualizedNode.get_root_contextcCs|j|jSr)rhZ infer_noderir)rrrr-zszContextualizedNode.infercCsd|jj|j|jfS)Nz<%s: %s in %s>)rrrirhr)rrrr}szContextualizedNode.__repr__N)rrrrerr-rrrrrrrsrc Cst}t}|D]Z}|jdd}t|tttttfvr^z|| |O}WqWnt y\Yn0| |q|sr|s|| t ||O}td||S)N)rzpy__getitem__ result: %s)rjsetrr_floatintstrslicebytesrmr rrkr"rr?)rZ index_valuesr3resultZ unused_valuesZ index_valuerlrrr_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_setr8r")riterablerrrrres zValueSet.__init__cCs||}||_|Sr)__new__r)r]Z 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. )rr8r"rrr)r]ZsetsZ aggregatedset_rrrr1s   zValueSet.from_setscCs||j|jBSrrrrrrrr__or__szValueSet.__or__cCs||j|j@Srrrrrr__and__szValueSet.__and__cCs t|jSr)rVrr)rrr__iter__szValueSet.__iter__cCs t|jSr)boolrr)rrr__bool__szValueSet.__bool__cCs t|jSr)lenrr)rrr__len__szValueSet.__len__cCsdddd|jDS)NzS{%s}, css|]}t|VqdSr)r)r$srrrr/r&z$ValueSet.__repr__..)joinrr)rrrrszValueSet.__repr__cCs|t||jSr)rfilterr)rZ filter_funcrrrrszValueSet.filtercsfdd}|S)NcsfddjDS)Nc3s"|]}t|iVqdSr)rr#)rbrcrErrr/sz7ValueSet.__getattr__..mapper..)r1rrbrcrErrrmappersz$ValueSet.__getattr__..mapperr)rrErrrrrszValueSet.__getattr__cCs |j|jkSrrrrrr__eq__szValueSet.__eq__cCs || Sr)rrrrr__ne__szValueSet.__ne__cCs t|jSr)hashrr)rrr__hash__szValueSet.__hash__cCstdd|jDS)Ncss|]}|VqdSr) py__class__r$r;rrrr/r&z'ValueSet.py__class__..)r"rr)rrrrszValueSet.py__class__NFc#sHddlm}fdd|jD}t|D]}|dd|DVq*dS)Nr)get_merged_lazy_valuecsg|]}|jdqS)r)r2rr3r4rrr%r&z$ValueSet.iterate..cSsg|]}|dur|qSrr)r$lrrrr%r&)rUrrr)rr3r4rZ type_itersZ lazy_valuesrrrr2s    zValueSet.iteratecstfdd|jDS)Nc3s|]}|j|VqdSrrrrrrr/r&z#ValueSet.execute..r"r1rrrrrrszValueSet.executecstfdd|jDS)Nc3s|]}|jiVqdSrr(rrrrr/r&z/ValueSet.execute_with_values..rrarrrr'szValueSet.execute_with_valuescsttfdd|jDgS)Ncsg|]}|jiqSr)rDrrrrr%r&z!ValueSet.goto..)rrrrarrrrDsz ValueSet.gotocstfdd|jDS)Nc3s|]}|jiVqdSr)rLrrrrr/r&z.ValueSet.py__getattribute__..rrarrrrLszValueSet.py__getattribute__cstfdd|jDS)Nc3s$|]}t|gRiVqdSr)rrrrrr/r&z$ValueSet.get_item..rrarrrget_itemszValueSet.get_itemc CsF|g}|jD]0}zt||}Wnty4Yq0||O}q|Sr)rrrr})rZ function_namerr;methodrrr try_merges    zValueSet.try_mergecCstdd|jDS)NcSsg|] }|qSr)r+rrrrr%r&z6ValueSet.gather_annotation_classes..rr)rrrr+sz"ValueSet.gather_annotation_classescCsdd|jDS)NcSsg|]}|D]}|qqSr)ro)r$r;sigrrrr%r&z+ValueSet.get_signatures..rr)rrrroszValueSet.get_signaturesTcsfdd|jD}ttd|}t|dkr6|dSd|v}|rL|dt|dkr\dSt|dkrr|d}ndd|}|rd|}|S) Ncsg|]}|jdqS)r)r)r$vrrrr%r&z*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_vars)NF)T)rrrrerrr1rrrrrrrrrrrrr2rr'rDrLrrr+rorrrrrrr"s8     r"csfdd}|S)Ncst|i|Srr!rfuncrrwrapper+sz&iterator_to_value_set..wrapperr)rrrrriterator_to_value_set*s r)NF)%r functoolsrrr itertoolsrZparso.python.treerZjedirZjedi.parser_utilsrZjedi.inference.helpersr Zjedi.inference.utilsr Zjedi.inference.cacher Z jedi.cacher objectr Exceptionr rrdrrrrrrrr"rjrrrrrs4          r%