/~h.dZddlmZddlZddlZddlZddlZddlZddlZddl Z ddl Z ddl m Z m Z ddlmZddlmZddlmZmZmZmZddlmZdd lmZdd lmZdd lmZmZdd l m!Z!m"Z"dd l#m$Z$ddl%m&Z&m'Z'e!eZGddZ(GddZ)eddGddZ*GddeZ+e,e&e-e.ee/ee/ffZ0GddZ1Gdde1Z2Gdde1Z3Gdd e1Z4Gd!d"ejjZ6Gd#d$Z7y)%zCode parsing for coverage.py.) annotationsN)IterableSequence) dataclass)CodeType)castCallableOptionalProtocol)env) code_objects) short_stack)NoSource NotPython)isolate_module nice_pair)generate_tokens)TArcTLineNoceZdZdZ d ddZddZddZejdddZ dd Z dd Z dd Z dd Z dd ZddZddZejddZddZddZddZy) PythonParserzParse code to find executable lines, excluded lines, etc. This information is all based on static analysis: no code execution is involved. Nc|s |sJd|xsd|_|||_nddlm} ||j|_||_d|_t|_ t|_ t|_ t|_ t|_ d|_i|_d|_d|_i|_y#t$r!}t d|jd||d}~wwxYw) 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)filenametextcoverage.pythonrOSErrorrexclude _ast_rootset statementsexcludedraw_statements raw_excludedraw_docstrings show_tokens _multiline _all_arcs_missing_arc_fragments_with_jump_fixers)selfrrrrerrs X/var/www/peopleoo.sandbox-dev.co.uk/venv/lib/python3.12/site-packages/coverage/parser.py__init__zPythonParser.__init__(sxM!MM ,H  !DI 9 Y-dmm<  *. ),'*e -0E+.%-0E!35,0<@#@BQ Y!6t}}oSNOUXX YsB<< C&C!!C&c t}d}d}tj|jtjD]}|j \}}|jj d||z}|jj d||z} |jfdt|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 c3VK|] }jj||"ywNr'get).0ir+s r- z.PythonParser.lines_matching..vs"b4??..q!4bs&)) r refinditerr MULTILINEspancountupdaterange) r+regexmatches last_startlast_start_linematchstartend start_lineend_lines ` r-lines_matchingzPythonParser.lines_matchingfs!$ [[ F )EJE3(499??4U+SSJ&z3)OOH NNbeJQRNT\_`T`>ab bJ(O  )c  |jr:|j|j|_t|j|_d}d}d}d}d}d}|j Jt |j }|D]\}} \} } \} } } |jrBttjj||ddt| | fdd| dd| |tjk(r|d z }n|tjk(r|d z}n|tj k(rj| d k(rQ|dk(rL|jj#t%|| d z}|su|rs|jj'| |}d}nS| d vr|d z }nI| d vrE|d z}n?|tj(k(r,|r(| |k7r#t%|| d zD]}||j*|<d}| j-s^|tj.k7ssd}|ry| }|r||krd}|s|jj'| |sJt1|j |j2 }|j4j7|j9t:j<j>r.|j*r"tA|j4|j*d <|jC|j|_|jDJtGjH|jDD]}tK|tFjLtFjNtFjPtFjRfr|jTr|jTd}tK|tFjVrtK|jXtFjZrntK|jXjXt\rJ|j^j7t%|j`tctd|jfd ztK|tFjLtFjNtFjPfsNtAd|jhD|j`}|jj#t%||j`d zs|jj7t%|tctd|jfd zy)zwParse the source to find the interesting facts about its lines. A handful of attributes are updated. rFTNz>10 z>520r9:z([{z)]})rc34K|]}|jywr3lineno)r6ds r-r8z*PythonParser._raw_parse..s!Hq!((!Hs)default)5rrKr$r r"rrr&printtokenizetok_namer5rtokenINDENTDEDENTOP intersectionrAaddNEWLINEr'stripCOMMENT ByteParserrr#r@_find_statementsr PYBEHAVIORmodule_firstline_1min first_linesrastwalk isinstanceClassDef FunctionDefAsyncFunctionDefModulebodyExprvalueConstantstrr%rSrint end_linenodecorator_list)r+indentexclude_indent excluding first_lineemptynestingtokgentoktypettextslineno_elinenoltextshould_excludel byte_parsernodefirsts r- _raw_parsezPythonParser._raw_parse{s << $ 3 3DLL AD  1 12DM  yy$$$ +AG- 3 =GULWa,7A%%))'7;w015%%,,&! ELL(! EHH$C> , ,!$T%8%8!9DOOA ((7 ~~)))HHT^^, \D$s@T@TVYV`V` ab99 IIaLE"5#((3&u{{CLLA&u{{'8'8#>++22!%,,S%:J:J0Ka0OP $s@T@T UV !HD4G4G!HRVR]R]^ ==--eJ a.PQMM((z4T__;UXY;Y)Z[% \rLi)maxsizec|dkr!|jj| |  }|S|jj||}|S)zAReturn the first line number of the statement including `lineno`.rr4)r+rSs r-rzzPythonParser.first_linesL A:oo))6'F7;;F __((8F rLcJ|Dchc]}|j|c}Scc}w)zMap the line numbers in `linenos` to the correct first line of the statement. Returns a set of the first lines. )rz)r+linenosrs r-rgzPythonParser.first_liness!-44q"444s c$|j|S)z)Implement `FileReporter.translate_lines`.)rg)r+liness r-translate_lineszPythonParser.translate_liness&&rLc|j|Dchc]'\}}|j||j|f)c}}Scc}}w)z(Implement `FileReporter.translate_arcs`.)fix_with_jumpsrz)r+arcsabs r-translate_arcszPythonParser.translate_arcss=GKGZGZ[_G`aVa#T__Q%78aaas,Ac tj|j|_|j |j|jz}|j |z }|j#||z |_y#t j ttf$r_}t|dr |j}n|jdd}td|jd|jdd|z|d}~wwxYw)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. rSr9rzCouldn't parse 'z' as Python source: z at line N)rhparserrrrW TokenErrorIndentationError SyntaxErrorhasattrrSargsrrr"r%r#rgr!)r+r,rSignorestartss r- parse_sourcezPythonParser.parse_sources  YYtyy1DN OO !4!44$$v-**62V;##%5{C sH%!Q"4==/1EF88A;/6(34   s4A88C5AC00C5cn|j|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 >> !    ~~)))~~rLc:|jJt|j|j|j|j}|j |j }tjjr2|j|_ |jr|j|}t|_|D]J\}}|j|}|j|}||k7s.|jj!||fL|j"|_y)zkRun the AstArcAnalyzer and save its results. `_all_arcs` is the set of arcs in the code. N)rAstArcAnalyzerrr#r'analyzerr rdexit_through_withwith_jump_fixersr*rr r(rzr^missing_arc_fragmentsr))r+aaarl1l2fl1fl2s r-rzPythonParser._analyze_ast&s ~~)))T]]DNND> + +%(%9%9%;D "%%**40 /FB//"%C//"%Ccz""C:.  / '*&?&?#rLct}t}|D]}||jvs|d}|j||j|\}}||jvrC|j||j|\}}|j|||jvrC|j||df|j|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. rr9)r r*r^)r+r to_removeto_addarcend0 start_nextend_nexts r-rzPythonParser.fix_with_jumps>s0E  *Cd,,,1v c"'+'='=c'B$ H D$:$::MM*-+/+A+A*+M(JMM(+!D$:$:: D(1+./ j) *D F"i/ rLctjt}|jD]L\}}|dkDsJd|d|j||j vr1||j vr@||xxdz cc<N|S)zYGet a count of exits from that each line. Excluded lines are excluded. rzl1=z should be greater than zero in r9) collections defaultdictrtrrr")r+ exit_countsrrs r-rzPythonParser.exit_countsfs+6*A*A#*F iik !FB6 RcbU"B4==/R R6T]]"T]]" Oq O !rLcB| |dkrd}nd}|j|}|S)z=Apply some defaulting and formatting to an arc's description.rzjump to the function exitzjump to line {lineno}rR)format)r+ action_msgrHs r-_finish_action_msgzPythonParser._finish_action_msgzs2  Qw8 4 &&c&2 rLcX|j|j|jJ|jj||fdg}g}|D]J\}}|j||}d|d|}||d|j |z }|j |Ldj |S)z5Provide an English sentence describing a missing arc.NNzline z didn't z because rRz or )r)rr5rrappendjoin)r+rGrHfragment_pairsmsgsmissing_cause_msgrmsgs r-missing_arc_descriptionz$PythonParser.missing_arc_descriptions  & & .    ..: ::4488% ~V-;  ) z00SAJ% 5C ,#4#;#;5#;#I"JKK KK   {{4  rLc|j|j|jJ|jj||fdg}|j|dd|}|S)z2Provide an English description of an arc's effect.rrr9)r)rr5r)r+rGrHrrs r-arc_descriptionzPythonParser.arc_descriptionsl  & & .    ..: ::4488% ~V,,^A->q-A3G rL)NNN)r str | NonerrrrreturnNone)rBrsr set[TLineNo]rr)rSrrr)rIterable[TLineNo]rr)rrrr)rzIterable[TArc]r set[TArc])rr)rzdict[TLineNo, int])rrrHrrrs)rGrrHrrrs)__name__ __module__ __qualname____doc__r.rKr functools lru_cacherzrgrrrrrrrrrrrLr-rr!s #" <C<C<C <C  <C|*k\ZY&'5'b<0 @0&P&!&rLrcDeZdZdZ d ddZd dZd dZd dZy) rbz3Parse bytecode to understand the structure of code.NcV||_|||_y|Jt||dd|_y)NexecT) dont_inherit)rcodecompile)r+rrrs r-r.zByteParser.__init__s8   DI' '' hTJDIrLc@fdtjDS)a|Iterate over all the code objects nested within this one. The iteration includes `self` as its first value. We skip code objects named `__annotate__` since they are deferred annotations that usually are never run. If there are errors in the annotations, they will be caught by type checkers or other tools that use annotations. c3jK|]*}|jdk7rtj|,yw) __annotate__)rN)co_namerbr)r6cr+s r-r8z+ByteParser.child_parsers..s3 yyN* tyyq ) ) s03)r rrs`r- child_parserszByteParser.child_parserss !$)),  rLc#Kt|jdr+|jjD] \}}}|s |y|jjddd}|jjddd}d}|jj}d}t ||D]&\}} |r||k7r||}||z }| dk\r| dz} || z }(||k7r|yyw)zYield the line numbers possible in this code object. Uses co_lnotab described in Python/compile.c to find the line numbers. Produces a sequence: l0, l1, ... co_linesrNr:r9)rrr co_lnotabco_firstlinenozip) r+rlinebyte_incrementsline_increments last_line_numline_numbyte_num byte_incr line_incrs r- _line_numberszByteParser._line_numberss 499j )"ii002  1dJ  #ii11!$Q$7O"ii11!$Q$7O Myy//HH(+O_(M &$ 9=0&(0  )H$&II% &=()s :CBCc#jK|jD]}|jEd{y7w)zFind the statements in `self.code`. Produce a sequence of line numbers that start statements. Recurses into all code objects reachable from `self.code`. N)rr)r+bps r-rczByteParser._find_statementss5$$& *B'') ) ) * )s '313r)rrsrzCodeType | Nonerrrr)rzIterable[ByteParser])rr)rrrrr.rrrcrrLr-rbrbsL= !%# K K K K  K "> *rLrbT)frozenorderc*eZdZUdZded<dZded<y)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." rrSrscauseN)rrrr__annotations__rrrLr-rrs8 OE3OrLrc0eZdZdZ d ddZy) TAddArcFnz&The type for AstArcAnalyzer.add_arc().Ncy)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+rGrHrrs r-__call__zTAddArcFn.__call__srLr rGrrHrrrrrrr)rrrrrrrLr-rrsB0 )-!%    &      rLrc0eZdZdZddZddZddZddZy)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. cy)zProcess break exits.Frr+exitsadd_arcs r-process_break_exitszBlock.process_break_exits8rLcy)zProcess continue exits.Frrs r-process_continue_exitszBlock.process_continue_exits<r rLcy)zProcess raise exits.Frrs r-process_raise_exitszBlock.process_raise_exits@r rLcy)zProcess return exits.Frrs r-process_return_exitszBlock.process_return_exitsDr rLNr set[ArcStart]rrrbool)rrrrrr r rrrLr-rr.srLrc(eZdZdZddZddZddZy) LoopBlockz@A block on the block stack representing a `for` or `while` loop.c0||_t|_yr3)rGr break_exits)r+rGs r-r.zLoopBlock.__init__Ks *-%rLc:|jj|yNT)rr@rs r-rzLoopBlock.process_break_exitsQs &rLcb|D]*}||j|j|j,yr)rSrGrr+rrxits r-r z LoopBlock.process_continue_exitsUs, 7C CJJ CII 6 7rLN)rGrrrr)rrrrr.rr rrLr-rrIsJ0 rLrc(eZdZdZddZddZddZy) FunctionBlockz>A block on the block stack representing a function definition.c ||_||_yr3rGname)r+rGr s r-r.zFunctionBlock.__init__]s  rLc|D]9}||j|j |jd|j;y)Nzexcept from function TrSrGrr rs r-r z!FunctionBlock.process_raise_exitscA C  TZZK' }5   rLc|D]9}||j|j |jd|j;y)Nzreturn from function Tr"rs r-rz"FunctionBlock.process_return_exitskr#rLN)rGrr rsrrr)rrrrr.r rrrLr-rr[sH rLrc eZdZdZddZddZy)TryBlockz6A block on the block stack representing a `try` block.c ||_||_yr3) handler_start final_start)r+r(r)s r-r.zTryBlock.__init__vs*&rLcz|j/|D]*}||j|j|j,yr)r(rSrrs r-r zTryBlock.process_raise_exits|s<    ) C D$6$6 B CrLN)r(TLineNo | Noner)r+rrr)rrrrr.r rrLr-r&r&ts@' rLr&ceZdZdZddZy)NodeListzA synthetic fictitious node, containing a sequence of nodes. This is used when collapsing optimized if-statements, to represent the unconditional execution of one of the clauses. c:||_|dj|_yNr)rorS)r+ros r-r.zNodeList.__init__s 1gnn rLN)roSequence[ast.AST]rr)rrrrr.rrLr-r-r-s  %rLr-ceZdZdZ d*dZd+dZd,dZd-dZd.dZeZ d/dZ d0 d1d Z d2d Z d3d Z d4d Zd5d ZeZd6dZeZeZd7dZd8dZhdZd9dZ d0 d:dZd;dZddZd?dZd@dZd@dZd@dZ d@dZ!dAdZ"dBdZ#e#Z$dCdZ%dDd Z&e&Z'e#Z(e#Z)dEd!Z*e+jXd"k\rdFd#Z-dGd$Z.dHd%Z/dId&Z0dJd'Z1dKd(Z2dLd)Z3e3Z4y)MraAnalyze 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. c||_||_|Dchc]}|j||c}|_||_t t tjdd}|r[td|jtd|jttj|jddt|_ tjt |_g|_t|_t|_t|_t|_t t tjdd|_ycc}w) NCOVERAGE_AST_DUMP0z Statements: zMultiline map: T)include_attributesrwCOVERAGE_TRACK_ARCS)r root_noder5r! multilinerrtosgetenvrVrhdumpr rrrlistr block_stackcurrent_with_startsall_with_starts with_entries with_exitsdebug)r+rr8r!r9rdump_asts r-r.zAstArcAnalyzer.__init__s ! "8BC19==A.C"BII&93?@A  L 12 3 ODNN#34 5 #((4>>d1M N"u 4?4K4KD4Q"(* 25 -0U'*u%(U#bii(=sCDE 7DsEctj|jD]3}|jj}t |d|zd}|,||5y)zFExamine the AST tree from `self.root_node` to determine possible arcs._code_object__N)rhrir8 __class__rgetattr)r+r node_namecode_object_handlers r-rzAstArcAnalyzer.analyzesPHHT^^, *D//I")$0@90Ld"S ".#D)  *rLci}|jDchc]#}|d|jvr||jvr|%}}|jD]}|Dchc]}|d|k(s |d}}|s!t|dk(s Jd|d||j }|j Dchc]}|d|k(s |d}}|D]}||f||ff|||f<|Scc}wcc}wcc}w)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. rr9zExpected one arc, got z with start = )rr@rAlenpoprB) r+fixersr with_nextsrGnextsnxtendsrHs r-rzAstArcAnalyzer.with_jump_fixerss"yy 1v---#T=N=N2N   )) BE'1ESVu_SVEEEu:? T&rrr rUrorrMr+rrGrs r-_code_object__FunctionDefz(AstArcAnalyzer._code_object__FunctionDefse""4(  E JK!!$)), !!%( rLc|j|}|j|j}|D]8}|j|j| |j d|j :y)Nz exit class )rTrUrorrSrr rVs r-_code_object__ClassDefz%AstArcAnalyzer._code_object__ClassDefs^""4(!!$)), UC LLeVSYY+dii]8S T UrLNc R|jr,td|d|d|d|ttd|jj ||f||j vr|j j ||f||#|j||fj||fyy)z@Add an arc, including message fragments to use if it is missing.zAdding possible arc: (z, z): z )rHN) rCrVrrr^r?rArrrs r-rzAstArcAnalyzer.add_arc s :: *5'C5rs r-nearest_blockszAstArcAnalyzer.nearest_blockss(())rLc|jj}tttt j gtft|d|zd}| ||}n |j}|jj||S)z}What is the right line number to use for this node? This dispatches to _line__Node functions where needed. _line__N) rGrrr r rhASTrrHrSr9r5)r+rrIhandlerrs r-rTzAstArcAnalyzer.line_for_node"sw NN++  Xswwi01 2 D)i/ 6   4=D;;D~~!!$--rLcl|jr|jdj}|S|j}|S)zSCompute first line number for things that can be decorated (classes and functions).r)rvrS)r+rrSs r-_line_decoratedzAstArcAnalyzer._line_decorated8s8   ((+22F [[F rLc8|j|jSr3)rTrqr+rs r- _line__AssignzAstArcAnalyzer._line__Assign@s!!$**--rLc|jrA|jd|jdjS|jdjS|jSr/)keysrSvaluesrhs r- _line__DictzAstArcAnalyzer._line__DictEsK 99yy|'yy|***{{1~,,,;; rLcn|jr|j|jdS|jSr/)eltsrTrSrhs r- _line__ListzAstArcAnalyzer._line__ListSs, 99%%diil3 3;; rLctjjry|jr|j |jdSyNr9r)r rdrerorTrhs r- _line__ModulezAstArcAnalyzer._line__ModuleYs7 >> , , YY%%diil3 3rL> rpPassAssertAssignDeleteGlobalImportNonlocal AnnAssign AugAssign ImportFromc`|jj}tttt j gttft|d|zd}| ||}|Stjr||jvrtd|t|j|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: )rGrrr r rhrcr rrHr TESTING OK_TO_DEFAULT RuntimeErrorrT)r+rrIrd arc_startss r- node_exitszAstArcAnalyzer.node_exitshs"NN++  XswwiX67 8 D+ 14 8    J {{D$6$66&'?@@#4#5#5d#;<=JrLcL|| t}n|h}n|J|D]}|j|}||jvr'|j|}|6|}|j|}|D])}|j |j ||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 rTr!find_non_missing_noderrSrr)r+ro from_start prev_starts body_noderSmaybe_body_node prev_starts r-rUzAstArcAnalyzer.process_bodys(  !!e )l % %% 5I'' 2FT__,"&"<"NN++ ; ; chh 'ww@@rLcj|jD] }|j||js yy)z0Add arcs due to jumps from `exits` being breaks.N)r`rrr+rblocks r-rz"AstArcAnalyzer.process_break_exits1((* E(( = rLcj|jD] }|j||js yy)z3Add arcs due to jumps from `exits` being continues.N)r`r rrs r-r z%AstArcAnalyzer.process_continue_exits s1((* E++E4<<@ rLcj|jD] }|j||js yy)z0Add arcs due to jumps from `exits` being raises.N)r`r rrs r-r z"AstArcAnalyzer.process_raise_exits&rrLcj|jD] }|j||js yy)z1Add arcs due to jumps from `exits` being returns.N)r`rrrs r-rz#AstArcAnalyzer.process_return_exits,s1((* E))%> rLcv|j|}t|d}|j|htS)Nz*the break on line {lineno} wasn't executedr)rTrrr )r+rhere break_starts r-_handle__BreakzAstArcAnalyzer._handle__Break=s6!!$'t+WX    +/u rLc||j}|j}|j}|rd}|D].}|j|}|||k7r|j|||}0|J|j|||}|js.Jd|jd|j d|j|Jt |hS)zBAdd arcs for things that can be decorated (classes and functions).NzOops: node.body = z in @)rSrvrTrrorr)r+r main_linelastdecsdec_node dec_starts r-_handle_decoratedz AstArcAnalyzer._handle_decoratedCs![[ #{{"" D  ! ..x8 # T(9LLy1   ! # ## LLy )D 99 V 3tyynDq V V9rLcv|j|}t|d}|j|htS)Nz-the continue on line {lineno} wasn't executedr)rTrr r )r+rrcontinue_starts r-_handle__Continuez AstArcAnalyzer._handle__Continue]s7!!$'!$.]^ ##^$45u rLcB|j|j}|jjt |t |d}|j |j|}|D])}|j|j||j+|jj}t|tsJ|j}t |d}|jr$|j |j|}||z}|S|j||S)NrGz'the loop on line {lineno} never startedrrz)the loop on line {lineno} didn't complete)rTiterr>rrrrUrorrSrrMrjrrr^)r+rrGrrrmy_block else_exitss r- _handle__ForzAstArcAnalyzer._handle__Forcs""499-   67e+TU !!$)) !C 7C LLUCII 6 7##'')(I...$$e+VW ;;**4;;:*NJ Z E  IIj ! rLc|j|j}t|d}|j|j|}t|d}||j|j |z}|S)N-the condition on line {lineno} was never truerr.the condition on line {lineno} was always true)rTrrrUror)r+rrGrrs r- _handle__IfzAstArcAnalyzer._handle__If|sl""499-e+Z[ !!$)) !Ce+[\  ""4;;:"FF rL) c|j|}|}t}|jD]_}|j|j}|j ||dt |d}||j |j|z}|}aj}t|tjr*|jd}t|tjr*t|tjr?|j3|j}t|tjr |j3t|tjxr|jduxr|jdu} | s|jt d|S)Nz+the pattern on line {lineno} always matchedz*the pattern on line {lineno} never matchedrr)rTr casespatternrrrUrorjrhMatchOrpatternsMatchAsguardr^) r+rrGrDrcase case_startrr had_wildcards r-_handle__MatchzAstArcAnalyzer._handle__MatchsW&&t,EJEE  (!// =  Z5bc%F **499*LL'  (llGWckk2!**2.Wckk2Wckk2w7R!//Wckk2w7R7CKK0'OOt+'JJ$&    Z/\]LrLct|j|}|j|jt|}|S)Nr)rTrUrorrYs r-_handle__NodeListz AstArcAnalyzer._handle__NodeLists4""4(!!$))!H rLcv|j|}t|d}|j|htS)Nz*the raise on line {lineno} wasn't executedr)rTrr r )r+rr raise_starts r-_handle__RaisezAstArcAnalyzer._handle__Raises6!!$'t+WX    +/u rLcv|j|}t|d}|j|htS)Nz+the return on line {lineno} wasn't executedr)rTrrr )r+rr return_starts r-_handle__ReturnzAstArcAnalyzer._handle__Returns6!!$',YZ  !!<.1u rLc|jr|j|jd}nd}|jr|j|jd}nd}||Jt||}|jj ||j|}|j |jt|}|jrd|_ n|jjt}|jrQ|jD]B}|j|}d} t|| } ||j |j| z}D|jr|j |j|}||z}|jr=|jj|} |j |j| } |r| }|S)Nrrz3the exception caught by line {lineno} didn't happenr)r) handlersrT finalbodyr&r>rrUrorr(rMr r) r+rr(r) try_blockrGr handler_exits handler_node from_causer final_from final_exitss r- _handle__TryzAstArcAnalyzer._handle__Trys == ..t}}Q/?@M M >>,,T^^A->?KK(K,CCC]K8   *""4(!!$))!H >>&*I #    "'*u == $  ] $ 2 2< @ R %m:F !2!2<3D3DQ[!2!\\  ] ;;%%dkku%EE  >>    "J++DNN +SK$ rLc6|j|jx}}|j|j}d}|rd}tjj rd}|r|j|j d}|jjt|t|d}|j|j |}|D])}|j|j||j+t}|jj!} t#| tsJ|j%| j&t|d}|j(r$|j|j(|} || z}|S|s|j+||S) NFTrrrrrr)rTrrr rdkeep_constant_testror>rrrrUrrSrr rMrjr@rrr^) r+rrGto_top constant_test top_is_body0rrrrrs r-_handle__WhilezAstArcAnalyzer._handle__Whiles`++DII66--dii8  L >> , , L '' ! 5F   78e+Z[ !!$)) !C 8C LLVSYY 7 8##'')(I... X))*e+[\ ;;**4;;:*NJ Z E  ! *% rLctjjr3|jDcgc]}|j |j }}n|j |g}tjj r=|D]8}|jj||jj|:|j|jt|d}tjj rz|d}|jj|t|h}|rL|D]E}|j|j||j j|j|fG|}|Scc}w)Nrr)r rdexit_with_through_ctxmgritemsrT context_exprrr?r^r@rUrorremoverrSrB)r+ritemrrGr with_exitrs r- _handle__WithzAstArcAnalyzer._handle__With s9 >> 2 2HL Sd(():):;SFS((./F >> + + 0((,,U3$$((/ 0!!$))8L!M >> + +2JE  $ $ + +E 2!%)I =CLLU3OO''U(;<=" )Ts"E6) rrsr8ast.ASTr!rr9zdict[TLineNo, TLineNo]rrr)rzdict[TArc, tuple[TArc, TArc]])r ast.Modulerr)rast.FunctionDefrr)rz ast.ClassDefrrrr)rzIterable[Block])rrrr)rrrr)rz ast.Assignrr)rzast.Dictrr)rzast.Listrr)rrrr)rrrr)ror0rzArcStart | Nonerzset[ArcStart] | Nonerr)rrrast.AST | None)rast.Ifrr)rr-rr)r ast.Whilerr)rrrr)rrrr)rz ast.Breakrr)rrrr)rz ast.Continuerr)rzast.Forrr)rrrr)rz ast.Matchrr)rr-rr)rz ast.Raiserr)rz ast.Returnrr)rzast.Tryrr)rrrr)rzast.Withrr)5rrrrr.rrrWrZ_code_object__AsyncFunctionDefr\rr`rTrfri_line__ClassDefrm_line__FunctionDef_line__AsyncFunctionDefrprsrrrUrrrrrrr r rrr_handle__ClassDefrr_handle__AsyncFor_handle__FunctionDef_handle__AsyncFunctionDefrsys version_inforrrrrrr_handle__AsyncWithrrLr-rrs($F$F$F! $F * $F  $FL*>(&?"U)-!% ]]]& ]  ]  ]$*.,.&O )- M !L'+,0 ))$)* )  )VB . 2   "  0* (%, 1 7" @ 5n:0'rLr)8r __future__rrhrrr:r;rrYrWcollections.abcrr dataclassesrtypesrtypingrr r r coverager coverage.bytecoder coverage.debugrcoverage.exceptionsrr coverage.miscrrcoverage.phystokensrcoverage.typesrrrrbrrdictr=tuplers TArcFragmentsrrrr&rcr-rrrLr-rs $"  .!55*&33/(B~~B K*K*d $d#$B  ,T4hsmXc]&B CDDE 6$E2 u  %sww %S 'S 'rL