hi dZddlmZddlmZddlmZmZmZddl m Z m Z ddl m Z ddlmZddlmZmZmZdd lmZdd lmZdd lmZdd lmZmZmZmZmZm Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-m.Z.m/Z/dd l0m1Z1ddl2m3Z3ddl4m5Z5m6Z6m7Z7m8Z8m9Z9m:Z:m;Z;mZ>m?Z?m@Z@mAZAmBZBmCZCmDZDmEZEmFZFmGZGmHZHmIZImJZJmKZKmLZLmMZMmNZNmOZOmPZPmQZQmRZRmSZSGddZTdddddddddd}d0ZU d~dd2ZV d~dd3ZW d~dd4ZXdd6ZYdd:ZZdd<Z[dd>Z\dd@Z]ddBZ^ddFZ_ddJZ`ddLZaddMZbddPZcdddQddTZdddVZeddXZf ddd[Zgdd^Zhddd_ddcZiddgZjddhZkddjZl dddnZmddqZnedreAsZod~dduZpddyZqddzZrdd|ZsdS)z!Type checking of attribute access) annotations)Sequence)CallableTypeVarcast)message_registrystate)TypeCheckerSharedApi)erase_typevars)expand_self_typeexpand_type_by_instancefreshen_all_functions_type_vars)map_instance_to_supertype)is_overlapping_types)MessageBuilder)ARG_POSARG_STAR ARG_STAR2EXCLUDED_ENUM_ATTRIBUTESSYMBOL_FUNCBASE_TYPESContext Decorator ExpressionFuncBaseFuncDef IndexExprMypyFileNameExprOverloadedFuncDef SymbolTableTempNode TypeAliasTypeInfoTypeVarLikeExprVar is_final_node)AttributeContext) is_subtype) bind_selferase_to_boundfreeze_all_type_vars function_typeget_all_type_varsmake_simplified_unionsupported_self_typetuple_fallback)AnyType CallableType DeletedType FunctionLikeInstance LiteralTypeNoneType Overloaded ParamSpecType PartialType ProperType TupleTypeType TypedDictType TypeOfAnyTypeTypeTypeVarLikeTypeTypeVarTupleType TypeVarTypeUninhabitedType UnionTypeget_proper_typecVeZdZdZddddddddd&dZd'dZd(d Zd)d"Zdddd#d*d%ZdS)+ MemberContextzInformation and objects needed to type check attribute access. Look at the docstring of analyze_member_access for more information. NF) self_typemodule_symbol_table no_deferralis_selfrvaluesuppress_errorspreserve_type_var_ids is_lvalueboolis_super is_operator original_typer=contextrchkr rI Type | NonerJSymbolTable | NonerKrLrMExpression | NonerNrOreturnNonec ||_||_||_||_|p||_||_||_|j|_||_| |_ | |_ | |sJ| |_ | |_ | |_ dSN)rPrRrSrTrIrUrVmsgrJrKrLrMrNrO)selfrPrRrSrTrUrVrIrJrKrLrMrNrOs `/var/www/html/Pagina-Ingenieria-Requisitos/venv/lib/python3.11/site-packages/mypy/checkmember.py__init__zMemberContext.__init__Vs"#  &*"3m 7#6 &      .&;"""namestrr5c6|j|Sr])rV named_type)r_rcs r`rfzMemberContext.named_type{sx""4(((rbc<|j||dSr])rVhandle_cannot_determine_type)r_rcrUs r`not_ready_callbackz MemberContext.not_ready_callback~s  --dG<<<<analyze_typeddict_accessr7analyze_none_member_accessrArCvaluesr. upper_boundr3rNr^deleted_as_rvaluerU from_errorrD ambiguousreport_missing_attributerT)rcrwrnru attr_types r`rzrzsz #  C#x  "-dC]KKK C ! ! y1cBBBB C # #*4b999 C & &3??+<+<24bAAA C " ".tS"mLLL C # #%dN3,?,?]SSS C+|4 5 5%dCL"mLLL C ' ''c2}EEE C " ")$R888 C ) )  c; ' ' CJ )+CJ77] &dCOROOO C % %! 6 F $ $S"* 5 5 5y+,,, C ) )#%% !m  #B$4c4 D DDrbc |jjrdS|j5|j5}|j||}| dddddddSt |||||}| cdddcdddS#1swxYwYddddS#1swxYwYdS)z7Check if the given type has the attribute when awaited.FNrI) rVchecking_missing_awaitchecking_await_setr^ filter_errorsget_precise_awaitable_typerzrohas_new_errors)rcrwrnru local_errorsaw_type_s r`may_be_awaitable_attributers v$u  " " $ $11bf&:&:&<&<1 &33CFF ?11111111111111 # '2++g+>>    ..00011111111111111111111111111111111111111111sAC$C ! C$9:C 3 C$ C C$C C$$C(+C(cZ|jrttjS|j||||j|j}|js2t||||r |j |j|ttjSr]) rNr1r?rr^ has_no_attrrUrJprefer_simple_messagesrpossible_missing_await)rTrwrcrnru error_codes r`rr*s -y+,,,##M3bj"J`aaJ 6 ( ( * *B %dC] C C B F ) )"*j A A A 9' ( ((rbr5c|j}|r|}||}|dkrO|jsH|jsA|r|js8|t jttj Stj rj|j tj dkrO|tj dkr9|j s2|jdjtj |j|rlt%|t&sV|jr|j st)|||jrt%|t,sJ|jd}t%|t&sJ|jr1|jjr%|j|j|jt=||j||S|jr&|j s|j|jt%|t,s$tA||!d}nq|jG|j"s'|jr |#|j |jttj$St%|jtJsJ|j}|j&stO|}|j(s}t%|tRt,fr|j*rtW||j,}nDt[||j,|j.|j||j}t_||j,|j.}ta||j1}te||}tg||Sti||||S)NrarzOccurrence of '{}.{}'builtins.functionis_classmethod)5type get_methodrRis_finalrkrCANNOT_ACCESS_INITr1r?rr find_occurrencesrcrNr^noteformatrUr{rvalidate_super_call is_propertyritemsrPvaris_settable_propertyrVwarn_deprecatedsetter analyze_varcant_assign_to_methodr,rfrKri special_formr8rOr is_staticris_trivial_selfbind_self_fastrIcheck_self_argis_classr)rinfor r+analyze_member_var_access) rcrwrnrurmethodgetter signature member_types r`rr>s^ 8D __T " "F z"+dm 1V_ 1 GG$7 8 8 89/00 0 Y I/2 2 2 E*1- - -" .  2+2E4JKRZXXX)>j33)> ; ,r1 ,  + + +   :f&788 8 8 8\!_Ffi00 0 0 0| B ? B&&v}bjAAAtVZb99 9 < 5 2 5 F ( ( 4 4 4&"344 $%fbmmT%9> D+ , ,> 9 > *49g > >R499DIND/LL! >dj >djmY77 7 7 7:a=-=LC DIty~rzBBBBBCCrbr4c|jdj}t|tsJt|trt |}t|t r|j}t|trJ|j s-t||||jdj |j}|r|St||j|SJd|)Nr) original_vars mcs_fallbackFzUnexpected type ) rret_typer{r;r<r0r>rr5rSanalyze_class_attribute_access variablesrz)rcrwrnrr}s r`rrsy|$H h + ++++(I&&,!(++(M**%$(H%%6~ 4$#)A,2HWZWcF  %dCL"===5555555rbr@c&d}|d}t|jtr |j}n.t|jtrE|j5t||||cdddS#1swxYwYnt|jtrt|jj }t|tr|}nt|tr1t|tj ||j|j||St|t rt#|}nt|trC|j5t||||cdddS#1swxYwYnt|jt rt#|j}nt|jt$r&|jr |jj}nOt|jtr5t|jjtr|jjjj}d}||jjp|}|rO|jsHt1|||||}|r2tt|tr |jjs|Sd}|j|5t||||cdddS#1swxYwYdS)N builtins.type)linecolumnF)rruT)r)rfr{itemr5r1r^rrzrCrFrrEr@make_normalizedrrr<r0r4rrrmetaclass_typerSrfallback_to_any) rcrwrnrurrrignore_messagesr}s r`rrs D}}_--H#(H%%5x CHg & &5 V ! ! # # M M)$"mLL M M M M M M M M M M M M M M M M M CHk * *5%ch&:;; k8 , , QDD  Y / / Q)(38CJWWW    Y / / Q!+..DD  W - - Q%%'' Q Q-dHb-PP Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q CHi ( (5ch'' CHl + +50D0D0F0F5x  CHh ' '5 chmX . . 58=%4DO 9+7x 'BN '/ $     'v66@@ 'TYE^ ' #'   O  < <II%dHb-HHIIIIIIIIIIIIIIIIIIs6.B  BBFF#&F#'LL  L rEc *|j5g}|D]<}||}|t |||= dddn #1swxYwYt |S)Nr)r^disable_type_namesrelevant_itemsroappendrzr.)rcrwrnresultssubtypeitem_mxs r`rrs  " " $ $KK))++ K KG&&&99G NN1$II J J J J KKKKKKKKKKKKKKKK ! ) ))sAA;;A?A?r7c |dkrKtd|d}tggg||dSt||d|S)N__bool__Fz builtins.boolrr) arg_types arg_kinds arg_namesrrbuiltins.object)r6rfr2rz)rcrwrn literal_falses r`rrs z#EBMM/4R4RSSS "]]#677     &dBMM:K,L,LbQQQrbityperr#c  ||}|r|jnd}|j||j|}d}t |t r>|j}|jj o|j }|j r|j st|j|t |tr Jdt |tr$|jj|jt |t&t(tt*frC|jj||j|j}t3||}||_t |t2r^||j} |jr5|jst;|||j|jt?||||| |S|s|dvr|j s|j!|jsdD]} |"| } | r| jjdkrtG| || | } tI|| j}tKtM| |} t | tNr| j(}n| }| jjd |}|jj)*|}|r=|tWtK|j,||j|j|j}|cSn|"d }|r|jjdkrtG||d |-d  }tI||j}tKtM||}t |tNr%t]|j/d kr |j/dS|j0j1rtetfj4S|j5r,||j5j6vr|j5j7s|j5j6|S|j r@|j s9|j8||jtetfj9Stu|j,|||}|j!||j!vrz|j!|j;sh|j!|j}ty|}|=|j||_|jj>||jS|S)zAnalyse attribute access that does not target a method. This is logically part of analyze_member_access and the arguments are similar. original_type is the type of E in the expression E.var NFzDid not expect a function)rimplicitr) __getattr__ __setattr____getattribute__)rrrdefnrrcrn.r)rPr)lvalue)?getrrVrrUr{rrrr decoratorsrRrNrrr module_refsaddfullnamer#r"r$ expr_checkeranalyze_static_referencerPr%rrget_final_contextcheck_final_memberr^rrSrJr$analyze_decorator_or_funcbase_accessrrFr r2rpluginget_attribute_hookr'rTrolenrrrr1r?r extra_attrsattrsmod_nameundefined_in_superclassrr module_publicrset_lineanalyze_ref_expr)rcrrrnrvvvrrwr method_namer bound_method getattr_typer}rhook setattr_meth bound_type setattr_typeretes r`rrs  88D>>D# tAF1bj))) BO"i  - F'1G"-6G ; -r1 -  , , ,!W211111!X+ qz***"xHoFGG f!::2rz2<XX 3   !S>6:& < ? 8 8 : : ? tT262: > > >4E2Rabbbb 56 J J J K  " * |, 6B " " 55 "fk26GGG#G#5{r$$$L4E6;GGC#23JO O OA%&''%'88  0|7HII./FzSV/W/WXX lL996c,BX>Y>Y\]>]>]'1"55 z!/y-... 1TU%6%<<< ) 1$*40 0 {2- &&tRZ888y+,,,&r'7bII  " ....*40>/&t,1AA JJrz " " "AF6&77",7OO O rbr^rctxc|jD]J}|j|}|r,t|jr||d|KdS)z?Give an error if the name being assigned was declared as final.T) attr_assignrN)mronamesrr&rcant_assign_to_final)rcrr^rbasesyms r`rrskFFjnnT""  F=** F  $ $Tt $ E E EFFrbdescriptor_typec tj}|}t|}t|tr t fd|jDSt|t s|Sjs|j ds|Sjr*|j drt|Sjr|j ds|S|j d}|h tj|jjt't(jSt-||d|}t1||j}t5||}t|t6r5|r!|jdj}t=}n-t|t>r|j }t=}n|}j!j"#|d} j!j"$| |tK|j&tKt?j'|j&gtPtPgj&| }j!j")|tK|j&tKt?j'|j&gtPtPgj&|| \} } j!*|j&t| } t| t&r| St| tVsh tj|jjt't(jS| jS) a]Type check descriptor access. Arguments: descriptor_type: The type of the descriptor attribute being accessed (the type of ``f`` in ``a.f`` when ``f`` is a descriptor). mx: The current member access context. Return: The return type of the appropriate ``__get__/__set__`` overload for the descriptor. c0g|]}t|Srt)analyze_descriptor_access).0rwrns r` z-analyze_descriptor_access..s$ Q Q QC &sB / / Q Q Qrb__get____set__NrrrrU object_typer$ callable_name),rFrIr{rEr.rr5rPrhas_readable_memberanalyze_descriptor_assignrrkrDESCRIPTOR_GET_NOT_CALLABLErstr_with_optionsr^optionsr1r?rrrorrr r4rrr7r@rrVrmethod_fullnametransform_callee_typer!rUrr check_callrr2) rrn instance_typeorig_descriptor_type dunder_getr rwdunder_get_type owner_typer&rinferred_dunder_get_types ` r`rrs$BL11M*%o66O/9--$$ Q Q Q Q?;P Q Q Q    2 2$## <$ 4 H H S S$## |>,@@KK>("=== |$O0DDYOO$## %00;;J   8 ? ?00@@     y+,,,7    o  6 6 L $OZ_ E EC-lC@@O-..#=3L3L3N3N#"(+4  M8 , ,#"'  " F'77SSMf)?? ]BJ 7 7 7 X-j992: N N N  ' #@  O#%&"5"@"@ ]BJ 7 7 7 X-j992: N N N  ' ###A # #AF:rz222./GHH*G44('' . = =-   8 ? ?00@@     y+,,, # ,,rbc :t|j}|jd}|m|t j||j j j ttjSt||d|d|}t#||j}t'||}|jj|d}|jp,t1ttj|j}|jj||t1||j|gt8t8g|j|}|} |j 5|jj|t1||j| gt8t8g|j||\} } dddn #1swxYwYt| } t?| t@r-t1ttj|j} |jj|t1||j| gt8t8g|j|||j!||jt?| t@rtE| j#dkrttjS| j#d S) Nr!F)rPrIrr"r#r%r)$rFrIrrrkrDESCRIPTOR_SET_NOT_CALLABLErr*r^r+valuer1r?rrrorrr rVrr,rMr!rrUr-rrr.r{r2rrr) rrnr/ dunder_setr rwdunder_set_typer&rM type_contextrinferred_dunder_set_types r`r(r(s##BL11M %00;;J   8 ? ?00@@     y+,,,7    e  G G L $OZ_ E EC-lC@@OF'77SSM Y W(79+A#B#BBJWWWFf)?? - 4 4 4f= ' # @OL       &(f&9&D&D  mRZ 8 8 8, G g  J'' 'E' ' # #                //GHH*L99U (> ? ?TTT F"" - 4 4 4lC ' ## #F:rz222 / > >- $ .//!33y+,,, # -a 00s&AHH Hrr%c|j|jjvo-|jj|jj|uo|j o|j S)z;Return if var is an instance variable according to PEP 526.)rcrrr is_classvar is_inferred)rs r`is_instance_varr@FsN CHN" HN38 $ )S 0     rbrrrc b|}t||j}|jr|jr|j}||jr|j}n|j}|rmt|tr'|j ||j||j S|jrb|j s[|j r-|js&|j||j|j |jr |j||j t%|||||}d} |jrt)|r|jr{t-|}t|t.r|s|} n@|j r7|||d} t-t5d|| } n|} t| t.rH| s4|jr-|j s&|j s|j|j | r|jsg} t| t:r| jn| gD]~} t-| } t| t.r0| r|j rtA| |||||}nt%| ||||}| !|t;j"| }nG|js'|j#s |$|j%|j tMtNj(}|jj)d|}|j j*+|}|jj,r|js||jj-vr,|dvr(t]||}||}nHtt-|x}t^r$|jj)d kr|j0r |j0d }|r-|s+|jj1rt)|ste||}|r=|tgt-|j4||j|j |j }|S) aAnalyze access to an attribute via a Var node. This is conceptually part of analyze_member_access and the arguments are similar. itype is the instance type in which attribute should be looked up original_type is the type of E in the expression E.var if implicit is True, the original Var was created as an assignment to self if is_trivial_self is True, we can use fast path for bind_self(). NF)rTrIrP__call__r>rcr8rr|enum.nonmemberr)5rrrrP setter_typeis_readyrr{r:rVhandle_partial_var_typerUrNrr^read_only_propertyr>cant_assign_to_classvarexpand_without_bindingis_initialized_in_classr@rSrFr4rrorzris_staticmethodrErboundexpand_and_bind_callabler make_unionrKrircr1r?rrrris_enum enum_membersr6r5args is_protocolrr'rT)rcrrrnrroriginal_ityperwr} call_typedeco_mx bound_itemsctp_ctrrr  enum_literalp_results r`rrRsw$N %eSX 6 6E BL? ;3<;(Ch ,1 c; ' ' V611#r|S"*UU U < A 2 A Hs'? H))$ BJGGG A..tRZ@@@'S%LL(,  & 0D0D  !#&&C#|,, S__5F5F   **W\*]]+,B:sT[,\,\]]   i . . 9y7L7L7N7N 9| 9CO 9B B BC&sE22H""" Orbfunctypec |jst|}tt|||j}t |t sJ|rt||j}nCt||j|j |j ||j }t||j|j }t||}t||js|St |t r-|jst%t&jS|jd}t |t*s J||jr|jr|j|jr|jp,t7t%t&j|j }|jj||gt@g|j \} } t| }t |t*sJ|j!st%t&jS|j!dS|j"S)Nrr")#rOrrFr rIr{r4rrrrUr^r)r r+rr8rr1r?rr2rrPrErrMr!rrVrr.rrr) r_rrrcrnrrwr^type_ctxrinferred_expandeds r`rNrNs  #=28<< *3",GG H HC c< ( ((((?S",//S",0BBJPTVXV\]]R\3+=>>&sE22H""" ?(J''%~ 19/00 0>!$ h - -77x777 !BL!S_5P   6yaHWY5K-L-LVXV`$a$a$aH#%6#6#A#A8*wi$$ A ''899Hh 55 5 5 5! 19/00 0!!$$  rbtrct|j}|jsj|jsc|j}|rIt |t r|j}n,t |trt|j }n|}t|||Stt|jddr6|j}|rt |t r|j}t|||S|jrY|j |j krI|j j=||jjkrt|||j jS|S)zExpand special Self type in a backwards compatible manner. This should ensure that mixing old-style and new-style self-types work seamlessly. Also, re-bind new style self-types in subclasses if needed. F)allow_instancesallow_callable)rFrIrLrRr{r@rr2r rr r/rrrVscopeactive_self_type)rcrnrrroriginalrepls r`r]r]sMr|,,H J "+ |  (H-- }Hl33 %h&788Q---  %%     |  ! 8X66 !=DQ---   J#( " " J , RV\2244 4 4Q (<===rbdispatched_arg_typerc b|j}|s|Sg}|rtj|}t|}|D]} | jr| jdt tfvr||| ||cSt| jd} t| tr;t|tr&| j |j ur| j rt|| s|| |r|}g}|D]} t| jd} |dkot| t} | sQt!|t#t%| t'dt)| Ddr|| t| t*r|| t| t,rt.|s!||||d|||St3|dkr|dSt5|S)aCheck that an instance has a valid type for a method with annotated 'self'. For example if the method is defined as: class A: def f(self: S) -> T: ... then for 'x.f' we check that type(x) <: S. If the method is overloaded, we select only overloads items that satisfy this requirement. If there are no matching overloads, an error is generated. rrBc3BK|]}t|t VdSr])r{rCrtvs r` z!check_self_arg..Rs@!!46Jr;///!!!!!!rbT)always_covariantignore_pos_arg_namesr)rr@rrFrrrrno_formal_selfr{r5rrRrrr2r(r r*anyr-r9rBNotImplementedErrorincompatible_self_argumentrr8) r_rkrrUrcr^r new_itemsp_dispatched_arg_typerselfarg self_callables r`rrs" NE IL&67JKK+,?@@~ !27H:M!M!M   tT7 3 3 3OOO!$."344 gx ( ( Z8Mx-X-X |4999gl9+,A7KK &&!$."344 *Pz'

'22 3 3!!!:KG:T:T!!!"&     &   T " " " "  / / &   T " " " " !1 2 2 &% % &  && %uQx    9~~| i  rb)rurrr Sequence[TypeVarLikeType] | Nonec D|j}|r|}|jd|}|jj|}||} | sk|jr,||jjvr|jjs|jj|S|j s|j r(t||ttjSdSt| jt"r*| jjs|s|j|rdS|j| j|jt| jt*} | pt| jt,} |jra|jsZ| r|j|jt| jt6r|t:j|jr;||jvr2|t:j !|| j"rbt| jt"rH| jj#r<|t:j$!| jj%|jr5|j&stO|||j|j|j(r/|js(| s&| s$tS|||} | rt||| S| j} | r't| tTrT| j}t|t"sJt|||j+| |j||jSt| jt*r| jj,j-}n0t| jt"t\fr | jj-}nd}|sd}nt_||}t| jt"r|Jta|j1}| jj }te| jj-j3j4}|r5| jj-j1r$|5| jj-j1t|tl p| j"}|rY|teto| zr:| jjr t:j8}n t:j9}||tu| || j|d} tw| |} |rete|jj3j4}|r+|jj1r|5|jj1ty| d|D} | r$t{t*| jj>j?pKt| jt\o | jj?p%t| jt"o | jj@}ta| } d}t| jt*r| jj>jAo | jjB }n-t| jttfr | jjA}t| tr;|r9|s7| Fs#t| |j1d|j||j} t| |||||} | r1tu| |t{t*| jj,||} | }|jst||}t|||St| jt"r4|J||jttjSt| jt6tttfr0|jjNO| j|j|jS| rwt| jt*sJ| jjrt||| jjS|J||jttjPSt| jt\sJt| j|Rd}| jj?rt|}t|||S) aAnalyze access to an attribute on a class object. itype is the return type of the class object callable, original_type is the type of E in the expression E.var, original_vars are type variables of the class callable (for generic classes). rNT)rch|] }|j Srt)idrns r` z1analyze_class_attribute_access..s&B&B&Bru&B&B&BrbF)rrr)TrrrVrget_class_attribute_hookrrrrrmeta_fallback_to_anyapply_class_attr_hookr1r?rr{rr%r>rrUrrrPrNr^rr#rkrCANNOT_ASSIGN_TO_TYPEslotsCLASS_VAR_CONFLICTS_SLOTSrrr!CANNOT_ACCESS_FINAL_INSTANCE_ATTRrcrrrP#analyze_enum_class_attribute_accessr:rGrrrrrFrIsetr type_varsrr@r-GENERIC_CLASS_VAR_ACCESS!GENERIC_INSTANCE_VAR_CLASS_ACCESSr]r r rrrrrrrrr4rMradd_class_tvarsrrir"rr$rrrr,rfr)rrcrnrrurrrr r is_decorated is_methodenum_class_attribute_typercsymnode super_infoisuperr$ prohibit_selfdef_varsprohibit_genericmessage erase_varsrrr}rws r`rrhsI :D-(($((H 6= 1 1( ; ;D 88D>>D    5):)@!@!@$- 5(.t44   T4#< T(T79;Q3R3RSS St 49c"" %   ! !$ ' ' tF49bj111di33L? 49h ? ?I |#? @ @ JJJ BFF.ujAAF di % % D%%%)",77K!% 55M49>.899H 7!9 7 TY^5666#-k8#D#DDU  !Hs3DQ3G3G/H/H$H !9(Q.GGG.PG   *1b$)UTRRRA'622A   D !:;;  9UZ%99NN5:#7888"1&B&Bz&B&B&BCC Fd9di88=F )49&;<<SAS )$)S))) (  A   di + + 8"in<YTYEYAYOO  G->#? @ @ 8"i7O q, ' ' Q Q$ QGGII  Q q",rz4PPA    '+      *2tIty115u~A| ;.vr::F$Rv666 DIs # #/ dBJ///y-...$)h 8_MNNav";;DIrzSUS_```4$)Y///// 9> 1(T49>BB B  ! !$ 3 3 39/00 0$)%:;;;;;DIr}}5H'I'IJJ 9  & %%C$Rs333rbr )Callable[[AttributeContext], Type] | Noner}c |r=|tt|j||j|j|j}|Sr])r'rFrTrPrUrV)rnr r}s r`rr2sO    01162<UWU[     Mrbc|tvrt|j|||S|dr|dddkrdS|j|}|rT|jrMt|j}t|tr$|jj dkr|j r |j dSt||}| |S)N__rrDrrrC)rrrT startswithreplacerrrFr{r5rrRr6ro)rrcrnrproperrZs r`rr>s ''''(8%rJJJ tc2!6!6"!>$  D " " ++ vx ( ( " $(888 9;q> !te444L     = ==rbr>c |dkrt|jtrd|jj||jjd\}}|j|z}|r(|js!|j ||jnttj }t|jd|gt t gddgt#|jd|S|dkrYt|jdgt gdgt#|jd|St%||j||S) N __setitem__T)setitemr"z builtins.strr)rrrrrrc __delitem__)r{rUrrVrvisit_typeddict_index_exprindex readonly_keysrNr^readonly_keys_mutatedr1r?implementation_artifactr2rfrr7rzr)rcrwrnru item_type key_namesassigned_readonly_keyss r`rrWs } bj) , , C$&6#6#Q#QRZ%t$R$$ Iy&)%6%B "% Yb.@ Y,,-CRZ,XXX  ABBIv((88)D(TlZZV&&':;;        v((889ifZZV&&':;;      "$ b- H HHrbr;rInstance | Nonec&t|trng}jst|}r6|js/|rt |j}nt|jd}t|}t|| t|t|j zSt|tr#tfd|jDSt|}|S)aInstantiate type variables during analyze_class_attribute_access, e.g T and Q in the following: class A(Generic[T]): @classmethod def foo(cls: Type[Q]) -> Tuple[T, Q]: ... class B(A[str]): pass B.foo() Args: t: Declared type of the method (or property) isuper: Current instance mapped to the superclass where method was defined, this is usually done by map_instance_to_supertype() is_classmethod: True if this method is decorated with @classmethod original_vars: Type variables of the class callable on which the method was accessed is_trivial_self: if True, we can use fast path for bind_self(). Returns: Expanded method type with added type variables (when needed). NTr)rc ^g|])}ttt|*S))r)rr2r)rrrrrnrs r`rz#add_class_tvars..sO      #D&."Tabbb   rb)r{r2rOris_boundrrIr)r r+rolistrr8r)rcrrrnrrtvarss ```` r`rr~sKT!\"" !.!: ' 3/22A  D!* D D"1bl33adCCC  '622AQetAK7H7H)HIII Az " "          G        #Av . . HrbrDecorator | FuncBasect|trt||j||St ||jd}t|ttfr|j rt||j St||j |j |j||j}t!||j |j S)zAnalyzes the type behind method access. The function itself can possibly be decorated. See: https://github.com/python/mypy/issues/10409 r)rTr)r{rrrr,rVrfrrrrrIrrrUr^r))rrrcrnrws r`rrs$ ""645"555 bf//0CDD E EC$"34551$:N1c2<000 blDM2:tRV T TC S T] S S SSrbF)rMrct|tr5fd|jD}ttt|St|t sJ|js|S|jdttfvr|S| |jdd|jdd|j dddS)zReturn a copy of `method`, with the type of its first parameter (usually self or cls) bound to original_type. This is a faster version of mypy.typeops.bind_self() that can be used for methods with trivial self/cls annotations. c0g|]}t|Srt)r)rcrTs r`rz"bind_self_fast..s#HHHa=11HHHrbrrNT)rrrr) r{r8rrrr2rrrrror)rrTrs ` r`rrs&*%%*HHHH6<HHHAz%(())) fl + ++++    x333   "122&"122&"122&   rb op_methodrfCallable[[str], Instance]c<t|}t|tr|}t|trdSt|t r.t fd|DSt|tr3| r|j j St|tr|j}t|tr|}t|t r.t fd|DSt!|St#|j S)aDoes type have operator with the given name? Note: this follows the rules for operator access, in particular: * __getattr__ is not considered * for class objects we only look in metaclass * instance level attributes (i.e. extra_attrs) are not considered Tc3:K|]}t|VdSr]) has_operatorrxrfrs r`rpzhas_operator..s/XXa<9j99XXXXXXrbc3:K|]}t|VdSr])meta_has_operatorrs r`rpzhas_operator..s0bbq(IzBBbbbbbbrb)rFr{rAvalues_or_boundr1rEallrr4rrrr'r@rrCrinstance_fallback)rwrrfrs `` r`rrs #  C#''$!!###wt#y!!YXXXXX3CUCUCWCWXXXXXX#|$$@):):@| 44Y???#x  >x dK ( ( *''))D dI & & cbbbbbDL_L_LaLabbbbb b y*=== S* - - 2 F Fy Q QQrbct|tr|St|trt|St|tt fr|jS|dS)Nr)r{r5r<r0r6r>r)rwrfs r`rrsi#x   #y!!#c"""# ]344| :' ( ((rbrct|}t|trdSt||}|jjp |d}|j|S)NTr)rFr{r1rrrr')rrrfmetas r`rrsd 4 D$  t T: . .D 9 # Bzz/'B'BD 9 ( ( 3 33rb)"rcrdrwr=rUrrPrQrRrQrSrQrTr=rVr rurxrvrQrIrWrJrXrKrQrLrQrMrYrNrQrZr=r]) rcrdrwr=rnrHrurxrZr=) rcrdrwr=rnrHrurxrZrQ) rTr=rwr=rcrdrnrHrurxrZr=) rcrdrwr5rnrHrurxrZr=)rrrnrHrZr[)rcrdrwr4rnrHrZr=) rcrdrwr@rnrHrurxrZr=)rcrdrwrErnrHrZr=)rcrdrwr7rnrHrZr=) rcrdrr5rr#rnrHrZr=) rcrdrr#r^rrrrZr[)rr=rnrHrZr=)rr5rnrHrZr=)rr%rZrQ)rcrdrr%rr5rnrHrrQrrQrZr=) rwr=rr%rr5rTr5rnrHrZr=)r_r4rr%rr5rcrdrnrHrrQrZr=)F) rcr=rnrHrr%rr5rrQrZr=)r_r4rkr=rrQrUrrcrdr^rrZr4)rr5rcrdrnrHrr5rurxrr{rZrW)rnrHr rr}r=rZrW)rr5rcrdrnrHrZrW) rcrdrwr>rnrHrurxrZr=)NF)rcr;rrrrQrnrHrr{rrQrZr=) rrrr5rcrdrnrHrZr=)rrrTrWrZr)rwr=rrdrfrrZrQ)rwr;rfrrZr5)rr=rrdrfrrZrQ)trs __future__rcollections.abcrtypingrrrmypyrr mypy.checker_sharedr mypy.erasetyper mypy.expandtyper r r mypy.maptyper mypy.meetr mypy.messagesr mypy.nodesrrrrrrrrrrrrrrr r!r"r#r$r%r& mypy.pluginr' mypy.subtypesr( mypy.typeopsr)r*r+r,r-r.r/r0 mypy.typesr1r2r3r4r5r6r7r8r9r:r;r<r=r>r?r@rArBrCrDrErFrHrrzrrrrrrrrrrrr(r@rrJrNr]rrrrrrrrrrrrrtrbr`rs''""""""$$$$$$**********((((((((444444)))))) 322222******((((((.)((((($$$$$$                    4PPPPPPPPz&*$!.2 $!#IIIIIIZOS'E'E'E'E'EVOS11111,&* ) ) ) ) )(D>D>D>D>N C C C C!6!6!6!6H5I5I5I5Ip**** R R R RAAAAHFFFFj-j-j-j-ZB1B1B1B1J    $!^^^^^^B,!,!,!,!`MR)))))XL!L!L!L!j&*6:G4G4G4G4G4G4T    >>>>2$I$I$I$IX7;! C C C C C LTTTT" GC|$$$2 R R R RF))))444444rb