o 2g@sUdZddlmZddlmZddlmZddlmZm Z m Z m Z m Z m Z mZmZmZmZmZddlmZddlmZmZmZdd d d d Zd ed <d%ddZd&ddZd'ddZd(d"d#Zd$S))zfCalculate some properties of classes. These happen after semantic analysis and before type checking. ) annotations)Final)Errors) IMPLICITLY_ABSTRACT IS_ABSTRACTCallExpr DecoratorFuncDefNodeOverloadedFuncDef PromoteExpr SymbolTableTypeInfoVar)Options)MYPYC_NATIVE_INT_NAMESInstance ProperTypefloatcomplexbytes)z builtins.intzbuiltins.floatbuiltins.bytearraybuiltins.memoryviewrTYPE_PROMOTIONStypr is_stub_fileboolerrorsrreturnNonec sd_g_jr dSt}g}g}jrdSjD]s}|jD]k\}}|j} t | t r9| jr6| jd} nd} n| } t | t rC| j } t | t rh| jttfvrg||vrgd_||| jf|urg||nt | tr| jr||vrd_||tf|ur||||q!qt|_|rψjrjjdrdSjrdS|r|sdfd d } d ddt|D} | djd| d| ddjr|rd ddt|D} jjdjd| dSdSdS)zCalculate abstract status of a class. Set is_abstract of the type to True if the type has an unimplemented abstract attribute. Also compute a list of abstract attributes. Report error is required ABCMeta metaclass is missing. FNrTz abc.ABCMetamessagestrseverityrrcsjjj||ddS)Nr")reportlinecolumn)r r"rrN/home/garg/my-data/venv/lib/python3.10/site-packages/mypy/semanal_classprop.pyr$isz/calculate_class_abstract_status..reportz, cs |] \}}d|dVqdS"Nr(.0attr_r(r(r) lz2calculate_class_abstract_status..zClass z has abstract attributes errorzIIf it is meant to be abstract, add 'abc.ABCMeta' as an explicit metaclassnotecsr*r+r(r-r(r(r)r1rr2z Final class )r r!r"r!rr) is_abstractabstract_attributestypeddict_typeset is_newtypemronamesitemsnode isinstancer rfuncr abstract_statusrrappendris_abstract_varaddsorteddeclared_metaclasstypehas_base is_protocoljoinfullnameis_finalr$r%r&) rrrconcreteabstractabstract_in_this_classbasenamesymnoder=r?r$attrsr(r'r)calculate_class_abstract_status*sl          " rSinfocCsD|jr|jD]}|jjs|jjdkr|j|j|jdddqdSdS)z9Check that all classes in MRO of a protocol are protocolszbuiltins.objectz)All bases of a protocol must be protocolsr3r#N)rHbasesrFrJr$r%r&)rTrrFr(r(r)check_protocol_statusxs rVcCs||jD]6\}}|j}t|tr;|jr;|jr;|js;|jddD]}|j |}|dur:t|jtr:|jjr:d|_q!qdS)aHTry to infer additional class variables. Subclass attribute assignments with no type annotation are assumed to be classvar if overriding a declared classvar from the base class. This must happen after the main semantic analysis pass, since this depends on base class bodies having been fully analyzed. NT) r;r<r=r>rrT is_inferred is_classvarr:get)rTrPsymr=rOmemberr(r(r)calculate_class_varss  r] module_namesr optionsr builtin_namesc Cs|j}g}|jD]}t|tr|j}t|tr||jq|sV|jt vrV| t |j}|jdkr8|j r8d}n |jdkrB|j rBd}|rV|j } t| tsNJ|t| g|jtvrz|d} t| j tsgJ| j jt|jgt| j g|j_|r|jj|dSdS)zSetup extra, ad-hoc subtyping relationships between classes (promotion). This includes things like 'int' being compatible with 'float'. rNrint)defn decoratorsr>ranalyzedr rArFrJrrZdisable_bytearray_promotiondisable_memoryview_promotionr=rrr_promoterT alt_promoteextend) rTr^r_r`rbpromote_targets decoratorrd target_sym target_infoint_symr(r(r)add_type_promotions6      roN)rrrrrrrr)rTrrrrr)rTrrr) rTrr^r r_rr`r rr)__doc__ __future__rtypingr mypy.errorsr mypy.nodesrrrrr r r r r rr mypy.optionsr mypy.typesrrrr__annotations__rSrVr]ror(r(r(r)s    4    N