o tBh"@sUdZddlmZddlmZmZmZddlmZddl Z ddl m Z m Z ddlmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZm Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)ddl m*Z*dd l+m,Z,m-Z-m.Z.m/Z/m0Z0m1Z1dd l2m3Z3dd l4m5Z5m6Z6dd l7m8Z8m9Z9m:Z:m;Z;mZ>m?Z?m@Z@mAZAmBZBmCZCmDZDdd lEmFZFddlGmHZHhdZIdeJd<dhZKdeJd<ddhZLdeJd<hdZMdeJd<hdZNdeJd<ddhZOdeJd<dZPdeJd<d ZQdeJd!<d"ZRdeJd#<Gd$d%d%ZSGd&d'd'ZTd|d,d-ZU d}d~d2d3ZVdd5d6ZW 7 7ddd:d;ZXddPlugin for supporting the attrs library (http://www.attrs.org)) annotations)IterableListcast)FinalN)TypeTranslationErrorexpr_to_unanalyzed_type) ARG_NAMED ARG_NAMED_OPTARG_OPTARG_POSMDEFArgumentAssignmentStmtCallExprContext Decorator ExpressionFuncDefJsonDict LambdaExprListExpr MemberExprNameExprOverloadedFuncDefPlaceholderNodeRefExprSymbolTableNodeTempNode TupleExprTypeInfo TypeVarExprVar is_class_var)SemanticAnalyzerPluginInterface) _get_argument_get_bool_argument_get_decorator_bool_argumentadd_attribute_to_class add_methoddeserialize_and_fixup_type)make_wildcard_trigger)make_simplified_unionmap_type_from_supertype) AnyType CallableType FunctionLikeInstance LiteralTypeNoneType Overloaded TupleTypeType TypeOfAny TypeVarType UnionTypeget_proper_type) fill_typevars)unmangle>attr.s attr.attrsattr.attributesrattr_class_makerszattr.dataclassattr_dataclass_makersz attr.frozenz attrs.frozenattr_frozen_makers> attr.define attr.mutable attrs.define attrs.mutableattr_define_makers>attr.ib attr.attr attr.field attr.attrib attrs.fieldattr_attrib_makerszattr.converters.optionalzattrs.converters.optionalattr_optional_converters_ATSELF_TVAR_NAME__attrs_attrs__MAGIC_ATTR_NAME_AttrsAttributesMAGIC_ATTR_CLS_NAMEc@seZdZdZd d ddZdS) Converterz/Holds information about a `converter=` argumentN init_type Type | NonereturnNonecCs ||_dSN)rV)selfrVr\i/var/www/html/riverr-enterprise-integrations-main/venv/lib/python3.10/site-packages/mypy/plugins/attrs.py__init__Ts zConverter.__init__rZ)rVrWrXrY)__name__ __module__ __qualname____doc__r^r\r\r\r]rUQsrUc@sFeZdZdZd%ddZd&ddZd'ddZed(dd Zd)d"d#Z d$S)* AttributezThe value of an attr.ib() call.namestrinfor has_defaultboolinitkw_only converterConverter | NonecontextrrVrWrXrYc Cs4||_||_||_||_||_||_||_||_dSrZ)rdrfrgrirjrkrmrV) r[rdrfrgrirjrkrmrVr\r\r]r^[s  zAttribute.__init__ctxmypy.plugin.ClassDefContextrcCs|jsJd}|jr!|jjr|jj}n|jd|jttj}n |jp*|j |j j }d}|dur9d}ttj }nt |}t|trJ|jtj krJd}|rg|jjjrg|j |j j}|dus^J|jj||j|jrr|jrotnt}n|jrwtnt}tt|j d||d|S)z1Return this attribute as an argument to __init__.Nz-Cannot determine __init__ type from converterFT_)rirkrVapifailrmr.r7 from_errorrfrdtype unannotatedr: isinstance type_of_anyoptionsdisallow_untyped_defsnodemsgneed_annotation_for_varrjrgr r r r rr"lstrip)r[rnrVru proper_typerzarg_kindr\r\r]argumentos0       zAttribute.argumentrc Cs\|j|j|j|j|jdu|jr|jjr|jjnd|jj|jj |jr*|jd Sdd S)z6Serialize this object so it can be saved and restored.N) rdrgrirj has_converterconverter_init_type context_linecontext_columnrV) rdrgrirjrkrV serializermlinecolumn)r[r\r\r]rs  zAttribute.serializedatarqr$c Csz|d}|r t||nd}|d}|rt||nd}t|d||d|d|d|dr0t|ndt|d |d d |S) z)Return the Attribute that was serialized.rVNrrdrgrirjrrr)rr)r*rcrUr)clsrfrrq raw_init_typerVraw_converter_init_typerr\r\r] deserializes" zAttribute.deserializesub_typecCs&|jrt|j||j|_dSd|_dS)zoExpands type vars in the context of a subtype when an attribute is inherited from a generic super type.N)rVr-rf)r[rr\r\r]expand_typevar_from_subtypes z%Attribute.expand_typevar_from_subtypeN)rdrerfr rgrhrirhrjrhrkrlrmrrVrWrXrY)rnrorXr)rXr)rfr rrrqr$rXrc)rr rXrY) r_r`rarbr^rr classmethodrrr\r\r\r]rcXs   * rcrnrorXrhcCst|d}t|d}t|d}|dur%t|du|dufr%|jd|j|dur+|S|dur1d}|dur7|}|durG|durG|jd|j|S) zh Validate the combination of *cmp*, *eq*, and *order*. Derive the effective value of order. cmpeqorderNz%Don't mix "cmp" with "eq" and "order"TFz eq must be True if order is True)%_get_decorator_optional_bool_argumentanyrqrrreason)rnrrrr\r\r]_determine_eq_orders   rrdredefault bool | NonecCstt|jtr8t|j|}|r6t|tr(|jdkrdS|jdkr!dS|jdkr(dS|jd|d|j|S|S|S) zqReturn the Optional[bool] argument for the decorator. This handles both @decorator(...) and @decorator. z builtins.TrueTzbuiltins.FalseFz builtins.NoneN"z!" argument must be True or False.)rvrrr%rfullnamerqrr)rnrdr attr_valuer\r\r]rs      rrYcCsi|jjjd<dS)zRecord that we have an attrs class in the main semantic analysis pass. The later pass implemented by attr_class_maker_callback will use this to detect attrs lasses in base classes. attrs_tagN)rrfmetadata)rnr\r\r]attr_tag_callbacksrFauto_attribs_defaultfrozen_defaultcs`|jjt|dd}t||}t|}t|dd}t|d|}t|dd}t|dd} |jjjdd D]} d | jvrCd | jvrCdSq4t|||} | D]} | j } | d ur_t dSqLt |fd d| D|rst || | r|jjjd ddkrt|| dd| D|d|jjjd <t|}|rt|| ||rt|||rt|| dS)aAdd necessary dunder methods to classes decorated with attr.s. attrs is a package that lets you define classes without writing dull boilerplate code. At a quick glance, the decorator searches the class body for assignments of `attr.ib`s (or annotated variables if auto_attribs=True), then depending on how the decorator is called, it will add an __init__ or all the compare methods. For frozen=True it will turn the attrs into properties. See http://www.attrs.org/en/stable/how-does-it-work.html for information on how attrs works. If this returns False, some required metadata was not ready yet and we need another pass. riTslotsF auto_attribsrj match_argsrattrsNcsg|] }|j|jjfqSr\rdrt.0attrrfr\r] 8sz-attr_class_maker_callback..) cSsg|]}|qSr\)rrr\r\r]rBs attributesfrozen)rrfr' _get_frozenrrmror_analyze_classgetrd_add_empty_metadata_add_attrs_magic_attribute _add_slotsrqrxpython_version_add_match_args MethodAdder _add_init _add_order _make_frozen)rnrrrirrrrrjr super_inforrrzadderr\rr]attr_class_maker_callback sF              rcCsJt|d|rdS|jjjddD]}d|jvr"|jddr"dSqdS)z$Return whether this class is frozen.rTrrrF)r'rrfrr)rnrrr\r\r]rQs rrrjlist[Attribute]cCsi}|dur t|}|jjjD],}t|tr1t||||D]}|s*|j|vr*||j=|||j<qqt|tr;t ||q| D]#}|j|jj j vrc|jj j |jj }t|trYq@t|ts`Jd|_q@t|}g} |jj jddD]:} d| jvr|jt| j| jddD]"} | d|vrt| | |j} | |jj | | || jqqs| t| } d}t| D])\}}|jsq|j rq|t!| kr|j"n|j}|j#s|r|j$d|||j#O}q| S) aIAnalyze the class body of an attr maker, its parents, and return the Attributes found. auto_attribs=True means we'll generate attributes from type annotations also. auto_attribs=None means we'll detect which mode to use. kw_only=True means that all attributes created here will be keyword only args in __init__. NFrrrrrdz| Vq|rT|j rT|j rTt |sTt|||||VqqdS)a!Return Attribute objects that are created by this assignment. The assignments can look like this: x = attr.ib() x = y = attr.ib() x, y = attr.ib(), attr.ib() or if auto_attribs is enabled also like this: x: type x: type = default_value N)rrrrrvrrrrrM_attribute_from_attrib_makerrtrr#_attribute_from_auto_attrib) rnrrrjrrrrrrr\r\r]rs(   rrattr_mapdict[str, Attribute]cCsxg}|jD])}t|tr.t|jtr.|jj|vr.|jdkr$d||jj_|jdvr.||q|D]}|j|q1dS)zHandle decorators in class bodies. `x.default` will set a default value on x `x.validator` and `x.default` will get removed to avoid throwing a type error. rT)r validatorN) decoratorsrvrexprrrdrgrremove)rr remove_mefunc_decoratordecr\r\r]rs      rrrrrc CsNt|j}t|t }|jjj|}|r|jnd}t ||jj|d|d||S)z.Return an Attribute for a new type assignment.NT) r<rdrvrrrfrrrtrc) rnrjrrrrdhas_rhssymrVr\r\r]rs  rrAttribute | Nonec Cs|r|js|jdus J|jj|j|dSt|jdkr'|jd|dS|j}t ||dd}|t ||ddO}t t |d}t t |d } |rT| rT|jd |n| rXd}t |d } | r|sz t | |jj |jj} Wnty}|jd | Ynw|j| }|rt|jtr|jjs||j_d|_t |d } t |d} | r| r|jd|n | r|jd|| } t|| }t|j}t||jj||||||S)zFReturn an Attribute from the assignment or None if you can't make one.Nrz Too many names for one attributeriTrjFrfactoryz(Can't pass both "default" and "factory".rtzInvalid argument to typerkconvertz*Can't pass both "convert" and "converter".z$convert is deprecated, use converter)rrzrqr{r|rrrrrtr&rhr%rrx is_stub_filer anal_typervr"is_inferred_def_parse_converterr<rdrcrrf)rnrrjrrrrVriattr_has_defaultattr_has_factorytype_argun_typerkrconverter_infordr\r\r]rsN        rconverter_exprExpression | Nonerlc Cs|sdSt}t|tr(t|jtr(|jjtvr(|jr(|jdr(|jd}d}nd}d}t|trv|jrvt|jt rR|jj rJt|jj t rJ|jj }n,t t j|_|St|jtrbt|jrb|jj }nt|jtrvddlm}||j|jj}t|trt t j|_|S|s|jd|t t j|_|St|}t|tr|jr|jd|_n7t|trg}|jD]%}t|j}|sq|dkrt dd |j!ddDrq|"|jdq|rt#||_|r|jrt$%|jt&g|_|S) z/Return the Converter object from an Expression.NrTF)type_object_typezVUnsupported converter, only named functions, types and lambdas are currently supportedrcss|]}|tkVqdSrZ)r )rkindr\r\r] sz#_parse_converter..)'rUrvrrrrrNargsrzrrtr0r.r7rurVris_valid_overloaded_converterr mypy.checkmemberrrq named_typerrrrsr:r/ arg_typesr4itemsrr arg_kindsrr,r9 make_unionr3) rnrris_attr_converters_optionalconverter_typertypesitem num_arg_typesr\r\r]rbsp               $  rdefnrcCstdd|jDS)Ncss*|]}t|t pt|jjtVqdSrZ)rvrfuncrtr0rrr\r\r]rs  z0is_valid_overloaded_converter..)allr)rr\r\r]rsrr'tuple[list[NameExpr], list[Expression]]cCszg}g}t|ttfr-tdd|jDrttt|j}t|jttfr)|jj}||fSt|tr9|g}|jg}||fS)zSConvert a possibly complex assignment expression into lists of lvalues and rvalues.css|]}t|tVqdSrZ)rvrrr\r\r]rsz%_parse_assignments..) rvrrrrrrrr)rrrrr\r\r]rs rrrcCs|jd}|jd}tt|jjjdtdg|}tt|jjjdtg|}tt ||jjj t<t t d||dt g}dD] }|j|||||dq@dS) z1Generate all the ordering methods for this class.z builtins.boolzbuiltins.object.rotherN)__lt____le____gt____ge__) self_typetvd)rqrr8rPrrfrr!rr rrr"r r))rnr bool_type object_typerself_tvar_exprrmethodr\r\r]rs  rrcCs|D]I}|j|jjjvr |jjj|jj}t|tsJd|_qt|j|jj|jj}|jj|_|jjj d|j|_ t t ||jjj|j<d|_qdS)zCTurn all the attributes into properties to simulate frozen classes.TrN) rdrrfrrzrvr" is_propertyrtr _fullnamerr )rnrrrzvarr\r\r]rs rcCsg}g}|D]}|js q|jr|||q|||q||}tdd|Dr@|D]}ttj|j_ ttj|_ q0| d|t dS)zGGenerate an __init__ method for the attributes and add it to the class.css&|]}t|jjddtjkVqdS)rwN)getattrvariablertr7ru)rargr\r\r]rs  z_add_init..r^N) rirjrrrr.r7implementation_artifactr%rttype_annotationr)r3)rnrrpos_args kw_only_argsrrrr\r\r]rs  rrlist[tuple[str, Type | None]]c sttjfdd|D}jdjdgpg}jt|d}d|_t ||D]%\\}}}t ||}d|_ t |} t | trJ| j|_tt|dd|j|<q/t|g} t tt|| dd }jj|_d|_jjd t|_d|_tt|ddd jjjt<dS) Ncs(g|]\}}jd|p gpqS)attr.Attribute)rqnamed_type_or_none)rrp attr_typeany_typernr\r]rsz._add_attrs_magic_attribute..builtins.tupler,rT)plugin_generatedfallbackrr)rrzr2 no_serialize)r.r7explicitrqrr-basic_new_typeinforTis_named_tuplerr"r!r:rvr1rtrfrr rrRr5r is_classvarrr"allow_incompatible_override) rnrattributes_types fallback_typetirdrpr.r#r~attributes_typer\r/r]rs2      rcCsdd|D|jj_dS)NcSsh|]}|jqSr\)rdrr\r\r] 3sz_add_slots..)rrfr)rnrr\r\r]r1srcshd|jjjvs|jjjdjr2|jdtfdd|D|jdd}t|j|jd|ddSdS)N__match_args__z builtins.strcs.g|]}|js|jrjt|jddqS)r3)last_known_value)rjri copy_modifiedr2rdrstr_typer\r]r=sz#_add_match_args..r1r3)rqrrdtyp)rrfrr2rqrr5r()rnrrr\rCr]r6s   rc@s*eZdZdZdddZ  ddddZdS)rznHelper to add methods to a TypeInfo. ctx: The ClassDefCtx we are using on which we will add methods. rnrorXrYcCs||_t|jj|_dSrZ)rnr;rrfr)r[rnr\r\r]r^OszMethodAdder.__init__N method_namererlist[Argument]ret_typer6rrWrTypeVarType | NonecCs*|dur|n|j}t|j|||||dS)zAdd a method: def (self, ) -> ): ... to info. self_type: The type to use for the self argument or None to use the inferred self type. tvd: If the method is generic these should be the type variables. N)rr)rn)r[rFrrHrrr\r\r]r)Ss zMethodAdder.add_methodrnrorXrY)NN) rFrerrGrHr6rrWrrIrXrY)r_r`rarbr^r)r\r\r\r]rGs   )rnrorXrhrZ)rnrordrerrrXrrJ)FF)rnrorrrrhrXrh)rnrorrhrXrh)rnrorrrjrhrXr)rfr rXrY) rnrorrrrhrjrhrXr)rrrrrXrY) rnrorjrhrrrrrrrXrc)rnrorrhrjrhrrrrrrrXr)rnrorrrXrl)rrrXrh)rrrrrXr)rnrorrrXrY)rnrorrrXrY)rnrorrrrrXrY)rnrorr+rXrY)krb __future__rtypingrrrtyping_extensionsr mypy.pluginmypymypy.exprtotyperr mypy.nodesr r r r r rrrrrrrrrrrrrrrrrrr r!r"r#r$mypy.plugins.commonr%r&r'r(r)r*mypy.server.triggerr+ mypy.typeopsr,r- mypy.typesr.r/r0r1r2r3r4r5r6r7r8r9r: mypy.typevarsr; mypy.utilr<r@__annotations__rArBrGrMrNrPrRrTrUrcrrrrrrrrrrrrrrrrrrrrrrr\r\r\r]sd  t   <      s   G O   #   C N     "