k/I d Z ddlmZ ddlZddlZddlZddlmZ ddlmZm Z m
Z
ddl m Z m
Z
ddlmZ ddlmZmZmZmZ dd lmZmZmZmZ dd
lmZm Z m Z dd l m Z m Z m!Z!m"Z" ej# d k rdd
lm$Z$ ndd
l%m$Z$ erddl&m'Z' e"d Z( e"d Z) e"d Z*dZ+dZ,ddhZ-ere-. d h dZ/d4d5d Z0 G d d Z1 d4d6d$Z2d% Z3 G d& d'e1 Z4 G d( d)e4 Z5 G d* d+e1 Z6 G d, d-e6 Z7 G d. d/e4 Z8 G d0 d1e8 Z9 G d2 d3e4 Z:dS )7zXThis module contains base classes and functions for the nodes and some
inference utils.
) annotationsN)Sequence)
TYPE_CHECKINGAnyClassVar)
decoratorsnodes)
PY310_PLUS) CallContextInferenceContextbind_context_to_node copy_context)AstroidTypeErrorAttributeInferenceErrorInferenceErrorNameInferenceError)
InferBinaryOpInferenceErrorInfoInferenceResult) UninferableUninferableBaselazy_descriptor lazy_import) )Literal)
Constraintzinterpreter.objectmodelhelpersmanager__bool__builtinszbuiltins.propertyzabc.abstractpropertyz
enum.property> lazyreify LazyProperty lazyproperty
lazy_property
lazyattributecache_readonlycachedpropertylazy_attributecached_propertyDynamicClassAttributecontextInferenceContext | Nonereturnboolc ( | | }t | rdS d |D t fdt D rdS | j sdS | j j pdD ]}t || }|t |t r6|j j dk rR|j
D ]J}|j j dk r| |j \ }}|j d k r|j d
k r dS KdS ) Nr- Tc n h | ]2}t |t | d d 3S ).)
isinstancer split).0names _/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib/python3.11/site-packages/astroid/bases.py z _is_property..Q sG $00
3 c 3 K | ]}|v V d S N )r8 r9 strippeds r: z _is_property..V s(
<
<48
<
<
<
<
<
> ;*,, J1N1N 444 5r< c @ e Zd ZU dZdZded< dddZd Z dddZdS )ProxyzA simple proxy object.
Note:
Subclasses of this object will need a custom __getattr__
if new instance attributes are created. See the Const class
N,nodes.ClassDef | nodes.Lambda | Proxy | None_proxiedproxiedr/ Nonec n |+t | t j t t f sJ d S || _ d S r> )r6 r Const Generator UnionTyperY )selfrZ s r: __init__zProxy.__init__x s; ? dU[)Y$GHH H HH H H #DMMMr< c | |dk r | j j S || j v r
| j | S t | j | S )NrY )rK rY __dict__getattr)r` r9 s r: __getattr__zProxy.__getattr__ sD : >* * 4= =& &t}d+++r< r- r. kwargsr Kcollections.abc.Generator[InferenceResult, None, InferenceErrorInfo | None]c + K | V d S r> r? )r` r- rf s r: inferz Proxy.infer s
r< r> )rZ rX r/ r[ )r- r. rf r r/ rg ) rL
__module__ __qualname____doc__rY __annotations__ra re ri r? r< r: rW rW k s
GK
$
$
$
$
$ , , , 26 r< rW stmts3Sequence[nodes.NodeNG | UninferableBase | Instance]frame nodes.NodeNG | Instance | None6collections.abc.Generator[InferenceResult, None, None]c # K d}d}|7|j }| }|j |i }nd}i }t }| D ]}t |t r|V d} | || |_ t }| D ]/\ } }
|
| s| |
0| | D ]& t fd|D r V d}$d}'# t $ r Y t $ r t V d}Y w xY w|s
|r t V dS |st d| || dS )zGReturn an iterator on statements inferred by each statement in *stmts*.FNTr2 c 3 B K | ]}| V d S r> ) satisfied_by)r8
constraintinfs r: rA z _infer_stmts.. s1 WW
z..s33WWWWWWr< z.Inference failed for all members of {stmts!r}.)rn rp r- )
lookupnameclone constraintsgetr r6 r _infer_namesetitems parent_ofupdateri allr r r ) rn r- rp rQ constraint_failedr9 rz stmtstmt_constraintsconstraint_stmtpotential_constraintsrw s @r: _infer_stmtsr s
H !--// )--dB77 "$$ dO , , JJJH ! - -eT : : 03 :E:K:K:M:M
C
C6!6&0066 C$++,ABBBzz'z22
-
-WWWWFVWWWWW - III #HH(,%%
- " H HHH
)
<
s BD
E+EEc $ t | || d }|rt |d r| st S t g | |_ | | | D ]x}t |t r|c S t |
| }n## t $ r}t | |d }~ww xY w|
c S n# t $ r Y nw xY wt S )Nr2 infer_call_resultargscallee)nextigetattrhasattrcallabler r callcontextr r6 r ri
StopIterationr
bool_value)instance method_namer- rO valuerQ es r: _infer_method_result_truthr sK !!+w!?? F FD 122 }} "-2d"C"C"CG //'/JJ
-
- e_55 ! LLLA #EKKK$@$@ A AHH$ A A A(999q@A **,,,,,
- D s7 AC; #C C;
C! C C!!C; ;
DDc H e Zd ZdZdZddZddd Zddd
Zddd Z dddZ dS ) BaseInstancezWAn instance base class, which provides lookup methods for potential
instances.
Nr/ strc dS Nz Instance ofr? r` s r: display_typezBaseInstance.display_type }r< Tr- r. c | j || }ny# t $ rl}| j r)|| j v r | j | gcY d }~S |r"| j ||d cY d }~S t | || |d }~ww xY w|r1 || j ||d z S # t $ r Y nw xY w|S )NF
class_context)target attributer- )rY
instance_attrr special_attributesrN rd )r` r9 r- lookupclassvaluesexcs r: rd zBaseInstance.getattr s;
]00w??FF& &
>443J+J+J /66t<<=======
Q },,T7%,PPPPPPPP)tW
5 5' !6 ! ! +
s>
B*BB B6B<BB B: :
CCc # 4 K |st } ||_ | | j rt d| | | ||d }t
| || || E d{V dS # t $ r | j j j
dk r | j ||d }| || E d{V Y dS # t $ r }t d i t | |d}~ww xY ww xY w)
zInferred getattr.z%Cannot infer the same attribute again)messagenoder- F)r )rp NrB r r? )
r rx pushrY r rd r
_wrap_attrr rK rL r vars)r` r9 r- get_attrattrserrors r: r zBaseInstance.igetattr s )&((G ?!%G ||DM**
$ C # ||D'u|EEH#'22G4
'
?
?
?
? =*3zAA
..tWE.RR ??5'::::::::::::*
?
?
?$33tE{{33>
?
?s+ A7B
DAC**
D4DDDc # x K |D ]}t |t r?t | r | | | E d{V Ct || V Vt |d rJ|j dk r?|j j r.|j j d j dk rt || V |V |V dS )z8Wrap bound methods of attrs in a InstanceMethod proxies.Nr9 zr r` ) r6
UnboundMethodrU r BoundMethodr r9 r arguments)r` r r- attrs r: r zBaseInstance._wrap_attr! s D$
..
%% 2 # 5 5dG D DDDDDDDDD%dD111111v&&
49
+B+B9& 49+>q+A+F&+P+P%dD11111
r< callernodes.Call | Proxyc # K t || }d}t |t j rHt |j t j r)| |j j | D ]}d}|V | j d| D ]K}t |t s|
s,| || D ]}d}|V L|st | || dS )z5Infer what a class instance is returning when called.FT__call__)r r r- N)
r
r6 r Callfunc Attributer attrnamerY r r r r )r` r r- rQ resr s r: r z BaseInstance.infer_call_result1 s 'w55 fej ) ) jeo.V.V }}V[%97CC
M**:w?? D$00
--fg>>
L d67KKK K L Lr< r/ r NTr- r. r> )r r r- r. )
rL rj rk rl r r rd r r r r? r< r: r r s 4 ? ? ? ? ?> " NRL L L L L L Lr< r c e Zd ZU dZded< ed Zd fd Zd
ed < dd
ZddZ ddZ
ddZ ddZ dd dZ
dd dZ xZS ) Instancez-A special node representing a class instance.nodes.ClassDefrY c 4 t S r> ) objectmodel
InstanceModelr? r< r: zInstance.O s 1J1J1L1L r< rZ nodes.ClassDef | Noner/ r[ c J t | d S r> )superra )r` rZ rK s r: ra zInstance.__init__Q s!
!!!!!r< z!ClassVar[InferBinaryOp[Instance]]infer_binary_opr c d | j j | j j t | S )Nz)formatrY rootr9 idr s r: __repr__zInstance.__repr__V s= ,33 M %t}'92d88
r< c ^ d| j j d| j j S )Nz Instance of r4 )rY r r9 r s r: __str__zInstance.__str__[ s. Ndm 0 0 2 2 7NN$-:LNNNr< r0 c b | j dd dS # t $ r Y dS w xY w)Nr Fr T)rY rd r r s r: r zInstance.callable^ sI M ! !*E ! B B B4& 55 s
..c 4 | j S r> )rY qnamer s r: pytypezInstance.pytypee s }""$$$r< c dS r r? r s r: r zInstance.display_typeh r r< Nr- r. c |p
t }| |_ t | t | }nC# t t
f$ r/ t | d| }n# t
t f$ r Y Y dS w xY wY nw xY w|S )aW Infer the truth value for an Instance.
The truth value of an instance is determined by these conditions:
* if it implements __bool__ on Python 3 or __nonzero__
on Python 2, then its bool value will be determined by
calling this special method and checking its result.
* when this method is not defined, __len__() is called, if it
is defined, and the object is considered true if its result is
nonzero. If a class defines neither __len__() nor __bool__(),
all its instances are considered true.
__len__T)r boundnoder BOOL_SPECIAL_METHODr r )r` r- results r: r zInstance.bool_valuek s / - / / /6I7SSFF 78
3D)WMM+^<
ttt
s3 0 A0AA0A*%A0)A**A0/A0c t || }|s|}t | d| d }t |g| |_ t |t st d| | t |j j
dk rt d| | t | | | d S )N __getitem__r2 r z(Could not find __getitem__ for {node!r}.)r r- z8__getitem__ for {node!r} does not have correct signature)
r
r r r r r6 r r lenr r r r )r` indexr- new_contextmethods r: getitemzInstance.getitem s *7D99 "!GdmmM7mCCTJJ"-E76"J"J"J &+.. :w
v{$ % % * *"J
F,,T;??FFFr< )rZ r r/ r[ r )r/ r0 r> r )rL rj rk rl rm r r ra r r r r r r r
__classcell__rK s @r: r r I s 77 ) )L)LMM" " " " " " 7666
O O O O % % % % 4G G G G G G G G Gr< r c n e Zd ZdZ ed ZddZddZdd Zddd
Z dddZ
d Z d dZ dd dZ
d
S ) r z>A special node representing a method not bound to an instance.c 4 t S r> )r UnboundMethodModelr? r< r: r zUnboundMethod. s 1O1O1Q1Q r< r/ r c | j j d }d | j j | j j | t | S )NTfuturez<{} {} of {} at 0x{}) rY parentrp r rK rL r9 r r )r` rp s r: r zUnboundMethod.__repr__ sV
$**$*77%,, N #T]%7 4
r<
Literal[0]c dS )Nr r? r s r: implicit_parametersz!UnboundMethod.implicit_parameters s qr< Literal[False]c dS NFr? r s r: is_boundzUnboundMethod.is_bound ur< Nr- r. c || j v r| j | gS | j || S r> )r rN rY rd r` r9 r- s r: rd zUnboundMethod.getattr sB 4* * *+224889 9}$$T7333r< c || j v r(t | j | f S | j || S r> )r iterrN rY r r s r: r zUnboundMethod.igetattr sJ 4* * *077==?@@ @}%%dG444r< c | j j dk rc| j j d }| d r |dk r| || S | j || S )a
The boundnode of the regular context with a function called
on ``object.__new__`` will be of type ``object``,
which is incorrect for the argument in general.
If no context is given the ``object.__new__`` call argument will
be correctly inferred except when inside a call that requires
the additional context (such as a classmethod) of the boundnode
to determine which class the method was called from
__new__Tr z builtins.
builtins.type)rY r9 r rp r
startswith_infer_builtin_newr )r` r r- r s r: r z UnboundMethod.infer_call_result s = * *M(..d.;;AACCE ,,
@/1I1I..vw???}..vw???r< r
nodes.Callr Ocollections.abc.Generator[nodes.Const | Instance | UninferableBase, None, None]c # K |j sd S t |j dk rd }t |j d t j r|j d j }nNt
|j d d }t |t j r|j }|t j | V d S |j
|j d }|j d | D ]L}t |t r|V t |t j rt | V t d S )N r r2 )r r r6 r r] r r ri
const_factory
extra_contextr{ r rB r r )r` r r- r inferred_arg node_contextrQ s r: r z UnboundMethod._infer_builtin_new sO { F v{ a E&+a.%+66
/ A, #FKN$8$8$:$:D A A lEK88 / ( .E )%00000 ,00Q @@ A,,\,BB ! !H(O44
(EN33
) x((((( ! !r<
Literal[True]c dS r r? r` r- s r: r zUnboundMethod.bool_value tr< r )r/ r r/ r r> r )r r r- r r/ r r- r. r/ r )rL rj rk rl r r r r r rd r r r r r? r< r: r r s HH ) )Q)QRR
4 4 4 4 4
5 5 5 5 5
@ @ @( ! ! ! !< r< r c h e Zd ZdZ ed Z fdZddZddZd Z dd fd
Z
dddZ xZ S )r z:A special node representing a method bound to an instance.c 4 t S r> )r BoundMethodModelr? r< r: r zBoundMethod. s 1M1M1O1O r< c X t | || _ d S r> )r ra bound)r` proxyr rK s r: ra zBoundMethod.__init__ s&
r< r/
Literal[0, 1]c | j dk rdS dS )Nr r r )r9 r s r: r z BoundMethod.implicit_parameters s 9 ! !1qr< r c dS r r? r s r: r zBoundMethod.is_bound r r< c ddl m} t |j d }n## t
$ r}t
|d}~ww xY w|j j dk rdS | d sdS t |j d }n## t
$ r}t
|d}~ww xY w|j j dk rdS t |j t sdS t |j d }n## t
$ r}t
|d}~ww xY w|j j d
k rdS fd |j
D }n## t
$ r}t
|d}~ww xY wt d |D rdS t |j d
} n## t
$ r}t
|d}~ww xY w| j j dk rdS t j t" }
| j D ]\ } } t | } n## t
$ r}t
|d}~ww xY w t | } n## t
$ r}t
|d}~ww xY w| j j dk r:t | j t r |
| j | | |j |j |j | }
| }|
|j
|gg d|g |
|
_ |
S )zTry to infer what type.__new__(mcs, name, bases, attrs) returns.
In order for such call to be valid, the metaclass needs to be
a subtype of ``type``, the name needs to be a string, the bases
needs to be a tuple of classes
r )Passr2 NrB r r r] r Tuplec V g | ]%}t | &S )r2 )r ri )r8 eltr- s r:
z4BoundMethod._infer_type_new_call..) s/ U U U3d399W9#=#= > > U U Ur< c 3 6 K | ]}|j j d k V dS )rB N)rK rL )r8 bases r: rA z3BoundMethod._infer_type_new_call.., s, PPt~&*4PPPPPPr< r Dict)r9 lineno
col_offsetr T)rM bodyr newstyle metaclasskeywords)
astroid.nodesr r r ri r r rK rL
is_subtype_ofr6 r r eltsrH collections defaultdictlistr~ appendr# r$ postinitlocals)r` r r- r mcsr r9 rM inferred_basesr
cls_localskeyr clsemptys ` r: _infer_type_new_callz BoundMethod._infer_type_new_call s '&&&&& 9v{1~++G+<<==CC 9 9 9 111q 8 9 = !Z / /4 11 4 9 A,,W,==>>DD 9 9 9 111q 8 9 > "g - -4$*c** 4 9Q --g->>??EE 9 9 9 111q 8 9 ? #w . .4 9 U U U U%* U U UNN 9 9 9 111q 8 9 PP PPP P P 4 9Q --g->>??EE 9 9 9 111q 8 9 ? #v - -4 ,T22
+ 4 4JC
=399W95566
=
=
=$W5551<
=
= U[[[ 9 9::
=
=
=$W5551<
= }%00Z 35O5O039%,,U333 mm= (
*
s .8
AAA.B4 4
C>CC.D5 5
E?EE+E? ?
F FF >.G- -
H
7HH
#I,,
J 6JJ #J44
K>KKNr- r. c R t || j }| j j j dk r[| j j dk rK| j dk r@t |j dk r(| || }|rt |f S t
|| S )NrB typer ) r
r rK rL r9 r r r8 r r r )r` r r- new_clsrK s r: r z BoundMethod.infer_call_resultY s &w
;; J )Z 7 7
6)) Y&&FK A%% //@@G
(WJ'''ww((999r< c dS r r? r
s r: r zBoundMethod.bool_valueh r r< )r/ r )r/ r r> r r )
rL rj rk rl r r ra r r r8 r r r r s @r: r r s DD ) )O)OPP Y Y Yv
:
:
:
:
:
:
: r< r c e Zd ZU dZded< eej Z dd fd
Z e
j d Z dd Z
dd
ZddZdddZddZddZ xZS ) r^ zeA special node representing a generator.
Proxied class is set once for all in raw_building.
r rY Ngenerator_initial_contextr. c ~ t || _ t | | _ d S r> )r ra r r
_call_context)r` r r? rK s r: ra zGenerator.__init__v s9 )*C D Dr< c # T K | j | j E d {V d S r> )r infer_yield_resultrA r s r: infer_yield_typeszGenerator.infer_yield_types} s7 ;11$2DEEEEEEEEEEEr< r/ r c dS r r? r s r: r zGenerator.callable r r< Literal['builtins.generator']c dS )Nzbuiltins.generatorr? r s r: r zGenerator.pytype s ##r< r c dS )Nr^ r? r s r: r zGenerator.display_type {r< r- r c dS r r? r
s r: r zGenerator.bool_value r r< c R d| j j d| j dt | dS )Nz rY r9 r# r r s r: r zGenerator.__repr__ 0 ST] /SST[SS4SSSSr< c " d| j j dS )Nz
Generator()rY r9 r s r: r zGenerator.__str__ 1DM .1111r< )NN)r? r. r )r/ rF r r> r )rL rj rk rl rm r r GeneratorModelr ra r cachedrD r r r r r r r r s @r: r^ r^ l s
( )CDD QUE E E E E E E F F F $ $ $ $ T T T T2 2 2 2 2 2 2 2r< r^ c 2 e Zd ZdZd
dZd dZd dZd dZd S ) AsyncGeneratorz-Special node representing an async generator.r/ #Literal['builtins.async_generator']c dS )Nzbuiltins.async_generatorr? r s r: r zAsyncGenerator.pytype s ))r< r c dS )NrX r? r s r: r zAsyncGenerator.display_type s r< c R d| j j d| j dt | dS )Nz )r ra r r_ ra )r` r_ ra r rK s r: ra zUnionType.__init__ s4
r< r c dS r r? r s r: r zUnionType.callable r r< r- r. r c dS r r? r
s r: r zUnionType.bool_value r r< Literal['types.UnionType']c dS )Nztypes.UnionTyper? r s r: r zUnionType.pytype s r< r c dS )Nr_ r? r s r: r zUnionType.display_type rI r< c R d| j j d| j dt | dS )Nz )r_ r` ra r` r rb r/ r[ r r )r/ rf r )
rL rj rk rl rm ra r r r r r r r r s @r: r_ r_ s
'+ ! ! ! ! T T T T2 2 2 2 2 2 2 2r< r_ r> )r- r. r/ r0 )rn ro r- r. rp rq r/ rr );rl
__future__r r, collections.abcsysr typingr r r astroidr r
astroid.constr
astroid.contextr r r
r astroid.exceptionsr r r r astroid.typingr r r astroid.utilr r r r version_infor typing_extensionsastroid.constraintr r r r r BUILTINSrF addrI rU rW r r r r r r r^ rX r_ r? r< r: rz s
# " " " " "
$ $ $ $ $ $ / / / / / / / / / / % % % % % % % % $ $ $ $ $ $ N M M M M M M M M M S S S S S S S S S S S Sv )))))) .------k344
+i
+i
! !#9
:
$NN?### <& & & & & & & &X -11
1
1
1
1
h ,hL hL hL hL hL5 hL hL hLVMG MG MG MG MG| MG MG MG`O O O O OE O O Od~ ~ ~ ~ ~- ~ ~ ~B%2 %2 %2 %2 %2 %2 %2 %2P
7
7
7
7
7Y
7
7
7 #2 #2 #2 #2 #2 #2 #2 #2 #2 #2r<