o tBh@sUdZddlmZddlmZddlmZddlmZm Z m Z m Z m Z m Z mZmZmZmZmZddlmZddlmZmZdd 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)InstanceTypefloatcomplexbytes)z builtins.intzbuiltins.floatzbuiltins.bytearrayzbuiltins.memoryviewrTYPE_PROMOTIONStypr is_stub_fileboolerrorsrreturnNonec sjrdSt}g}g}jrg_dSjD]s}|jD]k\}}|j} t| t r6| jr3| jd} nd} n| } t| t r@| j } t| t re| j ttfvrd||vrdd_||| j f|urd||nt| tr| jr||vrd_||tf|ur||||qqt|_|r̈jrjjjdkrdSjrdS|r|sdfd d } d d dt|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. NrTz abc.ABCMetamessagestrseverityrrcjjj||ddSN)rreportlinecolumnrrrrm/var/www/html/riverr-enterprise-integrations-main/venv/lib/python3.10/site-packages/mypy/semanal_classprop.pyr#hz/calculate_class_abstract_status..reportz, cs |] \}}d|dVqdS"Nr(.0attr_r(r(r) kz2calculate_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)r2qr3z Final class rrrrrr)typeddict_typeset is_newtypeabstract_attributesmronamesitemsnode isinstancer rfuncr abstract_statusrr is_abstractappendris_abstract_varaddsorteddeclared_metaclasstypefullname is_protocoljoinis_finalr#r$r%) rrrconcreteabstractabstract_in_this_classbasenamesymnoder>r@r#attrsr(r'r)calculate_class_abstract_status*sj          " rTinfocsHjr jD]}|jjs|jjdkrd fdd }|d d qd Sd S) z9Check that all classes in MRO of a protocol are protocolszbuiltins.objectrrrrrcr r!r"r&rrUr(r)r#}r*z%check_protocol_status..reportz)All bases of a protocol must be protocolsr4Nr6)rJbasesrHrI)rUrrHr#r(rVr)check_protocol_statusws  rXcCs||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?rrU is_inferred is_classvarr;get)rUrQsymr>rPmemberr(r(r)calculate_class_varss  r_ module_namesr optionsr builtin_namesc Cs|j}g}|jD]}t|tr|j}t|tr||jq|sA|jt vrA| t |j}|rA|j } t| t s9J|t | g|jdksK|jdkrg|d} t| j t sWJ| j jt |jg| j |j_|rr|jj|dSdS)zSetup extra, ad-hoc subtyping relationships between classes (promotion). This includes things like 'int' being compatible with 'float'. zmypy_extensions.i64zmypy_extensions.i32intN)defn decoratorsr?ranalyzedr rCrHrIrr\r>rr_promoterU alt_promoteextend) rUr`rarbrdpromote_targets decoratorrf target_sym target_infoint_symr(r(r)add_type_promotions.      roN)rrrrrrrr)rUrrrrr)rUrrr) rUrr`r rarrbr rr)__doc__ __future__rtyping_extensionsr mypy.errorsr mypy.nodesrrrrr r r r r rr mypy.optionsr mypy.typesrrr__annotations__rTrXr_ror(r(r(r)s    4    M