X-Ph1  UdZddlmZddlmZmZddlmZddlm Z m Z m Z m Z m Z mZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZddlmZddl 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%Z/dMd(Z0dNd,Z1dOd/Z2dPd2Z3dQd5Z4ed6e5e6e7e5d7fZ8dRd;Z9dSd=Z:dTd?Z;dUdAZdVdGZ?GdHdIe%Z@dJS)WzQUtilities related to determining the reachability of code (in semantic analysis).) annotations)FinalTypeVar)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-r/r.r1r0 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 )r3r4iresultr>s Q/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/mypy/reachability.py"infer_reachability_of_if_statementrD5s 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 |dSr8) enumerateguardsinfer_pattern_valuepatternsr<r"r&r(r=bodiesr$r?)r3r4rAguard pattern_value guard_valuer>s rC%infer_reachability_of_match_statementrOOsah''..5+AJqM::  /w??KK%K \:6 6 6+  J ; ; #18A; / / / / |Y7 7 7K  L = = Q) - -&t,,,, ) # # !! - - -1..rErboolcHt|j|ttfvSN)r<r;r&r()r3r4s rCassert_will_always_failrSks  1 1lJ5O OOrEr;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)andorrXrYPY2PY3MYPY TYPE_CHECKING)python_version isinstanceropr;r*rnamerrr<leftr"r$r&r(rightconsider_sys_version_infoconsider_sys_platformplatform always_true always_falser+)r;r4 pyversionranegatedaliasrBrbs rCr<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'/ MrEpatternrct|tr|jtSt|tr%t d|jDrtStS)Nc3FK|]}t|tkVdSrR)rIr").0ps rC z&infer_pattern_value..sA0023A+-000000rE)r_rrlr"ranyrJr*)rls rCrIrIsq'9%%#'/*A GY ' '#C007>7G000--#""rErituple[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-r1r0r/r.Nr#r,r-) r_r r*r: operatorscontains_sys_version_infooperandscontains_int_or_tuple_of_intsr2rTfixed_comparisontuple)r;rir`indexthinglohivals rCrdrds 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 rErfstrc*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!rrurf startswith)r_r r:rvr* is_sys_attrrxrrzvaluer calleerargsr;rarr"r&)r;rfr`rcs rCreresc$''# t~   " "& & ^A  \ ! !& &4=+Z88 '& & a %)) '& &"ek::: D( # ##$+z22 '& & ty>>Q  j1w&G&G & &4;+Z88 '& & ; | + +& &   ty|1 2 2   ""rETarg.rbr`rccttd}|dkr |||kS|dkr |||kS|dkr |||kS|dkr |||kS|dkr |||kS|dkr |||kStS)N)FTr,r-r1r0r/r.)r&r"r*)rbr`rcrmaps rCrzrzs{ 3 3D TzzDEM"" TzzDEM"" TzzDEM"" TzzDEM"" SyyD5L!! SyyD5L!! rENone | int | tuple[int, ...]c2t|tr|jSt|tret |t krMg}|jD]4}t|tsdS||j5t|SdSrR) r_rrrrritemsappendr{)r;r}xs rCryrys$  z$ "" 4==K ' 'EZ & &!!W-- 44 QW%%%%<<  4rE*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 rCrwrw#s4((|$ "" {49n'M'M   eW % % ;  eY ' ' |'!%,88 ELrsWWW""""""!!!!!!!!!!!!!!.! 7777777777++++++    +, z ! t#CtSWXX XXXX4....8PPPP1111h####))))X$#$#$#$#NwvsCsCx11"    0    2222 # # # # #$4 # # #//// ! ! ! ! !!1 ! ! ! ! !rE