ziFdZddlmZddlZddlZddlZddlZddlZddlZddl Z ddl m Z m Z m Z ddlmZddlmZmZmZddlmZddlmZdd lmZdd lmZmZdd lmZmZdd l m!Z!dd l"m#Z#m$Z$eeZGddZ%eddGddZ&GddeZ'e(e#e)e*ee+ee+ffZ,GddZ-Gdde-Z.Gdde-Z/Gdde-Z0d%d"Z1Gd#d$Z2dS)&zCode parsing for coverage.py.) annotationsN)CallableIterableSequence) dataclass)OptionalProtocolcast)env) ByteParser) short_stack)NoSource NotPython)isolate_module nice_pair)generate_tokens)TArcTLineNoceZdZdZ d)d*d Zd+d Zd,dZejdd-dZ d.dZ d/dZ d0dZ d,dZ d1dZd,dZd0d Zejd2d"Zd3d%Zd4d'Zd4d(ZdS)5 PythonParserzParse code to find executable lines, excluded lines, etc. This information is all based on static analysis: no code execution is involved. Ntext str | NonefilenameexcludereturnNonec|s |s Jd|pd|_|||_nJddlm} ||j|_n-#t$r }t d|jd||d}~wwxYw||_d|_t|_ t|_ t|_ t|_ t|_ d|_i|_d|_d|_i|_dS) z Source can be provided as `text`, the text itself, or `filename`, from which the text will be read. Excluded lines are those that match `exclude`, a regex string. z*PythonParser needs either text or filenamezNr)get_python_sourcezNo source for code: 'z': F)rrcoverage.pythonrOSErrorrr _ast_rootset statementsexcludedraw_statements raw_excludedraw_docstrings show_tokens multiline_map _all_arcs_missing_arc_fragments_with_jump_fixers)selfrrrrerrs Z/var/www/tmov.alphamb/tmov_inventario/venv/lib/python3.11/site-packages/coverage/parser.py__init__zPythonParser.__init__&s7MxMM!MMMM ,H  !DII 9 9 9 9 9 9 Y--dm<<  Y Y YNt}NNNNOOUXX Y *. ),'*ee -0EE+.%%-0EE!68,0<@#@Bs? A) A$$A)regexstr set[TLineNo]c t}d}d}tj|jtjD]}|\}}|jd||z}|jd||z} |fdt|dz| dzD|}|}|S)zFind the lines matching a regex. Returns a set of line numbers, the lines that contain a match for `regex`. The entire line needn't match, just a part of it. Handles multiline regex patterns. r)flags c3NK|]}j||V dSNr)get).0ir-s r/ z.PythonParser.lines_matching..usG12"&&q!,,) r"refinditerr MULTILINEspancountupdaterange) r-r1matches last_startlast_start_linematchstartend start_lineend_lines ` r/lines_matchingzPythonParser.lines_matchinges!$ [ FFF ) )EJE3(49??4U+S+SSJ&z3)O)OOH NN6;JNHWXL6Y6Y   J(OOr>c |jr8||j|_t|j|_d}d}d}d}d}d}|jJt |j}|D]\}} \} } \} } } |jrJttj ||ddt| | fdd| dd| |tjkr|d z }n|tjkr|d z}n|tjkrn| d krT|dkrN|jt%|| d z}|s |r|j| |}d}nN| d vr|d z }nD| d vr|d z}n:|tjkr*|r&| |kr t%|| d zD] }||j|< d}| r<|tjkr,d}|s(| }|r||krd}|r|j| |sGt1|j|j }|j|||j|_|jJt?j |jD]}tC|t>j"t>j#t>j$t>j%fr|j&r|j&d}tC|t>j'rtC|j(t>j)rgtC|j(j(tTrH|j+t%|j,t[t\|j/d ztC|t>j"t>j#t>j$frtad|j1D|j,}|jt%||j,d zrC|jt%|t[t\|j/d zdS)zwParse the source to find the interesting facts about its lines. A handful of attributes are updated. rFTNz>10 z>520r?:z([{z)]})rrc3$K|] }|jV dSr8lineno)r;ds r/r=z*PythonParser._raw_parse..s$!H!Hq!(!H!H!H!H!H!Hr>)default)2rrPr&r"r$rrr(printtokenizetok_namer:rtokenINDENTDEDENTOP intersectionrGaddNEWLINEr)stripCOMMENTr rr%rFfind_statements first_linesr!astwalk isinstanceClassDef FunctionDefAsyncFunctionDefModulebodyExprvalueConstantr2r'rWr int end_linenomindecorator_list)r-indentexclude_indent excluding first_lineemptynestingtokgentoktypettextslineno_elinenoltextshould_excludel byte_parsernodefirsts r/ _raw_parsezPythonParser._raw_parse|s < 3 $ 3 3DL A AD  122DM  y$$$ ++AG0 30 3 =GULWa,7A !)--gw?????!7G"455555 %,&&! EL((! EH$$C<> +22!%,S%:J0K0Ka0OPP $s@T UVV \ !H!HD4G!H!H!HRVR]^^^ =--eJ a.P.PQQ\M((z4T_;U;UXY;Y)Z)Z[[[% \ \r>i)maxsizerWrc|dkr|j| |  }n|j||}|S)zAReturn the first line number of the statement including `lineno`.rr9)r-rWs r/rzzPythonParser.first_linesK A::(,,fWvg>>>FF'++FF;;F r>linenosIterable[TLineNo]c fd|DS)zMap the line numbers in `linenos` to the correct first line of the statement. Returns a set of the first lines. c:h|]}|Srz)r;rr-s r/ z+PythonParser.first_lines..s%444q""444r>r)r-rs` r/rgzPythonParser.first_liness5444G4444r>linesc,||S)z)Implement `FileReporter.translate_lines`.)rg)r-rs r/translate_lineszPythonParser.translate_liness&&&r>arcsIterable[TArc] set[TArc]cFfd|DS)z(Implement `FileReporter.translate_arcs`.cjh|]/\}}||f0Srr)r;abr-s r/rz.PythonParser.translate_arcs..s:aaaVa##T__Q%7%78aaar>)fix_with_jumps)r-rs` r/translate_arcszPythonParser.translate_arcss,aaaatGZGZ[_G`G`aaaar>c tj|j|_|n{#t jttf$r\}t|dr|j }n|j dd}td|j d|j dd|z|d}~wwxYw|j|jz}|j|z }|||z |_dS)zParse source text to find executable lines, excluded lines, etc. Sets the .excluded and .statements attributes, normalized to the first line of multi-line statements. rWr?rzCouldn't parse 'z' as Python source: z at line N)rhparserr!rr[ TokenErrorIndentationError SyntaxErrorhasattrrWargsrrr$r'r%rgr#)r-r.rWignorestartss r/ parse_sourcezPythonParser.parse_sources  Yty11DN OO    #%5{C   sH%% (!QF4=FFFXa[55V556   !44$v-**622V;s25B-AB((B-cX|j||jJ|jS)zGet information about the arcs available in the code. Returns a set of line number pairs. Line numbers have been normalized to the first line of multi-line statements. )r* _analyze_astr-s r/rzPythonParser.arcss4 > !      ~)))~r>c|jJt|j|j|j|j}||j}||_|jr| |}t|_ |D]Q\}}| |}| |}||kr|j ||fR|j|_dS)zkRun the AstArcAnalyzer and save its results. `_all_arcs` is the set of arcs in the code. N)r!AstArcAnalyzerrr%r)analyzerwith_jump_fixersr,rr"r*rzrbmissing_arc_fragmentsr+)r-aaarl1l2fl1fl2s r/rzPythonParser._analyze_ast$s ~)))T]DNDct}t}|D]}||jvr|d}|||j|\}}||jvrC|||j|\}}||||jvC|||df||t||z|z }|S)aAdjust arcs to fix jumps leaving `with` statements. Consider this code: with open("/tmp/test", "w") as f1: a = 2 b = 3 print(4) In 3.10+, we get traces for lines 1, 2, 3, 1, 4. But we want to present it to the user as if it had been 1, 2, 3, 4. The arc 3->1 should be replaced with 3->4, and 1->4 should be removed. For this code, the fixers dict is {(3, 1): ((1, 4), (3, 4))}. The key is the actual measured arc from the end of the with block back to the start of the with-statement. The values are start_next (the with statement to the next statement after the with), and end_next (the end of the with-statement to the next statement after the with). With nested with-statements, we have to trace through a few levels to correct a longer chain of arcs. rr?)r"r,rb)r-r to_removeto_addarcend0 start_nextend_nexts r/rzPythonParser.fix_with_jumps;s0EE  * *Cd,,,1v c"""'+'=c'B$ H D$:::MM*---+/+A*+M(JMM(+++!D$::: D(1+./// j)))D F"i/ r>dict[TLineNo, int]ctjt}|D]D\}}|dksJd|d|j||jvr*||jvr4||xxdz cc<E|S)zYGet a count of exits from that each line. Excluded lines are excluded. rzl1=z should be greater than zero in r?) collections defaultdictrsrrr$)r- exit_countsrrs r/rzPythonParser.exit_countscs+6*A#*F*F iikk ! !FB666RbRR4=RR666T]""T]"" OOOq OOOOr> action_msgrMcL| |dkrd}nd}||}|S)z=Apply some defaulting and formatting to an arc's description.Nrzjump to the function exitzjump to line {lineno}rV)format)r-rrMs r/_finish_action_msgzPythonParser._finish_action_msgws9  Qww8 4 &&c&22 r>rLcf|j||jJ|j||fdg}g}|D]V\}}|||}d|d|}||d||z }||Wd|S)z5Provide an English sentence describing a missing arc.NNNzline z didn't z because rVz or )r+rr:rrappendjoin)r-rLrMfragment_pairsmsgsmissing_cause_msgrmsgs r/missing_arc_descriptionz$PythonParser.missing_arc_descriptions  & .      .:::488% ~VV-;   ) z00SAAJ5%5555C ,K#4#;#;5#;#I#IKKK KK    {{4   r>c|j||jJ|j||fdg}||dd|}|S)z2Provide an English description of an arc's effect.Nrrr?)r+rr:r)r-rLrMrrs r/arc_descriptionzPythonParser.arc_descriptionso  & .      .:::488% ~VV,,^A->q-A3GG r>)NNN)rrrrrrrr)r1r2rr3rr)rWrrr)rrrr3)rrrr3)rrrr)rr)rr)rrrMrrr2)rLrrMrrr2)__name__ __module__ __qualname____doc__r0rPr functools lru_cacherzrgrrrrrrrrrrrr>r/rrs #" =C=C=C=C=C~.h\h\h\h\TY&&&'&5555''''bbbb<<<<0    @@@@.&&&&P&!!!!&r>rT)frozenorderc,eZdZUdZded<dZded<dS)ArcStarta?The information needed to start an arc. `lineno` is the line number the arc starts from. `cause` is an English text fragment used as the `missing_cause_msg` for AstArcAnalyzer.missing_arc_fragments. It will be used to describe why an arc wasn't executed, so should fit well into a sentence of the form, "Line 17 didn't run because {cause}." The fragment can include "{lineno}" to have `lineno` interpolated into it. As an example, this code:: if something(x): # line 1 func(x) # line 2 more_stuff() # line 3 would have two ArcStarts: - ArcStart(1, "the condition on line 1 was always true") - ArcStart(1, "the condition on line 1 was never true") The first would be used to create an arc from 1 to 3, creating a message like "line 1 didn't jump to line 3 because the condition on line 1 was always true." The second would be used for the arc from 1 to 2, creating a message like "line 1 didn't jump to line 2 because the condition on line 1 was never true." rrWr2causeN)rrrr__annotations__rrr>r/rrs2:OOOEOOOOOOr>rc eZdZdZ d d d ZdS) TAddArcFnz&The type for AstArcAnalyzer.add_arc().NrLrrMrrrrrcdS)ab Record an arc from `start` to `end`. `missing_cause_msg` is a description of the reason the arc wasn't taken if it wasn't taken. For example, "the condition on line 10 was never true." `action_msg` is a description of what the arc does, like "jump to line 10" or "exit from function 'fooey'." Nrr-rLrMrrs r/__call__zTAddArcFn.__call__sr>r rLrrMrrrrrrr)rrrrrrr>r/rrs;00 )-!%        r>rc2eZdZdZd dZd d Zd d Zd d Zd S)Blocka; Blocks need to handle various exiting statements in their own ways. All of these methods take a list of exits, and a callable `add_arc` function that they can use to add arcs if needed. They return True if the exits are handled, or False if the search should continue up the block stack. exits set[ArcStart]add_arcrrboolcdS)zProcess break exits.Frr-rrs r/process_break_exitszBlock.process_break_exitsur>cdS)zProcess continue exits.Frrs r/process_continue_exitszBlock.process_continue_exitsrr>cdS)zProcess raise exits.Frrs r/process_raise_exitszBlock.process_raise_exitsrr>cdS)zProcess return exits.Frrs r/process_return_exitszBlock.process_return_exitsrr>Nrrrrrr)rrrrrrrrrr>r/rrsnr>rc*eZdZdZddZdd Zdd ZdS) LoopBlockz@A block on the block stack representing a `for` or `while` loop.rLrrrc:||_t|_dSr8)rLr" break_exits)r-rLs r/r0zLoopBlock.__init__s *-%%r>rrrrrc:|j|dSNT)rrFrs r/rzLoopBlock.process_break_exitss &&&tr>cH|D]}||j|j|jdSr)rWrLrr-rrxits r/rz LoopBlock.process_continue_exits s3 7 7C GCJ CI 6 6 6 6tr>N)rLrrrr)rrrrr0rrrr>r/rrsVJJ0000 r>rc*eZdZdZddZddZddZdS) FunctionBlockz>A block on the block stack representing a function definition.rLrnamer2rrc"||_||_dSr8rLr)r-rLrs r/r0zFunctionBlock.__init__s  r>rrrrrc\|D](}||j|j |jd|j)dS)Nzexcept from function TrWrLrrrs r/rz!FunctionBlock.process_raise_exitsO  C G   5 55      tr>c\|D](}||j|j |jd|j)dS)Nzreturn from function Trrs r/rz"FunctionBlock.process_return_exits#rr>N)rLrrr2rrr)rrrrr0rrrr>r/rrsVHH r>rc"eZdZdZddZdd ZdS)TryBlockz6A block on the block stack representing a `try` block. handler_startTLineNo | None final_startrrc"||_||_dSr8)r r )r-r r s r/r0zTryBlock.__init__1s*&r>rrrrrcV|j!|D]}||j|j|jdSr)r rWrrs r/rzTryBlock.process_raise_exits7s?   ) C C D$6 BBBBtr>N)r r r r rrr)rrrrr0rrr>r/r r .sB@@'''' r>r rast.ASTrtuple[bool, bool]cj|xtjdx\dt|jfSxtjdx#\|jdvrdt |jfSnxtjdx?\t|j tj rt|j \}}|| fSntj dxs\d|jD}td|D}|rDt|j tjrt"nt}d|d|DfSndS) zIs this a compile-time constant test expression? We don't try to mimic all of CPython's optimizations. We just have to handle the kinds of constant expressions people might actually use. rNT)TrueFalser __debug__c,g|]}t|Sr)is_constant_test_expr)r;vs r/ z)is_constant_test_expr..Ss!BBB)!,,BBBr>c3 K|] \}}|V dSr8r)r;is_constrs r/r=z(is_constant_test_expr..Ts&??;8Qh??????r>c3 K|] \}}|V dSr8r)r;rrs r/r=z(is_constant_test_expr..Ws&33da333333r>)FF)rhrrrrqNameidevalUnaryOprjopNotroperandBoolOpvaluesallOrany)r is_constantvalretsr s r/rrAs]  S\^^^^^^dj))) ) SXZZZZZZw@@@T$']]***S[]]]]]]$'37++ ,#8#F#F S"G+++Z\\\\\BBdkBBBD??$?????K 4&tw77@SSSRR33d33333333  cFeZdZdZdNd ZdOd ZdPdZdQdZdRdZeZ dSdZ dTdUdZ dVd Z dWd!Z dXd"ZdYd$ZeZdZd&ZeZeZd[d(Zd\d)Zhd*Zd]d,Z dTd^d3Zd_d5Zd_d6Zd_d7Zd_d8Zd`d:Zdad;ZeZdbd=Z dcd?Z!e!Z"eZ#eZ$dddAZ%dedCZ&dfdEZ'dgdGZ(dhdIZ)e)Z*didKZ+djdMZ,e,Z-dS)kraAnalyze source text with an AST to find executable code paths. The .analyze() method does the work, and populates these attributes: `arcs`: a set of (from, to) pairs of the the arcs possible in the code. `missing_arc_fragments`: a dict mapping (from, to) arcs to lists of message fragments explaining why the arc is missing from execution:: { (start, end): [(missing_cause_msg, action_msg), ...], } For an arc starting from line 17, they should be usable to form complete sentences like: "Line 17 didn't {action_msg} because {missing_cause_msg}". NOTE: Starting in July 2024, I've been whittling this down to only report arc that are part of true branches. It's not clear how far this work will go. rr2 root_noderr#r3 multilinedict[TLineNo, TLineNo]rrc||_||_fd|D|_|_t t t jdd}|rWtd|jtd|jttj |jddt|_ tjt|_g|_t|_t|_t|_t|_t t t jd d|_dS) Nc<h|]}||Sr)r:)r;rr-s r/rz*AstArcAnalyzer.__init__..ys'CCC19==A..CCCr>COVERAGE_AST_DUMP0z Statements: zMultiline map: T)include_attributesrwCOVERAGE_TRACK_ARCS)rr,r#r-rrsosgetenvrZrhdumpr"rrrlistr block_stackcurrent_with_startsall_with_starts with_entries with_exitsdebug)r-rr,r#r-dump_asts ` r/r0zAstArcAnalyzer.__init__ps6! "CCCC CCC"BI&93??@@AA  O 222 3 3 3 4DN44 5 5 5 #(4>d1MMM N N N"uu 4?4KD4Q4Q"(* 25 -0UU'*uu%(UU#bi(=sCCDDEE r>ctj|jD]/}|jj}t |d|d}| ||0dS)zFExamine the AST tree from `self.root_node` to determine possible arcs._code_object__N)rhrir, __class__rgetattr)r-r node_namecode_object_handlers r/rzAstArcAnalyzer.analyzesdHT^,, * *D/I")$0L0L0Ld"S"S ".##D)))  * *r>dict[TArc, tuple[TArc, TArc]]c"i}fdjD}jD]ofd|D}|st|dksJd|d|}fdjD}|D]}|f||ff||f<p|S)aKGet a dict with data for fixing jumps out of with statements. Returns a dict. The keys are arcs leaving a with-statement by jumping back to its start. The values are pairs: first, the arc from the start to the next statement, then the arc that exits the with without going to the start. cDh|]}|djv|jv|S)r)r<r=)r;rr-s r/rz2AstArcAnalyzer.with_jump_fixers..sB   1v---#T=N2N2N 2N2N2Nr>c8h|]}|dk|dS)rr?rr;rrLs r/rz2AstArcAnalyzer.with_jump_fixers..s&EEESVu__SV___r>r?zExpected one arc, got z with start = c8h|]}|dk|dS)r?rrrKs r/rz2AstArcAnalyzer.with_jump_fixers..s&IIIsQ5CFr>)rr<lenpopr>)r-fixers with_nextsnextsnxtendsrMrLs` @r/rzAstArcAnalyzer.with_jump_fixerss    y   ) B BEEEEEzEEEE u::???$TU$T$T%$T$T???))++CIIIIdoIIID B B). sCj'AU|$$ B r>r ast.Modulec||}|jrD||j}|D]%}||j| |jd&dS||| dS)Nzexit the module) line_for_nodero process_bodyrrWrr-rrLrrs r/_code_object__Modulez#AstArcAnalyzer._code_object__Modules""4(( 9 (%%di00E O O SZ%ast.FunctionDefc||}|jt||j||j}|||jdS)Nr) rVr:rrrrWrorrN)r-rrLrs r/_code_object__FunctionDefz(AstArcAnalyzer._code_object__FunctionDefs""4((  E J J JKKK!!$),, !!%((( r> ast.ClassDefc||}||j}|D]-}||j| |jd|j.dS)Nz exit class )rVrWrorrWrrrXs r/_code_object__ClassDefz%AstArcAnalyzer._code_object__ClassDefss""4((!!$),, U UC LLeVSY8Sdi8S8S T T T T U Ur>NrLrrMrrrc Z|jr8td|d|d|d|ttd|j||f||jvr|j||f||&|j||f||fdSdS)z@Add an arc, including message fragments to use if it is missing.zAdding possible arc: (z, z): z )rMN) r?rZr rrbr;r=rrrs r/rzAstArcAnalyzer.add_arcs : - a5aaCaaIterable[Block]c*t|jS)z.Yield the blocks in nearest-to-farthest order.)reversedr:rs r/nearest_blockszAstArcAnalyzer.nearest_blockss()))r>c|jj}tttt jgtft|d|d}| ||}n|j }|j ||S)z}What is the right line number to use for this node? This dispatches to _line__Node functions where needed. _line__N) rCrr rrrhASTrrDrWr-r:)r-rrEhandlerlines r/rVzAstArcAnalyzer.line_for_nodes N+  Xswi01 2 D/I// 6 6    74==DD;D~!!$---r>cH|jr|jdj}n|j}|S)zSCompute first line number for things that can be decorated (classes and functions).r)rvrW)r-rrWs r/_line_decoratedzAstArcAnalyzer._line_decorateds+   !(+2FF[F r> ast.Assignc6||jSr8)rVrqr-rs r/ _line__AssignzAstArcAnalyzer._line__Assign s!!$*---r>ast.Dictc|jr1|jd|jdjS|jdjS|jSNr)keysrWr$rns r/ _line__DictzAstArcAnalyzer._line__Dicts@ 9 y|'y|**{1~,,; r>ast.Listc^|jr ||jdS|jSrr)eltsrVrWrns r/ _line__ListzAstArcAnalyzer._line__Lists. 9 %%dil33 3; r>cdS)Nr?rrns r/ _line__ModulezAstArcAnalyzer._line__Module#sqr>> rpPassAssertAssignDeleteGlobalImportNonlocal AnnAssign AugAssign ImportFromrcx|jj}tttt jgttft|d|d}| ||}nJtj r||j vrtd|t||h}|S)aFind the set of arc starts that exit this node. Return a set of ArcStarts, exits from this node to the next. Because a node represents an entire sub-tree (including its children), the exits from a node can be arbitrarily complex:: if something(1): if other(2): doit(3) else: doit(5) There are three exits from line 1: they start at lines 1, 3 and 5. There are two exits from line 2: lines 3 and 5. _handle__Nz*** Unhandled: )rCrr rrrhrgr"rrDr TESTING OK_TO_DEFAULT RuntimeErrorrV)r-rrErh arc_startss r/ node_exitszAstArcAnalyzer.node_exits5s"N+  XswiX67 8 D1i114 8 8     JJ{ AD$666&'?'?'?@@@#4#5#5d#;#;<<=Jr>roSequence[ast.AST] from_startArcStart | None prev_startsset[ArcStart] | Nonec||t}n|h}n|J|D]\}||}||jvr!|D]#}||j||j$||}]|S)aProcess the body of a compound statement. `body` is the body node to process. `from_start` is a single `ArcStart` that starts an arc into this body. `prev_starts` is a set of ArcStarts that can all be the start of arcs into this body. Only one of `from_start` and `prev_starts` should be given. Records arcs within the body by calling `self.add_arc`. Returns a set of ArcStarts, the exits from this body. )r"rVr#rrWrr)r-rorr body_noderW prev_starts r/rWzAstArcAnalyzer.process_bodyXs(  !!ee )l %%% 5 5I'' 22FT_,,) J J  Z. 8HIIII//)44KKr>rcp|D] }|||jrdS!dS)z0Add arcs due to jumps from `exits` being breaks.N)rdrrr-rblocks r/rz"AstArcAnalyzer.process_break_exitsM((**  E(( ==    r>cp|D] }|||jrdS!dS)z3Add arcs due to jumps from `exits` being continues.N)rdrrrs r/rz%AstArcAnalyzer.process_continue_exitssM((**  E++E4<@@    r>cp|D] }|||jrdS!dS)z0Add arcs due to jumps from `exits` being raises.N)rdrrrs r/rz"AstArcAnalyzer.process_raise_exitsrr>cp|D] }|||jrdS!dS)z1Add arcs due to jumps from `exits` being returns.N)rdrrrs r/rz#AstArcAnalyzer.process_return_exitssM((**  E))%>>    r> ast.Breakc||}t|d}||htS)Nz*the break on line {lineno} wasn't executedr)rVrrr")r-rhere break_starts r/_handle__BreakzAstArcAnalyzer._handle__BreaksG!!$''t+WXXX    +///uu r>cZ|j}|j}|j}|rd}|D]7}||}|||kr||||}8|J||||}|js"Jd|jd|jd|j|Jt |hS)zBAdd arcs for things that can be decorated (classes and functions).NzOops: node.body = z in @)rWrvrVrrorr)r-r main_linelastdecsdec_node dec_starts r/_handle_decoratedz AstArcAnalyzer._handle_decorateds![ #{"  WD  ! ! ..x88 # T(9(9LLy111 ### LLy ) ) )D 9 V VVtyVVVVVV V V Vr> ast.Continuec||}t|d}||htS)Nz-the continue on line {lineno} wasn't executedr)rVrrr")r-rrcontinue_starts r/_handle__Continuez AstArcAnalyzer._handle__ContinuesH!!$''!$.]^^^ ##^$4555uu r>ast.Forc<||j}|jt |t |d}||j|}|D]#}||j ||j $|j }t|tsJ|j }t |d}|jr"||j|}||z}n|||S)NrLz'the loop on line {lineno} never startedrrz)the loop on line {lineno} didn't complete)rViterr:rrrrWrorrWrrNrjrorelserb)r-rrLrrrmy_block else_exitss r/ _handle__ForzAstArcAnalyzer._handle__Fors ""49--   6 6 6777e+TUUU !!$) !CC 7 7C LLUCI 6 6 6 6#''))(I.....$e+VWWW ; "**4;:*NNJ Z EE IIj ! ! ! r>ast.IfcT||j}t|j\}}t}|r|r0t |d}|||j|z}|r|s0t |d}|||j|z}|S)N-the condition on line {lineno} was never truerr.the condition on line {lineno} was always true)rVtestrr"rrWror)r-rrL constant_testr)rrs r/ _handle__IfzAstArcAnalyzer._handle__Ifs""49--249== s I I!%/^___J T&&tyZ&HH HE KC K!%/_```J T&&t{z&JJ JE r> ast.Matchc||}|}t}|jD]e}||j}|||dt |d}|||j|z}|}f|j}t|tj r'|j d}t|tj 't|tj r/|j(|j}t|tj r|j(t|tj o|jduo|j du} | s$|t |d|S)Nz+the pattern on line {lineno} always matchedz*the pattern on line {lineno} never matchedrr)rVr"casespatternrrrWrorjrhMatchOrpatternsMatchAsguardrb) r-rrLrIrcase case_startrr had_wildcards r/_handle__MatchzAstArcAnalyzer._handle__Matchs""4(( J $ $D++DL99J LLZ1^ _ _ _!BJ T&&tyZ&HH HE#JJ,#+.. +&r*G#+.. +#+.. &7?3NoG#+.. &7?3N w , , _D1H _TZ[_M_   II+XYYY    r> ast.Raisec||}t|d}||htS)Nz*the raise on line {lineno} wasn't executedr)rVrrr")r-rr raise_starts r/_handle__RaisezAstArcAnalyzer._handle__RaisesG!!$''t+WXXX    +///uu r> ast.Returnc||}t|d}||htS)Nz+the return on line {lineno} wasn't executedr)rVrrr")r-rr return_starts r/_handle__ReturnzAstArcAnalyzer._handle__ReturnsG!!$'',YZZZ  !!<.111uu r>ast.Trycz|jr!||jd}nd}|jr!||jd}nd}||Jt||}|j|||}||jt|}|jrd|_ n|j t}|jrQ|jD]I}||}d} t|| } |||j| z}J|j r||j |}||z}|jr;|j |} ||j| } |r| }|S)Nrrz3the exception caught by line {lineno} didn't happenr)r) handlersrV finalbodyr r:rrWrorr rNr"r) r-rr r  try_blockrLr handler_exits handler_node from_causer final_from final_exitss r/ _handle__TryzAstArcAnalyzer._handle__Try!s = ! ..t}Q/?@@MM M > ,,T^A->??KKK(K,C,C,C]K88   ***""4((!!$)!HH > #&*I # #   " " "'*uu = ] $  ] ] $ 2 2< @ @ R %m:FFF !2!2<3DQ[!2!\!\\ ; F%%dku%EEE  > $   " " "J++DN +SSK $$ r> ast.Whilec||jx}}t|j\}}|jt |t |d}||j|}|D]#}| |j ||j $t}|j } t| t sJ|| jt |d}|jr"||j|} || z}n|s|||S)Nrrrrr)rVrrr:rrrrWrorrWrr"rNrjrFrrrb) r-rrLto_toprrrrrrrs r/_handle__WhilezAstArcAnalyzer._handle__WhileZsW++DI6660;; q   7 7 7888e+Z[[[ !!$) !CC 8 8C LLVSY 7 7 7 7#''))(I..... X)***e+[\\\ ; &**4;:*NNJ Z EE! & *%%% r>ast.Withc<tjjrfd|jD}n|g}|D]6}j|j|7|j t|d}|d}j |t|h}|rC|D]>} |j |j|j |f?|}|S)NcDg|]}|jSr)rV context_expr)r;itemr-s r/rz0AstArcAnalyzer._handle__With..rs*SSSd(():;;SSSr>rr)r PYBEHAVIORexit_with_through_ctxmgritemsrVr;rbr<rWrorremoverrWr>)r-rrrLr with_exitrs` r/ _handle__WithzAstArcAnalyzer._handle__Withps. > 2 0SSSS SSSFF((../F , ,E  $ ( ( / / /  $ $U + + + +!!$)8L8L!MMr   ''...e__%   9 9 SZ///##SZ$78888E r>) rr2r,rr#r3r-r.rrr)rrG)rrTrr)rrZrr)rr]rrrr)rra)rrrr)rrZrr)rrlrr)rrprr)rrurr)rrTrr)rrrr)rorrrrrrr)rrrr)rrrr)rrZrr)rrrr)rrrr)rrrr)rrrr)rrrr)rrrr)rrrr)rrrr)rrrr).rrrrr0rrrYr\_code_object__AsyncFunctionDefr_rrdrVrkro_line__ClassDefrt_line__FunctionDef_line__AsyncFunctionDefrxrzrrrWrrrrrr_handle__ClassDefrr_handle__AsyncFor_handle__FunctionDef_handle__AsyncFunctionDefrrrrr_handle__TryStarrr_handle__AsyncWithrr>r/rr[s ($F$F$F$FL****>((((&?"UUUU)-!% ]]]]]$****....,....&O    )-    M!!!!L'+,0 %%%%%^   "     0* (%, 1    <5555n$,,'r>r)rrrr)3r __future__rrhrrr6rAr]r[collections.abcrrr dataclassesrtypingrr r coverager coverage.bytecoder coverage.debugr coverage.exceptionsrr coverage.miscrrcoverage.phystokensrcoverage.typesrrrrrdictr9tupler2 TArcFragmentsrrrr rrrr>r/rs$#""""""  8888888888!!!!!!++++++++++((((((&&&&&&3333333333333333//////((((((((^B~~~~~~~~L  $d###$#D        .T4hsmXc]&B CDDE 8&E<     u   &4k'k'k'k'k'k'k'k'k'k'r>