Mh<ddlmZddlmZmZmZmZmZmZddl m Z ddl m Z ddl m Z ddlmZddlmZmZddlmZdd lmZGd d eZGd d ZGddeZGddeZGddee ZGddZGddeZGddeZGddeZGddeZ GddeZ!d S)!)inference_state_method_cache)ValueSet NO_VALUESValueiterator_to_value_setLazyValueWrapper ValueWrapper)builtin_from_name ClassFilter) ClassMixin)to_list)AbstractNameDefinition ValueName) ClassContext)TupleGenericManagerc*eZdZdZdZdZdZdZdS)_BoundTypeVarNamez> This type var was bound to a certain type, e.g. int. c:||_|j|_||_dSN) _type_varparent_context _value_set)selftype_var value_sets [/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/jedi/inference/gradual/base.py__init__z_BoundTypeVarName.__init__s!&5#c<fd}t|S)Nc3zKjD]/}ddlm}t||rjjEd{V+|V0dS)Nr)AnyClass)rjedi.inference.gradual.typingr" isinstancer constraints)valuer"rs riter_z&_BoundTypeVarName.infer..iter_sq  BBBBBBeX.. #~999999999KKKK   r)r)rr's` rinferz_BoundTypeVarName.infers2        rc4|jSr)r py__name__rs rr*z_BoundTypeVarName.py__name__!s~((***rc\d|jjd|d|jdS)N< z -> >) __class____name__r*rr+s r__repr__z_BoundTypeVarName.__repr__$s2"&."9"9"94??;L;L;L;Ldooo^^rN)r1 __module__ __qualname____doc__rr(r*r2rrrr s_$$$ ! ! !+++_____rrc$eZdZdZdZdZdZdS)_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"||_||_dSr) _generics _type_vars)rgenerics type_varss rrz_TypeVarFilter.__init__3s!#rct|jD]V\}}||kr9 t||j|gcS#t $r |jgcYcSwxYwWgSr) enumerater;r*rr: IndexErrorname)rrAirs rgetz_TypeVarFilter.get7s$T_55 + +KAx""$$,,+-hq8IJJKKKK!+++$M?*****+-  sAA('A(cgSrr6r+s rvaluesz_TypeVarFilter.values@s  rN)r1r3r4r5rrCrEr6rrr8r8(sK  $$$rr8ceZdZfdZxZS)_AnnotatedClassContextc/Ktj|i|}|Ed{V|jVdSr)super get_filters_valueget_type_var_filter)rargskwargsfiltersr0s rrJz"_AnnotatedClassContext.get_filtersGsf%%''%    k--///////r)r1r3r4rJ __classcell__r0s@rrGrGFs8000000000rrGcXeZdZdZdZedZdZdZdZ dZ dS) DefineGenericBaseClassc||_dSr)_generics_managerrgenerics_managers rrzDefineGenericBaseClass.__init__Ss!1rctr)NotImplementedErrorrVs r_create_instance_with_genericsz5DefineGenericBaseClass._create_instance_with_genericsVs!!rc4|jSr)rUto_tupler+s r get_genericsz#DefineGenericBaseClass.get_genericsYs%..000rc ddlm}d}g}|D]~}t}|D]]}t |t |fr1||}||z}|t|hkrd}J|t|gz}^|||st|gSt| tt|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& 2 2g(>'HII2$44]CCFf$F7)!4!444"&hy111FF    ' ' ' ' $TF## #<< l 3 3 4 4      rc6t|tsdS|j|jkrdS|}|}t |t |krdSt dt ||DS)NFc3xK|]4\}tfd|DV5dS)c3pK|]0}D]}||V1dSr)gather_annotation_classes is_same_class).0cls1cls2 class_set2s r zADefineGenericBaseClass.is_same_class...sj  &@@BB  ""4((       rN)anyrn)rp class_set1rss @rrtz7DefineGenericBaseClass.is_same_class..s{   )*j     '@@BB            r)r$rS tree_noder]lenallzip)rother given_params1 given_params2s rroz$DefineGenericBaseClass.is_same_classws%!788 5 >U_ , ,5))++ **,, }  ]!3!3 3 35   -0 },M,M      rcgSrr6r+s rget_signaturesz%DefineGenericBaseClass.get_signaturess rctd|jjd|jt|dSNr-z: r/)r0r1_wrapped_valuelistr]r+s rr2zDefineGenericBaseClass.__repr__sB N # # #    ""$$ % % % %  rN) r1r3r4rrZrr]rbrorr2r6rrrSrSRs222""""!##11$#1   4   <     rrScxeZdZdZfdZdZddZdZfdZdZ e d Z 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] cXt|||_dSr)rIr _class_value)r class_valuerWr0s rrzGenericClass.__init__s* )***'rc|jSrrr+s r_get_wrapped_valuezGenericClass._get_wrapped_value   rTc|}tdddd||}||jz}|rd|zS|S)NListDictSetTuple)rdictsetrdzType[%s])r*rrCrU get_type_hint)radd_class_infonss rrzGenericClass.get_type_hintsi OO   f6uG D D D H HA N N &4466 6  "> !rcjt||Sr)r8r]list_type_varsr+s rrLz GenericClass.get_type_var_filters*d//1143F3F3H3HIIIrct|\}tt|gSr)rI py__call__r_GenericInstanceWrapper)r argumentsinstancer0s rrzGenericClass.py__call__s6GG&&y11 0::;<<>>rc ddlm}m}|}i}|dkrD|}|r-|d|Sn|D]}|r)|s| }n@|j dkrL| D]4}|} || kr|||||n5|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_varssYcccccccc//++ j ( ("&"3"3"5"5 " *1-==4466 &  ''))(2F2F2H2H'BBDDHH$//$,$6$6$8$8L!-!8!8!:!:J&*44,,)33D,GG 5rT)r1r3r4r5rrrrLrrrrrZrrrrPrQs@rrrs (((((!!!    JJJ=====,,, LL WLAAA>>>>> ???%%%%%%%rrc6eZdZdZedZdZdZdS)rc0||_||_||_dSr)r_lazy_base_classrU)rrlazy_base_classrWs rrz_LazyGenericBaseClass.__init__s ' /!1rc #K|jD]}t|trVt|j|jtt| |Vm| r)t|j||j V|VdSr) rr(r$r create_cachedinference_staterrrd_remap_type_varsis_class_mixinrUrs rr(z_LazyGenericBaseClass.infers)//11  D$ -- "00(''d.C.CD.I.I(J(JKK &&(( '44,. JJJJ'  rc#nKddlm}|j}|D]~}t }|D]n}t ||rI||}|tj d|Dz}[|t|gz}o|VdS)Nrr_c3>K|]}|VdSr)r()rprAs rrtz9_LazyGenericBaseClass._remap_type_vars..!s;..)- ......r) rar`rrLr]rr$rCr*r from_sets)rrr`filter type_var_setnewrnamess rrz&_LazyGenericBaseClass._remap_type_varss;;;;;;"6688 --//  LC( 0 0h00 0"JJx':':'<'<==E8-..16...CC8XJ///CCIIII  rc2d|jjd|jdSr)r0r1rr+s rr2z_LazyGenericBaseClass.__repr__+s#!^444d6K6K6KLLrN)r1r3r4rrr(rr2r6rrrrsb222 ,$MMMMMrrceZdZdZddZdS)rc|jjD]}|dkrA|} |dcS#t $rYWwxYw|dkr%tt|j dgcS|j S)N GeneratorIteratorNone) rrrr*r]execute_annotationr@rr rpy__stop_iteration_returns)rclsr<s rrz2_GenericInstanceWrapper.py__stop_iteration_returns0s&2<<>> S SC~~;..++--#A;99;;;;;!D!!Z//!243G!P!P QRRRRR0"==???sA** A76A7TcB|jjdS)NF)r)rrr)rrs rrz%_GenericInstanceWrapper.get_type_hint<s".<.EmptyFiltercdSrr6r+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 EmptyFilterrYsA           rrr )rrMrNrs rrJz _PseudoTreeNameClass.get_filtersWsJ     +   kmmrc,t|jdS)Ntype)r rr+s r py__class__z _PseudoTreeNameClass.py__class__es!!5v>>>rc,t||jSrrrr+s rrAz_PseudoTreeNameClass.namejt///rc|jjfSr)rr&r+s rget_qualified_namesz(_PseudoTreeNameClass.get_qualified_namesns%''rc:|jjd|jjdSN()r0r1rr&r+s rr2z_PseudoTreeNameClass.__repr__q#>222DO4I4I4IJJr)r1r3r4r5rrpropertyrwrJrrArr2rPrQs@rrr@sH$$$$$X   ??? 00X0(((KKKKKKKrrc<eZdZdZedZdZdZdZdS)BaseTypingValuec:|j|_||_||_dSr)rrr)rrrs rrzBaseTypingValue.__init__vs -=,#rc,t||jSrrr+s rrAzBaseTypingValue.name{rrc6t|j|jSrrrrr+s rrz"BaseTypingValue._get_wrapped_value#D$7IIIrc4|jSr)rrr+s rrzBaseTypingValue.get_signaturess"11333rc:|jjd|jjdSrrr+s rr2zBaseTypingValue.__repr__rrN) r1r3r4rrrArrr2r6rrrruss$$$ 00X0JJJ444KKKKKrrc*eZdZfdZdZdZxZS)BaseTypingClassWithGenericsc~t||j|_||_||_dSr)rIrrrr)rrrrWr0s rrz$BaseTypingClassWithGenerics.__init__s: )***-=,#rc6t|j|jSrrr+s rrz.BaseTypingClassWithGenerics._get_wrapped_valuerrcH|jjd|jj|jdSr)r0r1rr&rUr+s rr2z$BaseTypingClassWithGenerics.__repr__s0!^444do6K6K!3335 5r)r1r3r4rrr2rPrQs@rrrsY$$$$$ JJJ5555555rrcHeZdZdZdZdZdZedZdZ dZ dS) BaseTypingInstancecV|j|_||_||_||_||_dSr)rrrrrU)rrrrrWs rrzBaseTypingInstance.__init__s2*:,'#!1rc|jSrrr+s rrzBaseTypingInstance.py__class__rrc|jSrrr+s rrz-BaseTypingInstance.get_annotated_class_objectrrc,|fSr)r*r+s rrz&BaseTypingInstance.get_qualified_namess!!##rc,t||jSrrr+s rrAzBaseTypingInstance.namerrcXt|jd\}|S)Nobject)r rr)robject_s rrz%BaseTypingInstance._get_wrapped_values'$T%98DDWWYYrc2d|jjd|jdSr)r0r1rUr+s rr2zBaseTypingInstance.__repr__s#!^444d6L6L6LMMrN) r1r3r4rrrrrrArr2r6rrrrs222!!!!!!$$$00X0NNNNNrrN)"jedi.inference.cacherjedi.inference.base_valuerrrrrr jedi.inference.compiledr jedi.inference.value.klassr r jedi.inference.utilsrjedi.inference.namesrrjedi.inference.contextrjedi.inference.gradual.genericsrrr8rGrSrrrrrrrr6rrrs ======::::::::::::::::555555222222111111((((((BBBBBBBB//////??????_____.___6< 0 0 0 0 0\ 0 0 0K K K K K -K K K \YYYYY):YYYx0M0M0M0M0M0M0M0MfSSSSSlSSS"2K2K2K2K2K52K2K2KjKKKKK&KKK( 5 5 5 5 5"8 5 5 5NNNNN)NNNNNr