\vmu[ U d Z ddlmZ ddlZddlZddlZddlmZm Z m
Z
m Z ddl m
Z
mZ ddlmZmZmZmZmZmZ ddlmZ ddlmZmZ dd lm Z m Z m Z m Z m Z dd
l!m"Z" dd l#m$Z$m%Z%m&Z& ej' d Z( ej' d
Z) edej* ej+ Z,ddZ-ddZ.dZ/ddddddddd d d d d d!
Z0d" e01 D Z2d# e01 D Z3d$d%d&dd'Z4ej5 ej6 ej7 ej8 d'Z9d(e:d)< dd.Z;d/ ej* _< d0 ej+ _< d1 ej= _< d2 ej> _< d3 ej? _< d4 d5 d6 d7 d8 d9 d: d; d< d= d> d? ej@ d!
ZA eBeA1 D ]
\ ZCZDeDeAeCd@z < ejE ddM ZFeFej> _G ddPZHddTZIejE ddW ZJeJej* _G eJej+ _G ejE ddZ ZKeKejL _G eKejM _G d[ ZNejO dddb ZPePejQ _R ePejS _R ddddZTeTej* _R eTej+ _R dddfZUeUejV _R eUejW _R ddiZX dddkZYeYejZ _R ejO dddm Z[ dddoZ\e[ej] _R e\ej^ _R e[ej_ _R dp Z`ejO dddr Zaeaejb _R ds ZcejO dddu Zdedeje _R ejO dddw Zfefejg _R ejE dddy Zheheji _R ejE ddd~ Zjejejk _R ejE ddd Zlelejm _R ejE ddd Znenejo _R dS )zcThis module contains a set of functions to handle python protocols for nodes
where it makes sense.
) annotationsN)Callable GeneratorIteratorSequence)AnyTypeVar) argumentsbases
decoratorshelpersnodesutil)Context)InferenceContext copy_context)AstroidIndexErrorAstroidTypeErrorAttributeInferenceErrorInferenceError NoDefault) node_classes)ConstFactoryResultInferenceResultSuccessfulInferenceResult raw_buildingobjects_TupleListNodeTreturnstrc d| dd z S )N__r names c/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib/python3.11/site-packages/astroid/protocols.py_reflected_namer( ) 48 c d| dd z S )N__ir# r$ r% s r' _augmented_namer- - r) r* zcontextlib.contextmanager__add____sub__ __truediv__ __floordiv____mul____pow____mod____and____or____xor__
__lshift__
__rshift__
__matmul__)
+-/z//***%&|^z<>@c 4 i | ]\ }}|t | S r$ )r( .0keyvalues r'
rJ B s3 $0S%C r* c : i | ]\ }}|d z t | S )=)r- rF s r' rJ rJ E s7 *63C#Iu%% r* __pos____neg__
__invert__)r; r< ~notz dict[str, Callable[[Any], Any]]_UNARY_OPERATORSobjr opr c r | t u r| }nt | } || }t j | S )z{Perform unary operation on `obj`, unless it is `NotImplemented`.
Can raise TypeError if operation is unsupported.
)NotImplementedrR r
const_factory)rS rT rI funcs r' _infer_unary_oprY W s>
n #S u % %%r* c F t t | j | S N)rY tupleeltsselfrT s r' r` d s oeDI>N>NPR.S.S r* c , t | j | S r[ )rY r] r^ s r' r` r` e s _TY-K-K r* c F t t | j | S r[ )rY setr] r^ s r' r` r` f s OC NNB,O,O r* c , t | j | S r[ )rY rI r^ s r' r` r` g s odj".M.M r* c F t t | j | S r[ )rY dictitemsr^ s r' r` r` h s _T$*=M=Mr-R-R r* c | |z S r[ r$ abs r' r` r` m
a!e r* c | |z
S r[ r$ ri s r' r` r` n rl r* c | |z S r[ r$ ri s r' r` r` o rl r* c | |z S r[ r$ ri s r' r` r` p
qAv r* c | |z S r[ r$ ri s r' r` r` q rl r* c | |z S r[ r$ ri s r' r` r` r s
q!t r* c | |z S r[ r$ ri s r' r` r` s rl r* c | |z S r[ r$ ri s r' r` r` t rl r* c | |z S r[ r$ ri s r' r` r` u rl r* c | |z S r[ r$ ri s r' r` r` v rl r* c | |z S r[ r$ ri s r' r` r` w rp r* c | |z S r[ r$ ri s r' r` r` x rp r* rL r_ nodes.Constopnode nodes.AugAssign | nodes.BinOpoperatorotherr contextr _r @Generator[ConstFactoryResult | util.UninferableBase, None, None]c # K t j t }t |t j r|dk r^t | j t
t f r=t |j t
t f r | j dk s |j dk r|V d S t | } t j || j |j V d S # t $ r |V Y n t $ r t j V Y nw xY wd S d S # t $ r |V Y d S w xY wt | j t r|dk rt j V d S |V d S )Nr? g j@r@ )r ConstrV
isinstancerI intfloat BIN_OP_IMPLrW TypeError Exceptionr Uninferabler )r_ rz r| r} r~ r not_implementedimpls r' const_infer_binary_opr s k.11O%%% 4:U|44
5;e 55
c!!U[3%6%6! ! ! ! F
" x(D
')$$tz5;*G*GHHHHHHH
&
&
&%%%%%%
'
'
'&&&&&&
' &%&& " " "! ! ! ! ! ! ! " DJ $ $ S s<
D )*C C?#D %C?<D >C??D DDrI r c | | }|dk rt j g|_ |S fd| j D }t | |z |_ |S )Nparentg חAc 3 K | ]?}t |t j t j | p t j V @d S r[ )r r UninferableBaser
safe_inferr )rG eltr~ s r' z'_multiply_seq_by_int.. s_ #t 3443((>> ( (D s{{%& 9 M
]##e+DI Kr* r] Sequence[InferenceResult]#Iterator[SuccessfulInferenceResult]c # K | D ]~}t |t j rt j V 2| | D ]6}t |t j s|V !t j V 7d S r[ )r r r r Unknowninfer)r] r~ r inferreds r' _filter_uninferable_nodesr s * * c4/ 0 0 *-// ! ! ! ! IIg . .
*
*!(D,@AA *"NNNN -//))))
* * *r* methodKGenerator[_TupleListNodeT | nodes.Const | util.UninferableBase, None, None]c # $ K d|_ t j t }t || j ro|dk ri| | }t
t j t | j
| t |j
| |_
|V dS t |t j rA|dk r;t |j t s|V dS t | ||j | V dS t |t j rp|dk rjt! j | }|st$ j V dS t |j t st) d t | ||j | V dS |V dS )zInfer a binary operation on a tuple or list.
The instance on which the binary operation is performed is a tuple
or list. This refers to the left-hand side of the operation, so:
'tuple() + 1' or '[] + A()'
Nr; r r> zPlease open a bug report.) boundnoder r rV r r r itertoolschainr r] rI r r r Instancer
class_instance_as_indexr r AssertionError) r_ rz r| r} r~ r r r as_indexs r' tl_infer_binary_opr s Gk.11O% (( X__~~V~,, O)$)W==)%*g>>
E5; ' ' HOO%+s++ ! ! ! ! F"4gFFFFFFF E5> * * x32599 N" " " " " "HNC00 N !<== =&tVX^WMM M M M M M r* bases.Instance | nodes.ClassDef&Generator[InferenceResult, None, None]c . | | | S r[ )infer_call_result)r_ rz r| r} r~ r s r' instance_class_infer_binary_opr s # #D' 2 22r* c # K |dd }| d }| D ]C}t |t j r t |d s/ | }n# t $ r Y Qw xY w t || t j t j f r|g}n# t $ r Y nw xY w|D ]}t j | } | || }n # t t t f$ r Y Gw xY w|s|V Rt |t j r n= t | | || E d{V # t" $ r Y nw xY wEdS )z@UVVI // T7KK K K K K K K K F t{$R((
~ 4$+"2j"@"@+$**,,C 00223FK tz#B'' w''%%d++11'::::::::: s A J J10J1nodes.Argumentsc |j }n# t $ r d }Y nw xY w|r;|j r4|j j }t |d r|j }t |d nt
| || S |r}t |dd | d j k rO|j }t | }d |_ t j || }| | j
|| S t
| || S )Nr r& Tfuturer~ )r& r r r r r r r framer r
r r r )r_ r r~ r node_namer r argss r' arguments_assigned_stmtsr s' I
B7& B$+fj)) %_F fj)) % (iAAA D--41H1H1MMM ) w'' "!+w???""4; 7CCC #D)W = ==s
0nodes.AugAssign | nodes.Assign | nodes.AnnAssignc # K |s | j V d S t | j | || E d {V | |||dS Nr )rI _resolve_assignment_partsr r s r' assign_assigned_stmtsr s jt(
!!;
" r* nodes.AnnAssignc # ^ K t | ||| D ]}|t j V |V d S r[ )r r r )r_ r r~ r r s r' assign_annassigned_stmtsr sR *$g{KK " " " " "NNNN r* c # H K |dd }| d }| D ]}d}t |t j r$ |j | \ }}ng# t
$ r Y dS w xY wt
|d rEt j | } | || }n# t t f$ r Y dS w xY w|s dS |s|V t |t j r dS t | | || E d{V # t $ r Y dS w xY wdS )z3Recursive function to resolve multiple assignments.Nr r )r r r Dictrg r r r r r r r r r r r )r r r~ r r r r r s r' r r s aaa.K OOA E ! ! dEJ ' '
"j / !!
T9
%
% U++J
<<
G<<$&78
FF NNNN
$"6
7
7
FF
4 NN7++[' "
A! !s6 A
A#"A# B""B87B8%*D
D D nodes.ExceptHandlerc # K t j | j D ]:}t |t j rt | }|V ;| |||dS r )r unpack_inferr r r r r ExceptionInstance)r_ r r~ r r s r' excepthandler_assigned_stmtsr 8 sq !-di88 h / / ; 00::H" r* c # " K t | | }n## t $ r}t | |d }~ww xY wt |t
j r|j }|j st d| |j j D ]_}t | | d }t |t j
r | t k r n`t | t |
V d S # t $ r}t | |d }~ww xY wt |t
j r t | d| }n0# t t t f$ r} t | | d } ~ ww xY wt |t
j st | | | | E d {V d S t | )Nr )r z,No decorators found on inferred generator %s __enter__)nextr
StopIterationr r r r r r r FunctionDefqname_CONTEXTLIB_MGRinfer_yield_typesr igetattrr BoundMethodr )
r_ mgrr~ r erX decorator_node decoratorenterr s
r' _infer_context_managerr O sM . ' 2233 . . . #&&&A-.(EO,, ' >T
#o 3 , ,N ^ 1 1' 1 B BDIII)U%677
??$$77E !d+++ + 3x113344 4 4 4 4 4 3 3 3 d+++ 2 3
Hen - - ' 9**;*HHIIEE 7 G 9 9 9 h///S 8 9%!233 - e,,, ,**499999999999 #&&&&sD #(
AAA#D& &
E0EE$$F F6 F11F6
nodes.Withc
# K t fd| j D }n# t $ r Y dS w xY w|t | || E d{V nt | || D ]}|}|D ]}}t |d st d| || |j | }5# t $ r}t d| || |d}~wt $ r}t d| || |d}~ww xY w|V | ||dS ) a Infer names and other nodes from a *with* statement.
This enables only inference for name binding in a *with* statement.
For instance, in the following code, inferring `func` will return
the `ContextManager` class, not whatever ``__enter__`` returns.
We are doing this intentionally, because we consider that the context
manager result is whatever __enter__ returns and what it is binded
using the ``as`` keyword.
class ContextManager(object):
def __enter__(self):
return 42
with ContextManager() as f:
pass
# ContextManager().infer() will return ContextManager
# f.infer() will return 42.
Arguments:
self: nodes.With
node: The target of the assignment, `as (a, b)` in `with foo as (a, b)`.
context: Inference context used for caching already inferred objects
assign_path:
A list of indices, where each index specifies what item to fetch from
the inference results.
c 3 . K | ]\ }}|k |V d S r[ r$ )rG r varsr s r' r z&with_assigned_stmts.. s+ EE;C 3 EEr* Nr] z0Wrong type ({targets!r}) for {node!r} assignment)r targetsr r~ zCTried to infer a nonexistent target with index {index} in {node!r}.z1Tried to unpack a non-iterable value in {node!r}.r ) r rg r r r r r] r r ) r_ r r~ r r resultrS r r s ` r' with_assigned_stmtsr" u s BEEEE$*EEEEE tt)$W==========,T3@@ FC$
sF++ (J ! $$/ ' (5/CC! (' ! $$/ '
! (K ! $$/ '
IIII" s0 &
44
B
C#'B<<
C# C C#nodes.NamedExprc # K | j |k r#| j | E d{V dS t d| || )z:Infer names and other nodes from an assignment expression.r Nz$Cannot infer NamedExpr node {node!r}r )targetrI r r r s r' named_expr_assigned_stmtsr& si {d:##G#44444444444 2#
r*
nodes.Starredc # d
K d fd | d
}t |t j t j f st d | |||
|t
}t |t j r]|j }|j d }t |t j st j V dS t d |
t j D dk rt d| ||| t | | }n&# t
t" f$ r t j V Y dS w xY wt |t j st' |d st j V dS t) j | }n # t. $ r t j V Y dS w xY wt1 |j D ]\ } }
t |
t j s|s n| 8t) j t7 |j | d } | D ]} t | t j s|s ni| 5t j t< j | |j |j! }
|
" tG | |
V t |t j r3 t |j$ | }n&# t
t" f$ r t j V Y dS w xY wt |t j st' |d st j V dS | }n # t. $ r t j V Y dS w xY w|j% }t |t j& st d| g } | || |st d| |d \ }}||dz
k }tO ||rdn||z
}|}|D ]}d}t1 | D ]\ } }t' |d s nl| dz tQ | u r|}n|d } | }|| }|}V# tR $ r Y n t. $ r t j V Y dS w xY wt j t< j | | j | j! } | " |pg | V dS t j V dS dS ) aD
Arguments:
self: nodes.Starred
node: a node related to the current underlying Node.
context: Inference context used for caching already inferred objects
assign_path:
A list of indices, where each index specifies what item to fetch from
the inference results.
starredr' r% nodes.Tuplelookupslist[tuple[int, int]]r Nonec | }t | D ]\ }}t |t j rA|j j | j j k r'| |t | f d S t |t j rC| |t | f | || d S r[ )
r enumerater r StarredrI r& appendlenr )r) r% r+ r r element$_determine_starred_iteration_lookupss r' r4 zDstarred_assigned_stmts.._determine_starred_iteration_lookups s ' / / P PNE77EM22
M&'-*<<<s6{{ 3444'5;//
Ps7>>+;+;'<'< =>>>44WgwOOO P Pr* Tr zDStatement {stmt!r} enclosing {node!r} must be an Assign or For node.)r r r r~ Nr c 3 K | ]}d V dS ) Nr$ )rG r s r' r z)starred_assigned_stmts.. s" <>> & &D dU\59 5 6 6
R
"$$$ %% =
l1o#u 233 " " " " F <<#,,U];;<<< < > g xG
G
" " " " F &--//FF " " " " FF &%+.. J
*,,,T67CCC GQX
3:"+/ /,1Dq1HI # SDD*=@R*R
# ( ( G !M!*7!3!3
,
,
v w11 E19G ,,.9JJ "(J
,+2>>+;+;( 2: >G %,MM " EE ****FFFF zM{ ? H
=#6B 7 7 7NNN FF iT T s` "D5 5 EE&F= =GG>(L' ' M
M
N N98N9 R((
S5SSnodes.MatchMappingnodes.AssignNamer- #Generator[nodes.NodeNG, None, None]c #
K dS zbReturn empty generator (return -> raises StopIteration) so inferred value
is Uninferable.
Nr$ r s r' match_mapping_assigned_stmtsr_
Fr* nodes.MatchStarc #
K dS r^ r$ r s r' match_star_assigned_stmtsrc r` r*
nodes.MatchAsc # K t | j t j r@t | j j t j r | j | j j j V dS dS dS dS )z}Infer MatchAs as the Match subject if it's the only MatchCase pattern
else raise StopIteration to yield Uninferable.
N)r r r MatchCaseMatchpatternsubjectr s r' match_as_assigned_stmtsrj sw 4;00) t{)5; 7 7)
L k (((((( ) ) ) )
! r* )r r )rS r rT r r r )r_ ry rz r{ r| r r} r r~ r r r r r )
r_ r rz r{ rI r r~ r r r )r] r r~ r r r )r_ r rz r{ r| r r} r r~ r r r r r )r_ r rz r{ r| r r} r r~ r r r r r )NNN)
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 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 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 )NN)
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~ r r r- r r\ )
r_ ra r r[ r~ r r r- r r\ )
r_ rd r r[ r~ r r r- r r\ )p__doc__
__future__r rA r r| operator_modcollections.abcr r r r typingr r astroidr
r r r
r r
astroid.constr astroid.contextr r astroid.exceptionsr r r r r
astroid.nodesr astroid.typingr r r lazy_importr r r r r r( r- r
BIN_OP_METHODrg REFLECTED_BIN_OP_METHODAUGMENTED_OP_METHODUNARY_OP_METHODposneginvertnot_rR __annotations__rY infer_unary_opSetr r matmulr r _KEY_IMPLyes_if_nothing_inferredr infer_binary_opr r r r r r r raise_if_nothing_inferredr r= r
Comprehensionr r
AssignName
AssignAttrr r Argumentsr r r< AnnAssign AugAssignr r
ExceptHandlerr r" Withr& NamedExprrY r0 r_ MatchMappingrc MatchStarrj MatchAsr$ r* r' r s
# " " " " " C C C C C C C C C C C C F F F F F F F F F F F F F F F F ! ! ! ! ! ! : : : : : : : : ' & & & & & t //
$
9
%
% '+U[%*EE .
4A4G4G4I4I :G:M:M:O:O
5 5
&
&
&
& T S K K
OO M M R R
4 ))++,, $ $KD% #Ks
#! ! ! $#! H 4 & * * * * #* * * $#* Z 1 /
#3 3 3 $#3 "@ !?
& & &R % 48'+$( &%8 . %7 "
48'+$( 0 5 3
48'+$( B B B B B #8 "7 : : : : ~ 48'+$( > > > > >: ": % 48'+$( &%. 48'+$(
4 !9 !6 % % %P % 48'+$( &%& &B "#' #' #'L % 48'+$( L L L L &%L^ 0
% (,$(
&%
$ "; # 48'+$( A A A A $#A H 6
# (,
$#
%A ! # (,
$#
"; # (, ) ) ) ) $#)" 7
r*