G~6 D d Z ddlmZ ddlZddlmZmZ ddlmZ ddl m
Z
ddl m Z m
Z
mZ ddlmZ ej d k rdd
l mZ ndd
lmZ e
e
j e
j e
j e
j f Z G d d e Z G d
de Zd!dZ e ef Z d"dZ d#d$d Z dS )%zHClasses representing different types of constraints on inference values. ) annotationsN)ABCabstractmethod)Iterator)Union)basesnodesutil)InferenceResult) )Selfc ^ e Zd ZdZddZee ddd Zedd ZdS )
Constraintz-Represents a single constraint on a variable.node nodes.NodeNGnegateboolreturnNonec $ || _ || _ d S )Nr r )selfr r s d/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib/python3.11/site-packages/astroid/constraint.py__init__zConstraint.__init__ s 7 QQ Fcls
type[Self]
_NameNodesexpr Self | Nonec dS )zReturn a new constraint for node matched from expr, if expr matches
the constraint pattern.
If negate is True, negate the constraint.
N )r r r r s r matchzConstraint.match! r inferredr c dS )HReturn True if this constraint is satisfied by the given inferred value.Nr# r r& s r satisfied_byzConstraint.satisfied_by, r% r N)r r r r r r F
r r r r r r r r r r! r& r r r ) __name__
__module__ __qualname____doc__r classmethodr r$ r* r# r r r r s 77R R R R NS ^ [ W W W ^W W Wr r c b e Zd ZU dZ ej d Zded< e ddd Z ddZ
dS )NoneConstraintz4Represents an "is None" or "is not None" constraint.Nz nodes.Const
CONST_NONEFr r r r r r r r r r! c & t |t j rvt |j dk r^|j }|j d \ }}|dv rCt
|| r3t
|| j r |dk r|p|dk o| } | || S dS )zReturn a new constraint for node matched from expr, if expr matches
the constraint pattern.
Negate the constraint based on the value of negate.
r > isis notr8 r9 r N)
isinstancer Comparelenopsleft_matchesr5 )r r r r r> oprights r r$ zNoneConstraint.match6 s dEM * * 5s48}}/A/A9D IB%%%t$$ &)1% )H)H & */SR8^5RF
sV4444tr r& r c t t |t j rdS | j t || j z S )r( T)r: r
UninferableBaser r? r5 r) s r r* zNoneConstraint.satisfied_byJ s9 h 4 5 5 4 {Xh @ @@@r r+ r, r- ) r. r/ r0 r1 r Constr5 __annotations__r2 r$ r* r# r r r4 r4 1 sy >> )ek$ / /J////NS [&A A A A A Ar r4 r r framenodes.LocalsDictNodeNGr dict[nodes.If, set[Constraint]]c T | }i }|||ur|j }t |t j rt| | \ }}d}|dk r#t t
| |j }n*|dk r$t t
| |j d }|r|||< |}|||u|S )aH Returns the constraints for the given expression.
The returned dictionary maps the node where the constraint was generated to the
corresponding constraint(s).
Constraints are computed statically by analysing the code surrounding expr.
Currently this only supports constraints generated from if conditions.
NbodyorelseT)invert)parentr: r If locate_childset_match_constrainttest)r rF current_nodeconstraints_mappingrM branch_ constraintss r get_constraintsrX T s )-L;=
"|5'@'@ $ feh ' ' : ++L99IFA26K !"3D&+"F"F G G 8## !"3D&+d"S"S"S T T
:.9#F+
"|5'@'@ r node1nodes.NodeNG | bases.Proxynode2r r c t | t j r*t |t j r| j |j k S t | t j rDt |t j r*| j |j k ot
| j |j S t | t j r*t |t j r| j |j k S dS )z$Returns True if the two nodes match.F)
r: r Namename Attributeattrnamer? r rD value)rY r[ s r r? r? v s %$$ (E5:)F)F (zUZ''% )) Uj.P.P U~ /THUZ4T4TT%%% **UEK*H*H *{ek)) 5r Fr rL Iterator[Constraint]c # X K t D ] }| | || }|r|V dS )z3Yields all constraint patterns for node that match.N)ALL_CONSTRAINT_CLASSESr$ )r r rL constraint_cls
constraints r rQ rQ sM 1 #))$f==
r )r r rF rG r rH )rY rZ r[ r r r r+ )r r r r rL r r rb ) r1
__future__r sysabcr r collections.abcr typingr astroidr r r
astroid.typingr version_infor typing_extensions
AssignAttrr_
AssignNamer] r r r4 rX frozensetrd r? rQ r# r r rs s
O N " " " " " "
# # # # # # # # $ $ $ $ $ $ & & & & & & & & & & * * * * * *w &&&&&&
5#U_e6F
R
S
W W W W W W W W2 A A A A AZ A A AF < #N#455 % :? r