oyA v d Z ddlZddlZddlZddlZddlZddlZddlZddlZddl Z ddl
Z
ddl Z ddl Z ddl
Z
ddlmZ e j dk Z ee d Z ee Z e j j Zd Zej ej fZ erd Z nd Z d Z erd
Z nd Z d Z d
Z! e
j" d Z#d$ d e%d D Z& e
j" e#j' de& dz Z( e
j" d Z) e
j" d Z* e
j" d Z+ e
j" d Z, e
j" d Z- e
j" d Z. e/d Z0d Z1d Z2 G d d e3 Z4d Z5d e4 fd Z6d! Z7d" Z8 G d# d$ Z9 G d% d&e9 Z: G d' d(e: Z; G d) d* Z< G d+ d, Z= G d- d.e: Z> G d/ d0e> Z? G d1 d2e> Z@ G d3 d4e> ZA G d5 d6e@ ZB G d7 d8e9 ZC G d9 d:e9 ZD G d; de9 ZF G d? d@e: ZG G dA dBe: ZH G dC dDe9 ZI G dE dFe3 ZJ G dG dHeJ ZK G dI dJeJ ZL G dK dLeJ ZM G dM dNeJ ZN G dO dPeN ZO G dQ dR ZP G dS dT ZQg dUZRdV ZS e/dW ZTdX ZUdY ZVdZ ZWd[ ZX G d\ d] ZYd^ ZZd_ Z[d` Z\ G da dbej] Z^dc Z_ G dd de Z`dS )fz]
Main module.
Implement the central Checker class.
Also, it models the Bindings and Scopes.
N)messages) pypy_version_infoc t | t j r| j gS t | t j r"| j | j z gd | j D z S d S )Nc g | ]}|gS r ).0hdls b/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib/python3.11/site-packages/pyflakes/checker.py
z#getAlternatives..# s %B%B%Bse%B%B%B )
isinstanceastIfbodyTryorelsehandlers)ns r getAlternativesr sh !SV x!SW C!"%B%Bqz%B%B%BBBC Cr c t | t j o;t | j t t t t d f S N)r r ConstantvaluebooltypeEllipsisnodes r
_is_singletonr! ) s> tS\ * *
G tzD$x..$t**#E F F
r c N t | t j t j f S r )r r NameConstantr r s r r! r! / s $!13< @AAAr c r t | t j o t d | j D S )Nc 3 4 K | ]}t | V d S r ) _is_constantr
elts r z%_is_tuple_constant..6 s* 3 3#L 3 3 3 3 3 3r )r r Tuplealleltsr s r _is_tuple_constantr- 3 s7 4## 4 3 3 3 3 333r c T t | t j pt | S r )r r r r- r s r r& r& ; s" $ --I1CD1I1IIr c t | t j t j t j f p t | pt
| S r )r r StrNumBytesr! r- r s r r& r& > sA tcgsw : ; ;
% $
% t $ $
r c @ t | ot | S r )r& r! r s r _is_const_non_singletonr4 F s 9mD&9&9"99r c t | t j r | j |k p$t | t j o
| j |k S r )r r Nameid Attributeattr)r names r _is_name_or_attrr; J sB D#( # # 74 @ D#- ( ( >TY$->r z
^#\s*type:\s* c n g | ]2}t | #t | 3S r )chrisalnumr
is r r
r
T s3 NNNaSVV^^=M=MN3q66NNNr zignore([z]|$)z^(\(.*?\))\s*->\s*(.*)$z \(([^()]*)\)z[#0+ -]*z
(?:\*|\d*)z(?:\.(?:\*|\d*))?z[hlL]?zdiouxXeEfFgGcrsa%c : | || }|J |S r )match)regexstringposrD s r _must_matchrH d s& KK $ $E Lr c < fd}t | S )zParses the string component of a `'...' % ...` format call
Copied from https://github.com/asottile/pyupgrade at v1.20.1
c 3 K d} d}d}d}|t k r|sA d| }|}|dz
}d}n# t $ r | d d fV Y d S w xY wt | }|r*| d }| }nd }t t | }| pd }| }t t | }| pd } | }t t | }
|
pd } |
}t t | } | } n # t $ r t d w xY w|dz
}||| | | f}
| | |
fV d}|} |t k |rt d d S )Nr F% Tz"end-of-string while parsing format)
lenindex
ValueErrorMAPPING_KEY_RErD groupendrH CONVERSION_FLAG_REWIDTH_RE PRECISION_RE LENGTH_RE
IndexError) string_start
string_endin_fmtrA key_matchkeyconversion_flag_matchconversion_flag width_matchwidthprecision_match precision
conversionfmtss r _parse_innerz*parse_percent_format.._parse_innerp s^
#a&&jj +
!"QA
"#JFA !FF
" LMM*D0000FF + 0 0A 6 6 #//!,,C!
AA C(34F1(M(M%"7"="="?"?"G4)--// )(Aq 9 9 #))++3t OO%%"-lAq"A"A + 1 1 3 3 ;t #'')) 1a004466K!"1JJ! K K K$%IJJJKQOUIzJ Z/0#5555 Y #a&&jj\ C ABB B C Cs A A A F F8)tuple)re rf s ` r parse_percent_formatrh j s8 5C 5C 5C 5C 5Cn r c e Zd ZdZd Zd ZdS ) _FieldsOrderz Fix order of AST node fields.c |j }d|v rdj }nd|v rdj }ndj }t t ||d S )Niter
generatorsr T)r\ reverse)_fieldsfindrg sorted)self
node_classfields key_firsts r _get_fieldsz_FieldsOrder._get_fields sW # V II
V
#
#$)II IVF 4@@@AAAr c : | | x| |< }|S r )rv )rr rs rt s r __missing__z_FieldsOrder.__missing__ s$ $($4$4Z$@$@@Z6
r N)__name__
__module__ __qualname____doc__rv rx r r r rj rj s; '' B B B r rj c L i }| D ] }| |d dz ||< |S )z|
Simplest required implementation of collections.Counter. Required as 2.6
does not have Counter in collections.
r rL )get)itemsresultsitems r counterr s;
G 1 1 D!,,q0
Nr c # K || j D ]q}|r||v r t | |d }t |t j r|V 9t |t
r#|D ] }t |t j r|V !rdS )a
Yield all direct child nodes of *node*, that is, all fields that
are nodes and all items of fields that are lists of nodes.
:param node: AST node to be iterated upon
:param omit: String or tuple of strings denoting the
attributes of the node to be omitted from
further parsing
:param _fields_order: Order of AST node fields
N) __class__getattrr r ASTlist)r omit
_fields_orderr: fieldr s r iter_child_nodesr s dn- DDLL dD)) eSW % % KKKK
t
$
$
dCG,, JJJ r c V t | t j r| j S t t d r!t | t j r| j S t | t j r t d | j D S t | t j r| j
S t | t j r1t | }ddd d}|
|j | S t | t j r| j S t# S )Nr2 c 3 4 K | ]}t | V d S r convert_to_valuer@ s r r) z#convert_to_value.. s+ <#> "v
D#) $ $ "<<$)<<<<<< D#' " " "v
D#( # # " $'''
## K
D#* + + "z !!!r c \ t | t j ot | dk S )NNotImplemented)r r r6 getNodeNamer s r is_notimplemented_name_noder s' dCH % % O+d*;*;?O*OOr c * e Zd ZdZd Zd Zd Zd ZdS )Bindingar
Represents the binding of a value to a name.
The checker uses this to keep track of which names have been bound and
which names have not. See L{Assignment} for a special type of binding that
is checked with stricter rules.
@ivar used: pair of (L{Scope}, node) indicating the scope and
the node that this binding was last used.
c 0 || _ || _ d| _ d S NF)r: sourceused)rr r: r s r __init__zBinding.__init__ s r c | j S r )r: rr s r __str__zBinding.__str__ s
yr c ~ d | j j | j | j j t
| S )Nz)<{} object {!r} from line {!r} at 0x{:x}>)formatr ry r: r linenor7 r s r __repr__zBinding.__repr__ s8 :AA N # I K tHH
r c L t |t o| j |j k S r )r
Definitionr: rr others r redefineszBinding.redefines s %,,Hej1HHr N)ry rz r{ r| r r r r r r r r r s_
I I I I Ir r c e Zd ZdZdS )r z7
A binding that defines a function or a class.
Nry rz r{ r| r r r r r r r c ( e Zd ZdZ fdZd Z xZS )Builtinz-A definition created for all Python builtins.c L t |d d S r )superr )rr r: r s r r zBuiltin.__init__& s#
t$$$$$r c h d | j j | j t | S )Nz<{} object {!r} at 0x{:x}>)r r ry r: r7 r s r r zBuiltin.__repr__) s0 +22 N # I tHH
r )ry rz r{ r| r r
__classcell__r s @r r r # sM 77% % % % %
r r c e Zd ZdZdS )r zS
A dictionary key of a type that we cannot or do not check for duplicates.
Nr r r r r r 1 r r r c $ e Zd ZdZd Zd Zd ZdS )r zY
A dictionary key which is a variable.
@ivar item: The variable AST object.
c |j | _ d S r )r7 r: )rr r s r r zVariableKey.__init__= s G r c B |j | j k o|j | j k S r )r r: )rr compares r __eq__zVariableKey.__eq__@ s% /
& LDI %
r c * t | j S r )hashr: r s r __hash__zVariableKey.__hash__F s DI r N)ry rz r{ r| r r r r r r r r 7 sK
r r c L e Zd ZdZd fd Zd Zd Zed Zd Z xZ
S ) Importationz
A binding created by an import statement.
@ivar fullName: The complete name given to the import statement,
possibly including multiple dotted components.
@type fullName: C{str}
Nc l |p|| _ g | _ t || d S r )fullName redefinedr r )rr r: r full_namer s r r zImportation.__init__S s6 !)T
v&&&&&r c t |t r| j |j k S t |t o| j |j k S r )r SubmoduleImportationr r r: r s r r zImportation.redefinesX sB e 1 2 2 3=EN2 2%,,Hej1HHr c V | j d d | j k S )z.Return whether importation needs an as clause..)r splitr: r s r
_has_aliaszImportation._has_alias^ s' =&&s++B/49<<TY & &=6)DI5 5= r c z | j | j k rd| j d| j d| j S d| j d| j S )Nfrom z import r )r r: r r s r r z ImportationFrom.source_statement sO >TY & &O4;OOOODIOO O;4;;; ;; ;r r )ry rz r{ r r r r r r s @r r r sg 2 2 2 2 2 2! ! ! < < X< < < < e Zd ZdZ fdZed Zd Z xZS )StarImportationz3A binding created by a 'from x import *' statement.c n t d| |dz | _ || _ d S )N*z.*)r r r: r )rr r: r r s r r zStarImportation.__init__ s5
f%%% 4K
r c d| j z dz S )Nr z import *r r s r r z StarImportation.source_statement s &44r c R | j d r| j S | j S r )r r r r: r s r r zStarImportation.__str__ s+ = ! !# & & ( (9 r ) ry rz r{ r| r r r r r r s @r r r sh == 5 5 X5 r r c " e Zd ZdZ fdZ xZS )FutureImportationzs
A binding created by a from `__future__` import statement.
`__future__` imports are implicitly used.
c ` t ||d ||f| _ d S )N
__future__)r r r )rr r: r scoper s r r zFutureImportation.__init__ s.
v|444FO r ry rz r{ r| r r r s @r r r sB $ $ $ $ $ $ $ $ $r r c e Zd ZdZdS )Argumentz3
Represents binding a name as an argument.
Nr r r r r r r r r c e Zd ZdZdS )
Assignmenta
Represents binding a name with an explicit assignment.
The checker will raise warnings for any Assignment that isn't used. Also,
the checker does not consider assignments in tuple/list unpacking to be
Assignments, rather it treats them as simple Bindings.
Nr r r r r r s r r c e Zd ZdZdS )NamedExprAssignmentzB
Represents binding a name with an assignment expression.
Nr r r r r r r r r c e Zd ZdZd ZdS )
Annotationa
Represents binding a name to a type without an associated value.
As long as this name is not assigned a value in another binding, it is considered
undefined for most purposes. One notable exception is using the name as a type
annotation.
c dS )zAAn Annotation doesn't define any name, so it cannot redefine one.Fr r s r r zAnnotation.redefines s ur N)ry rz r{ r| r r r r r r s- r r c e Zd ZdS )FunctionDefinitionNry rz r{ r r r r r Dr r c e Zd ZdS )ClassDefinitionNr r r r r r r r r c " e Zd ZdZ fdZ xZS )
ExportBindinga
A binding created by an C{__all__} assignment. If the names in the list
can be determined statically, they will be treated as names for export and
additional checking applied to them.
The only recognized C{__all__} assignment via list/tuple concatenation is in the
following format:
__all__ = ['a'] + ['b'] + ['c']
Names which are imported and not otherwise used but appear in the value of
C{__all__} will not have an unused import warning reported for them.
c $ d|v r:t |t j r t |d j _ ng _ fd}t |j t j t j f r ||j nt |j t j r|j }t |j t j t j f r|j
}|j } || t |t j r|}n3t |t j t j f r || n,n+t |j t j t j f t || d S )N__all__c | j D ];}t |t j r j |j ._add_to_names sK !
.
. dCG,, .J%%df---
.
.r )
r r AugAssignr r r Listr* BinOprightleftr r ) rr r: r r r currentValuer r r s ` r r zExportBinding.__init__ sx *VS]"C"C eI . 455DJJDJ . . . . .
flSXsy$9 : : M&, ' ' ' '
ci
0
0 !)r ry r7 dictr )rr scope_clss r r zScope.__repr__5 sB N+ G9GGBtHHGGG t1D1DGGGGr N)ry rz r{
importStarredr r r r r r 2 s- MH H H H Hr r c e Zd ZdS )
ClassScopeNr r r r r r : r r r c 4 e Zd ZdZdZh dZ fdZd Z xZS )
FunctionScopezp
I represent a name scope for a function.
@ivar globals: Names declared 'global' in this function.
F> __tracebackhide____traceback_info____traceback_supplement__c t | j | _ d | _ d| _ d S r )r r
alwaysUsedcopyglobals returnValue isGenerator)rr r s r r zFunctionScope.__init__H sD
++-- r c # K | D ]=\ }}|j s1|dk r+|| j vr"| j st |t
r||fV >dS )zR
Return a generator for the assignments which have not been used.
_N)r r r'
usesLocalsr r )rr r: bindings r unusedAssignmentsz FunctionScope.unusedAssignmentsO s| "ZZ\\ $ $MD'L
$CKK ,, - w
33 - Gm###
$ $r ) ry rz r{ r| r, r% r r. r r s @r r r > si
J. . .J! ! ! ! !
$
$
$
$
$
$
$r r c e Zd ZdS )GeneratorScopeNr r r r r0 r0 \ r r r0 c e Zd ZdZdZdZdS ) ModuleScopezScope for a module.TFN)ry rz r{ r| _futures_allowed_annotations_future_enabledr r r r2 r2 ` s" "' r r2 c e Zd ZdZdS ) DoctestScopezScope for a doctest.Nr r r r r6 r6 f s r r6 c e Zd ZdZd ZdS ) DummyNodez._bare_name_is_attr s} k** Eu}} uT{O<< <$K&.8<$$U4[%:;; ur c t D ]7}| |v r1t || t o|| j t v c S 8dS r )rH r r r rI )r: r rK s r _module_scope_is_typingz2_is_typing_helper.._module_scope_is_typing sc k** Eu}} uT{K88 ;$K(N: ur )r r r6 r7 r8 r r9 )r rJ rK rL rN s `` r _is_typing_helperrO s
tSX & &
( tw ' '
tS] + +
( tz38 , ,
( # #DJM 2 2
(
TY ' '
r c , t | fd| S )z
Determine whether `node` represents the member of a typing module specified
by `typing_attr`.
This is used as part of working out whether we are within a type annotation
context.
c | k S r r )r typing_attrs r z _is_typing.. s Q+-= r rO )r rR rK s ` r
_is_typingrU s! T#=#=#=#={ K KKr c & t | d | S )z
Determine whether `node` represents any member of a typing module.
This is used as part of working out whether we are within a type annotation
context.
c dS NTr )r s r rS z'_is_any_typing_member.. s T r rT )r rK s r _is_any_typing_memberrY s T>>; ? ??r c t | j t j t j f o$t fd| j j D S )Nc 3 : K | ]}t |d V dS )overloadN)rU )r
decrK s r r) z%is_typing_overload.. sC
sJ 4 4
r )r r r FunctionDefAsyncFunctionDefanydecorator_list)r rK s `r is_typing_overloadrb s^ 5<#/33G!HII
|2
r c e Zd ZdZdZdZdS )AnnotationStater rL N)ry rz r{ NONESTRINGBAREr r r rd rd s D
F DDDr rd c F t j fd }|S )Nc x | 5 | g|R i |cd d d S # 1 swxY w Y d S r )_enter_annotationrr argskwargsfuncs r in_annotation_funcz)in_annotation..in_annotation_func s
#
#
%
% / /4.t...v.. / / / / / / / / / / / / / / / / / /s /33 functoolswrapsro rp s ` r
in_annotationru 9 _T/ / / / / r c F t j fd }|S )Nc | t j 5 | g|R i |cd d d S # 1 swxY w Y d S r )rk rd rg rl s r rp z0in_string_annotation..in_annotation_func s
#
#O$:
;
; / /4.t...v.. / / / / / / / / / / / / / / / / / /s
:>>rq rt s ` r in_string_annotationry rv r c t | t s| d } t | d t t
j fd S )NzUTF-8Tc $ t d S )Nr )next)liness r rS z make_tokens.. s 4s+;+; r )r bytesencoderl
splitlinesrg tokenize)coder} s @r make_tokensr sb dE " " ${{7## && ' 'E "#;#;#;#;<< = ==r c : e Zd ZdZd Zd ZexZxZxZZ exZ
xZ Z dS )_TypeableVisitorzCollect the line number and nodes which are deemed typeable by
PEP 484
https://www.python.org/dev/peps/pep-0484/#type-comments
c " g | _ i | _ d S r )typeable_linestypeable_nodesr s r r z_TypeableVisitor.__init__ s r c | j |j || j |j < | | d S r )r r
r r
generic_visitrr r s r _typeablez_TypeableVisitor._typeable sD ""4;///+/DK( 4 r N)
ry rz r{ r| r r visit_Assign visit_Forvisit_FunctionDef
visit_Withvisit_AsyncForvisit_AsyncFunctionDefvisit_AsyncWithr r r r r s_
! ! !! ! ! AJILI9I 0:@IINI+ooor r c t }| | t j t }|D ]\ }}}}}|t
j k s4t | rt | rM|\ }}t j |j | } | dk rs|j
|j | dz
}
||
||f |S )Nr rL )r visit collections defaultdictr r COMMENTTYPE_COMMENT_RErD TYPE_IGNORE_REbisect bisect_rightr r r
) treetokensvisitor
type_commentstptextstartr+ r idxr s r _collect_type_commentsr s G MM$ +D11M!' 2 2 D%Ah&&&#))$// ' $$T** '
!'"8&AA !88 %g&j? ej@ fd$ ZAe)d% ZBd& ZCdPd'ZDd( ZEd) ZFd* ZGd+ ZH eIjJ jK ZLd, ZMeNd- ZOePd. ZQd/ ZReDxZSxZTxZUxZVxZWxZXxZYxZZZ[eRZ\eDxZ]xZ^xZ_xZ`xZaxZbZcd0 Zdd1 Zed2 Zfd3 Zgd4 Zhd5 Ziejrd6 ZkneRxZlxZmxZnZkeDxZoxZpZqeRxZrxZsxZtxZuxZvZweRxZxxZyxZzxZ{xZ|xZ}xZ~xZxZxZxZxZxZxZxZxZxZxZxZxZxZxZxZxZxZxZxZxZZd7 ZeDxZxZZdZd8 Zd9 Zd: ZeZd; Zd< ZeZd= ZexZxZZd> Zd? ZeZd@ ZdA ZexZZdB ZeZdC ZdD ZdE ZdF ZdG ZdH ZeZdI ZdJ ZdK ZeZdL ZdM ZdN ZeDxZxZxZxZZeDxZZdO ZexZxZZdS )QCheckera
I check the cleanliness and sanity of Python code.
@ivar _deferredFunctions: Tracking list used by L{deferFunction}. Elements
of the list are two-tuples. The first element is the callable passed
to L{deferFunction}. The second element is a copy of the scope stack
at the time L{deferFunction} was called.
@ivar _deferredAssignments: Similar to C{_deferredFunctions}, but for
callables which are deferred assignment checks.
r NFPYFLAKES_BUILTINS,z(none)PYFLAKES_DOCTESTr c i | _ g | _ g | _ g | _ g | _ || _ |r | j | | _ || _ t j
t | g| _ n # t $ r t d|z w xY wdg| _ || _ t# || | _ | j D ]%}| d t) | &| | d| _ | | j d | _ | | j d | _ | j dd = | | d S )Nz$No scope implemented for the node %rr TrL )
_nodeHandlers_deferredFunctions_deferredAssignments
deadScopesr filenamebuiltInsunion withDoctestr _ast_node_scoper
scopeStackKeyError RuntimeErrorexceptHandlersrootr _type_comments
addBindingr handleChildren _in_deferred runDeferredpopScopecheckDeadScopes)rr r r builtinsr file_tokensbuiltins r r zChecker.__init__H s "$ $&!
: M / / 9 9DM& N & 6tDzz B D D EDOO N N N E LMM M N !d 4T; G G} 4 4G OOD''"2"2 3 3 3 3 D!!! 0111 #' 2333 %)! OABB
s ,B B c d | j || j dd | j f dS )a{
Schedule a function handler to be called just before completion.
This is used for handling function bodies, which must be deferred
because code later in the file might modify the global scope. When
`callable` is called, the scope at the time this is called will be
restored, however it will contain any new bindings added to it.
N)r r
r offsetrr callables r
deferFunctionzChecker.deferFunctionj s5
&&$/!!!2Ddk'RSSSSSr c d | j || j dd | j f dS )zl
Schedule an assignment handler to be called just after deferred
function handlers.
N)r r
r r r s r deferAssignmentzChecker.deferAssignmentu s5
!(((DOAAA4F )TUUUUUr c H |D ] \ }}}|| _ || _ | dS )zV
Run the callables in C{deferred} using their associated scope stack.
N)r r )rr deferredhandlerr r s r r zChecker.runDeferred| s? '/ "GUF #DO DK GIIII r c r t | j dk o t | j d t S )Nre rL )rM r r r6 r s r _in_doctestzChecker._in_doctest s2 DO$$) =4?1-|<< >r c Z t d | j D sdS | j j S )Nc 3 @ K | ]}t |t V d S r )r r2 )r
r s r r) z)Checker.futuresAllowed.. s@ 1 1 e[11 1 1 1 1 1 1r F)r+ r r r3 r s r futuresAllowedzChecker.futuresAllowed sB 1 1 $1 1 1 1 1 5z**r c b |du sJ t | j t rd| j _ d S d S r )r r r2 r3 rr r s r r zChecker.futuresAllowed s= ~~~~ dj+ . . 0*/DJ ' ' ' 0 0r c X | j d }t |t sdS |j S )Nr F)r r r2 r4 )rr r s r annotationsFutureEnabledz Checker.annotationsFutureEnabled s. "%-- 500r c b |du sJ t | j t sJ d| j _ d S rX )r r r2 r4 r s r r z Checker.annotationsFutureEnabled s7 }}}}$*k2222215
...r c | j d S )Nr )r r s r r z
Checker.scope s r""r c h | j | j d S r )r r
r popr s r r zChecker.popScope s, t 2 2 4 455555r c | j D ]e t t r d }|rt |t sd}|r(t |j } fd|j D }ng x}}|r
j sYt j
| j dk r1|D ].}| t j d j | / j rg } D ]8}t |t" r!||_ | |j 9d t- | }|D ]/}| t j d j || 0 D ]}t |t0 r|j p|j |v }|s5t j } | | |j t7 | |j D ]h}
t | |
t< r
t j } n|r:t j } | | |
|j |j iϐgdS )z
Look at scopes which have been fully examined and report names in them
which were imported but unused.
r Nc g | ]}|v| S r r )r
r: r s r r
z+Checker.checkDeadScopes.. s. !5(( (((r __init__.py, )!r r r r~ r setr r ospathbasenamer reportr UndefinedExportr valuesr r r
r joinrq ImportStarUsager r: UnusedImportstrr getParent FOR_TYPESImportShadowedByLoopVarRedefinedWhileUnused) rr all_binding all_names undefinedr: from_listr- r r messgr r s @r r zChecker.checkDeadScopes s
_ 5 K 5 KE%,,
))I..K
#:k=#I#I
# "
+ 1 2 2 %0%6
)+* I
N * C7##DM22mCC ) C C H$<$))$4$;TC C C C &
N "I#(<<>> ? ?%g?? ?+6GL % , ,W-= > > > $ &*;*; < >L !E$9 9 9))%*@%NN N !E$9 9 9))%1GNN N%% " "
r c D |D ] }| ||| r dS dS )NTF)r )rr r ancestorsr as r descendantOfzChecker.descendantOf
s< A%%dAt44
tt
ur c n |} || j u rd S | | }t || r|S 3r )r r r )rr r
ancestor_typeparents r _getAncestorzChecker._getAncestor sK ""t^^F++F&-00
r c | |t t j S r )r rg r r keysr s r getScopeNodezChecker.getScopeNode s/ uW-D-I-I-K-K'L'LMMMr c | ||| j }t | }|r7|D ]4}| ||| | ||| z r dS 5dS )zATrue, if lnode and rnode are located on different forks of IF/TRYTF)r r r r )rr r r ancestorpartsr s r differentForkszChecker.differentForks s ))% BB ))
$$UE8<<$$UE8<<= 44 ur c | j ddd D ]
}|j |v r n| |j }|rnt |t sX| ||j s<| |j }t |t rBt |t r-|
t j ||j |j n|| j
u r~|j sv| | ra|j dk st |t rAt! || j s,|
t j ||j |j nDt |t r/| | r|j | |j | j
v r | j
|j j |_ |j | j
vst |t( sd}t |t* rZt | j | t, r:|dz }t |t* r t | j | t, :|| j | |j < dS dS )z
Called when a binding is altered.
- `node` is the statement responsible for the change
- `value` is the new value, a Binding instance
Nr r+ rL )r r: r~ r r r r r r r r r r r r r rb r r r
r r r0 )rr r r r existing parent_stmt
cur_scope_poss r r zChecker.addBinding' s{ _TTrT* EzU"" #99UZ(( 0Z' : : 0''ho>> 0 .. 66K(K00
0Z Y5W5W
0 H < %*ho? ? ? ? $*$$ %]C/4x/H/HC s**j;.O.O* .x I I + KK = $ej(/C C C Hk22
0ux7P7P
0"))$/// : # # EJ/4EJ :TZ ' 'z%/L/L ' M 5"566
#4?=9>JJ
# "
5"566
#4?=9>JJ
#
:?DOM *5: 6 6 6 ( 'r c t j d r t dt | | | d S )NPYFLAKES_ERROR_UNKNOWNzUnexpected type: )r environr~ NotImplementedErrorr r r s r _unknown_handlerzChecker._unknown_handlerX sR :>>2 3 3 &%&F$t**&F&FGG G % % % % %r c | j | S # t $ r |j }Y nw xY wt | || j x| j |< }|S r )r r ry upperr r )rr rs nodeTyper s r getNodeHandlerzChecker.getNodeHandlerh sw 3%j1 1 3 3 3!*0022HHH 33: (D 14
4
:& s #55c t | }|sd S d }d }| j dd d D ]}t |t r|dk r d S |du r&| |d }t |t
r| j sY|dk rt |t rn| | }t |t j
r?t |j t j r |
t j | | j |f|| _ || }t |t$ r?| r+ | j |f||j _ n# t* $ r Y nw xY w d S # t* $ r Y nw xY w|p|j }|durt |t. }|rg } | j dd d D ]V}| D ]?}t |t2 r(| j |f|_ | |j @Wd t9 | } |
t j ||| d S |dk r*t< j | j! dk rd S |tD j# v r t | j t rd S d| j$ d vr#|
t j% || d S d S ) Nr r Fprintr __path__r NameError)&r r r r r~ r _in_postponed_annotationr r r r opRShiftr r InvalidPrintSyntaxr r r r r r r r0 r r r
r rq r r r r r r< r r
UndefinedName)
rr r r:
in_generatorsr r r- r r r s
r handleNodeLoadzChecker.handleNodeLoadr s3 4 F
_RVV, ( B ( BE%,,
;&&FF"e++ iid++G':..
t7T
w:gw#?#? -- vsy11 C"69cj99CKK ;TBBB
$(J#5d
$K a-- !,,.. 26*d1Caj)..#
* @U-@M E)) *5. A A
I R0
;
; $||~~ ; ;G!'?;; ;(,
D'9 !(()9::: ; &"3"344I KK0$i H H H F : "'"2"24="A"A]"R"R F )/ / /Jtz:4V4V / F d 1" 5 5 5 KK.d ; ; ; ; ; 6 5s7 AE>E+*E>+
E85E>7E88E>>
F
F c x t | }|sd S t | j t r|| j vr| j d d D ]}t |t t
f s ||v o || j }|r]|d | j u rN|| j j vr@| t j
|| j d ||| j n| | }t |t j r|j t! || }nt |t" t j f s ||j k r&| | st+ || }n|dk rlt | j t
rRt |j t j t j t j f r t1 ||j | j }nBt2 r+t |t j rt7 || }nt9 || }| || d S )Nr r rL r ) r r r r r r2 r r' r r UndefinedLocalr r r AnnAssignr r r
comprehensionr isLiteralTupleUnpackingr Assignr
r PY38_PLUS NamedExprr r r )rr r r: r r r r- s r handleNodeStorezChecker.handleNodeStore s/ 4 F dj- 0 0
T5K5K "-
!%-)EFF u}9t)9 DGtz 1 1d$*BT6T6TKK 7 %d 0 3T5;;MO O OEnnT** k3= 1 1 -k6G6O t,,GG
i1B%C
D
D -t 44400== 5 dD))GG !!4:{33 ")Z
> " $D$*?LLGG
-:k3=AA -)$55GG t,,G g&&&&&r c X fd}t }|sd S | rd S t | j t r/|| j j v r!| j j | d S | j |= d S # t $ r% | t j | Y d S w xY w)Nc t dd } | rFt | t j t j t j f rdS t | dd } | FdS )zN
Return `True` if node is part of a conditional body.
r NTF)r r r r WhileIfExp)currentr s r on_conditional_branchz7Checker.handleNodeDelete..on_conditional_branch sh d$6==G
E g 39'EFF 4!'+=tDD
E 5r )
r r r r r' remover r r r% )rr r r6 r: s ` r handleNodeDeletezChecker.handleNodeDelete s 4 F " "
F dj- 0 0 @TTZ=O5O5O J % %d + + + + +
@Jt$$$
@
@
@ H 2D$??????
@s 0A: :+B)(B)c # X K | j |c}| _ d V || _ d S # || _ w xY wr )_in_annotation)rr ann_typeorigs r rk zChecker._enter_annotation sH $($7!d! ' EEE"&D $D & & & &s )c : | j t j k p| j S r )r: rd rg r r s r r! z Checker._in_postponed_annotation s"
?#9 9
* )
r c & | j |d D ]\ \ }}}| dd d }t | }|rQ| d dd | d f}n|f}|D ]K}| t j
| j |t || ||t j Ld S )Nr :rL r r< re )r r~ r strip TYPE_FUNC_RErD rQ replacer rr partialhandleStringAnnotationr8 r CommentAnnotationSyntaxError)rr r r r: comment
func_matchr parts r _handle_type_commentsz Checker._handle_type_comments s& -1-@-D-DT2-N-N ) VZ' mmC++A.4466G%++G44J
# $$Q''//R88 $$Q''--//
!
""9#4/)FJ77 9$ $
r c | | t || D ]}| || d S )Nr )rI r
handleNode)rr r r r s r r zChecker.handleChildren) sS ""4((($T555 ( (D OOD$ ' ' ' ' ( (r c t |t j r(|j |j gz D ]}t |d s dS dS d S )Nr, FT)r r r- targetsr r )rr r childs r r, z Checker.isLiteralTupleUnpacking. s] dCJ ' ' 4
!
! uf-- ! 55!4 r c t |t j p8t |t j o t |j t j S )z}
Determine if the given node is a docstring, as long as it is at the
correct place in the node tree.
)r r r0 Exprr r s r isDocstringzChecker.isDocstring5 sD
$(( NZch-G-G .M-7
CG-L-L Nr c
t |t j r|j }t |t j sdS t
st r |j dz
}n%|j |j d z
dz
}|j |fS )N)NNrL
)
r r rQ r r0 PYPYr. r re count)rr r doctest_linenos r getDocstringzChecker.getDocstring= s dCH % % :D$(( < B9 B ![1_NN "[46<<+=+= = AN''r c |d S | j rGt |dd 6|xj | j d z
c_ |xj | j d z
c_ | j r6t |t j s | | sd| _ | xj dz
c_ | j |_
||_ | |j
} || | xj dz c_ d S # | xj dz c_ w xY w)Nr r rL F)r r r r: r r r
ImportFromrR nodeDepthr r r r )rr r r r s r rL zChecker.handleNodeK s < F ; .74488D KK4;q> )KK OOt{1~ -OO (
4 (H(H ((,(8(8(>(> ("'D ! #~ & ))$.99G GDMMM NNa NNNNDNNa NNNNNNs 4%C+ +C=c T | |j d \ }}|o| | }n# t t f$ r Y d S w xY w|sd S | j }| j d g| _ | j pd}| t d| j d vr#| d t d |D ]} t j |j
d }|d |z |j z |d |j z dz f| _ | | || _ e# t" $ rQ} ||j z | j z |j dz | j pdz f}
| t& j ||
Y d } ~ d } ~ ww xY w| || _ d S )Nr )r r r+ z rL )rX r _getDoctestExamplesrO rW r r r r6 r r r parser r indentr SyntaxErrorr r DoctestSyntaxErrorr ) rr r docstring node_linenoexamples saved_stack node_offsetexampler epositions r handleDoctestszChecker.handleDoctests_ s '+'8'81 'F'F $Y HT%=%=i%H%HHHJ'
FF F o ?1-.k+V |$$$ doa( ( ( OOD'#,, / / / * *G
*y == +1~ ;gn L *1~ > B D ##D))) )
I
I
I ''. 818 C #NQ .!(-a @ B H 7xHHHHHHHH
I
%s( := AA
D//
F
9AFF
c t j | }n(# t $ r | ||| Y d S w xY w|j }t | dk s t
|d t j s| ||| d S |j d j }t j | D ]"} d| j
v rd| j
v r|| _ || _ #|
|| d S )NrL r r r: )r r_ ra r r rM r rQ r walk _attributesr r: rL )
rr re r
ref_linenoref_col_offseterrr r parsed_annotation
descendants
r rD z Checker.handleStringAnnotation s 9Q<>DGSX!>!>> KKT1 % % % F IaL . (#455 7 7J
666 J$:::$.
!(6
% )400000s !<<c
t t j rL t j j j j j t j d S j r6t t j fd d S d S )Nc S r r )
annotationfnr rr s r rS z*Checker.handleAnnotation.. s rr$
D'A'A r )r r r0 r rr rC rD re r r: r ForwardAnnotationSyntaxErrorr ru r rL )rr rv r rw s ```@r handleAnnotationzChecker.handleAnnotation s j#' * * . y 0+ !%5
* . w 122B A A A A A A A B B B B B OOJ - - - - -r c d S r r r s r ignorezChecker.ignore s r c t |j d rO| t j 5 | | d d d d S # 1 swxY w Y d S t |j d rh| |j | t |j t j
r|j }nRt |j t j r1t |j j t j
r
|j j }nd }|t |j
dk r | |j | n| |j
d | | t j 5 |j
dd D ]}| || d d d n # 1 swxY w Y | |j | d S t |j | j rD| 5 | | d d d d S # 1 swxY w Y d S | | d S )NLiteral Annotatedre r rL )r; r rk rd rf r rL r slicer r* IndexrM r, r rY r )rr r slice_tupleargs r SUBSCRIPTzChecker.SUBSCRIPT s DJ 2 2 # *''(<==
*
*##D)))
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
dj+
6
6 * OODJ - - - $*ci00
# "j tz3955
# tz /;;
# #j . " "c+*:&;&;a&?&?
D1111 0 3T:::++O,@AA 3 3 * / 3 3 3 T222233 3 3 3 3 3 3 3 3 3 3 3 3 3 3
OODHd + + + + +$TZ AA
*++-- . .''---. . . . . . . . . . . . . . . . . . ##D)))))s5 AA A )F;;F?F?H44H8;H8c
t t j j j }n9# t
$ r,} t j | Y d }~d S d }~ww xY wd dt t fd}|D ]\ }}}} || r d S | t t | }n:# t
$ r-} t j | Y d }~ d S d }~ww xY w|D ]A\ }} }
}|
)d|
v r% t j d d S || r d S Bt d j D s t d j D rd S t t t j } d j D } | z
}
| z
}z | | z z
}|
rK t j d t# d |
D |rA t j d t# | |rM t j d t# d
|D d S d S ) Nr c | dS | d \ } }}| d \ } }} t | } du r" t j dS dn# t
$ r Y nw xY w| dk r/du r" t j dS d} dz
t
| t r | n | dS )z9Returns True if there is an error which should early-exitNFr [Tr< rL ) partitionintr r StringDotFormatMixingAutomaticrO r add)fmtkeyr+ auto next_autor placeholder_namedplaceholder_positionalrr s r _add_keyz3Checker._handle_string_dot_format.._add_key s( ~ u "++C00LFAq!++C00LFAq
! V 4<<KK GNNN 4 DD
||5==KK GNNN 4 D"Q &#&&
.&**62222!%%f---5s A1 1
A>=A>{z Max string recursion exceededc 3 J K | ] }t |t j V d S r r r Starredr
r s r r) z4Checker._handle_string_dot_format.., s. FFSJsCK00FFFFFFr c 3 ( K | ]
}|j d u V d S r r r
kwds r r) z4Checker._handle_string_dot_format... s( ==CGtO======r c h | ] }|j
S r r r s r z4Checker._handle_string_dot_format..3 s ? ? ?#cg ? ? ?r r c 3 4 K | ]}t | V d S r r r
r s r r) z4Checker._handle_string_dot_format..A s( B BAQ B B B B B Br c 3 4 K | ]}t | V d S r r r s r r) z4Checker._handle_string_dot_format..M s( C CAQ C C C C C Cr )rg parse_format_stringro r re rO r r StringDotFormatInvalidFormatr r` rm keywordsrangerM 'StringDotFormatExtraPositionalArgumentsr rq "StringDotFormatExtraNamedArguments StringDotFormatMissingArgument)rr r placeholdersri r r+ r specspec_placeholders spec_fmtkey spec_specsubstitution_positionalsubstitution_namedextra_positional extra_namedmissing_argumentsr r r r s `` @@@@r _handle_string_dot_formatz!Checker._handle_string_dot_format s !4TY_5F!G!GHHLL KK=tQ G G G FFFFF !$ EE% % % % % % % % % % N #/ AvtQx
(-.A$.G.G(H(H%%! KK EtQOOOFFFFFF 5F
0A{Iq , 1A1A $ A ;
x ,, FFDIFFFFF ==t}=====
F"%eC NN&;&;"<"< ? ? ? ? ?25KK(+<< $&7
7
$'9
9
;
KK@ & B B1A B B BBBCC
KK; &--..
KK7 & C C1B C C CCCDD
s, +4
A*!A%%A*1 C
D!D Dc f t |j t j rIt |j j t j r%|j j dk r| | g }g }g }t |j d| j rgt |j dk rO| 5 |
|j d | d d d n # 1 swxY w Y nqt |j d| j rR|dgz
}|d |j dd D z
}|dgz
}|d |j D z
}|d
|j D z
}nt |j d | j rt |j dk rat |j d t j r<|dgz
}||j d j z
}|d t# |j D z
}|dgz
}|d
|j D z
}|d |j D z
}n@t |j d| j r$t |j dk rt |j d t j t j f rt) d |j d j D r|dgz
}|d |j d j D z
}|d |j d j D z
}|d t# |j D z
}|d |j d j D z
}|dgz
}|d |j D z
}|d |j D z
}|r| t, j 5 |D ] \ }}| || | || d d d n # 1 swxY w Y | 5 |D ]}|
|| d d d d S # 1 swxY w Y d S | | d S )Nr castrL r TypeVarrm c g | ]}|S r r r s r r
z Checker.CALL..g s 777##777r r c 2 g | ]}|j d k
|j S )bound)r r r
ks r r
z Checker.CALL..k s& MMMaAEW.l s? '!1!1WIIt< r TypedDictc . g | ]\ }}||d k rdgndfS )rL r Nr r
rA r s r r
z Checker.CALL..v s? " " " 3 Q8**D9" " "r c g | ] }|j
S r r r s r r
z Checker.CALL..} 999a!'999r c g | ]}|d gfS r r r s r r
z Checker.CALL..~ D D Dq7)n D D Dr
NamedTuplec 3 K | ]B}t |t j t j f ot |j d k V CdS )re N)r r r* r rM r, r s r r) z Checker.CALL.. sf A A)* q39ch"788 %KK1$A A A A A Ar c ( g | ]}|j d S rL r, r' s r r
z Checker.CALL.. s G G Gcchqk G G Gr c , g | ]}|j d dfS )r Nr r' s r r
z Checker.CALL.. s# !S!S!S#38A;"5!S!S!Sr c . g | ]\ }}||d k rdgndfS )rL r, Nr r s r r
z Checker.CALL.. s? " " " 3 a1ff6(($7" " "r c g | ]}|d fS r r r' s r r
z Checker.CALL.. s !M!M!MC3-!M!M!Mr c g | ] }|j
S r r r s r r
z Checker.CALL.. r r c g | ]}|d gfS r r r s r r
z Checker.CALL.. r r rK )r ro r r8 r r0 r9 r rU r rM rm rk rL r Dictr enumerater* r r+ r, rd rf r )rr r r annotated
not_annotatedna_nodena_omitannotated_nodes r CALLz Checker.CALLP s 49cm44 149?CG44 1 (** * *4 0 0 0
ty&$/ : :8 E NNa ''))
4
4 ! d333
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4 9do
>
> 1 E
VH D 77122 777 7I
ZL D MM4=MMM MI
MM
;
@
@ # E49~~!!j1 sx&H&H! TYq\ 00 " ""+DI"6"6" " "
ZL D 994=999 9I D Ddm D D D DMM
<
A
A E DI""49Q<#)SX)>?? # A A.2il.?A A A A A #
G GTYq\5F G G GG !S!S1 AR!S!S!SS
" ""+DI"6"6" " "
!M!M49Q<;L!M!M!MM
ZL D 994=999 9I D Ddm D D D DM
&''(<==
5
5(5 ? ?$GW''g'>>>>##Dt#444
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
''))
:
:&/ : :NOOND9999:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
% % % % %s6 6"C$$C(+C(7OO
O
% PPPc @ t |j j }n2# t $ r% | t
j |d Y d S w xY wt }d}d }|D ]\ }}||\ }}} }
} | dk r| t vr!| t
j || || r|d u }| |
fD ]0} | ,d| v r(|s!| t
j
| +|dz
}1|r%|#| t
j | d S |s%|#| t
j | d S |r|dz
}| | t |j t j t j f rt% d |j j D sft) |j j }
|r)||
k r#| t
j |||
n"|s | t
j | t |j t j rt1 d |j j D r|r(|dk r"| t
j | d S d |j j D }||z
}||z
}|sC|rA| t
j |d t; | |sI|rI| t
j |d t; | d S d S d S d S d S )
Nzincomplete formatr rK r rL c 3 J K | ] }t |t j V d S r r r' s r r) z1Checker._handle_percent_format.. sB sCK00 r c 3 J K | ] }t |t j V d S r )r r r0 r s r r) z1Checker._handle_percent_format.. s. DDqJq#'**DDDDDDr c h | ] }|j
S r )re r s r r z1Checker._handle_percent_format.. s > > > > > >r r ) rh r re rO r r PercentFormatInvalidFormatr VALID_CONVERSIONS'PercentFormatUnsupportedFormatCharacter!PercentFormatStarRequiresSequence$PercentFormatMixedPositionalAndNamedr r r r r r* r` r, rM $PercentFormatPositionalCountMismatch PercentFormatExpectedMappingr r+ r
PercentFormatExpectedSequence PercentFormatExtraNamedArgumentsr rq PercentFormatMissingArgument)rr r r namedpositional_count
positionalr+ placeholderr: r` rb rc rH substitution_countsubstitution_keys
extra_keys missing_keyss r _handle_percent_formatz Checker._handle_percent_format s / < >djo > > > *U2J #44L
*
=IIfZ 0 011
,
9IIf\ 2 233 % "
s +A
A c t |j t j r4t |j t j r| | | | d S r )r r" r Modr r0 r r r s r BINOPz
Checker.BINOP s^ 47CG,, .49cg.. .
' ' - - - D!!!!!r c | j rat j | j |j ||j |j t j }| j r | d S |
| d S d S r ) r: rr rC rD re r r: r rx r r )rr r rw s r STRz Checker.STR s} '"+ 5
B
'""2&&&&& ' 'r c d t |j t r| | S d S r )r r r r r s r CONSTANTzChecker.CONSTANT! s0 $*c**
&xx~~%
&
&r c D | | |j }t |t j r8t |j r"| t j | d S d S t | r"| t j | d S d S r )
r excr r Callr ro r r RaiseNotImplemented)rr r r s r RAISEz
Checker.RAISE3 s D!!!h c38 $ $ <*3844
@ H 8$?????
@
@ )
-
- < KK4d ; ; ; ; ; < t d |j D s | t j | d| j c| _ } | | || _ d S # || _ w xY w)Nc 3 J K | ] }t |t j V d S r )r r FormattedValuer s r r) z$Checker.JOINEDSTR..J s/ OOa
1c&899OOOOOOr T) _in_fstringr` r r r FStringMissingPlaceholdersr )rr r r< s r JOINEDSTRzChecker.JOINEDSTRE s $ C OO4;OOOOO C
KK;T B B B!%t'7 $ $ % % % #D tD # # # #s A4 4 A=c Z d j D }t | }d | D }|D ]Ҋ fdt | D }t fd|D }t d | D ro|D ]l}j | }t t r'| t j | j
K| t j | m| d S )Nc , g | ]}t | S r r )r
r\ s r r
z Checker.DICT..X s.
&) S ! !
r c $ g | ]
\ }}|d k |S r r )r
r\ rV s r r
z Checker.DICT..] s-
Cqyy
yyr c & g | ]
\ }}|k |S r r )r
rA i_keyr\ s r r
z Checker.DICT..c s" MMME 1 r c 3 L K | ] }t j | V d S r )r r )r
rN r s r r) z Checker.DICT..e sF !U!344 r c 3 ( K | ]
\ }}|d k V dS )rL Nr )r
r rV s r r) z Checker.DICT..i s* AA,%5A:AAAAAAr )
r
r r r r` r r r r MultiValueRepeatedKeyVariabler: MultiValueRepeatedKeyLiteralr )
rr r r
key_countsduplicate_keys key_indicesr key_indexkey_noder\ s
` @r DICTz Checker.DICTT s
-1Y
T]]
","2"2"4"4
" CMMMMYt__MMMK ( F AA&,,..AAAAA
!, I #y 3H!#{33 H$J$,$'H. . . . $ A $
D!!!!!r c t |j t j r0|j j g k r | t j | | | d S r ) r testr r* r, r r IfTupler r s r IFz
Checker.IFx sW di + + 0 "0D0D KK($ / / / D!!!!!r c t |j t j r0|j j g k r | t j | | | d S r ) r r r r* r, r r AssertTupler r s r ASSERTzChecker.ASSERT sW di + + 4 "0D0D KK,d 3 3 3 D!!!!!r c > | rdnd}| j | }| j |urk|j D ]et | }fd| j D | _ | | ||f|_ | j |dz d D ]}||< ddS dS )z5
Keep track of globals declarations.
rL r c j g | ]/}t |t j r|j d k -|0S )r )r r r% message_args)r
m node_names r r
z"Checker.GLOBAL.. sL !4 !4 !4 q("899!4 N1%22 222r N)r r r r r r
setdefaultr )rr r global_scope_index global_scope
node_valuer r s @r GLOBALzChecker.GLOBAL s #'"2"2"4"4 ;QQ!'9: :\ ) ) "Z
2
2 ' 4 8 8
!4 !4 !4 !4 #}!4 !4 !4
'' :>>> $0"6
!_-?!-C-D-D E 2 2E'1E)$$2' * )
2
2r c | t | | | d S r )r r0 r r r s r GENERATOREXPzChecker.GENERATOREXP s9 ~&&& D!!!
r c t |j t j rm| | |j dk rGt | j t r/t |j t j rd| j _
dS dS dS dS t |j t j r| | dS t |j t j
r| | dS t d|j )zV
Handle occurrence of Name (which can be a load/store/delete access.)
localsTz#Got impossible expression context: N)r r r Loadr' r7 r r r r r, Storer0 Delr8 r r s r NAMEz Checker.NAME s
dh ) ) S % % %8##
4:}(M(M# t 4ch?? $ )-
%%% $##### #)
,
, S & & & & &
#'
*
* S ! !$ ' ' ' ' ' QTX Q QRR Rr c |}t |d r|j |}}t |t j t j t j f r ||j vrd S t |t j t j f rnlt |d rLt |t j
r2||j v r)t s"|
t j | d S t |d t |t j
r"|
t j | d S |
t j | d S )Nr finalbody)r r r r r3 ForAsyncForr r^ ClassDefContinuer' r. r r ContinueInFinallyContinueOutsideLoopBreakOutsideLoop)rr r r n_childs r CONTINUEzChecker.CONTINUE s/
a+,, +QwA!ci#, ?@@
!(**F!cos| <==
q+&&
:dCL+I+I
ak))))KK :DAAAF a+,, dCL ) ) 9 KK4d ; ; ; ; ; KK14 8 8 8 8 8r c 4 t | j t t f r"| t
j | d S |j r2t | j d r | j j s|j | j _ |
|j | d S )Nr( ) r r r r2 r r ReturnOutsideFunctionr r r( rL r s r RETURNzChecker.RETURN s dj:{"; < < KK6 = = = F
J 0 DJ
. . 0
& 0
&*ZDJ "
D)))))r c t | j t t f r"| t
j | d S d| j _ | |j | d S rX )
r r r r2 r r YieldOutsideFunctionr) rL r r s r YIELDz
Checker.YIELD s] dj:{"; < < KK5t < < < F!%
D)))))r c n j D ]} | t j j rI s7t j t s fd d S d S d S d S )Nc . S r rk r rr s r rS z%Checker.FUNCTIONDEF.. t':':4'@'@ r ) ra rL LAMBDAr r r: r r r r r r )rr r decos `` r FUNCTIONDEFzChecker.FUNCTIONDEF s ' ( (D OOD$ ' ' ' ' D 0D A ABBB
B$$&& B tz=99 B
@ @ @ @ @ A A A A A B B B B B Br c g }g }t rCj j D ]6}| |j | |j 7j j j j z D ]6}| |j | |j 7j j j j z }t t j }dD ]P}t j | }|s| |j |r| |j Q|r| j
t t | t | k rBt! | D ]2\ } }||d | v r! t$ j | 3|D ]}
|
|D ]} | fd} | d S )N)varargkwargc ddg fd} | d S )Nra returnsrK c j D ]+\ } } t j |j | ,dS )zU
Check to see if any assignments have not been used.
N)r r. r r UnusedVariabler )r: r- rr s r checkUnusedAssignmentszCChecker.LAMBDA..runFunction..checkUnusedAssignments' sR &*Z%A%A%C%C O OMD'KK 7 NNNNO Or )r r r r )rF r rr s r runFunctionz#Checker.LAMBDA..runFunction! sx NN ,22229>DI$88 / /C KK s~ . . . .9% (== (sz : ::+ 8 8H ty(33H
KK % % %
8""8#6777 - t| , , , s4yy>>CII % % 'oo
G
G
c$tt*$$KK :D#FFF% 4 4J ! !*d 3 3 3 3 + +G OOGT * * * *
;'''''r c 4 | |d d S )N)rJ rK rK )r r s r ARGUMENTSzChecker.ARGUMENTS3 s" D'BCCCCCr c ~ | |t |j | | d S r )r r r r r s r ARGz Checker.ARG6 s6 htx1B1B41H1H I IJJJJJr c T j D ]} | j D ]} | j D ]} | t
j rG s3t j t s fd j D ]} |
t j dS )z
Check names used in a class definition, including its decorators, base
classes, and the body of its definition. Additionally, add its name to
the current scope.
c . S r r9 r: s r rS z"Checker.CLASSDEF..K r; r N)ra rL basesr r r r r r r r r r r r r r: )rr r r= baseNode keywordNodestmts `` r CLASSDEFzChecker.CLASSDEF9 sG ' ( (D OOD$ ' ' ' '
, ,H OOHd + + + + = / /K OOK . . . . z"""
B$$&& B tz=99 B
@ @ @ @ @ A A AI ( (D OOD$ ' ' ' '
odi > >?????r c | |j | |j | | |j | d S r )r' targetrL r r s r AUGASSIGNzChecker.AUGASSIGNQ sJ DK(((
D))) T*****r c t |j t j rd}d}t |j D ]G\ }}t |t j r(|r"| t j | nd}|}H|dk s t |j |z
dz
dk r | t j | | | d S )NFr T rL i )
r r r r# r r, r r r TwoStarredExpressionsrM %TooManyExpressionsInStarredAssignmentr )rr r has_starredstar_locrA r s r TUPLEz
Checker.TUPLEV s dh * * R KH!$),,
!
!1 a-- !" H$BDIII "&K H6!!S^^h%>%Bg%M%M H JDQQQ D!!!!!r c |j D ]b}d|j v r |j st |j | }n$|j p|j }t |||j }| || cd S r )r r: asnamer r r )rr r alias importationr: s r IMPORTzChecker.IMPORTo s| Z / /Eej 25:t D D |1uz )$ej A A OOD+ . . . .
/ /r c |j dk r(| j s | t j | nd| _ d|j z |j pdz }|j D ]0}|j p|j }|j dk rbt ||| j
}|j t j vr&| t j
||j |j dk rd| _ n|j dk rzt | j
t s"| t j || d| j
_ | t j || t) || }nt+ ||||j }| || 2d S )Nr Fr r< rN Tr )r r r r LateFutureImportlevelr ri r: r r r all_feature_namesFutureFeatureNotDefinedr r r2 ImportStarNotPermittedr ImportStarUsedr r r )rr r r rj r: rk s r
IMPORTFROMzChecker.IMPORTFROMx s ;, & &&
= H 5t<<<"'D
"t{'8b9Z / /E<-5:D{l** /dDJ G G :Z%AAAKK @ $ej2 2 2: ..48D1s""!$*k:: KK ? $f. . . +/
( H 3T6BBB -fd ; ; -dD.4ej B B OOD+ . . . .+ / /r c g }t |j D ]\ }}t |j t j r2|j j D ]$}| t | %n.|j r'| t |j |j ;|t |j dz
k r |
t j | | j
| |j D ]}| || | j
| |d d S )NrL r rK )r r r r r r* r, r
r rM r r DefaultExceptNotLastr r rL r r )rr r
handler_namesrA r exc_typerO s r TRYz Checker.TRY sM
#DM22 D DJAw', 22
@ ' 1 @ @H!((X)>)>????@
@ $$[ %>%>???|#C
,>,>,B(B(B H 97CCC ""=111Y ) )E OOE4 ( ( ( ( !!! Dv.....r c $ |j | | d S |j | j v r| | | j |j }n# t
$ r d }Y nw xY w| | | | | j |j }|j s&| t j ||j n# t
$ r Y nw xY w|r|| j |j < d S d S r )
r: r r r0 r r r r r rE )rr r prev_definitionr- s r
EXCEPTHANDLERzChecker.EXCEPTHANDLER s@ 9 % % % F 9
" " & & & # "jnnTY 7 7OO # # # "OOO #
T""" D!!! FjnnTY//G <
F H 3T49EEE D 4$3DJty ! ! ! 4 4s$ A# # A21A2 C- -
C:9C:c * | |j | | |j | |j rUt |j d| j r | |j | d S | |j | d S d S )N TypeAlias)rL r_ ry rv r rU r r s r ANNASSIGNzChecker.ANNASSIGN s T*** dot444 : 2$/;HH
2%%dj$77777
D11111 2 2r c J |j }t |j |j D ]k\ }}t |t
j t
j f r>t | st | r | t j | |}l| | d S r )
r zipops comparatorsr r IsIsNotr4 r r IsLiteralr )rr r r r" r s r COMPAREzChecker.COMPARE s y TXt'788 IB rCFCI#677
6/55
6 066
6 H .555DD D!!!!!r c Z | | | | d S r )r0 r r s r
_match_targetzChecker._match_target s0 T""" D!!!!!r r )ry rz r{ r| r Moduler2 r* r r^ r r_ rL ListCompr0 SetComp GeneratorExpDictCompr r[ r rd rf r: r r builtin_varsr _MAGIC_GLOBALSr r r r~ _customBuiltInsupdater r r r r r r r setterr r r r r r r r r r r r r r r r' r0 r8
contextlibcontextmanagerrh rk r! rI r r, rR rX rL doctest
DocTestParser get_examplesr^ rk ry rD ru ry r{ DELETEFORASYNCFORWHILEWITHWITHITEM ASYNCWITHEXPRASSIGNPASSBOOLOPUNARYOPSET ATTRIBUTESTARRED NAMECONSTANT NAMEDEXPRr r r r r r r. r NUMBYTESELLIPSISSLICEEXTSLICEINDEXLOADSTOREDELAUGLOADAUGSTOREPARAMANDORADDSUBMULTDIVMODPOWLSHIFTRSHIFTBITORBITXORBITANDFLOORDIVINVERTNOTUADDUSUBEQNOTEQLTLTEGTGTEISISNOTINNOTINMATMULTr
COMPREHENSIONKEYWORDFORMATTEDVALUEr r r r IFEXPr r NONLOCALr LISTCOMPDICTCOMPSETCOMPr% r0 BREAKr3 r6 AWAIT YIELDFROMr> ASYNCFUNCTIONDEFr< rT rV r] r` rg LISTrl rt ry TRYSTARr| r r MATCH
MATCH_CASE
MATCHCLASSMATCHOR
MATCHSEQUENCEMATCHSINGLETON
MATCHVALUEr MATCHAS MATCHMAPPING MATCHSTARr r r r r ! s1
K j m
M n ^ . n
O I
F$)NLs< &&~66Hjnn%899O 4--c22333
'/ /2: =2 D T T TV V V > > > + + X+ 0 0 0
1 1 X1 $6 6 %$6
# # X#6 6 6:K :K :Kx $1 - - - -K K K
, N N N /? /? /?b& & & K< K< K & & &B 1 1 1. . . ]."
''F 'S '8 'e 'd 'X ' ' v D ##F #W #s #Y # #<$* $* $*Lq q qfP& P& P&de e eN" " "
'
'
' 3 & & & & -322e2h .-E-Hu 7==M=GnK
$
$
$ "" "" ""H" " "
E" " "
2 2 2< H
%10H0x'S S S&9 9 9.
E * * ** * * EI
B
B
B #5( 5( 5(nD D DK K K@ @ @0+ + +
" " ". D/ / / / / /@/ / /( G+4 +4 +4Z 2 2 2 " " " AONENJNNg
"00NZ" " " *76G6lYYYr r )ar| r r r r r r r rr r rerF sysr pyflakesr version_infor. r rU r= r Formatterr_ r r r( r) r r! r- r& r4 r; compiler r r ASCII_NON_ALNUMpatternr rA rP rS rT rU rV frozensetr rH rh r rj r r r r r r r r r r r r r r r r r r r r r r r r r0 r2 r6 r8 r< r r rI rO rU rY rb rd ru ry r NodeVisitorr r r r r r r s}
& ws'((s8}} &f&((. C C C Wcl # B
B B B
J J J J
: : : "* -..''NN55::NNNOO ?/ ? ? ??A A rz455 O,, RZ
++ 2:m $ $rz.// BJx I 122 =! =! =!@ 4 & !%LLNN ." " "4P P P I I I I I I I I@
j
&%! %! %! %! %!* %! %! %!P") ") ") ") "); ") ") ")J< < < < > >J J J J Js J J J* 6Z7 Z7 Z7 Z7 Z7 Z7 Z7 Z7 Z7 Z7r