*e1 UdZddlmZddlmZmZmZddlmZddl m Z m Z m Z m Z mZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZddlm Z ddl!m"Z"m#Z#m$Z$ddl%m&Z&d Z'd e(d <d Z)d e(d <dZ*d e(d<dZ+d e(d<dZ,d e(d<e'e*e*e'e,e,e)e+e+e)iZ-d e(d<dddddddZ.d e(d<dKd#Z/dLd%Z0dMd(Z1dNd,Z2dOd/Z3dPd2Z4dQd5Z5ed6e6e7ee6d7fZ8dRd;Z9dSd=Z:dTd?Z;dUdAZdVdGZ?GdHdIe&Z@dJS)WzQUtilities related to determining the reachability of code (in semantic analysis).) annotations)FinalTupleTypeVar)literal) LITERAL_YES AssertStmtBlockCallExprComparisonExpr ExpressionFuncDefIfStmtImport ImportAll ImportFrom IndexExprIntExpr MatchStmt MemberExprNameExprOpExpr SliceExprStrExpr TupleExpr UnaryExpr)Options) AsPattern OrPatternPattern)TraverserVisitorr ALWAYS_TRUE MYPY_TRUE ALWAYS_FALSE MYPY_FALSETRUTH_VALUE_UNKNOWNinverted_truth_mapping==!=><>=<=)r-r.r0r/r2r1 reverse_opsroptionsrreturnNonectt|jD]}t|j||}|tt fvrt |j|H|ttfvr{|tkrt|j||j|dzdD]}t ||j stg|_ t |j dSdSNr") rangelenexprinfer_condition_valuer'r)mark_block_unreachablebodyr#r%mark_block_mypy_only else_bodyr )r4r5iresultr?s 1lib/python3.11/site-packages/mypy/reachability.py"infer_reachability_of_if_statementrE5s 3qv;;  &qvay':: lJ/ / / "16!9 - - - -  Y/ / /""%QVAY///q1uww - -&t,,,, ; (#Bii "1; / / / EE#0 rct|jD]\}}t|j|}|t ||}nt }|t tfvs|t tfvrt|j |nD|t tfvr4|t tfvr$|j |dzdD]}t||tkrt|j |dSr9) enumerateguardsinfer_pattern_valuepatternsr=r#r'r)r>bodiesr%r@)r4r5rBguard pattern_value guard_valuer?s rD%infer_reachability_of_match_statementrPOsah''..5+AJqM::  /w??KK%K \:6 6 6+  J ; ; #18A; / / / / |Y7 7 7K  L = = Q) - -&t,,,, ) # # !! - - -1..rFr boolcHt|j|ttfvSN)r=r<r'r))r4r5s rDassert_will_always_failrTks  1 1lJ5O OOrFr<r intc*|j}d}d}|}t|tr|jdkr |j}d}t }t|t r|j}nt|tr|j}nt|trk|jdvrbt|j |}|ttfvr |jdks|ttfvr |jdkrt|j|S|St#||}|t krt%||j}|t krQ|dkrt}nC|d krt}n5|d ks|d krt}n!||jvrt}n||jvrt}|r t,|}|S) a Infer whether the given condition is always true/false. Return ALWAYS_TRUE if always true, ALWAYS_FALSE if always false, MYPY_TRUE if true under mypy and false at runtime, MYPY_FALSE if false under mypy and true at runtime, else TRUTH_VALUE_UNKNOWN. FnotT)andorrYrZPY2PY3MYPY TYPE_CHECKING)python_version isinstanceropr<r+rnamerrr=leftr#r%r'r)rightconsider_sys_version_infoconsider_sys_platformplatform always_true always_falser,)r<r5 pyversionrbnegatedaliasrCrcs rDr=r=os&I DG E%## 8u  :DG F$!!Cy D* % %Cy D& ! !Cdg&>&>$TY88 [), , ,E1A1A \:. . .47d??)W== =K*4;; ( ( (*41ABBF $$$ 5==!FF U]] FF V^^t66FF W( ( ( FF W) ) )!F0'/ MrFpatternr ct|tr|jtSt|tr%t d|jDrtStS)Nc3FK|]}t|tkVdSrS)rJr#).0ps rD z&infer_pattern_value..sA0023A+-000000rF)r`rrmr#ranyrKr+)rms rDrJrJsq'9%%#'/*A GY ' '#C007>7G000--#""rFrjtuple[int, ...]ct|tstSt|jdkrtS|jd}|dvrtSt |jd}t|jd}||At |jd}t|jd}t|}t|trCt|tr.d|cxkrdkrnnt||||StSt|trt|tr|\}}|d}|d}d|cxkr |cxkrdkrbnn_|||}t|t|ks$t|t|kr|dvrt|||StS)zConsider whether expr is a comparison involving sys.version_info. Return ALWAYS_TRUE, ALWAYS_FALSE, or TRUTH_VALUE_UNKNOWN. r"r)r-r.r2r1r0r/Nr$r-r.) r`r r+r; operatorscontains_sys_version_infooperandscontains_int_or_tuple_of_intsr3rUfixed_comparisontuple)r<rjraindexthinglohivals rDreres dN + +#"" 4>Q""  B 333"" %dmA&6 7 7E )$-*: ; ;E } )$-*:;;-dmA.>?? ^%8*UC"8"88 ?????????#Ie$4b%@@ @& & E5 ! ! 8j&>&> 8B :B :B     R    1     BrE"C3xx3u::%%SCJJ)>)>2\CYCY'R777 rFrgstrc*t|trt|jdkrtS|jd}|dvrtSt |jddstS|jd}t|tstSt|||j St|trt|j tstSt|j dks t|j dtstSt |j jdstS|j jdkrtS||j dj rt"St$StS)zConsider whether expr is a comparison involving sys.platform. Return ALWAYS_TRUE, ALWAYS_FALSE, or TRUTH_VALUE_UNKNOWN. r"rrvrg startswith)r`r r;rwr+ is_sys_attrryrr{valuer calleerargsr<rbrr#r')r<rgrards rDrfrfsc$''# t~   " "& & ^A  \ ! !& &4=+Z88 '& & a %)) '& &"ek::: D( # ##$+z22 '& & ty>>Q  j1w&G&G & &4;+Z88 '& & ; | + +& &   ty|1 2 2   ""rFTarg.rcrardcttd}|dkr |||kS|dkr |||kS|dkr |||kS|dkr |||kS|dkr |||kS|dkr |||kStS)N)FTr-r.r2r1r0r/)r'r#r+)rcrardrmaps rDr{r{s{ 3 3D TzzDEM"" TzzDEM"" TzzDEM"" TzzDEM"" SyyD5L!! SyyD5L!! rFNone | int | tuple[int, ...]c2t|tr|jSt|tret |t krMg}|jD]4}t|tsdS||j5t|SdSrS) r`rrrrritemsappendr|)r<r~xs rDrzrzs$  z$ "" 4==K ' 'EZ & &!!W-- 44 QW%%%%<<  4rF*None | int | tuple[int | None, int | None]c t|drdSt|trt|jdr|j}t|t r|jSt|tr|j,t|jt r|jjdkrdSdx}}|j (t|j t sdS|j j}|j (t|j t sdS|j j}||fSdS)N version_info)NNr") rr`rbaser}rrrstride begin_index end_index)r<r}beginends rDrxrx#s4((|$ "" {49n'M'M   eW % % ;  eY ' ' |'!%,88 ELr>Gs)E LL.0011111rFc*eZdZdZd dZd dZdd Zd S)rzCVisitor that flags all imports nested within a node as unreachable.noderr6r7cd|_dSrrselfrs rD visit_importz*MarkImportsUnreachableVisitor.visit_importO"rFrcd|_dSrrrs rDvisit_import_fromz/MarkImportsUnreachableVisitor.visit_import_fromRrrFrcd|_dSrrrs rDvisit_import_allz.MarkImportsUnreachableVisitor.visit_import_allUrrFNrrr6r7rrr6r7rrr6r7)__name__ __module__ __qualname____doc__rrrrFrDrrLsVMM##############rFrcH|tdSrS)rMarkImportsMypyOnlyVisitorrs rDr@r@Ys! LL+--.....rFc2eZdZdZddZddZdd Zdd Zd S)rz8Visitor that sets is_mypy_only (which affects priority).rrr6r7cd|_dSr is_mypy_onlyrs rDrz'MarkImportsMypyOnlyVisitor.visit_import` rFrcd|_dSrrrs rDrz,MarkImportsMypyOnlyVisitor.visit_import_fromcrrFrcd|_dSrrrs rDrz+MarkImportsMypyOnlyVisitor.visit_import_allfrrFrcd|_dSrrrs rDvisit_func_defz)MarkImportsMypyOnlyVisitor.visit_func_defirrFNrrr)rrr6r7)rrrrrrrrrrFrDrr]sjBB!!!!!!!!!!!!!!!!!!rFrN)r4rr5rr6r7)r4rr5rr6r7)r4r r5rr6rQ)r<r r5rr6rU)rmr r6rU)r<r rjrtr6rU)r<r rgrr6rU)rcrrarrdrr6rU)r<r r6r)r<r r6r)r<r rbrr6rQ)rr r6r7)Ar __future__rtypingrrr mypy.literalsr mypy.nodesrr r r r r rrrrrrrrrrrrrrr mypy.optionsr mypy.patternsrrr mypy.traverserr!r#__annotations__r%r'r)r+r,r3rErPrTr=rJrerfrUrrr{rzrxrr>rr@rrrFrDrsWWW""""""((((((((((!!!!!!.! 7777777777++++++    +, z ! t#CtSWXX XXXX4....8PPPP1111h####))))X$#$#$#$#NwvsCsCx11"    0    2222 # # # # #$4 # # #//// ! ! ! ! !!1 ! ! ! ! !rF