o äË·eÂ<ã@s6ddlmZddlmZmZmZmZmZmZddl m Z ddlmZddlm Z ddlmZddlmZmZddlmZdd lmZGd d„deƒZGdd „d ƒZGdd„deƒZGdd„deƒZGdd„dee ƒZGdd„dƒZGdd„deƒZGdd„deƒZGdd„deƒZGdd„deƒZ Gdd„deƒZ!d S)!é)Úinference_state_method_cache)ÚValueSetÚ NO_VALUESÚValueÚiterator_to_value_setÚLazyValueWrapperÚValueWrapper)Úbuiltin_from_name©ÚClassFilter)Ú ClassMixin)Úto_list)ÚAbstractNameDefinitionÚ ValueName)ÚClassContext)ÚTupleGenericManagerc@s0eZdZdZdd„Zdd„Zdd„Zdd „Zd S)Ú_BoundTypeVarNamez> This type var was bound to a certain type, e.g. int. cCs||_|j|_||_dS©N)Ú _type_varÚparent_contextÚ _value_set)ÚselfÚtype_varÚ value_set©rúR/var/www/ideatree/venv/lib/python3.10/site-packages/jedi/inference/gradual/base.pyÚ__init__s z_BoundTypeVarName.__init__cs‡fdd„}t|ƒƒS)Nc3s>ˆjD]}ddlm}t||ƒrˆjjEdHq|VqdS)Nr)ÚAnyClass)rÚjedi.inference.gradual.typingrÚ isinstancerÚconstraints)Úvaluer©rrrÚiter_s€ úz&_BoundTypeVarName.infer..iter_)r)rr#rr"rÚinfers z_BoundTypeVarName.infercCó |j ¡Sr)rÚ py__name__r"rrrr&!ó z_BoundTypeVarName.py__name__cCsd|jj| ¡|jfS)Nz <%s %s -> %s>)Ú __class__Ú__name__r&rr"rrrÚ__repr__$sz_BoundTypeVarName.__repr__N)r)Ú __module__Ú__qualname__Ú__doc__rr$r&r*rrrrr src@s(eZdZdZdd„Zdd„Zdd„ZdS) Ú_TypeVarFilterzÛ A filter for all given variables in a class. A = TypeVar('A') B = TypeVar('B') class Foo(Mapping[A, B]): ... In this example we would have two type vars given: A and B cCs||_||_dSr)Ú _genericsÚ _type_vars)rÚgenericsÚ type_varsrrrr3s z_TypeVarFilter.__init__c Cs\t|jƒD]&\}}| ¡|kr+zt||j|ƒgWSty*|jgYSwqgSr)Ú enumerater0r&rr/Ú IndexErrorÚname)rr5ÚirrrrÚget7sÿýz_TypeVarFilter.getcCógSrrr"rrrÚvalues@sz_TypeVarFilter.valuesN)r)r+r,r-rr7r9rrrrr.(s r.cseZdZ‡fdd„Z‡ZS)Ú_AnnotatedClassContextc/s.tƒj|i|¤Ž}|EdH|j ¡VdSr)ÚsuperÚget_filtersÚ_valueÚget_type_var_filter)rÚargsÚkwargsÚfilters©r(rrr<Gs€ÿÿ z"_AnnotatedClassContext.get_filters)r)r+r,r<Ú __classcell__rrrBrr:Fsr:c@sJeZdZdd„Zdd„Zeƒdd„ƒZdd„Zd d „Zdd„Z d d„Z dS)ÚDefineGenericBaseClasscCs ||_dSr)Ú_generics_manager©rÚgenerics_managerrrrrSr'zDefineGenericBaseClass.__init__cCst‚r)ÚNotImplementedErrorrFrrrÚ_create_instance_with_genericsVóz5DefineGenericBaseClass._create_instance_with_genericscCr%r)rEÚto_tupler"rrrÚget_genericsYs z#DefineGenericBaseClass.get_genericsc Cs¢ddlm}d}g}| ¡D]/}t}|D]#}t|t|fƒr0| |¡}||O}|t|hƒkr/d}q|t|gƒO}q| |¡q|sEt|gƒSt| t t|ƒƒ¡gƒS)Nr©ÚTypeVarFT)Újedi.inference.gradual.type_varrNrLrrrDÚdefine_genericsrÚappendrIrÚtuple) rÚ type_var_dictrNÚchangedÚnew_genericsÚgeneric_setr9ÚgenericÚresultrrrrP]s& € ÿz&DefineGenericBaseClass.define_genericscCsZt|tƒsdS|j|jkrdS| ¡}| ¡}t|ƒt|ƒkr!dStdd„t||ƒDƒƒS)NFc3s.|]\}‰t‡fdd„| ¡DƒƒVqdS)c3s(|]}ˆ ¡D]}| |¡VqqdSr)Úgather_annotation_classesÚ is_same_class)Ú.0Úcls1Úcls2©Ú class_set2rrÚ ˆs€÷ ùþzADefineGenericBaseClass.is_same_class...N)ÚanyrY)r[Ú class_set1rr^rr`‡s€öø ÿz7DefineGenericBaseClass.is_same_class..)rrDÚ tree_noderLÚlenÚallÚzip)rÚotherÚ given_params1Ú given_params2rrrrZws õz$DefineGenericBaseClass.is_same_classcCr8rrr"rrrÚget_signatures•rJz%DefineGenericBaseClass.get_signaturescCsd|jj|jt| ¡ƒfS)Nz <%s: %s%s>)r(r)Ú_wrapped_valueÚlistrLr"rrrr*˜s ýzDefineGenericBaseClass.__repr__N)r)r+r,rrIrrLrPrZrjr*rrrrrDRs rDcs~eZdZdZ‡fdd„Zdd„Zddd„Zd d „Z‡fdd„Zd d„Z e dd„ƒZdd„Z‡fdd„Z dd„Zdd„Z‡ZS)ÚGenericClassz– A class that is defined with generics, might be something simple like: class Foo(Generic[T]): ... my_foo_int_cls = Foo[int] cstƒ |¡||_dSr)r;rÚ_class_value)rÚclass_valuerGrBrrr§s zGenericClass.__init__cCó|jSr©rnr"rrrÚ_get_wrapped_value«ózGenericClass._get_wrapped_valueTcCs>| ¡}tddddd ||¡}||j ¡}|rd|S|S)NÚListÚDictÚSetÚTuple)rlÚdictÚsetrRzType[%s])r&rxr7rEÚ get_type_hint)rÚadd_class_infoÚnÚsrrrrz®szGenericClass.get_type_hintcCst| ¡| ¡ƒSr)r.rLÚlist_type_varsr"rrrr>ºóz GenericClass.get_type_var_filtercstƒ |¡\}tt|ƒgƒSr)r;Ú py__call__rÚ_GenericInstanceWrapper)rÚ argumentsÚinstancerBrrr€½szGenericClass.py__call__cCst|ƒSr)r:r"rrrÚ_as_contextÁszGenericClass._as_contextccs&|j ¡D] }t|||jƒVqdSr)rkÚpy__bases__Ú_LazyGenericBaseClassrE©rÚbaserrrr…Äs€ÿzGenericClass.py__bases__cCst|j|ƒSr)rmrnrFrrrrIÉóz+GenericClass._create_instance_with_genericscstƒ |¡rdS|j |¡S)NT)r;Úis_sub_class_ofrn)rrorBrrrŠÌszGenericClass.is_sub_class_ofcCs|j |¡Sr)rnÚ with_generics)rÚgenerics_tuplerrrr‹Ñr‰zGenericClass.with_genericsc Cs®ddlm}m}| ¡}i}|dkr#| ¡}|r!|d | ¡¡S|S|D]/}| ¡r4| ¡s4| ¡}nq%|j dkr;q%| ¡D]}| ¡} || krS|||||ƒƒnq?q%|S)Nr)Úmerge_pairwise_genericsÚmerge_type_var_dictsÚIterableÚclass)Ú!jedi.inference.gradual.annotationrrŽr&rLÚinfer_type_varsÚmerge_types_of_iterateÚis_instanceÚis_compiledÚget_annotated_class_objectÚapi_typeÚ py__mro__) rrrrŽÚannotation_namerSÚannotation_genericsÚpy_classÚparent_classÚ class_namerrrr’Ôs6ÿë þû€zGenericClass.infer_type_vars©T)r)r+r,r-rrrrzr>r€r„r r…rIrŠr‹r’rCrrrBrrm s rmc@s0eZdZdd„Zedd„ƒZdd„Zdd„Zd S) r†cCs||_||_||_dSr)rnÚ_lazy_base_classrE)rroÚlazy_base_classrGrrrrýs z_LazyGenericBaseClass.__init__c csh|j ¡D]+}t|tƒrt |j|jtt| |¡ƒƒ¡Vq| ¡r.t |j||j¡Vq|VqdSr)rŸr$rrmÚ create_cachedÚinference_staterkrrRÚ_remap_type_varsÚis_class_mixinrEr‡rrrr$s € ýýíz_LazyGenericBaseClass.inferccs~ddlm}|j ¡}| ¡D],}t}|D]"}t||ƒr1| | ¡¡}|t dd„|Dƒ¡O}q|t |gƒO}q|VqdS)NrrMcss|]}| ¡VqdSr)r$)r[r5rrrr`!s€ ÿz9_LazyGenericBaseClass._remap_type_vars..)rOrNrnr>rLrrr7r&rÚ from_sets)rrˆrNÚfilterÚtype_var_setÚnewrÚnamesrrrr£s€ ÿóz&_LazyGenericBaseClass._remap_type_varscCód|jj|jfS©Nz<%s: %s>)r(r)rŸr"rrrr*+rz_LazyGenericBaseClass.__repr__N)r)r+r,rrr$r£r*rrrrr†üs r†c@seZdZdd„Zddd„ZdS)rc Csx|jj ¡D]0}| ¡dkr%| ¡}z |d ¡WSty$Yqw| ¡dkr6tt|j dƒgƒSq|j ¡S)NÚ GeneratoréÚIteratorÚNone)rkror˜r&rLÚexecute_annotationr4rr r¢Úpy__stop_iteration_returns)rÚclsr1rrrr±0sÿÿ z2_GenericInstanceWrapper.py__stop_iteration_returnsTcCs|jjjddS)NF)r{)rkrorz)rr{rrrrz<sz%_GenericInstanceWrapper.get_type_hintNrž)r)r+r,r±rzrrrrr/srcs\eZdZdZdZ‡fdd„Zedd„ƒZdd„Zd d „Z edd„ƒZ d d„Zdd„Z‡Z S)Ú_PseudoTreeNameClassa2 In typeshed, some classes are defined like this: Tuple: _SpecialForm = ... Now this is not a real class, therefore we have to do some workarounds like this class. Essentially this class makes it possible to goto that `Tuple` name, without affecting anything else negatively. rcstƒ |j|¡||_dSr)r;rr¢Ú _tree_name©rrÚ tree_namerBrrrLs þ z_PseudoTreeNameClass.__init__cCrpr)r´r"rrrrcSsz_PseudoTreeNameClass.tree_nodecosGdd„dtƒ}|ƒVdS)Nc@s$eZdZdd„Zdd„Zdd„ZdS)z5_PseudoTreeNameClass.get_filters..EmptyFiltercSsdSrrr"rrrrZrJz>_PseudoTreeNameClass.get_filters..EmptyFilter.__init__c[r8rr)rr5r@rrrr7]rJz9_PseudoTreeNameClass.get_filters..EmptyFilter.getc[r8rr)rr@rrrr9`rJz<_PseudoTreeNameClass.get_filters..EmptyFilter.valuesN)r)r+r,rr7r9rrrrÚEmptyFilterYsr·r )rr?r@r·rrrr<Ws€ z _PseudoTreeNameClass.get_filterscCst|jdƒS)NÚtype)r r¢r"rrrÚpy__class__esz _PseudoTreeNameClass.py__class__cCót||jƒSr©rr´r"rrrr5józ_PseudoTreeNameClass.namecCs |jjfSr)r´r!r"rrrÚget_qualified_namesnr'z(_PseudoTreeNameClass.get_qualified_namescCód|jj|jjfS©Nz%s(%s)©r(r)r´r!r"rrrr*qóz_PseudoTreeNameClass.__repr__)r)r+r,r-r—rÚpropertyrcr<r¹r5r½r*rCrrrBrr³@s r³c@s8eZdZdd„Zedd„ƒZdd„Zdd„Zd d „ZdS)ÚBaseTypingValuecCs|j|_||_||_dSr)r¢rr´rµrrrrvs zBaseTypingValue.__init__cCrºrr»r"rrrr5{r¼zBaseTypingValue.namecCót|j|jƒSr©r³rr´r"rrrrróz"BaseTypingValue._get_wrapped_valuecCr%r)rkrjr"rrrrj‚r'zBaseTypingValue.get_signaturescCr¾r¿rÀr"rrrr*…rÁzBaseTypingValue.__repr__N) r)r+r,rrÂr5rrrjr*rrrrrÃus rÃcs,eZdZ‡fdd„Zdd„Zdd„Z‡ZS)ÚBaseTypingClassWithGenericscs$tƒ |¡|j|_||_||_dSr)r;rr¢rr´)rrr¶rGrBrrrŠs z$BaseTypingClassWithGenerics.__init__cCrÄrrÅr"rrrrrrÆz.BaseTypingClassWithGenerics._get_wrapped_valuecCsd|jj|jj|jfS)Nz%s(%s%s))r(r)r´r!rEr"rrrr*“sÿz$BaseTypingClassWithGenerics.__repr__)r)r+r,rrrr*rCrrrBrrÇ‰srÇc@sHeZdZdd„Zdd„Zdd„Zdd„Zed d „ƒZdd„Z d d„Z dS)ÚBaseTypingInstancecCs$|j|_||_||_||_||_dSr)r¢rrnr´rE)rrror¶rGrrrr™s zBaseTypingInstance.__init__cCrprrqr"rrrr¹ rszBaseTypingInstance.py__class__cCrprrqr"rrrr–£rsz-BaseTypingInstance.get_annotated_class_objectcCs | ¡fSr)r&r"rrrr½¦r'z&BaseTypingInstance.get_qualified_namescCrºrr»r"rrrr5©r¼zBaseTypingInstance.namecCst|jdƒ ¡\}|S)NÚobject)r r¢r°)rÚobject_rrrrrsz%BaseTypingInstance._get_wrapped_valuecCrªr«)r(r)rEr"rrrr*±rzBaseTypingInstance.__repr__N)r)r+r,rr¹r–r½rÂr5rrr*rrrrrÈ˜s rÈN)"Újedi.inference.cacherÚjedi.inference.base_valuerrrrrrÚjedi.inference.compiledr Újedi.inference.value.klassrrÚjedi.inference.utilsr Újedi.inference.namesrrÚjedi.inference.contextrÚjedi.inference.gradual.genericsrrr.r:rDrmr†rr³rÃrÇrÈrrrrÚs( N\35