%^g1 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<d1dZ/d2dZ0d3dZ1d4d Z2d5d!Z3d6d"Z4d7d#Z5ed$e6e7ee6d%fZ8d8d&Z9d9d'Z:d:d(Z;d;d)Zd<>=<=)r-r.r0r/r2r1 reverse_opctt|jD]}t|j||}|tt fvrt |j|C|ttfvsR|tk(rt|j||j|dzdD] }t ||jstg|_ t |jyyNr") rangelenexprinfer_condition_valuer'r)mark_block_unreachablebodyr#r%mark_block_mypy_only else_bodyr )soptionsiresultr;s 1lib/python3.12/site-packages/mypy/reachability.py"infer_reachability_of_if_statementrC5s 3qvv; &qvvay': lJ/ / "166!9 -  Y/ /"%QVVAY/q1uw&t,(;;#Bi "1;; / - ct|jD]\}}t|j|}| t ||}nt }|t tfvs|t tfvrt|j|n>|t tfvr0|t tfvr"|j|dzdD] }t||tk(st|j|yr5) enumerateguardsinfer_pattern_valuepatternsr9r#r'r)r:bodiesr%r<)r>r?r@guard pattern_value guard_valuer;s rB%infer_reachability_of_match_statementrNOsahh'5+AJJqM:  /w?K%K \:6 6+  J ; #188A; / |Y7 7K  L = Q)&t,* ) # !! -1(rDcFt|j|ttfvSN)r9r8r'r))r>r?s rBassert_will_always_failrQks  1lJ5O OOrDc2|j}d}d}|}t|tr|jdk(r|j}d}t }t|t r |j}nt|tr |j}nt|trv|jdvrht|j|}|ttfvr|jdk(s|ttfvr%|jdk(rt|j |S|St#||}|t k(rt%||j&}|t k(rR|dk(rt}nF|d k(rt}n:|d k(s|d k(rt}n)||j(vrt}n||j*vrt}|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)andorrUrVPY2PY3MYPY TYPE_CHECKING)python_version isinstanceropr8r+rnamerrr9leftr#r%r'r)rightconsider_sys_version_infoconsider_sys_platformplatform always_true always_falser,)r8r? pyversionr^negatedaliasrAr_s rBr9r9osn&&I DG E%# 88u ::DG F$!yy D* %yy D& !dgg&>$TYY8 [), ,E1A \:. .477d?)W= =K*4; ( (*41A1ABF $$ 5=!F U] F V^t6F W(( ( F W)) )!F'/ MrDct|tr|jtSt|tr"t d|j DrtStS)Nc3@K|]}t|tk(ywrP)rHr#).0ps rB z&infer_pattern_value..s 07G!A+-7Gs)r\rpatternr#ranyrIr+)rns rBrHrHsM'9%'//*A GY 'C07>7G7G0-""rDc(t|tstSt|jdkDrtS|jd}|dvrtSt |j d}t|j d}||9t |j d}t|j d}t|}t|tr9t|tr)d|cxkrdkrntSt||||StSt|trzt|trj|\}}|d}|d}d|cxkr |cxkrdkrLntS|||}t|t|k(st|t|kDr|dvr t|||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/r$r-r.) r\r r+r7 operatorscontains_sys_version_infooperandscontains_int_or_tuple_of_intsr3intfixed_comparisontuple)r8rfr]indexthinglohivals rBraras{ dN +"" 4>>Q""  B 33"" %dmmA&6 7E )$--*: ;E } )$--*:;-dmmA.>? ^%*UC"8 ??' &$Ie$4b%@ @& & E5 !j&>B :B :B  R 1  Br"C3x3u:%SCJ)>2\CY'R77 rDct|trt|jdkDrtS|jd}|dvrtSt |j ddstS|j d}t|tstSt|||jSt|trt|jtstSt|jdk7st|jdtstSt |jjdstS|jjdk7rtS|j!|jdjrt"St$StS)zConsider whether expr is a comparison involving sys.platform. Return ALWAYS_TRUE, ALWAYS_FALSE, or TRUTH_VALUE_UNKNOWN. r"rrqrc startswith)r\r r7rrr+ is_sys_attrrtrrwvaluer calleerargsr8r^rr#r')r8rcr]r`s rBrbrbs0$' t~~  "& & ^^A  \ !& &4==+Z8& & a %)& &"ekk:: D( #$++z2& & tyy>Q j1w&G& &4;;++Z8& & ;;  | +& &   tyy|11 2  ""rDTarg.cttd}|dk(r|||k(S|dk(r|||k7S|dk(r|||kS|dk(r|||k\S|dk(r|||kS|dk(r|||kDStS)N)FTr-r.r2r1r0r/)r'r#r+)r_r]r`rmaps rBrwrws{ 3D TzDEM"" TzDEM"" TzDEM"" TzDEM"" SyD5L!! SyD5L!! rDct|tr |jSt|tr]t |t k(rKg}|j D]/}t|tsy|j|j1t|SyrP) r\rrrrritemsappendrx)r8rzxs rBrurusk$ zz$ " 4=K 'EZZ!!W- QWW% <  rDc`t|dryt|trt|jdr|j}t|t r |j St|tr|j4t|jt r|jj dk7rydx}}|j1t|jt sy|jj }|j1t|jt sy|jj }||fSy)N version_info)NNr") rr\rbaseryrrrstride begin_index end_index)r8rybeginends rBrsrs#s4($ "{499n'M  eW %;;  eY '||'!%,,8ELL$ # T(9 dii *tyy~~/F rDcDd|_|jtyNT)is_unreachableacceptMarkImportsUnreachableVisitorblocks rBr:r:GsE LL.01rDc(eZdZdZddZddZddZy) rzCVisitor that flags all imports nested within a node as unreachable.cd|_yrrselfnodes rB visit_importz*MarkImportsUnreachableVisitor.visit_importO "rDcd|_yrrrs rBvisit_import_fromz/MarkImportsUnreachableVisitor.visit_import_fromRrrDcd|_yrrrs rBvisit_import_allz.MarkImportsUnreachableVisitor.visit_import_allUrrDNrrreturnNonerrrrrrrr)__name__ __module__ __qualname____doc__rrrrDrBrrLsM###rDrc6|jtyrP)rMarkImportsMypyOnlyVisitorrs rBr<r<Ys LL+-.rDc0eZdZdZddZddZd dZd dZy) rz8Visitor that sets is_mypy_only (which affects priority).cd|_yr is_mypy_onlyrs rBrz'MarkImportsMypyOnlyVisitor.visit_import`  rDcd|_yrrrs rBrz,MarkImportsMypyOnlyVisitor.visit_import_fromcrrDcd|_yrrrs rBrz+MarkImportsMypyOnlyVisitor.visit_import_allfrrDcd|_yrrrs rBvisit_func_defz)MarkImportsMypyOnlyVisitor.visit_func_defirrDNrrr)rrrr)rrrrrrrrrrDrBrr]sB!!!!rDrN)r>rr?rrr)r>rr?rrr)r>r r?rrbool)r8r r?rrrv)rnr rrv)r8r rfztuple[int, ...]rrv)r8r rcstrrrv)r_rr]rr`rrrv)r8r rzNone | int | tuple[int, ...])r8r rz*None | int | tuple[int | None, int | None])r8r r^rrr)rr rr)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,r3rCrNrQr9rHrarbrvrrrwrursrr:rr<rrrDrBrs3W"((!.!77+ U 5 e EU+, z ! t#CtSWX EX4.8P1h#)X$#NvsCsCx1" 0 2 #$4 #/ !!1 !rD