o 7f@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.ABCMetamessagestrseverityrrcjjj||ddSN)r"reportlinecolumnr r"rrO/home/ertert/spirit/venv/lib/python3.10/site-packages/mypy/semanal_classprop.pyr&iz/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+r1r+r+r,r5rr6z 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_classbasenamesymnoderBrDr&attrsr+r*r,calculate_class_abstract_status*sl          " rXinfocsHjr jD]}|jjs|jjdkrd fdd }|d d qd Sd S) z9Check that all classes in MRO of a protocol are protocolszbuiltins.objectr r!r"rrcr#r$r%r)rrYr+r,r&~r-z%check_protocol_status..reportz)All bases of a protocol must be protocolsr7Nr9)rMbasesrKrO)rYrrKr&r+rZr,check_protocol_statusxs  r\cCs||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@rArBrCrrY is_inferred is_classvarr?get)rYrUsymrBrTmemberr+r+r,calculate_class_varss  rc 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 decoratorsrCranalyzedr rFrKrOrr`disable_bytearray_promotiondisable_memoryview_promotionrBrrr_promoterY alt_promoteextend) rYrdrerfrhpromote_targets decoratorrj target_sym target_infoint_symr+r+r,add_type_promotions6      ruN)rrrrrrrr)rYrrrrr)rYrrr) rYrrdr rerrfr rr)__doc__ __future__rtypingr mypy.errorsr mypy.nodesrrrrr r r r r rr mypy.optionsr mypy.typesrrrr__annotations__rXr\rcrur+r+r+r,s    4    N