o tBhX1 @sUdZddlmZddlmZmZddlmZddlm Z ddl m Z m Z m Z mZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZddlm Z ddl!m"Z"m#Z#m$Z$dd l%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<dYd$d%Z/dZd'd(Z0d[d+d,Z1d\d0d1Z2d]d4d5Z3d^d8d9Z4d_de6e7ee6d?fZ8d`dCdDZ9dadFdGZ:dbdIdJZ;dcdLdMZdddTdUZ?GdVdWdWe&Z@dXS)ezQUtilities related to determining the reachability of code (in semantic analysis).) annotations)TupleTypeVar)Final)literal) LITERAL_YES AssertStmtBlockCallExprComparisonExpr ExpressionIfStmtImport 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-r0r/ reverse_opsr optionsrreturnNonecCstt|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 )r2r3iresultr<rAh/var/www/html/riverr-enterprise-integrations-main/venv/lib/python3.10/site-packages/mypy/reachability.py"infer_reachability_of_if_statement5s     rCrcCst|jD]R\}}t|j|}|durt||}nt}|ttfvs(|ttfvr0t|j |n|tt fvrL|tt fvrL|j |ddD]}t|qE|t krWt |j |qdSr6) enumerateguardsinfer_pattern_valuepatternsr:r!r%r'r;bodiesr#r=)r2r3r?guard pattern_value guard_valuer<rArArB%infer_reachability_of_match_statementOs(  rLrboolcCst|j|ttfvSN)r:r9r%r')r2r3rArArBassert_will_always_failksrOr9r 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)andorrSrTPY2PY3MYPY TYPE_CHECKING)python_version isinstanceropr9r)rnamerrr:leftr!r#r%r'rightconsider_sys_version_infoconsider_sys_platformplatform always_true always_falser*)r9r3 pyversionr\negatedaliasr@r]rArArBr:osH          r:patternrcCs>t|tr |jdur tSt|trtdd|jDrtStS)Ncss|] }t|tkVqdSrN)rFr!).0prArArB s  z&infer_pattern_value..)rZrrgr!ranyrGr))rgrArArBrFsrFrdtuple[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,r0r/r.r-Nr"r+r,) rZr r)r8 operatorscontains_sys_version_infooperandscontains_int_or_tuple_of_intsr1rPfixed_comparisontuple)r9rdr[indexthinglohivalrArArBr_s<    ( r_rastrcCst|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 rrmra startswith)rZr r8rnr) is_sys_attrrprrrvaluer calleerargsr9r\rzr!r%)r9rar[r^rArArBr`s2       r`Targ.r]r[r^cCsttd}|dkr|||kS|dkr|||kS|dkr#|||kS|dkr-|||kS|dkr7|||kS|dkrA|||kStS)N)FTr+r,r0r/r.r-)r%r!r))r]r[r^rmaprArArBrrs       rr)None | int | tuple[int] | tuple[int, ...]cCs^t|tr|jSt|tr-t|tkr-g}|jD]}t|ts"dS||jqt|SdSrN) rZrr|rrritemsappendrs)r9ruxrArArBrqs     rq*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{rZrbasertrr|rstride begin_index end_index)r9rtbeginendrArArBro#s*        ror\cCs4t|tr|j|krt|jtr|jjdkrdSdS)NsysTF)rZrr\r9r)r9r\rArArBr{;sr{blockr cCsd|_|tdSNT)is_unreachableacceptMarkImportsUnreachableVisitorrrArArBr;Gsr;c@.eZdZdZdddZdd d Zdd d ZdS)rzCVisitor that flags all imports nested within a node as unreachable.noderr4r5cC d|_dSrrselfrrArArB visit_importO z*MarkImportsUnreachableVisitor.visit_importrcCrrrrrArArBvisit_import_fromRrz/MarkImportsUnreachableVisitor.visit_import_fromrcCrrrrrArArBvisit_import_allUrz.MarkImportsUnreachableVisitor.visit_import_allNrrr4r5rrr4r5rrr4r5__name__ __module__ __qualname____doc__rrrrArArArBrL   rcCs|tdSrN)rMarkImportsMypyOnlyVisitorrrArArBr=Ysr=c@r)rz8Visitor that sets is_mypy_only (which affects priority).rrr4r5cCrr is_mypy_onlyrrArArBr`rz'MarkImportsMypyOnlyVisitor.visit_importrcCrrrrrArArBrcrz,MarkImportsMypyOnlyVisitor.visit_import_fromrcCrrrrrArArBrfrz+MarkImportsMypyOnlyVisitor.visit_import_allNrrrrrArArArBr]rrN)r2r r3rr4r5)r2rr3rr4r5)r2rr3rr4rM)r9r r3rr4rP)rgrr4rP)r9r rdrlr4rP)r9r raryr4rP)r]rr[ryr^rr4rP)r9r r4r)r9r r4r)r9r r\ryr4rM)rr r4r5)Ar __future__rtypingrrtyping_extensionsr mypy.literalsr mypy.nodesrrr r r r r rrrrrrrrrrrrr mypy.optionsr mypy.patternsrrrmypy.traverserrr!__annotations__r#r%r'r)r*r1rCrLrOr:rFr_r`rPryrrrrqror{r;rr=rrArArArBsJ   X             4 ,'