+ i(Rt^RIHt^RIt^RIHtHt^RIHt^RI H t ^RI H t H t Ht^RIHtHtHt^RIHt]P*R8d^R I HtM^R IHt] 'd^R I Ht] P2] P4,] P6,] P8,t!R R ]4t!R R]4t!RR]4t !RR]4t!!RR]4t"RRlt#]$!]] ]!]"34t%RRlt&RRRllt'R#)zHClasses representing different types of constraints on inference values.) annotationsN)ABCabstractmethod)Iterator) TYPE_CHECKING)helpersnodesutil)AstroidTypeErrorInferenceErrorMroError)InferenceResult)Self)basesc`]tRt^tRtRRlt]]R RRll44t]RRl4t Rt R #) Constraintz-Represents a single constraint on a variable.c$V^8dQhRRRRRR/#)node nodes.NodeNGnegateboolreturnNone)formats"4/usr/lib/python3/dist-packages/astroid/constraint.py __annotate__Constraint.__annotate__ s&RR\R4RDRc WnW nR#)Nrr)selfrrs&&&r__init__Constraint.__init__ s 7 Qrc(V^8dQhRRRRRRRR/# rr _NameNodesexprrrrrz Self | Noner)rs"rrr(s,   %1 ;?  rc R#)zReturn a new constraint for node matched from expr, if expr matches the constraint pattern. If negate is True, negate the constraint. Nrclsrr(rs&&&&rmatchConstraint.match&rc V^8dQhRRRR/#rinferredr rrr)rs"rrr2sWW_WWrc R#)HReturn True if this constraint is satisfied by the given inferred value.Nrr"r1s&&r satisfied_byConstraint.satisfied_by1r.r)rrNF) __name__ __module__ __qualname____firstlineno____doc__r# classmethodrr,r5__static_attributes__rrrrrs=7R   WWrrcp]tRt^6t$Rt]P !R4tR]R&] R RRll4t RRlt R t R#) NoneConstraintz4Represents an "is None" or "is not None" constraint.Nz nodes.Const CONST_NONEc(V^8dQhRRRRRRRR/#r&r)rs"rrNoneConstraint.__annotate__<s,%1;? rc \V\P4'd\VP4^8XdVP pVP^,wrVVR9da\ WA4'dP\ W`P4'd5VR8H;'d T;'gVR8H;'dV'*pV!WR7#R#)zReturn a new constraint for node matched from expr, if expr matches the constraint pattern. Negate the constraint based on the value of negate. isis notr!N>rErF) isinstancerComparelenopsleft_matchesrA)r+rr(rrKoprights&&&& rr,NoneConstraint.match;s dEMM * *s488}/A99D IB%%$$%)H)H*//SSR8^5R5RF 44rc V^8dQhRRRR/#r0r)rs"rrrCOsAA_AArc zV\PJdR#VP\WP4, #)r3T)r UninferablerrLrAr4s&&rr5NoneConstraint.satisfied_byOs/ t'' '{{Xh@@@rrr7) r8r9r:r;r<rConstrA__annotations__r=r,r5r>rrrr@r@6s6>#kk$/J /&AArr@c@]tRt^YtRt]RRRll4tRRltRtR#) BooleanConstraintz(Represents an "x" or "not x" constraint.c(V^8dQhRRRRRRRR/#r&r)rs"rrBooleanConstraint.__annotate__],%1;? rc \W!4'd V!WR7#\V\P4'd<VPR8Xd+\VP V4'dV!W'*R7#R#)zReturn a new constraint for node if expr matches one of these patterns: - direct match (expr == node): use given negate value - negated match (expr == `not node`): flip negate value Return None if no pattern matches. r!notN)rLrGrUnaryOprMoperandr*s&&&&rr,BooleanConstraint.match\sZ D  D0 0 tU]] + +5 t,,D4 4rc V^8dQhRRRR/#r0r)rs"rrrYss 1 1_ 1 1rc VP4pV\PJgV\PJdR#VPV, #)zReturn True for uninferable results, or depending on negate flag: - negate=False: satisfied if boolean value is True - negate=True: satisfied if boolean value is False T) bool_valuer rRr)r"r1inferred_booleanesss&& rr5BooleanConstraint.satisfied_byssB '113 t'' '+>$BRBR+R{{000rrNr7) r8r9r:r;r<r=r,r5r>rrrrWrWYs!2, 1 1rrWcXa]tRt^tRtRV3Rllt]R RRll4tRRltRt V;t #) TypeConstraintz,Represents an "isinstance(x, y)" constraint.c(V^8dQhRRRRRRRR/#)rrr classinforrrrr)rs"rrTypeConstraint.__annotate__s,## #-9#CG# #rc 4<\SV`WR7W nR#r!N)superr#rh)r"rrhr __class__s&&&&rr#TypeConstraint.__init__s d2"rc(V^8dQhRRRRRRRR/#r&r)rs"rrris,%1;? rc \V\P4;'d\VP\P4;'dSVPP R8H;'d2VP '*;'d\VP4^8HpV'd?\VP^,V4'dV!WP^,VR7#R#)zdReturn a new constraint for node if expr matches the "isinstance(x, y)" pattern. Else, return None. rG)rrhrN) rGrCallfuncNamenamekeywordsrIargsrL)r+rr(ris_instance_calls&&&& rr,TypeConstraint.matchs tUZZ ( $ $499ejj1 $ $ ,. $ $MM! $ $DII!#  1t < <DIIaLH Hrc V^8dQhRRRR/#r0r)rs"rrris_rc (V\PJdR#\P!VP4p\P !W4pV\PJdR#VP V, # \\\3dR#i;i)zReturn True for uninferable results, or depending on negate flag: - negate=False: satisfied when inferred is an instance of the checked types. - negate=True: satisfied when inferred is not an instance of the checked types. T) r rRrclass_or_tuple_to_containerrhobject_isinstancerr r r )r"r1typesmatches_checked_typess&& rr5TypeConstraint.satisfied_bysz t'' ' 77GE$+$=$=h$N !$(8(88;;!66 6 0(;  sA A7$A77BB)rhr7 r8r9r:r;r<r#r=r,r5r> __classcell__rms@rrfrfs.6## $rrfcXa]tRt^tRtRV3Rllt]R RRll4tRRltRt V;t #) EqualityConstraintz%Represents a "==" or "!=" constraint.c(V^8dQhRRRRRRRR/#)rrrr^rrrrr)rs"rrEqualityConstraint.__annotate__s)\L$SWrc 4<\SV`WR7W nR#rk)rlr#r^)r"rr^rrms&&&&rr#EqualityConstraint.__init__s d2 rc(V^8dQhRRRRRRRR/#r&r)rs"rrrrZrc \V\P4'd\VP4^8XdVP pVP^,wrV\ WA4pVR9d[V'g\ Wa4'dBV'dTMTpVR8H;'d T;'gVR8H;'dV'*pV!WVR7#R#)zReturn a new constraint for node if expr matches one of these patterns: - "node == operand" or "operand == node": use given negate value - "node != operand" or "operand != node": flip negate value Return None if no pattern matches. ==!=)rr^rN>rr)rGrrHrIrJrKrL) r+rr(rrKrMrN matches_leftr^s &&&& rr,EqualityConstraint.matchs dEMM * *s488}/A99D IB#D/L\!|x7L7L#/%T*//OOR4Z5N5NJfEErc V^8dQhRRRR/#r0r)rs"rrrs_rc V\PJdR#\P!VP4pV\PJgVfR#\ V\ P 4'dK\ V\ P 4'd+VPVPVP8H, #VP4'd+VP4'dVPWJ, #R#)aReturn True for uninferable/ambiguous results, or depending on negate flag: - negate=False: satisfied when both operands are equal. - negate=True: satisfied when both operands are not equal. Only comparisons between constants and callables are supported. T) r rR safe_inferr^rGrrTrvaluecallable)r"r1operand_inferreds&& rr5EqualityConstraint.satisfied_bys t'' '??4<<8 t// /3C3K h , , ekk2 2 ;;(..4D4J4J"JK K     #3#<#<#>#>;;(">? ?r)r^r7rrs@rrrs./,rrc$V^8dQhRRRRRR/#)rr(r'frameznodes.LocalsDictNodeNGrz-dict[nodes.If | nodes.IfExp, set[Constraint]]r)rs"rrrs$ 32rc|Tp/pVeW!JdVPp\V\P\P34'doVP V4wrVRpVR8Xd \ \WP44pM'VR8Xd!\ \WPRR74pV'dWsV&TpKV#)a4Returns 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) parentrGrIfIfExp locate_childset_match_constrainttest)r(r current_nodeconstraints_mappingrbranch_ constraintss&& rget_constraintsrs)-LIK  "|'@$$ fuxx5 6 6++L9IF26K!"3D++"FG 8#!"3D++d"ST .9F+ rc$V^8dQhRRRRRR/#)rnode1znodes.NodeNG | bases.Proxynode2rrrr)rs"rrrs"  . |  rcl\V\P4'd:\V\P4'dVPVP8H#\V\P4'db\V\P4'dBVP VP 8H;'d!\ VPVP4#\V\P4'd:\V\P4'dVPVP8H#R#)z$Returns True if the two nodes match.F) rGrrsrt AttributeattrnamerLr(rTr)rrs&&rrLrLs%$$E5::)F)FzzUZZ''%))j.P.P~~/TTHUZZ4TT%%%*UEKK*H*H{{ekk)) rc(V^8dQhRRRRRRRR/#) rrr'r(rrrrzIterator[Constraint]r)rs"rrrs, (26rc#h"\F#pVPWV4pV'gKVxK% R#5i)z3Yields all constraint patterns for node that match.N)ALL_CONSTRAINT_CLASSESr,)rr(rconstraint_cls constraints&&& rrrs.1#))$f= : 1s!2 2) r7)(r< __future__rsysabcrrcollections.abcrtypingrastroidrrr astroid.exceptionsr r r astroid.typingr version_infortyping_extensionsr AssignAttrr AssignNamersr'rr@rWrfrr frozensetrrLrrrrrs O" #$ ((II*w&    /%2B2B BUZZ O WW2 AZ AF$1 $1N.Z.b55p<# & r