f<xddlmZddlmZmZmZmZmZmZddl m Z ddl m Z ddl m Z ddlmZddlmZmZddlmZdd lmZGd d eZGd d ZGddeZGddeZGddee ZGddZGddeZGddeZGddeZGddeZ GddeZ!y )!)inference_state_method_cache)ValueSet NO_VALUESValueiterator_to_value_setLazyValueWrapper ValueWrapper)builtin_from_name ClassFilter) ClassMixin)to_list)AbstractNameDefinition ValueName) ClassContext)TupleGenericManagerc(eZdZdZdZdZdZdZy)_BoundTypeVarNamez> This type var was bound to a certain type, e.g. int. cB||_|j|_||_yN) _type_varparent_context _value_set)selftype_var value_sets V/var/www/cvtools/html/venv/lib/python3.12/site-packages/jedi/inference/gradual/base.py__init__z_BoundTypeVarName.__init__s!&55#c.fd}t|S)Nc3KjD]7}ddlm}t||rjj Ed{4|9y7 w)Nr)AnyClass)rjedi.inference.gradual.typingr" isinstancer constraints)valuer"rs riter_z&_BoundTypeVarName.infer..iter_sD BeX.#~~9999K  :s;A A  A )r)rr's` rinferz_BoundTypeVarName.infers   rc6|jjSr)r py__name__rs rr*z_BoundTypeVarName.py__name__!s~~((**rcrd|jjd|jd|jdS)N< z -> >) __class____name__r*rr+s r__repr__z_BoundTypeVarName.__repr__$s$"&.."9"94??;Ldoo^^rN)r1 __module__ __qualname____doc__rr(r*r2rrrr s$ !+_rrc"eZdZdZdZdZdZy)_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 c ||_||_yr) _generics _type_vars)rgenerics type_varss rrz_TypeVarFilter.__init__3s!#rct|jD]5\}}|j|k(s t||j|gcSgS#t $r|j gcYcSwxYwr) enumerater;r*rr: IndexErrorname)rrAirs rgetz_TypeVarFilter.get7sq$T__5 +KAx""$,+-hq8IJKK +  "+$MM?*+sAA+*A+cgSrr6r+s rvaluesz_TypeVarFilter.values@s  rN)r1r3r4r5rrCrEr6rrr8r8(s $rr8ceZdZfdZxZS)_AnnotatedClassContextc/|Kt||i|}|Ed{|jjy7!wr)super get_filters_valueget_type_var_filter)rargskwargsfiltersr0s rrJz"_AnnotatedClassContext.get_filtersGsF'%   kk--// s <:"<)r1r3r4rJ __classcell__r0s@rrGrGFs 00rrGcJeZdZdZdZedZdZdZdZ dZ y) DefineGenericBaseClassc||_yr)_generics_managerrgenerics_managers rrzDefineGenericBaseClass.__init__Ss !1rctr)NotImplementedErrorrVs r_create_instance_with_genericsz5DefineGenericBaseClass._create_instance_with_genericsVs!!rc6|jjSr)rUto_tupler+s r get_genericsz#DefineGenericBaseClass.get_genericsYs%%..00rc ddlm}d}g}|jD]j}t}|D]L}t |t |fr)|j |}||z}|t|hk7s;d}>|t|gz}N|j|l|s t|gSt|jtt|gS)NrTypeVarFT) jedi.inference.gradual.type_varr`r]rr$rSdefine_genericsrappendrZrtuple) r type_var_dictr`changed new_generics generic_setrEgenericresults rrbz&DefineGenericBaseClass.define_generics]s; ,,. (KF& 2g(>'HI$44]CFf$F7)!44"&hy11F 2    ' (TF# #<< l 3 4    rct|tsy|j|jk7ry|j}|j}t |t |k7ryt dt ||DS)NFc3hK|])\}tfd|jD+yw)c3jK|]*}jD]}|j|,ywr)gather_annotation_classes is_same_class).0cls1cls2 class_set2s r zADefineGenericBaseClass.is_same_class...sD &@@B ""4( ( s03N)anyrn)rp class_set1rss @rrtz7DefineGenericBaseClass.is_same_class..s<  )*j  '@@B    s/2)r$rS tree_noder]lenallzip)rother given_params1 given_params2s rroz$DefineGenericBaseClass.is_same_classws{%!78 >>U__ ,))+ **, } ]!3 3  -0 },M   rcgSrr6r+s rget_signaturesz%DefineGenericBaseClass.get_signaturess rcd|jjd|jt|j dSNr-z: r/)r0r1_wrapped_valuelistr]r+s rr2zDefineGenericBaseClass.__repr__s3 NN # #    ""$ %  rN) r1r3r4rrZrr]rbrorr2r6rrrSrSRs72""#1$1 4 < rrScreZdZdZfdZdZd dZdZfdZdZ e dZ d Z fd Z d Zd ZxZS) GenericClassz A class that is defined with generics, might be something simple like: class Foo(Generic[T]): ... my_foo_int_cls = Foo[int] c2t||||_yr)rIr _class_value)r class_valuerWr0s rrzGenericClass.__init__s )*'rc|jSrrr+s r_get_wrapped_valuezGenericClass._get_wrapped_value   rc|j}tddddj||}||jj z}|rd|zS|S)NListDictSetTuple)rdictsetrdzType[%s])r*rrCrU get_type_hint)radd_class_infonss rrzGenericClass.get_type_hintsX OO  f6uG D H HA N &&446 6 > !rcRt|j|jSr)r8r]list_type_varsr+s rrLz GenericClass.get_type_var_filters!d//143F3F3HIIrcPt||\}tt|gSr)rI py__call__r_GenericInstanceWrapper)r argumentsinstancer0s rrzGenericClass.py__call__s(G&y1 0:;<>rc ddlm}m}|j}i}|dk(r6|j }|r"|dj |j S|S|D]}|jr!|js|j}n5|jdk7rE|jD])}|j} || k(s||||||S)Nr)merge_pairwise_genericsmerge_type_var_dictsIterableclass) !jedi.inference.gradual.annotationrrr*r]infer_type_varsmerge_types_of_iterate is_instance is_compiledget_annotated_class_objectapi_type py__mro__) rrrrannotation_namereannotation_genericspy_class parent_class class_names rrzGenericClass.infer_type_varssc//+ j ("&"3"3"5 "*1-==4468+& '')(2F2F2H'BBDH$$/$,$6$6$8L!-!8!8!:J&*4,)3D,G *rT)r1r3r4r5rrrrLrrrrrZrrrrPrQs@rrrsR (! J=, L LA> ?%rrc.eZdZdZedZdZdZy)rc.||_||_||_yr)r_lazy_base_classrU)rrlazy_base_classrWs rrz_LazyGenericBaseClass.__init__s' /!1rc #K|jjD]}t|trOtj |j |j tt|j|b|jr.tj |j ||j|ywr) rr(r$r create_cachedinference_staterrrd_remap_type_varsis_class_mixinrUrs rr(z_LazyGenericBaseClass.infers))//1 D$ -"00(('''d.C.CD.I(JK &&('44,,.. J' sCCc#LKddlm}|jj}|j D]m}t }|D]\}t ||r?|j|j}|tjd|Dz}N|t|gz}^|oyw)Nrr_c3<K|]}|jywr)r()rprAs rrtz9_LazyGenericBaseClass._remap_type_vars..!s.)- .) rar`rrLr]rr$rCr*r from_sets)rrr`filter type_var_setnewrnamess rrz&_LazyGenericBaseClass._remap_type_varss;""668 --/ LC( 0h0"JJx':':'<=E8--.16.C8XJ//C 0I sB"B$cPd|jjd|jdSr)r0r1rr+s rr2z_LazyGenericBaseClass.__repr__+s!^^44d6K6KLLrN)r1r3r4rrr(rr2r6rrrrs&2 ,$MrrceZdZdZddZy)rc|jjjD]p}|jdk(r&|j } |dj cS|jdk(sPtt|jdgcS|jjS#t $rYwxYw)N GeneratorIteratorNone) rrrr*r]execute_annotationr@rr rpy__stop_iteration_returns)rclsr<s rrz2_GenericInstanceWrapper.py__stop_iteration_returns0s&&22<<> SC~~;.++-#A;99;;!Z/!243G3G!P QRR S""==?? "s B22 B>=B>cN|jjjdS)NF)r)rrr)rrs rrz%_GenericInstanceWrapper.get_type_hint<s"""..<.EmptyFiltercyrr6r+s rrz>_PseudoTreeNameClass.get_filters..EmptyFilter.__init__ZsrcgSrr6)rrArNs rrCz9_PseudoTreeNameClass.get_filters..EmptyFilter.get] rcgSrr6)rrNs rrEz<_PseudoTreeNameClass.get_filters..EmptyFilter.values`rrN)r1r3r4rrCrEr6rr EmptyFilterrYs   rrr )rrMrNrs rrJz _PseudoTreeNameClass.get_filtersWs + mrc.t|jdS)Ntype)r rr+s r py__class__z _PseudoTreeNameClass.py__class__es!!5!5v>>rc.t||jSrrrr+s rrAz_PseudoTreeNameClass.namejt//rc0|jjfSr)rr&r+s rget_qualified_namesz(_PseudoTreeNameClass.get_qualified_namesns%%''rcb|jjd|jjdSN()r0r1rr&r+s rr2z_PseudoTreeNameClass.__repr__q!>>22DOO4I4IJJr)r1r3r4r5rrpropertyrwrJrrArr2rPrQs@rrr@sQH$ ? 00(Krrc4eZdZdZedZdZdZdZy)BaseTypingValuecB|j|_||_||_yr)rrr)rrrs rrzBaseTypingValue.__init__vs-==,#rc.t||jSrrr+s rrAzBaseTypingValue.name{rrcBt|j|jSrrrrr+s rrz"BaseTypingValue._get_wrapped_value#D$7$7IIrc6|jjSr)rrr+s rrzBaseTypingValue.get_signaturess""1133rcb|jjd|jjdSrrr+s rr2zBaseTypingValue.__repr__rrN) r1r3r4rrrArrr2r6rrrrus,$ 00J4Krrc*eZdZfdZdZdZxZS)BaseTypingClassWithGenericscbt|||j|_||_||_yr)rIrrrr)rrrrWr0s rrz$BaseTypingClassWithGenerics.__init__s. )*-==,#rcBt|j|jSrrr+s rrz.BaseTypingClassWithGenerics._get_wrapped_valuerrcz|jjd|jj|jdSr)r0r1rr&rUr+s rr2z$BaseTypingClassWithGenerics.__repr__s.!^^44doo6K6K!335 5r)r1r3r4rrr2rPrQs@rrrs$ J5rrc@eZdZdZdZdZdZedZdZ dZ y) BaseTypingInstancec^|j|_||_||_||_||_yr)rrrrrU)rrrrrWs rrzBaseTypingInstance.__init__s/*::,'#!1rc|jSrrr+s rrzBaseTypingInstance.py__class__rrc|jSrrr+s rrz-BaseTypingInstance.get_annotated_class_objectrrc$|jfSr)r*r+s rrz&BaseTypingInstance.get_qualified_namess!##rc.t||jSrrr+s rrAzBaseTypingInstance.namerrcRt|jdj\}|S)Nobject)r rr)robject_s rrz%BaseTypingInstance._get_wrapped_values$$T%9%98DWWYrcPd|jjd|jdSr)r0r1rUr+s rr2zBaseTypingInstance.__repr__s!^^44d6L6LMMrN) r1r3r4rrrrrrArr2r6rrrrs52!!$00NrrN)"jedi.inference.cacherjedi.inference.base_valuerrrrrr jedi.inference.compiledr jedi.inference.value.klassr r jedi.inference.utilsrjedi.inference.namesrrjedi.inference.contextrjedi.inference.gradual.genericsrrr8rGrSrrrrrrrr6rrrs=::521(B/?_._6< 0\ 0K -K \Y):Yx0M0MfSlS"2K52KjK&K( 5"8 5N)Nr