oPjHXdZddlmZddlZddlmZddlmZddlm Z ddl m Z ddl m Z dd lmZmZdd lmZmZe r dd lmZdd lmZ ddZeGdd ZeeZGddZeGddZddZ ddZ d ddZ ddZ!d dZ"d!dZ#y)"z Results of coverage measurement.) annotationsN)Iterable) dataclass)Decimal) TYPE_CHECKING) ConfigError)first nice_pair)TArcTLineNo) CoverageData) FileReporterAnalysisc p|j}|j}|j}|j|j|xsg|z}|r"|j }|j |xsg} |j | } t jt} |D]\} } | | j| | jD cic] \} } t| dk(s| t| "}} } t}| D]9\} } | | k7r|j| | f| |vs$|j| || f;|j |}|j}|j}n t}t}i}t}t|||||||||| Scc} } w)z'Create an Analysis from a FileReporter. precisionfilenamehas_arcs statementsexcludedexecutedarc_possibilities_setarcs_executed_set exit_counts no_branch)rlinesexcluded_linestranslate_linesarcstranslate_arcs collections defaultdictsetadditemslenr rno_branch_linesr)datar file_reporterrrrrrrr destsfromnotonotonos single_destsnew_arcsrrrs U/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/coverage/results.pyanalysis_from_file_reporterr2s}}H$$&J++-H,,TZZ-A-GRH:UH - 2 2 4#yy28b++D1'',1 $LFD &M  d # $BG++-cSVW\S]abSbe ,c c5  ALFD~ fd^,\)LL&,v*>!?@  A*88B#//1 !113 #E E 3+  %ds F22F2ceZdZUdZded<ded<ded<ded <ded <ded <d ed <d ed<ded<ded<ddZdddZddZddZd dZ d!dZ d!dZ d"dZ y)#rz(The results of analyzing a FileReporter.intrstrrboolr set[TLineNo]rrr set[TArc]rrzdict[TLineNo, int]rrc Jtj_tj_j j z _jrcj}j}tfd|jD}td|jD}ndx}x}}tjdtj tj tj|||_y)Nc3XK|]!\}}|jvst|#ywN)missingr').0kvselfs r1 z)Analysis.__post_init__..es'$]1qPTP\P\G\SV$]s**c38K|]\}}t|ywr;)r')r=r>r?s r1rAz)Analysis.__post_init__..fs$D1SV$Dsrr)rn_files n_statements n_excluded n_missing n_branchesn_partial_branchesn_missing_branches)sortedrarc_possibilitiesr arcs_executedrrr<r_total_branchesmissing_branch_arcssumr&Numbersrr'rnumbers)r@rGmbarHrIs` r1 __post_init__zAnalysis.__post_init__]s!'(B(B!C#D$:$:;6 ==--/J**,C!$$] $]!] !$$D $D!D CD DJ D+.@nnT__-4==)$,,'!11   c|r+|jr|jj}nd}t|j|j |S)zThe missing line numbers, formatted nicely. Returns a string like "1-2, 5-11, 13-14". If `branches` is true, includes the missing branch arcs also. N)r )rrNr& format_linesrr<)r@branchesr s r1missing_formattedzAnalysis.missing_formattedus@  ++-335DDDOOT\\EErTcDfdjD}t|S)z:Returns a sorted list of the un-executed arcs in the code.c3K|]6}|jvr&|djvr|djvr|8yw)rrN)rrr)r=pr@s r1rAz(Analysis.arcs_missing..sG ...!DNN*!DMM)  s.sMU5195Ms )rOrvaluesr@s r1rMzAnalysis._total_branchess"Md&6&6&=&=&?MMMrTc|j}t|j}tjt }|D]=\}}||k7sJd|j d|d|||vs*||j|?|S)zgReturn arcs that weren't executed from branch lines. Returns {l1:[l2a,l2b,...], ...} zIn z, didn't expect z == )r\r$r`r"r#listrappend)r@r< branch_linesrRr^l2s r1rNzAnalysis.missing_branch_arcss ##%4--/0 %%d+ #FB8 Ns4==/1A"T"N N8\!Br" # rTc t|j}tjt}|j D]A\}}||k7s Jd|d|||f|j vr)||vs.||j|C|S)zReturn arcs that were executed from branch lines. Only include ones that we considered possible. Returns {l1:[l2a,l2b,...], ...} z+Oops: Didn't think this could happen: l1 = z, l2 = )r$r`r"r#rgrLrrh)r@riebar^rjs r1executed_branch_arcszAnalysis.executed_branch_arcss4--/0 %%d+(( #FB8 VKbWHrgV V8Bxt999\!Br"  #  rTc|j}i}|jD])}|j|}t||}|||z f||<+|S)zGet stats about branches. Returns a dict mapping line numbers to a tuple: (total_exits, taken_exits). )rNr`rr')r@ missing_arcsstatslnumexitsr<s r1 branch_statszAnalysis.branch_statssg//1 &&( 3D$$T*E,t,-G %'/2E$K 3 rTN)returnNone)F)rWr6rtr5)rtz list[TArc])rtz list[TLineNo]rtr4)rtzdict[TLineNo, list[TLineNo]])rtzdict[TLineNo, tuple[int, int]]) __name__ __module__ __qualname____doc____annotations__rSrXr\r`rMrNrmrsrcrTr1rrNsi2NMN$$  ## 0 F KN $rTc(eZdZdZddZddZddZy) AnalysisNarrowera For reducing an `Analysis` to a subset of its lines. Originally this was a simpler method on Analysis, but that led to quadratic behavior. This class does the bulk of the work up-front to provide the same results in linear time. Create an AnalysisNarrower from an Analysis, bulk-add region lines to it with `add_regions`, then individually request new narrowed Analysis objects for each region with `narrow`. Doing most of the work in limited calls to `add_regions` lets us avoid poor performance. c||_tjt|_tjt|_tjt |_yr;)analysisr"r#r$region2arc_possibilitiesregion2arc_executeddictregion2exit_counts)r@rs r1__init__zAnalysisNarrower.__init__sH  GRG^G^_bGc%BMBYBYZ]B^ JUJaJa K rTc |jjri |D]}t|}|D]}| |<  d fd }||jj|j||jj |j |jjjD]+\}} j|x}s||j||<-yy)z Pre-process a number of sets of line numbers. Later calls to `narrow` with one of these sets will provide a narrowed Analysis. c|D]X\}}j|x}r||j||fj|x}sC||j||fZyr;)getr%)arc_set region2arcsabr line2regions r1 collect_arcsz2AnalysisNarrower.add_regions..collect_arcssl$3DAq'OOA..q.#A**Aq62'OOA..q.#A**Aq62 3rTN)rr8rzdict[TRegionLines, set[TArc]]rtru) rr frozensetrrrrrr&rr) r@linessrfzlineslinerlnonumrrs @r1 add_regionszAnalysisNarrower.add_regionss == ! !79K 0#E*!0D(/K%0 0  3" 3: 3 3 <[>[ \ 88$:R:R S MM55;;= :S#,,1,69D++A.s3 :+ "rTc J|jj|z}|jj|z}|jj|z}|jjrRt |}|j |}|j|}|j|}|jj|z} n t}t}i}t} t|jj|jj|jj|||||||  S)zCreate a narrowed Analysis. The current analysis is copied to make a new one that only considers the lines in `lines`. r)rrrrrrrrrrr$rrr) r@rrrrrrrrrs r1narrowzAnalysisNarrower.narrows]]--5 ==))E1==))E1 == ! !&G$($A$A'$J ! $ 8 8 A 11':K //%7I$'E ! # KImm--]]++]]++!"7/#  rTN)rrrtru)rzIterable[set[TLineNo]]rtru)rr7rtr)rwrxryrzrrrrcrTr1r}r}s  :<& rTr}c`eZdZUdZdZded<dZded<dZded<dZded<dZ ded<dZ ded <dZ ded <dZ ded <e dd Ze dd Ze ddZe ddZddZe ddZe ddZe ddZe ddZe ddZe ddZe ddZd dZd!dZy)"rPzThe numerical results of measuring coverage. This holds the basic statistics from `Analysis`, and is used to roll up statistics across files. rr4rrCrDrErFrGrHrIc4|j|jz S)z*Returns the number of executed statements.)rDrFres r1 n_executedzNumbers.n_executed=s  4>>11rTc4|j|jz S)z(Returns the number of executed branches.)rGrIres r1n_executed_brancheszNumbers.n_executed_branchesBs!8!888rTc2|j|jfS)z4Return numerator/denominator for statement coverage.)rrDres r1ratio_statementszNumbers.ratio_statementsGs 1 111rTc2|j|jfS)z1Return numerator/denominator for branch coverage.)rrGres r1ratio_brancheszNumbers.ratio_branchesLs''88rTc|dkDrd|z|z Sy)zHelper for pc_* properties.rY@rcr@ numerator denominators r1_percentzNumbers._percentQs ?I%4 4rTc4|j|jS)z/Returns a single percentage value for coverage.)r ratio_coveredres r1 pc_coveredzNumbers.pc_coveredWst}}d0011rTc4|j|jS)z.Returns the percentage covered for statements.)rrres r1 pc_statementszNumbers.pc_statements\st}}d3344rTc4|j|jS)z,Returns the percentage covered for branches.)rrres r1 pc_brancheszNumbers.pc_branchesast}}d1122rTcBt|j|jS)a Returns the percent covered, as a string, without a percent sign. Note that "0" is only returned when the value is truly zero, and "100" is only returned when the value is truly 100. Rounding can never result in either "0" or "100". )display_coveredrrres r1pc_covered_strzNumbers.pc_covered_strfst??rTcBt|j|jS)z=Returns the statement percent covered without a percent sign.)rrrres r1pc_statements_strzNumbers.pc_statements_strqst114>>BBrTcBt|j|jS)z:Returns the branch percent covered without a percent sign.)rrrres r1pc_branches_strzNumbers.pc_branches_strvst//@@rTcn|j|jz}|j|jz}||fS)z:Return a numerator and denominator for the coverage ratio.)rrrDrGrs r1rzNumbers.ratio_covered{s7OOd&>&>> ''$//9 +%%rTc |t|j|j|jz|j|jz|j|jz|j |j z|j |j z|j|jz|j|jzSr;) rPrrCrDrErFrGrHrIr@others r1__add__zNumbers.__add__s NN LL5== (    2 2 2 OOe.. . NNU__ , OOe.. .  # #e&>&> >  # #e&>&> >  rTc|dk(sJ|S)Nrrcrs r1__radd__zNumbers.__radd__szz rTNrv)rtztuple[int, int])rr4rr4rtfloat)rtr)rtr5)rrPrtrP)rr4rtrP)rwrxryrzrr{rCrDrErFrGrHrIpropertyrrrrrrrrrrrrrrrcrTr1rPrP+sJIsGSL#JIsJ 22992299 225533@@CCAA&&  rTrPc|dkrtd|ddd|zz }d|cxkr|krnn|}n#d|z |cxkrdkr nnd|z }n t||}|d|d S) zReturn a displayable total percentage, as a string. Note that "0" is only returned when the value is truly zero, and "100" is only returned when the value is truly 100. Rounding can never result in either "0" or "100". rz precision=z" is invalid. Must not be negative.g? rd.f)rround)pcrnear0s r1rrsw1}Jyk1STUU "i- E2~~  %-2 # # U] 2y !9+Q  rTct|}t|}g}d}d}|D]>}|t|k\rn.|||k(r |dz }|s|}|}'|s*|j|fd}@|r|j|f|S)z,Produce a list of ranges for `format_lines`.Nrr)rJr'rh)rrpairsstartlidxstmtends r1 _line_rangesrs  #J 5ME E E D  3u:   5;  AIDC  LL% &E   eS\" LrTcDt||Dcgc]}|dt|f}}|Pt|}|D]@\}}t|D]-}||vs||vs |dkDr|nd} |j||d| f/Bdj dt|D} | Scc}w)aNicely format a list of line numbers. Format a list of line numbers for printing by coalescing groups of lines as long as the lines represent consecutive statements. This will coalesce even if there are gaps between statements. For example, if `statements` is [1,2,3,4,5,10,11,12,13,14] and `lines` is [1,2,5,10,11,13,14] then the result will be "1-2, 5-11, 13-14". Both `lines` and `statements` can be any iterable. All of the elements of `lines` must be in `statements`, and all of the values must be positive integers. If `arcs` is provided, they are (start,[end,end,end]) pairs that will be included in the output as long as start isn't in `lines`. rexitz->z, c3&K|] }|d yw)Nrc)r=ts r1rAzformat_lines..s6aAbE6s)rr rJrhjoin) rrr pair line_items line_exitsrrrexdestrets r1rVrVs,:FjRW9XY47IdO,YJY D\ % AKD%Um Au$5!#a2VD%%tvRv->&?@ A A ))66*#56 6C JZsBc|t|k(r|Stt|jj}t |t| S)z>Use at least enough decimal places to represent the threshold.)r4rr5as_tupleexponentmax) fail_underrrs r1_fail_under_precisionrsDS_$s:'002;;H y3x=. ))rTcd|cxkrdksnd|d}t||dk(r|dk7ryt|t|||kS)aMDetermine if a total should fail due to fail-under. `total` is a float, the coverage measurement total. `fail_under` is the fail_under setting to compare with. `precision` is the minimum number of digits to consider after the decimal point. The threshold can imply more. Returns True if the total should fail. rrz fail_under=z' is invalid. Must be between 0 and 100.T)rrr)totalrrmsgs r1should_fail_underrsX  $u $J<'NO#Uu~ -j)D E RRrTct||}|dk(r|dk7r t||}nt||d|d}|d|d}d|d|S)zFormat the fail-under failure message with values that match the check. Use the same effective precision as `should_fail_under`, including the decimal places implied by `fail_under`. rrrz total of z is less than fail-under=)rrr)rrr shown_totalshown_fail_unders r1format_fail_under_msgrsn&j)rs'#$! +*(*,2 22 2 2  2j ww wt! \ \ ~ ee eP!*! #<<@ !    9  F*S,PrT