f30A*[
& U d dl mZ d dlmZmZ d dlZd dlmZ d dlm Z d dl
m Z m Z m
Z
mZmZ d dlmZ d dlmZmZ erd d lmZ G d
d e Zi d ed
d d edd d edd d edd d edd d edd d edd d ed d d ed d d ed!d d" ed#d d$ ed%d d& ed'd d( ed)d d* ed+d d, ed-d d. ed/d i d0 ed1d d2 ed3d d4 ed5d d6 ed7d d8 ed9d d: ed;d d< ed=d d> ed?d d@ edAd dB edCd dD edEd dF edGd dH edId dJ edKd dL edMd dN edOd dP edQd edRd edSd edTd edUd edVd edWd dXZdYedZ< ed[ eD Zd\Z G d] d^e Z G d_ d`e Z dfdeZ dS )g ) annotations)
TYPE_CHECKING
NamedTupleN)nodes) BaseChecker)in_type_checking_block"is_node_in_type_annotation_context is_postponed_evaluation_enabledonly_required_for_messages
safe_infer)TYPING_NORETURN)HIGH INFERENCE)PyLinterc $ e Zd ZU ded< ded< dS ) TypingAliasstrnameboolname_collisionN)__name__
__module__ __qualname____annotations__ j/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib/python3.11/site-packages/pylint/extensions/typing.pyr r s'
IIIr r z typing.TupletupleFz typing.Listlistz typing.Dictdictz
typing.Setsetztyping.FrozenSet frozensetz typing.Typetypez typing.Dequezcollections.dequeTztyping.DefaultDictzcollections.defaultdictztyping.OrderedDictzcollections.OrderedDictztyping.Counterzcollections.Counterztyping.ChainMapzcollections.ChainMapztyping.Awaitablezcollections.abc.Awaitableztyping.Coroutinezcollections.abc.Coroutineztyping.AsyncIterablez collections.abc.AsyncIterableztyping.AsyncIteratorz collections.abc.AsyncIteratorztyping.AsyncGeneratorz collections.abc.AsyncGeneratorztyping.Iterablezcollections.abc.Iterableztyping.Iteratorzcollections.abc.Iteratorztyping.Generatorzcollections.abc.Generatorztyping.Reversiblezcollections.abc.Reversibleztyping.Containerzcollections.abc.Containerztyping.Collectionzcollections.abc.Collectiontyping.Callablezcollections.abc.Callableztyping.AbstractSetzcollections.abc.Setztyping.MutableSetzcollections.abc.MutableSetztyping.Mappingzcollections.abc.Mappingztyping.MutableMappingz collections.abc.MutableMappingztyping.Sequencezcollections.abc.Sequenceztyping.MutableSequencez collections.abc.MutableSequenceztyping.ByteStringzcollections.abc.ByteStringztyping.MappingViewzcollections.abc.MappingViewztyping.KeysViewzcollections.abc.KeysViewztyping.ItemsViewzcollections.abc.ItemsViewztyping.ValuesViewzcollections.abc.ValuesViewz!contextlib.AbstractContextManagerz&contextlib.AbstractAsyncContextManagerz
re.Patternzre.Matchzcollections.abc.Hashablezcollections.abc.Sized)ztyping.ContextManagerztyping.AsyncContextManagerztyping.Patternz typing.Matchztyping.Hashablez typing.Sizedzdict[str, TypingAlias]DEPRECATED_TYPING_ALIASESc # L K | ] }| d d V dS ). N)split).0keys r r, M s1 OOc #q)OOOOOOr )OptionalUnionc < e Zd ZU ded< ded< ded< dZded< d S )
DeprecatedTypingAliasMsg nodes.Name | nodes.Attributenoder qnamealiasFr parent_subscriptN)r r r r r5 r r r r0 r0 Q sB &&&&JJJJJJ """""""r r0 c e Zd ZU dZdZddddddd Zd
d d d
ddffZded< ded< dA fd ZdBdZ dCd Z
e d d d d d! dDd# Z e d d d d d! dEd% Z
e d& dFd( ZedGd+ ZdHd,ZedId. Z dJdKd5ZdLd7ZdMd:ZdNd;Z e d d dOd= ZdNd>ZdNd?ZdPd@Z xZS )Q
TypingCheckerz4Find issue specifically related to type annotations.typing)z$'%s' is deprecated, use '%s' insteaddeprecated-typing-aliasz/Emitted when a deprecated typing alias is used.)z@'%s' will be deprecated with PY39, consider using '%s' instead%sconsider-using-aliasz|Only emitted if 'runtime-typing=no' and a deprecated typing alias is used in a type annotation context in Python 3.7 or 3.8.)z9Consider using alternative Union syntax instead of '%s'%s!consider-alternative-union-syntaxznEmitted when 'typing.Union' or 'typing.Optional' is used instead of the alternative Union syntax 'int | None'.)z;'NoReturn' inside compound types is broken in 3.7.0 / 3.7.1broken-noreturnz``typing.NoReturn`` inside compound types is broken in Python 3.7.0 and 3.7.1. If not dependent on runtime introspection, use string annotation instead. E.g. ``Callable[..., 'NoReturn']``. https://bugs.python.org/issue34921)zo'collections.abc.Callable' inside Optional and Union is broken in 3.9.0 / 3.9.1 (use 'typing.Callable' instead)broken-collections-callablez``collections.abc.Callable`` inside Optional and Union is broken in Python 3.9.0 and 3.9.1. Use ``typing.Callable`` for these cases instead. https://bugs.python.org/issue42965)zVType `%s` is used more than once in union type annotation. Remove redundant typehints.redundant-typehint-argumentziDuplicated type arguments will be skipped by `mypy` tool, therefore should be removed to avoid confusion.)W6001R6002R6003E6004E6005R6006zruntime-typingTynzau Set to ``no`` if the app / library does **NOT** need to support runtime introspection of type annotations. If you use type annotations **exclusively** for type checking of an application, you're probably fine. For libraries, evaluate if some users want to access the type hints at runtime first, e.g., through ``typing.get_type_hints``. Applies to Python versions 3.7 - 3.9)defaultr# metavarhelpr _should_check_typing_alias&_should_check_alternative_union_syntaxlinterr returnNonec t | d| _ t | _ g | _ g | _ dS )z Initialize checker instance.rK FN)super__init__ _found_broken_callable_locationr! _alias_name_collisions _deprecated_typing_alias_msgs_consider_using_alias_msgs)selfrK __class__s r rQ zTypingChecker.__init__ sH
'''5:,03#MO*JL'''r c . | j j j }|dk | _ |dk | _ |dk | _ | j p| j o| j j j du | _ | j p| j o| j j j du | _ |dk | _ |dk | _
d S )N) )rY )rY
F)rY rZ )rY r[ r] ) rK config
py_version
_py37_plus
_py39_plus _py310_plusruntime_typingrI rJ _should_check_noreturn_should_check_callable)rV r_ s r openzTypingChecker.open s ['2
$.$.%0*./ +
O J 2 AU J
' 7;6F 7
O J 2 AU J
3 '19&<#&09&<###r r2 nodes.NodeNGr c N | j sd| j v rdS dS )z3Message hint if postponed evaluation isn't enabled.r z2. Add 'from __future__ import annotations' as well)rb rootfuture_importsrV r2 s r _msg_postponed_eval_hintz&TypingChecker._msg_postponed_eval_hint s- } 0J J J2CCr r9 r: r; r< r=
nodes.Namec ^ | j r#|j t v r| | | j r)|j t
v r| ||j | j r |j dk r| | | j r"|j dk r|
| d S d S d S NNoReturnCallable) rI r ALIAS_NAMES_check_for_typing_aliasrJ UNION_NAMES#_check_for_alternative_union_syntaxrd _check_broken_noreturnre _check_broken_callablerl s r
visit_namezTypingChecker.visit_name s * /tyK/G/G ( ( . . . 6 F49 ;S;S 4 4T49 E E E & .49
+B+B ' ' - - - & .49
+B+B ' ' - - - - - . .+B+Br nodes.Attributec ^ | j r#|j t v r| | | j r)|j t
v r| ||j | j r |j dk r| | | j r"|j dk r|
| d S d S d S rp ) rI attrnamers rt rJ ru rv rd rw re rx rl s r visit_attributez TypingChecker.visit_attribute s * /t} /K/K ( ( . . . 6 J4=K;W;W 4 4T4= I I I & .4=J+F+F ' ' - - - & .4=J+F+F ' ' - - - - - . .+F+Fr r> nodes.AnnAssignc |j }| |d r5| | r | d|dt d S | |d r,t |j t j r
|j j }n-|
| r| | }nd S | || d S )Nr- r> rM r2 args
confidencer. )
annotation _is_deprecated_union_annotation _is_optional_none_annotation add_messager
isinstanceslicer Tupleelts_is_binop_union_annotation_parse_binops_typehints_check_union_types)rV r2 r typess r visit_annassignz TypingChecker.visit_annassign s _
/ /
J G G 00<<
1# # !
F / /
G D D ekJ
J
$)EE
,
,Z
8
8 00< r )r! as_stringr r add)rV r r types_settypehint typehint_strs r r z TypingChecker._check_union_types s EE
,
,H#--//Ly(( 1#& # !
l++++
,
,r r1 r c t | }t |t j r| dv s9t |t
j j r| dk sdS | j st | sdS |
d||| | ft dS )zCheck if alternative union syntax could be used.
Requires
- Python 3.10
- OR: Python 3.7+ with postponed evaluation in
a type annotation context
typing.Uniontyping.Optionaltyping._SpecialFormNr; r )
r r r FunctionDefr3 astroidbasesInstancerb r r rm r )rV r2 r inferreds r rv z1TypingChecker._check_for_alternative_union_syntax- s d## x!2 3 3 $GGG(GM$:;; H $999 F $Ft$L$L F /55d;;<
r c > t | }t |t j sdS t | d }|dS | j rv| dk r | | rd| _ | j
t || |j
dS t | sVt |j t j r7|j du r,| j | dS | j t || |j
t |j t j dS )a Check if typing alias is deprecated or could be replaced.
Requires
- Python 3.9
- OR: Python 3.7+ with postponed evaluation in
a type annotation context
For Python 3.7+: Only emit message if change doesn't create
any name collisions, only ever used in a type annotation
context, and can safely be replaced.
Nr$ T)r r r ClassDefr% getr3 ra _broken_callable_locationrR rT r r0 r r parentr r rS r rU )rV r2 r r4 s r rt z%TypingChecker._check_for_typing_aliasJ s d##(EN33 F)--hnn.>.>EE = F ? ~~ #4449W9W: :4 8<4 . 5 5( NN$$J
F 2$77 J K =
=
#t+++//0@0@AAA F '.. $
4;88
r nodes.Modulec . | j rM| j D ]D}| j r |j dk r| d|j |j |j ft Enn| j rg| | }| j
D ]J}|j | j v r| d|j |j |j |j r|ndft Kd| _ | j
| j
| j
dS )zAfter parsing of module is complete, add messages for
'consider-using-alias' check.
Make sure results are safe to recommend / collision free.
r$ r9 r r: ri FN)ra rT rR r3 r r2 r4 r r` rm rU rS r5 clear)rV r2 msgmsg_future_imports r leave_modulezTypingChecker.leave_module~ s] ? 9
8 %666 - )SY/ ( !
_ $ = =d C C 6
9 ;;; * -0-AI))r
) ! 05, *00222 #))+++ '--/////r c L t |j t j sdS t | s t | rt
| rdS | D ]}t |t j t j f r|
t v s[t |t j
j r\t |j t j r=|j
dk r | d|t" dS dS )z+Check for 'NoReturn' inside compound types.Nr r< r2 r )r r r
BaseContainerr r
r inferr r r3 r
r r BaseInstance_proxiedr r rV r2 r s r rw z$TypingChecker._check_broken_noreturn s $+u':;; F
#4 ( ( .t44 3488
F
H 8e&7 %HII
NN$$77 h
(BCC 8 x 0%.AA 8 %++--1FFF !2) TTT r c t | }t |t j r-| dk r| | sdS | d|t dS )z?Check for 'collections.abc.Callable' inside Optional and Union.z_collections_abc.CallableNr= r )r r r r r3 r r r r s r rx z$TypingChecker._check_broken_callable sy d## x 0 0 $???..t44 @
F 6TiXXXXXr c r t | s t | rt | rdS t |j t
j rut |j j t
j rQt |j j j
dk r/t |j j j
d t
j sdS |j j }t |t
j r|j }t |t
j r+t |j
t
j t
j f sdS t! |j
}t |t
j r| dv s9t |t& j j r| dk sdS dS )zFCheck if node would be a broken location for collections.abc.Callable.Fr] r r r T)r r
r r r r r r r lenr Listr r r Attributer r r3 r r r )rV r2 r5 inferred_parents r r z'TypingChecker._broken_callable_location s
#4 ( ( .t44 3488
5
t{EO 4 4 4;,ek:: DK%*++q004;,1!4ejAA 1 5 ;- &(; < < 7 / 6 ' 9 9 +1EJ3PQQ 5$%5%;<< (9 : : %%''+NNN/7=+ABB O %%''+@@@5tr rK r rL rM )rL rM )r2 rg rL r )r2 rn rL rM )r2 rz rL rM )r2 r~ rL rM )r rg r r rL r )r rg rL r )r r rL r r )r r r r rL r )r r r rg rL rM )r2 r1 r r rL rM )r2 r1 rL rM )r2 r rL rM )r2 r1 rL r ) r r r __doc__r msgsoptionsr rQ rf rm r ry r} r staticmethodr r r r r rv rt r rw rx r
__classcell__)rW s @r r7 r7 X s >> D
G) ) DX
%;
G( %$$$ 1000M M M M M M= = = = D D D D ! +% . . . . ! +% . . . . =>>- - - ?>-,
\
\
TX , , , ,
:2
2
2
2
h 68QRR(0 (0 (0 SR(0T 4
Y
Y
Y
Y% % % % % % % %r r7 rK r rL rM c J | t | d S r )register_checkerr7 rO s r registerr s$
M& 1 122222r r )
__future__r r8 r r
astroid.basesr r pylint.checkersr pylint.checkers.utilsr r r
r r pylint.constantsr
pylint.interfacesr r pylint.lintr r r% r r" rs ru r0 r7 r r r r r s
# " " " " " " , , , , , , , , ' ' ' ' ' ' - , , , , , - - - - - - - - %$$$$$$ *
+5KK//+5;;vu--+5 ;;vu--+5 ++eU++ +5
K77 +5 ;;vu--
+5 KK 3T::+5 ++&?FF+5 ++&?FF+5 kk"7>>+5 {{#94@@+5 $?FF+5 $?FF+5 KK(G N N +5 KK(G N N +5 [[)I4 P P!+5" {{#=tDD#+5 +5$ {{#=tDD%+5& $?FF'+5( %A4HH)+5* $?FF++5, %A4HH-+5. {{#=tDD/+50 ++&;UCC1+52 %A4HH3+54 kk";TBB5+56 [[)I4 P P7+58 {{#=tDD9+5: kk*KT R R;+5< %A4HH=+5> ++&CTJJ?+5@ {{#=tDDA+5B $?FFC+5D %A4HHE+5 +5F )[)Le T T"-+0%# # "k,55 K
D11"{#=tDD K 7>>U+5 +5 +5 + + + +Z iOO5NOOOOO # # # # # #z # # #\ \ \ \ \K \ \ \~ 3 3 3 3 3 3r