pPjd5 UdZddlmZddlmZmZddlmZddlm Z m Z m Z m Z m Z mZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZddl m!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<d2dZ0d3dZ1d4dZ2d5d Z3d6d!Z4d7d"Z5d8d#Z6ed$e7e8e9e7d%fZ:d9d&Z;d:d'Zd=d*Z?d>d+Z@Gd,d-e'ZAd>d.ZBGd/d0e'ZCy1)?zQUtilities related to determining the reachability of code (in semantic analysis).) annotations)FinalTypeVar)literal) LITERAL_YES AssertStmtBlockCallExprComparisonExpr ExpressionFuncDefIfStmtImport ImportAll ImportFrom IndexExprIntExprListExpr MatchStmt MemberExprNameExprOpExprSetExpr SliceExprStrExpr TupleExpr UnaryExpr)Options) AsPattern OrPatternPattern)TraverserVisitorr ALWAYS_TRUE MYPY_TRUE ALWAYS_FALSE MYPY_FALSETRUTH_VALUE_UNKNOWNinverted_truth_mapping==!=><>=<=)r.r/r1r0r3r2 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 V/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/mypy/reachability.py"infer_reachability_of_if_statementrD7s 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|yr6) enumerateguardsinfer_pattern_valuepatternsr:r$r(r*r;bodiesr&r=)r?r@rAguard pattern_value guard_valuer<s rC%infer_reachability_of_match_statementrOQsahh'.5+AJJqM:  /w?K%K \:6 6+  J ; #188A; / {I6 6;;XaJb;bQ) -&t, - ) # !! -+.rEcFt|j|ttfvSN)r:r9r(r*)r?r@s rCassert_will_always_failrRjs  1lJ5O OOrEcNt|tr.|jdk(rt|j|}t |S|j }d}t}t|tr|j}nUt|tr|j}n7t|tr|jdvrtSt|j|}t|j|}||h}|jdk(rMt|vrtSt|vrtS||cxk(rt k(rt S|t"t hkrt"StS|jdk(rGt"|vrt"St |vrt S||cxk(rtk(rtS|tthkrtStSt%||}|tk(rt'||j(}|tk(rV|dk(rt"}|S|dk(rt}|S|dk(s|d k(rt}|S||j*vrt}|S||j,vrt"}|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. not)orandrVrWPY2PY3MYPY TYPE_CHECKING) isinstanceropr:r9r-python_versionr,rnamerrleftrightr$r&r*r(consider_sys_version_infoconsider_sys_platformplatform always_true always_false) r9r@positive pyversionr_rBr`raresultss rCr:r:ns$ "tww%'7(G<%h//&&I D F$!yy D* %yy D& ! 77- '& &$TYY8%djj':- 77d?g%""g%  ,*,!!-\:66###"WW w&##w&!!-+-"".[)44  ""*4; ( (*41A1ABF $$ 5=!F MU] F M V^t6F M W(( ( F MW)) )!F MrEct|tr|jtSt|tr"t d|j DrtStS)Nc3@K|]}t|tk(ywrQ)rIr$).0ps rC z&infer_pattern_value..s 023A+-0s)r\rpatternr$r anyrJr,)ros rCrIrIsM'9%'//*A GY 'C07>7G7G0-""rEc(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/r3r2r1r0r%r.r/) r\r r,r8 operatorscontains_sys_version_infooperandscontains_int_or_tuple_of_intsr4intfixed_comparisontuple)r9rhr]indexthinglohivals rCrbrbs{ 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 rEcpt|trt|jdkDrtS|jd}t |j ddstS|j d}|dvr't|trt|||jS|dvrtSt|}|tS||v}|dk(r| }|rtStSt|trt|jtstSt|j dk7st|j dtstSt |jj"dstS|jj$dk7rtS|j'|j djrtStStS)zConsider whether expr is a comparison involving sys.platform. Return ALWAYS_TRUE, ALWAYS_FALSE, or TRUTH_VALUE_UNKNOWN. r#rrdrr)innot inr startswith)r\r r8rsr, is_sys_attrrurrxvalue contains_tuple_or_set_of_stringsr$r(r calleerargsr9r_r)r9rdr]raitemsrBs rCrcrcsl$' t~~  "& & ^^A 4==+Z8& & a   *UG"<#Hb%++> > % %& &07 =& &U" >ZF${6,6 D( #$++z2& & tyy>Q j1w&G& &4;;++Z8& & ;;  | +& &   tyy|11 2  ""rETarg.cttd}|dk(r|||k(S|dk(r|||k7S|dk(r|||kS|dk(r|||k\S|dk(r|||kS|dk(r|||kDStS)N)FTr.r/r3r2r1r0)r(r$r,)r`r]rarmaps rCrxrxs{ 3D TzDEM"" TzDEM"" TzDEM"" TzDEM"" SyD5L!! SyD5L!! rEct|tr |jSt|tr]t |t k(rKg}|j D]/}t|tsy|j|j1t|SyrQ) r\rrrrrrappendry)r9r{xs rCrvrv'sp$ zz$ " 4=K 'EZZ &!!W- QWW% &<  rEct|tttfr8t d|j Drt d|j DSy)Nc3<K|]}t|tywrQ)r\rrlitems rCrnz3contains_tuple_or_set_of_strings..6s@&* 4!@sc3VK|]!}t|ts|j#ywrQ)r\rrrs rCrnz3contains_tuple_or_set_of_strings..9sTD*T7:STZZTs)))r\rrrallrry)r9s rCrr5sG$GX67C@.2jj@=TDJJTTT rEc`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\rbaserzrrrstride begin_index end_index)r9rzbeginends rCrtrt=s4($ "{499n'M  eW %;;  eY '||'!%,,8ELL$ # T(9 dii *tyy~~/F rEcDd|_|jtyNT)is_unreachableacceptMarkImportsUnreachableVisitorblocks rCr;r;asE LL.01rEc(eZdZdZddZddZddZy) rzCVisitor that flags all imports nested within a node as unreachable.cd|_yrrselfnodes rC visit_importz*MarkImportsUnreachableVisitor.visit_importi "rEcd|_yrrrs rCvisit_import_fromz/MarkImportsUnreachableVisitor.visit_import_fromlrrEcd|_yrrrs rCvisit_import_allz.MarkImportsUnreachableVisitor.visit_import_allorrENrrreturnNonerrrrrrrr)__name__ __module__ __qualname____doc__rrrrErCrrfsM###rErc6|jtyrQ)rMarkImportsMypyOnlyVisitorrs rCr=r=ss LL+-.rEc0eZdZdZddZddZd dZd dZy) rz8Visitor that sets is_mypy_only (which affects priority).cd|_yr is_mypy_onlyrs rCrz'MarkImportsMypyOnlyVisitor.visit_importz  rEcd|_yrrrs rCrz,MarkImportsMypyOnlyVisitor.visit_import_from}rrEcd|_yrrrs rCrz+MarkImportsMypyOnlyVisitor.visit_import_allrrEcd|_yrrrs rCvisit_func_defz)MarkImportsMypyOnlyVisitor.visit_func_defrrENrrr)rr rr)rrrrrrrrrrErCrrwsB!!!!rErN)r?rr@rrr)r?rr@rrr)r?rr@rrbool)r9r r@rrrw)ror!rrw)r9r rhztuple[int, ...]rrw)r9r rdstrrrw)r`rr]rrarrrw)r9r rzNone | int | tuple[int, ...])r9r rztuple[str, ...] | None)r9r rz*None | int | tuple[int | None, int | None])r9r r_rrr)rr rr)Dr __future__rtypingrr mypy.literalsr mypy.nodesrrr r r r r rrrrrrrrrrrrrrrr mypy.optionsr mypy.patternsrr r!mypy.traverserr"r$__annotations__r&r(r*r,r-r4rDrOrRr:rIrbrcrwrryrrxrvrrtrr;rr=rrrErCrs:W"!!2!77+ U 5 e EU+, z ! t#CtSWX EX4.2P<~#)X,#^vsCsCx1" 0 2 #$4 #/ !!1 !rE