5 fUBUdZddlmZddlZddlZddlmZddlmZddlm Z ddl m Z m Z m Z ddlmZdd lmZmZdd lmZmZdd lmZmZmZmZdd lmZdd lmZmZm Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'ddl(m)Z)m*Z*ddhZ+hdZ,de-d<ddhZ.de-d<dZ/e0e1edgZ2e3dZ4dZ5d=dZ6 d>d?d#Z7d=d$Z8 d>d@d'Z9dAd)Z: d>dBd*Z;dCd,Z< d>dBd-Z= d>dDd/Z>dEd0Z?dFd2Z@ d>dGd3ZAdEd4ZB d>dGd5ZCdEd6ZD d>dHd8ZEd9ZFdId<ZGdS)Jz$Astroid hooks for typing.py support.) annotationsN)Iterator)partial)Final)context extract_node inference_tip)register_module_extender)AstroidBuilder_extract_single_node) PY39_PLUS PY312_PLUS)AstroidSyntaxErrorAttributeInferenceErrorInferenceErrorUseInferenceDefault)AstroidManager) Assign AssignName AttributeCallConst JoinedStrNameNodeNG SubscriptTuple)ClassDef FunctionDefTypeVarNewType>typing.NewTypetyping.TypeVartyping_extensions.TypeVarrTYPING_TYPEVARS_QUALIFIEDztyping.TypedDictztyping_extensions.TypedDictTYPING_TYPEDDICT_QUALIFIEDz class Meta(type): def __getitem__(self, item): return self @property def __args__(self): return () class {0}(metaclass=Meta): pass __all__)(ztyping.Hashableztyping.Awaitableztyping.Coroutineztyping.AsyncIterableztyping.AsyncIteratorztyping.Iterableztyping.Iteratorztyping.Reversiblez typing.Sizedztyping.Containerztyping.Collectionztyping.Callableztyping.AbstractSetztyping.MutableSetztyping.Mappingztyping.MutableMappingztyping.Sequenceztyping.MutableSequenceztyping.ByteStringz typing.Tuplez typing.Listz typing.Dequez typing.Setztyping.FrozenSetztyping.MappingViewztyping.KeysViewztyping.ItemsViewztyping.ValuesViewztyping.ContextManagerztyping.AsyncContextManagerz typing.Dictztyping.DefaultDictztyping.OrderedDictztyping.Counterztyping.ChainMapztyping.Generatorztyping.AsyncGeneratorz typing.Typeztyping.Patternz typing.Matchz? @classmethod def __class_getitem__(cls, item): return cls returnboolc|j}t|tr|jtvSt|t r|jtvSdS)NF)func isinstancerattrnameTYPING_TYPEVARSrname)noder+s P/var/www/equiseq/venv/lib/python3.11/site-packages/astroid/brain/brain_typing.py$looks_like_typing_typevar_or_newtyper2qsL 9D$ ""0}//$,yO++ 5r0r context_ittoncontext.InferenceContext | NoneIterator[ClassDef]c\ t|j|}n!#ttf$r }t |d}~wwxYw|tvrt |jst t|jdtrt |jd d} tt|}n#t $r }t|d}~wwxYw||S)z8Infer a typing.TypeVar(...) or typing.NewType(...) call.rNr')nextr+inferr StopIterationrqnamer%argsr,r as_stringstriprTYPING_TYPE_TEMPLATEformatr)r0r4r+exctypenames r1infer_typing_typevar_or_newtyperEzs+DIOOMO::;; M *+++!s*+ zz||444!! 9"!!$)A, **"!!y|%%''--c22H&077AABB &&&#%& ::m: , ,,s,(+A AA 'C>> DDDct|tr|jtvSt|tr|jtvSt|t rt|jSdS)zLTry to figure out if a Subscript node *might* be a typing-related subscript.F) r,rr/TYPING_MEMBERSrr-r_looks_like_typing_subscriptvaluer0s r1rHrHsg$+yN**$ ""/}..$ ""8+DJ777 5r3rctxc t|jn!#ttf$r }t |d}~wwxYwdrtvrt ttrʼndvrtt}|gj d<t|jtr\||jjvrNt!|jddr8|jj}||jj ||jj=fd|_t+gSt-t.dd}|| S) z Infer a typing.X[...] subscript.Nztyping.>typing.Generictyping.Annotatedtyping_extensions.Annotated__class_getitem____cachec$tgSNiter)r0rrIs r1z#infer_typing_attr..sugr3.r8)r:rIr;rr<rr= startswith TYPING_ALIASr,rr CLASS_GETITEM_TEMPLATElocalsparentbasesgetattrrQgetslots_explicit_inferencerUrrArBsplit)r0rKrC func_to_addcacherIs @r1infer_typing_attrrfs+TZ%%''(( M *+++!s*+ ;;== # #I . ."%++--<2O2O!!%""u{{}}9((++ABB -8M () t{H - - - ))) Y55* K'Eyy*++7$++,#F#F#F#F UG}} ,33EKKMM4G4G4L4LR4PQQ R RD ::c: " ""s&*AAArc2t|jdkS)z5Check if class is using type parameter. Python 3.12+.r)len type_paramsrJs r1 _looks_like_generic_class_pep695rjs t 1 $$r3c`tt}|g|jd<t|gS)z8Add __class_getitem__ for generic classes. Python 3.12+.rP)r r[r\rUr0rKrds r1!infer_typing_generic_class_pep695rms/''=>>K(3}DK#$ <<r3FunctionDef | ClassDefc8|tvS)z'Check if node is TypedDict FunctionDef.)r=r&rJs r1_looks_like_typedDictrps ::<<5 55r3cVtd}|g|jd<t|gS)Ndict__call__)r r\rUrls r1infer_old_typedDictrts-'v..K*mDK  <<r3rctd|j|j|j|j|j}|tdggdtd}|g|j d<t|gS)z,Replace TypedDict FunctionDef with ClassDef. TypedDictr/lineno col_offsetr] end_linenoend_col_offsetrrNr^body decoratorsrs) rrxryr]rzr{postinitrr r\rU)r0rK class_defrds r1infer_typedDictrs {?{?* Il6223"NNN&v..K$/=IZ   r3ct|jto4|jjdvo&t|jdt tfS)z Returns True if the node corresponds to a call to _alias function. For example : MutableSet = _alias(collections.abc.MutableSet, T) :param node: call node >_alias_DeprecatedGenericAliasr)r,r+rr/r>rrJs r1_looks_like_typing_aliasrsI 49d## INC C ty|i%6 7 7 r3Nonecd} |dt||j}||_dS#t$rYdSwxYw)zJDisable the access to __class_getitem__ method for the node in parameters.cD|dkrtd||g|Ri|S)z Raises an AttributeInferenceError in case of access to __class_getitem__ method. Otherwise, just call origin_func. rPz'__class_getitem__ access is not allowed)r) origin_funcattrr>kwargss r1 full_raiserz1_forbid_class_getitem_access..full_raisers? & & &)*STT T{41$111&111r3rPN)r_rr)r0rpartial_raisers r1_forbid_class_getitem_accessr si222   ())) !dl;;% "     s18 AAct|jtrBt|jjdkr%t|jjdt st  t|jd |}n/#t$r"}t|jd||d}~wwxYw|jjd}t|j |j|j|j|j|jt|tr|ggd|jd}t&st|t(r.|js't&r@t|t,r+|jdkr t1t2}|gjd<nt7fd |_t;gS) a  Infers the call to _alias function Insert ClassDef, with same name as aliased class, in mro to simulate _GenericAlias. :param node: call node :param context: inference context # TODO: evaluate if still necessary when Py3.12 is minimum rr8r0rNrwr|rPc$tgSrSrTr0rrs r1rVz$infer_typing_alias..\T9+5F5Fr3)r,r]rrhtargetsrrr:r>r;r<rrr/rxryrzr{rr reltsrrIr r[r\rrbrU)r0rKrese assign_namemaybe_type_varrdrs @r1infer_typing_aliasr#s t{F + +"4;&''1,,$+-a0*==-"!D49Q<%%c%2233 DDD$)A,<<rr?rJs r1_looks_like_special_aliasr`s5 di & &    IN5 5  ty|T * * - ! !W, G$)A, 22G ! &&((,FF    INl * -49Q<.. - ! !W, Gy~0G49Q<33G ! &&((,FF!r3ct|jtrBt|jjdkr%t|jjdt st  t|jd |}n/#t$r"}t|jd||d}~wwxYw|jjd}t|j |j|j|j|j|j|ggdt't(}|gjd<fd |_t/gS) zBInfer call to tuple alias as new subscriptable class typing.Tuple.rrr8rN)r/r]rxryrzr{r|rPc$tgSrSrTrs r1rVz%infer_special_alias..rr3)r,r]rrhrrrr:r>r;r<rrr/rxryrzr{rr r[r\rbrU)r0rKrrrrdrs @r1infer_special_aliasrse 4;''"  # $ $ ) ) t{*1-z : : *"!D49Q<%%c%2233 DDD$)A,<<>K-8MI()FFFFD   rct|toSt|jtr|jjdkp)t|jt o|jjdkS)Ncast)r,rr+rr/rr-rJs r1_looks_like_typing_castrs_ dD ! ! 49d## % INf $ ) di + + ) I & ( r3Iterator[NodeNG]ct|jttfst t |j|}n!#ttf$r }t|d}~wwxYwt|tr0| dkst|j dkrt|j d|S)z)r0rKr+rCs r1infer_typing_castrs di$ !2 3 3"!!+DIOOCO0011 M *+++!s*+ t[ ) )" ::<<= ( ( ty>>Q  !! 9Q<  c  * **s(AA1$A,,A1ctttjdS)NaH class Generic: @classmethod def __class_getitem__(cls, item): return cls class ParamSpec: @property def args(self): return ParamSpecArgs(self) @property def kwargs(self): return ParamSpecKwargs(self) class ParamSpecArgs: ... class ParamSpecKwargs: ... class TypeAlias: ... class Type: @classmethod def __class_getitem__(cls, item): return cls class TypeVar: @classmethod def __class_getitem__(cls, item): return cls class TypeVarTuple: ... )r r string_buildtextwrapdedentr3r1_typing_transformrs< .** + + 8 8     r3managerrc|tttt|t tt t|tttttr4|ttttn3|tttt|ttt t"|ttt$t&t(rKt+|dt,|ttt.t0dSdS)Ntyping)register_transformrr rEr2rrfrHrrr rrrprrtrrrrrr rrmrj)rs r1registerrs  566,  =!2335Q  m-..0G "" 779N     "" m$788:O     m.//1I  m/002K  (4EFFF""  ; < < ,       r3)r(r)rS)r0rr4r5r(r6)r0rrKr5r(r6)r0rr(r))r0rrKr5r(r6)r0rnr(r))r0rrKr5r(r6)r0rr(r))r0rr(r)r0rrKr5r(r6)r0rrKr5r(r)rrr(r)H__doc__ __future__rrrcollections.abcr functoolsrrastroidrrr astroid.brain.helpersr astroid.builderr r astroid.constr rastroid.exceptionsrrrrastroid.managerrastroid.nodes.node_classesrrrrrrrrrrastroid.nodes.scoped_nodesrrr.r%__annotations__r&rAsetr_rG frozensetrZr[r2rErHrfrjrmrprtrrrrrrrrrrrr3r1rs +**"""""" $$$$$$8888888888::::::@@@@@@@@//////// +*****                        =<<<<<<<i($$$ &89V$WWWWW WWVY3344y)++ ZBF-----2=A&#&#&#&#&#R%%%% <@6666<@?C$*    28<:::::zD8<@8<+++++*:# # # # # # r3