o 2g1 @sUdZddlmZddlmZmZmZddlmZddl 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<dXd#d$Z/dYd&d'Z0dZd*d+Z1d[d/d0Z2d\d3d4Z3d]d7d8Z4d^d;d<Z5ed=e6e7ee6d>fZ8d_dBdCZ9d`dEdFZ:dadHdIZ;dbdKdLZdcdSdTZ?GdUdVdVe&Z@dWS)dzQUtilities 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-r/r.r1r0 reverse_opsroptionsrreturnNonecCstt|jD]I}t|j||}|ttfvrt|j|q|tt fvrP|t kr0t |j||j|ddD]}t|q9|j sHt g|_ t|j dSqdSNr!) rangelenexprinfer_condition_valuer&r(mark_block_unreachablebodyr"r$mark_block_mypy_only else_bodyr )r3r4iresultr=rBI/home/garg/my-data/venv/lib/python3.10/site-packages/mypy/reachability.py"infer_reachability_of_if_statement5s     rDrcCst|jD]R\}}t|j|}|durt||}nt}|ttfvs(|ttfvr0t|j |n|tt fvrL|tt fvrL|j |ddD]}t|qE|t krWt |j |qdSr7) enumerateguardsinfer_pattern_valuepatternsr;r"r&r(r<bodiesr$r>)r3r4r@guard pattern_value guard_valuer=rBrBrC%infer_reachability_of_match_statementOs(  rMrboolcCst|j|ttfvSN)r;r:r&r()r3r4rBrBrCassert_will_always_failksrPr:r intcCs:|j}d}d}|}t|tr|jdkr|j}d}t}t|tr#|j}nFt|tr,|j}n=t|t rZ|jdvrZt |j |}|t t fvrG|jdksR|ttfvrX|jdkrXt |j|S|St||}|tkrit||j}|tkr|dkrtt}n!|d kr{t }n|d ks|d krt }n||jvrt }n||jvrt}|rt|}|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)andorrTrUPY2PY3MYPY TYPE_CHECKING)python_version isinstanceropr:r*rnamerrr;leftr"r$r&r(rightconsider_sys_version_infoconsider_sys_platformplatform always_true always_falser+)r:r4 pyversionr]negatedaliasrAr^rBrBrCr;osH          r;patternrcCs>t|tr |jdur tSt|trtdd|jDrtStS)Ncss|] }t|tkVqdSrO)rGr").0prBrBrC s  z&infer_pattern_value..)r[rrhr"ranyrHr*)rhrBrBrCrGsrGretuple[int, ...]cCsdt|tstSt|jdkrtS|jd}|dvrtSt|jd}t|jd}|dus1|durCt|jd}t|jd}t|}t|t rdt|t rdd|krWdkrbntSt ||||StSt|t rt|t r|\}}|durxd}|dur~d}d|kr|krdkrntS|||}t|t|kst|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*r9 operatorscontains_sys_version_infooperandscontains_int_or_tuple_of_intsr2rQfixed_comparisontuple)r:rer\indexthinglohivalrBrBrCr`s<    ( r`rbstrcCst|tr6t|jdkrtS|jd}|dvrtSt|jdds#tS|jd}t|ts/tSt|||j St|t rrt|j t sCtSt|j dksRt|j dtsTtSt|j jds]tS|j jdkretS||j dj rptStStS)zConsider whether expr is a comparison involving sys.platform. Return ALWAYS_TRUE, ALWAYS_FALSE, or TRUTH_VALUE_UNKNOWN. r!rrnrb startswith)r[r r9ror* is_sys_attrrqrrsvaluer calleerargsr:r]r{r"r&)r:rbr\r_rBrBrCras2       raTarg.r^r\r_cCsttd}|dkr|||kS|dkr|||kS|dkr#|||kS|dkr-|||kS|dkr7|||kS|dkrA|||kStS)N)FTr,r-r1r0r/r.)r&r"r*)r^r\r_rmaprBrBrCrss       rsNone | int | tuple[int, ...]cCs^t|tr|jSt|tr-t|tkr-g}|jD]}t|ts"dS||jqt|SdSrO) r[rr}rrritemsappendrt)r:rvxrBrBrCrrs     rr*None | int | tuple[int | None, int | None]cCst|drdSt|tr_t|jdr_|j}t|tr|jSt|tr_|jdur5t|jtr3|jjdkr5dSd}}|j durJt|j tsFdS|j j}|j dur[t|j tsWdS|j j}||fSdS)N version_info)NNr!) r|r[rbaserurr}rstride begin_index end_index)r:rubeginendrBrBrCrp#s*        rpr]cCs4t|tr|j|krt|jtr|jjdkrdSdS)NsysTF)r[rr]r:r)r:r]rBrBrCr|;sr|blockr cCsd|_|tdSNT)is_unreachableacceptMarkImportsUnreachableVisitorrrBrBrCr<Gsr<c@s.eZdZdZdddZdd d Zdd d ZdS)rzCVisitor that flags all imports nested within a node as unreachable.noderr5r6cC d|_dSrrselfrrBrBrC visit_importO z*MarkImportsUnreachableVisitor.visit_importrcCrrrrrBrBrCvisit_import_fromRrz/MarkImportsUnreachableVisitor.visit_import_fromrcCrrrrrBrBrCvisit_import_allUrz.MarkImportsUnreachableVisitor.visit_import_allNrrr5r6rrr5r6rrr5r6)__name__ __module__ __qualname____doc__rrrrBrBrBrCrLs   rcCs|tdSrO)rMarkImportsMypyOnlyVisitorrrBrBrCr>Ysr>c@s8eZdZdZdddZdd d Zdd d ZdddZdS)rz8Visitor that sets is_mypy_only (which affects priority).rrr5r6cCrr is_mypy_onlyrrBrBrCr`rz'MarkImportsMypyOnlyVisitor.visit_importrcCrrrrrBrBrCrcrz,MarkImportsMypyOnlyVisitor.visit_import_fromrcCrrrrrBrBrCrfrz+MarkImportsMypyOnlyVisitor.visit_import_allr cCrrrrrBrBrCvisit_func_defirz)MarkImportsMypyOnlyVisitor.visit_func_defNrrr)rr r5r6)rrrrrrrrrBrBrBrCr]s    rN)r3rr4rr5r6)r3rr4rr5r6)r3rr4rr5rN)r:r r4rr5rQ)rhrr5rQ)r:r rermr5rQ)r:r rbrzr5rQ)r^rr\rzr_rr5rQ)r:r r5r)r:r r5r)r:r r]rzr5rN)rr r5r6)Ar __future__rtypingrrr mypy.literalsr mypy.nodesrrr r r r r rrrrrrrrrrrrrr mypy.optionsr mypy.patternsrrrmypy.traverserr r"__annotations__r$r&r(r*r+r2rDrMrPr;rGr`rarQrzrrsrrrpr|r<rr>rrBrBrBrCsH  \             4 ,'