<'? @1 d Z ddlmZ ddlZddlZddlZddlZddlZddlZddl Z ddl
m Z ddl m
Z
mZmZmZmZmZmZmZmZmZ ddlmZ ddlmZ ddlm Z dd l m Z m Z dd
l m!Z!m"Z" dd l#m$Z$ dd l%m&Z&m'Z'm(Z( G d
d Z) G d d Z* G d d ej+ dd Z, G d de& Z-ee'eeee. ee. f f Z/ G d d Z0 G d de0 Z1 G d d e0 Z2 G d d e0 Z3 G d d e0 Z4 G d! d"ej5 Z6d7d'Z7 G d( d) Z8d*gZ9d8d.Z:de;fd9d6ZNr )get_python_sourcezNo source for code: 'z':
F)r r coverage.pythonr# OSErrorr r splitlinesset
statementsexcludedraw_statements raw_excluded
raw_classdefsraw_docstrings show_tokens
_multiline _all_arcs_missing_arc_fragments)selfr r r r# errs c/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib64/python3.11/site-packages/coverage/parser.py__init__zPythonParser.__init__% sJ MxMM!MMM ,H
!DII 9 9 9 9 9 9
Y - -dm < <
Y
Y
Y Nt} N N N NOOUXX
Y !% 5 5
), '*ee
-0EE +.%% ,/55 -0EE ! 35 /3?C###s ?
A) A$$A)regexesstr Set[TLineNo]c t | }t j | }t }t | j d D ]/\ }}| | r| | 0|S )zFind the lines matching one of a list of regexes.
Returns a set of line numbers, the lines that contain a match for one
of the regexes in `regexes`. The entire line needn't match, just a
part of it.
start)r recompiler) enumerater( searchadd)r4 r8 combinedregex_cmatchesiltexts r6 lines_matchingzPythonParser.lines_matchinge st g&&*X&&%%!$*A666 HAu~~e$$
A c
& | j r | | j | _ d}d}d}d}t j }d}d}d}d} | j J t
| j }
|
D ],\ } } \ }
}\ }}}| j rJt t j
| | ddt |
|f dd| dd| | t j k r|d z
}na| t j
k r|d z }nJ| t j k r"| d
k r| j |
n| t j k r| d k r6| dk r0|| j v p|}|s"|r | j | |}d}d}n| d k r*|r(|| j v rd}|r| j | n| d
v r| d z
} n| dv r| d z } n| t j k r<|t j k r,| j t+ |
|d z n<| t j k r,|&||k r t+ ||d z D ] }|| j |<
d}d}| r>| t j k r.d}|*|
}|r||k rd}|r| j | d}| }.|sGt5 | j | j }| j | t< j j r%| j r tC | j | j d < dS dS dS )zwParse the source to find the interesting facts about its lines.
A handful of attributes are updated.
r FNTz>10 z>520r< class:@z([{z)]})r )"r rI r- tokenINDENTr r r0 printtokenizetok_namegetr DEDENTNAMEr. rC OPSTRINGr/ updaterangeNEWLINEr1 stripCOMMENT
ByteParserr r, _find_statementsr
PYBEHAVIORmodule_firstline_1min)r4 indentexclude_indent excludingexcluding_decorators prev_toktype
first_lineempty
first_on_linenestingtokgentoktypettextslineno_elinenorH should_excludel byte_parsers r6
_raw_parsezPythonParser._raw_parseu s < B $ 3 3DL A AD $ |
y$$$ ++AG B # B # =GULWa,7A
%))'7;;;;; w 0111115555%% %,&&! EL((! EJ&&G## &**7333EH$$C< , : :!$T%8!9!9DOA : : : :rJ linenor c |dk r | j | | }n| j || }|S )zAReturn the first line number of the statement including `lineno`.r )r1 rV )r4 rx s r6 rj zPythonParser.first_line sG A::o))6'F7;;;FF_((88F
rJ linenosIterable[TLineNo]c fd|D S )zMap the line numbers in `linenos` to the correct first line of the
statement.
Returns a set of the first lines.
c : h | ]} | S rj ).0ru r4 s r6 z+PythonParser.first_lines.. s% 444q""444rJ r~ )r4 rz s ` r6 first_lineszPythonParser.first_lines s 5444G4444rJ r( c , | | S )z)Implement `FileReporter.translate_lines`.)r )r4 r( s r6 translate_linesz PythonParser.translate_lines s &&&rJ arcsIterable[TArc] Set[TArc]c fd|D S )z(Implement `FileReporter.translate_arcs`.c j h | ]/\ }} | | f0S r~ r )r abr4 s r6 r z.PythonParser.translate_arcs.. s: LLLVa ##T__Q%7%78LLLrJ r~ )r4 r s ` r6 translate_arcszPythonParser.translate_arcs s LLLLtLLLLrJ c | n{# t j t t f$ r\}t |d r|j }n|j d d }t d| j d|j d d| z |d}~ww xY w|
| j | _ | j | j
z }| 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.
rx r< r zCouldn't parse 'z' as Python source: z at line N)rw rT
TokenErrorIndentationError SyntaxErrorhasattrrx argsr r r r- r+ r/ r, r* )r4 r5 rx ignorestartss r6 parse_sourcezPythonParser.parse_source s
OO #%5{C sH%%
( !Q F4=FFF8A;336334
(():;;
!44$v- **622V;s BAB
Bc X | j | | j J | j S )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.
)r2 _analyze_astr4 s r6 r zPythonParser.arcs s4 > ! ~)))~ rJ c ^ t | j | j | j }| t | _ |j D ]Q\ }}| | }| | }||k r | j ||f R|j
| _ dS )zkRun the AstArcAnalyzer and save its results.
`_all_arcs` is the set of arcs in the code.
N) AstArcAnalyzerr r, r1 analyzer) r2 r rj rC missing_arc_fragmentsr3 )r4 aaal1l2fl1fl2s r6 r zPythonParser._analyze_ast s TY(;T_MM
h / /FB//"%%C//"%%Cczz""C:...&)&?###rJ Dict[TLineNo, int]c t j t }| D ]0\ }}|dk r || j v r|| j v r ||xx dz
cc< 1| j D ]}||v r||xx dz cc< |S )zYGet a count of exits from that each line.
Excluded lines are excluded.
r r< ) collections defaultdictintr r+ r. )r4 exit_countsr r ru s r6 r zPythonParser.exit_counts, s +6*A#*F*F iikk
!
!FBAvvT]""T]"" OOOq OOOO # $ $AK A!#rJ r> end
executed_arcsOptional[Iterable[TArc]]c | j | | j J |}|r"|dk r || k r||f|vr||f| j v r||}}| j ||fdg }g }|D ]\ }}|0|dk r(| |f| j v r| | | c S d}nd}| | }d| d| } | | d | | z
} | | d
| S ) z5Provide an English sentence describing a missing arc.Nr NNz didn't jump to the function exitz didn't jump to line {lineno}rx zline rL z
, because or )r3 r rV missing_arc_descriptionformatappendjoin)
r4 r> r r actual_startfragment_pairsmsgssmsgemsgmsgs
r6 r z$PythonParser.missing_arc_descriptionG st & . .:::
$ !GGv
%L
- -
%LD 7 7 7 e3E 488% ~VV( JD$|77 c{d&AAA # ; ;SD# F FFFF=DD9D;;c;**D/,////C FDKK|K$D$DFFF KK {{4 rJ )NNN)r r r r r r r r! )r8 r9 r r: r r! )rx r r r )rz r{ r r: )r( r{ r r: )r r r r )r r )r r N)r> r r r r r r r9 )__name__
__module__ __qualname____doc__r7 rI rw rj r r r r r r r r r~ rJ r6 r r s; #"&!% >D >D >D >D >D@ e: e: e: e:N 5 5 5 5' ' ' 'M M M M< < < <2
@ @ @ @$ > 37 +! +! +! +! +! +! +!rJ r c 8 e Zd ZdZ ddd Zdd
ZddZddZdS )r` z3Parse bytecode to understand the structure of code.Nr r9 codeOptional[CodeType]r r r r! c || _ | || _ d S |J t ||dd | _ d S # t $ r'}t d||j |j pdfz |d }~ww xY w)NexecT) dont_inheritz5Couldn't parse '%s' as Python source: '%s' at line %dr )r r r@ r r r rx )r4 r r r synerrs r6 r7 zByteParser.__init__x s DIII'''
#D(F N N N
K &*fm.@qO
s 2
A#"A A#Iterable[ByteParser]c D fdt j D S )z~Iterate over all the code objects nested within this one.
The iteration includes `self` as its first value.
c 3 D K | ]}t j | V dS ))r N)r` r )r cr4 s r6 z+ByteParser.child_parsers.. s2 OO!
491---OOOOOOrJ )r r r s `r6
child_parserszByteParser.child_parsers s* POOO|DI7N7NOOOOrJ r{ c # K t | j d r(| j D ] \ }}}|r|V
dS | j j ddd }| j j ddd }d}| j j }d}t || D ]9\ }} |r||k r|V |}||z
}t j j r | dk r| dz } || z
}:||k r|V dS dS )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_linesr N r< ) r r r co_lnotabco_firstlinenozipr rb negative_lnotab)
r4 rr linebyte_incrementsline_increments
last_line_numline_numbyte_num byte_incr line_incrs
r6
_line_numberszByteParser._line_numbers s1 49j ) ) "i 0 0 2 2
1d JJJ
#i 1!$Q$ 7O "i 1!$Q$ 7O My/HH(+O_(M(M
&
&$ 9 * =00 &(0
)H>1 'i46G6G &II%=(( )(rJ c # l K | D ] }| E d{V dS )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)r r )r4 bps r6 ra zByteParser._find_statements sT $$&& * *B'')) ) ) ) ) ) ) ) ) * *rJ r )r r9 r r r r r r! )r r )r r{ )r r r r r7 r r ra r~ rJ r6 r` r` u s{ ==
$("& (P P P P < * * * * * *rJ r` c & e Zd ZdZd d
fd
Z xZS ) 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 `startmsg` 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.
Nrx r causer r c J t | || S r )super__new__)clsrx r __class__s r6 r zArcStart.__new__ s wwsFE222rJ r )rx r r r r r )r r r r r
__classcell__)r s @r6 r r sL
3 3 3 3 3 3 3 3 3 3 3rJ r Arcz
lineno, causec e Zd ZdZ d d
d ZdS ) TAddArcFnz&The type for AstArcAnalyzer.add_arc().Nr> r r r r r r r! c d S r r~ r4 r> r r r s r6 __call__zTAddArcFn.__call__ s rJ r
r> r r r r r r r r r! )r r r r r r~ rJ r6 r r s; 00
# " rJ r c 2 e Zd ZdZd
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_arcr r boolc t )zProcess break exits.AssertionErrorr4 r r s r6 process_break_exitszBlock.process_break_exits
rJ c t )zProcess continue exits.r r s r6 process_continue_exitsz Block.process_continue_exits r rJ c dS )zProcess raise exits.Fr~ r s r6 process_raise_exitszBlock.process_raise_exits urJ c dS )zProcess return exits.Fr~ r s r6 process_return_exitszBlock.process_return_exits r rJ Nr r r r r r )r r r r r r r r r~ rJ r6 r r sn rJ r c * e Zd ZdZddZdd Zdd
ZdS ) LoopBlockz@A block on the block stack representing a `for` or `while` loop.r> r r r! c : || _ t | _ d S r )r> r) break_exitsr4 r> s r6 r7 zLoopBlock.__init__ s
*-%%rJ r r r r r c : | j | dS NT)r r[ r s r6 r z LoopBlock.process_break_exits s &&&trJ c H |D ] } ||j | j |j dS r
)rx r> r r4 r r xits r6 r z LoopBlock.process_continue_exits
s3 7 7C GCJ
CI 6 6 6 6trJ Nr> r r r! r )r r r r r7 r r r~ rJ r6 r r sV JJ0 0 0 0 rJ r c * e Zd ZdZddZddZddZdS )
FunctionBlockz>A block on the block stack representing a function definition.r> r namer9 r r! c " || _ || _ d S r r> r )r4 r> r s r6 r7 zFunctionBlock.__init__ s
rJ r r r r r c \ |D ](} ||j | j |j d| j )dS )Nz didn't except from function Trx r> r r r s r6 r z!FunctionBlock.process_raise_exits M C G
TZK r r r9 r r! r )r r r r r7 r r r~ rJ r6 r r sV HH rJ r c : e Zd ZdZddZdd
ZddZddZddZdS )TryBlockz6A block on the block stack representing a `try` block.
handler_startOptional[TLineNo] final_startr r! c || _ || _ t | _ t | _ t | _ t | _ d S r )r r r)
break_from
continue_from
raise_from return_from)r4 r r s r6 r7 zTryBlock.__init__+ sH *& *-,/EE),*-%%rJ r r r r r c L | j | j | dS dS NTF)r r r[ r s r6 r z TryBlock.process_break_exits8 s+ ' O " "5 ) ) )4urJ c L | j | j | dS dS r# )r r r[ r s r6 r z TryBlock.process_continue_exits> s, ' % %e , , ,4urJ c | j "|D ] } ||j | j |j n#| j J | j | dS r
)r rx r r r r[ r s r6 r z TryBlock.process_raise_exitsD sl )
C
C
D$6 BBBB
C #/// O " "5 ) ) )trJ c L | j | j | dS dS r# )r r! r[ r s r6 r z TryBlock.process_return_exitsM s, ' # #E * * *4urJ N)r r r r r r! r ) r r r r r7 r r r r r~ rJ r6 r r ) s~ @@ 0 0 0 0 rJ r c F e Zd ZdZddZ dddZddZddZddZddZ dS ) WithBlockz7A block on the block stack representing a `with` block.r> r r r! c t j j sJ || _ t | _ t | _ t | _ d S r )r rb exit_through_withr> r) r r r! r s r6 r7 zWithBlock.__init__V sI ~////
*-,/EE*-%%rJ Nr r r r from_setOptional[Set[ArcStart]]r c v |D ] } ||j | j |j || | dS )z*Helper to process the four kinds of exits.NT)rx r> r r[ )r4 r r r+ r
s r6 _process_exitszWithBlock._process_exitsd sM 7 7C GCJ
CI 6 6 6 6 OOE " " "trJ c : | ||| j S r )r. r r s r6 r z WithBlock.process_break_exitsq s ""5'4?CCCrJ c : | ||| j S r )r. r r s r6 r z WithBlock.process_continue_exitst s ""5'43EFFFrJ c . | || S r )r. r s r6 r z WithBlock.process_raise_exitsw s ""5'222rJ c : | ||| j S r )r. r! r s r6 r z WithBlock.process_return_exitsz s ""5'43CDDDrJ r r )r r r r r+ r, r r r )
r r r r r7 r. r r r r r~ rJ r6 r( r( T s AA 0 0 0 0$ -1 D D D DG G G G3 3 3 3E E E E E ErJ r( c e Zd ZdZddZdS ) 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.
bodySequence[ast.AST]r r! c 8 || _ |d j | _ d S Nr )r5 rx )r4 r5 s r6 r7 zNodeList.__init__ s 1gn rJ N)r5 r6 r r! )r r r r r7 r~ rJ r6 r4 r4 ~ s2 % % % % % %rJ r4 nounr9 r )Callable[[AstArcAnalyzer, ast.AST], None]c d fd }|S ) zPA function to make methods for expression-based callable _code_object__ methods.r4 r nodeast.ASTr r! c | | }| | |d d d| | || d d d| d S )Nzdidn't run the z on line zdidn't finish the )
line_for_noder )r4 r< r> r9 s r6 !_code_object__expression_callablezG_make_expression_code_method.._code_object__expression_callable sr ""4(( eVUD*RD*R*R5*R*RSSS UUFD*Ut*U*Ue*U*UVVVVVrJ )r4 r r< r= r r! r~ )r9 r@ s ` r6 _make_expression_code_methodrA s/ W W W W W W -,rJ c e Zd ZdZd[d
Zd\d Z d]d^dZd_dZd`dZdadZ dbd Z
e Z dcd Z e Z
e Zddd Zded"Zh d#Zdfd%Z d]dgd,Zdhd.Zdid0Zdjd2Zdkd4Zdld5Zdmd7Zdmd8Zdmd9Zdmd:Z dnd<Z dod=Z e Z dpd?Z dqdAZ!e!Z"e Z#e Z$drdBZ%e&j' dCk rdsdEZ(dtdFZ)dudHZ*dvdJZ+dwdLZ,dxdNZ-dydOZ.dzdQZ/e/Z0d{dRZ1d|dSZ2e2Z3d}dUZ4 e5dV Z6 e5dW Z7e8j9 j: r# e5dX Z; e5dY Z< e5dZ Z=d S d S )~r z>Analyze source text with an AST to find executable code paths.r r9 r* r: multilineDict[TLineNo, TLineNo]r r! c X t j | | _ fd|D | _ | _ t t
t j dd }|rBt d| j t d| j t | j t | _
t j t | _ g | _ t t
t j dd | _ d S )Nc < h | ]} || S r~ )rV )r ru rC s r6 r z*AstArcAnalyzer.__init__.. s' CCC19==A..CCCrJ COVERAGE_AST_DUMPr z Statements: zMultiline map: COVERAGE_TRACK_ARCS)astparse root_noder* rC r r osenvironrV rS ast_dumpr) r r r listr block_stackdebug)r4 r r* rC dump_asts ` r6 r7 zAstArcAnalyzer.__init__ s 4 CCCC
CCC" BJNN+> B BCCDD % 2 22 3 3 3 4DN44 5 5 5 T^ $ $ $ "uu 5@4KD4Q4Q"(* #bjnn-BA F FGGHH
rJ c t j | j D ]/}|j j }t | d|z d }| || 0dS )zExamine the AST tree from `root_node` to determine possible arcs.
This sets the `arcs` attribute to be a set of (from, to) line number
pairs.
_code_object__N)rI walkrK r r getattr)r4 r< node_namecode_object_handlers r6 r zAstArcAnalyzer.analyze sc HT^,, * *D /I")$0@90Ld"S"S ".##D))) * *rJ Nr> r r r r r c
| j r8t d| d| d|d| t t d | j ||f ||&| j ||f ||f dS dS )z@Add an arc, including message fragments to use if it is missing.z
Adding possible arc: (, z):
)limitN)rQ rS r r rC r r r s r6 r zAstArcAnalyzer.add_arc s : ) PUPPcPPdPPPP Q Q Q +B''' ( ( (
ucl### t / &s| 4 ; ;T4L I I I I I 0 /rJ Iterable[Block]c * t | j S )z.Yield the blocks in nearest-to-farthest order.)reversedrP r s r6 nearest_blocksz AstArcAnalyzer.nearest_blocks s ()))rJ r< r= c |j j }t t t t
j gt f t | d|z d }| || S |j S )z}What is the right line number to use for this node?
This dispatches to _line__Node functions where needed.
_line__N)
r r r r r rI ASTr rV rx r4 r< rW handlers r6 r? z AstArcAnalyzer.line_for_node se N+ Xswi 01 2 D)i/ 6 6
74== ; rJ ast.FunctionDefc |j }t j j st j j r|j r|j d j }|S )zSCompute first line number for things that can be decorated (classes and functions).r )rx r rb trace_decorated_defdef_ast_no_decoratordecorator_list)r4 r< rx s r6 _line_decoratedz AstArcAnalyzer._line_decorated sB > - 7 1T 7"
7 ,Q/6
rJ
ast.Assignc 6 | |j S r )r? valuer4 r< s r6
_line__Assignz AstArcAnalyzer._line__Assign s !!$*---rJ ast.Dictc |j r1|j d |j d j S |j d j S |j S r8 )keysrx valuesro s r6 _line__DictzAstArcAnalyzer._line__Dict s@ 9 y|'y|** {1~,,; rJ ast.Listc ^ |j r | |j d S |j S r8 )eltsr? rx ro s r6 _line__ListzAstArcAnalyzer._line__List s. 9 %%dil33 3; rJ
ast.Modulec z t j j rdS |j r | |j d S dS Nr< r )r rb rc r5 r? ro s r6
_line__Modulez AstArcAnalyzer._line__Module
s? > , 1
Y %%dil33 3 1rJ > ExprPassAssertAssignDeleteGlobalImportNonlocal AnnAssign AugAssign
ImportFromr c r |j j }t t t t
j gt t f t | d|z d }| || S t j r|| j vrt d| t | | hS )a Add the arcs for `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 two exits from line 1: they start at line 3 and line 5.
_handle__Nz*** Unhandled: )r r r r r rI rc r
r rV r TESTING
OK_TO_DEFAULT RuntimeErrorr? rd s r6 add_arcszAstArcAnalyzer.add_arcs s N+ XswiX 67 8 D+ 14 8 8
74== {
A D$666&'?'?'?@@@ T / / 5 5667 7rJ r5 r6
from_startOptional[ArcStart] prev_startsr, c h ||J |h}|D ]}| | }| j || }|| j vr/| | }|S|}| | }|D ]#}| |j ||j $| | }|S )au Add arcs for the body of a compound statement.
`body` is the body node. `from_start` is a single `ArcStart` that can
be the previous line in flow before this body. `prev_starts` is a set
of ArcStarts that can be the previous line. Only one of them should be
given.
Returns a set of ArcStarts, the exits from this body.
) r? rC rV r* find_non_missing_noder rx r r ) r4 r5 r r body_noderx rj maybe_body_node
prev_starts r6
add_body_arcsz AstArcAnalyzer.add_body_arcs= s )))%,K 3 3I'' 22F ++FF;;J 00"&"<">
rJ ast.Breakc | | }t |d }| |h t S )Nz*the break on line {lineno} wasn't executedr )r? r r r) )r4 r< here break_starts r6 _handle__Breakz AstArcAnalyzer._handle__Break sG !!$'' t+WXXX + ///uu rJ c |j }|j }|j }|rt j j st j j rd}|D ]7}| | }| ||k r| || |}8|J t j j r| || |}t j j rt ||dd D ]A\ }}| | | | | B| | |d | | || |d |j
rr| |j
d } | j | | } t |dz | D ]#}
|
| j v r| ||
|
}$|J t | hS )zBAdd arcs for things that can be decorated (classes and functions).Nr< r )rx rj r rb rh ri r? r trace_decorator_line_againr r5 rC rV r\ r* r ) r4 r< main_linelastdecsdec_node dec_starttopbot
body_startrx s r6 _handle_decoratedz AstArcAnalyzer._handle_decorated s ![ "&+" &~1
S^5X
!
! . .x 8 8 # T(9(9LLy111 ###~1
! T9--- ~8
F #D$qrr( 3 3 S SHCLL!3!3C!8!8$:L:LS:Q:QRRRR T / /Q 8 8)DDD Y(:(:48(D(DEEE
y
& ! / / ! = =
!^ / /
J G G
#DFJ 7 7 & &F 00 T6222 % rJ ast.Continuec | | }t |d }| |h t S )Nz-the continue on line {lineno} wasn't executedr )r? r r r) )r4 r< r continue_starts r6 _handle__Continuez AstArcAnalyzer._handle__Continue sH !!$''!$.]^^^ ##^$4555uu rJ ast.Forc < | |j }| j t | t |d }| |j | }|D ]#}| |j ||j
$| j }t |t sJ |j
}t |d }|j r"| |j | }||z }n| | |S )Nr= z'the loop on line {lineno} never startedr r z)the loop on line {lineno} didn't complete)r? iterrP r r r r r5 r rx r popr r r rC )r4 r< r> r r r
my_block
else_exitss r6 _handle__ForzAstArcAnalyzer._handle__For s ""49-- 6 6 6777 e+TUUU
""49"DD 7 7C LLUCI 6 6 6 6#''))(I.....$ e+VWWW
; " ++DKJ+OOJ Z EE
IIj ! ! ! rJ c | |j }t |d }| |j | }t |d }|| |j | z }|S )N-the condition on line {lineno} was never truer r .the condition on line {lineno} was never false)r? r r r r5 r )r4 r< r> r r s r6 _handle__IfzAstArcAnalyzer._handle__If2 s{ ""49-- e+Z[[[
""49"DD e+[\\\
##DKJ#GGG rJ ) r[ ast.Matchc $ | | }|}t }d}|j D ]}| |j }|j }t |t
j r'|j d }t |t
j 't |t
j rd}| ||d t |d } || |j | z }|}|s|
| |S )NFr Tz+the pattern on line {lineno} always matchedz*the pattern on line {lineno} never matchedr r )r? r) casespatternr rI MatchOrpatternsMatchAsr r r r5 rC )
r4 r< r>
last_startr had_wildcardcase
case_startr r s
r6 _handle__Matchz AstArcAnalyzer._handle__Match; s &&t,,E JEEE L
(
( ! / / = =
, #+66 3 % .r 2G !#+66 3 gs{33 (#'L Z5bccc % F
++DI*+MMM '
& *%%%LrJ c | | }| |j t | }|S )Nr )r? r r5 r r4 r< r> r s r6 _handle__NodeListz AstArcAnalyzer._handle__NodeListR s: ""4((""49% "II rJ ast.Raisec | | }t |d }| |h t S )Nz*the raise on line {lineno} wasn't executedr )r? r r r) )r4 r< r raise_starts r6 _handle__Raisez AstArcAnalyzer._handle__RaiseW sG !!$'' t+WXXX + ///uu rJ
ast.Returnc | | }t |d }| |h t S )Nz+the return on line {lineno} wasn't executedr )r? r r r) )r4 r< r return_starts r6 _handle__Returnz AstArcAnalyzer._handle__Return^ sG !!$'' ,YZZZ !!<.111uu rJ ast.Tryc @ |j r!| |j d }nd }|j r!| |j d }nd }||J t || }| j | | | }| |j t | }|j r"d |_ |j rt |_ n| j t }|j rmd }|j D ]c} | | }||
|| |}d}
t ||
} || | j | z }d|j r | |j | }||z }|j rg| j ||j z |j z |j z |j z } | |j | }
|j rt$ j j rU|j D ]E}|j }|j | }|
D ] }|
|j || F|j }n| |j |
}| | |j rt$ j j rU|j D ]E}|j }|j | }|
D ] }|
|j || F|j }n| |j |
}| | |j r.| | |j |
|j rt$ j j rU|j D ]E}|j }|j | }|
D ] }|
|j || F|j }n| |j |
}| | |r|
}|S )Nr r z3the exception caught by line {lineno} didn't happenr )r r ) handlersr? finalbodyr rP r r r5 r r r) r r r r r r r! r rb finally_jumps_backrx r r _combine_finally_startsr r r r )r4 r< r r try_blockr> r
handler_exitslast_handler_start handler_node
from_causer
final_from final_exits
break_linerx r
final_exitbreaks
continue_line continues return_linereturnss r6 _handle__TryzAstArcAnalyzer._handle__Trye s = ! . .t}Q/? @ @MM M > ,,T^A->??KK K (K,C,CC ]K88 ***""4((""49% "II
> #&*I #}
- (+uu $ " " "'*uu
= ^48 $
^
^ $ 2 2< @ @
%1LL!3]CCC%2" R
%m: F F F
!3!3L4ER\!3!]!]]
; G&&t{&FFE
> 8 $ " " "$%'( $% % &
,,T^,TTK#
1>4 ]&/&: K K
!+!2 * 0 7 7v 7 F F*5 K KJ LL):FE J J J JK & 1FF ! 9 9):NP[ \ \F((000&
7>4 c)2)@ K K
!.!5 - 3 : :& : I I*5 K KJ LL):FE J J J JK ) 7II $ < 4 _'0'< K K !,!3 + 1 8 8 8 G G*5 K KJ LL):FE J J J JK ' 3GG " : :9;PR] ^ ^G))'222
$ $ rJ r c g }t | D ]<}|j 3| |j |j =d | fd|D }|S )a Helper for building the cause of `finally` branches.
"finally" clauses might not execute their exits, and the causes could
be due to a failure to execute any of the exits in the try block. So
we use the causes from `starts` as the causes for `exits`.
Nr r c : h | ]}t |j S r~ )r rx )r r
r s r6 r z9AstArcAnalyzer._combine_finally_starts.. s% >>>#*e,,>>>rJ )sortedr r r rx r )r4 r r causesr> r s @r6 r z&AstArcAnalyzer._combine_finally_starts s F^^ G GE{&
ek 0 0 0 E EFFF F##>>>>>>> rJ c 0 | |j x}}| |j }d}|rd}t j j rd}|r | |j d }| j t | t |d }| |j | }|D ]#}| |j
||j $t }| j } t# | t sJ | | j t |d }|j r"| |j | }
||
z }n|s| | |S ) NFTr r= r r r r )r? r r r rb keep_constant_testr5 rP r r r r r rx r r) r r r[ r r rC ) r4 r< r> to_top
constant_test top_is_body0r r r
r r s r6 _handle__Whilez AstArcAnalyzer._handle__While s ++DI666 --di88
L > , ! L 6'' ! 55F 7 7 7888 e+Z[[[
""49"DD 8 8C LLVSY 7 7 7 7#''))(I.....
X)*** e+[\\\
; & ++DKJ+OOJ Z EE !
& *%%% rJ ast.Withc | | }t j j r(| j t
| | |j t | }t j j r| j
}t |t sJ t | h}|r"|D ] }| |j
| |}|j r.| | |j | |j r.| | |j | |j r.| | |j | |S )Nr= r )r? r rb r* rP r r( r r5 r r r r rx r r r r r r! r )r4 r< r> r
with_block with_exitr
s r6
_handle__Withz AstArcAnalyzer._handle__With s ""4(( > + < # #IE$:$:$: ; ; ;""49% "II > + )--//J j)44 4 44!% )I
" 4 4CLLU3333!$
((001F RR '
++001I9UU %
))001GSS rJ c B | | }|j rT| |j t | }|D ]%}| |j | |j d &d S | | | | || d S )Nr zdidn't exit the module)r? r5 r r r rx r r4 r< r> r r
s r6 _code_object__Modulez#AstArcAnalyzer._code_object__Module" s ""4(( 9 (&&tyXuf=M=M&NNE
V
V SZ%>>
rJ lambdazgenerator expressionzdictionary comprehensionzset comprehensionzlist comprehension)r r9 r* r: rC rD r r! r r r )r r] )r< r= r r )r< rf r r )r< rl r r )r< rq r r )r< rv r r )r< rz r r )r< r= r r )r5 r6 r r r r, r r )r< r= r r )r< r r r )r< r4 r r )r< r r r )r< r= r r )r r r r! )r< r r r )r< rf r r )r< r r r )r< r r r )r< r r r )r< r r r )r< r4 r r )r< r r r )r< r r r )r< r r r )r r r r r r )r< r r r )r< r r r )r< rz r r! )r< rf r r! )r< r$ r r! )>r r r r r7 r r r` r? rk rp _line__ClassDefru _line__FunctionDef_line__AsyncFunctionDefry r} r r r r r r r r r r r r r r _handle__ClassDefr r _handle__AsyncFor_handle__FunctionDef_handle__AsyncFunctionDefr sys version_infor r r r r r r r _handle__AsyncWithr! r# _code_object__AsyncFunctionDefr& rA _code_object__Lambda_code_object__GeneratorExpr rb comprehensions_are_functions_code_object__DictComp_code_object__SetComp_code_object__ListCompr~ rJ r6 r r s HH I I I ID * * * *" # " J J J J J * * * * . . . . &O ) - M
8 8 8 8H *./3 B D . . . .
2 " # # # # J * ( %, 1 7"" .
m m m m^
: 6 ' ( ( ( ( &?" 87AA!=!=>T!U!U
~2 T!=!=>X!Y!Y < <=P Q Q !=!=>R!S!S T TrJ r ctxrn r r c | dg di t t t fv p't | t t
t t f S )z:Is `value` simple enough to be displayed on a single line?Nr~ )r) frozensetEllipsisr bytesr floatr9 )rn s r6 _is_simple_valuer? L sC $BCEE9;;AA 455#uc233rJ r< r= depthr rS Callable[[str], None]r! c d|z }t | dd }|bd| j d| j }t | d r?t | d sJ |dz
}| j | j k r
|| j dz
}|| j z
}nd }| d
| j j | }d t j | D }|s || d dS t | d
k rz ast_dump..k s6 D% ' ' '
u
' ' 'rJ >r< r z: z {}# mro: {}rZ c 3 $ K | ] }|j V d S r )r )r r s r6 r zast_dump..y s$ !Q!Q!*!Q!Q!Q!Q!Q!QrJ z z [ )rS ])rV rx
col_offsetr rD rE r r rI iter_fieldsr r? r r __mro__r rO rN )
r< r@ rS re rx linemarkhead named_fields
field_namern next_indentprefixns
r6 rN rN S s 5[F
T8T
*
*F
888t88 4 & & 14!122 2 22 OH$+--t 1 1 11 4.0 0H : :t~. : : :D ?400 L
jjj \ a $4\!_Q5G$H$H (O
E
00
00e00011111
d vo !- 8 8 J#2Z222F &&
8++%++,,,,E4((
8mmm$$$ < re s
$ # " " " " " "
* * * * * * & & & & & & 3 3 3 3 3 3 3 3 / / / / / / / / / / / / / / 2 2 2 2 2 2 2 2 2 2T! T! T! T! T! T! T! T!n
F* F* F* F* F* F* F* F*Z
3
3
3
3
3%{%e_==
3
3
3 T4hsmXc]&B CDDE
> $ E 2( ( ( ( (u ( ( (V'E 'E 'E 'E 'E 'E 'E 'ET % % % % %sw % % % - - - -o
T o
T o
T o
T o
T o
T o
T o
Th 7 #(9 9 9 9 9 9 9 rJ