*eUdZddlmZddlmZddlmZddlmZm Z m Z m Z m Z m Z mZmZmZmZmZddlmZddlmZmZmZdd d d d Zd ed <d!dZd"dZd#dZd$dZd 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_fileboolerrorsrreturnNonec0d_g_jrdSt}g}g}jrdSjD]R}|jD]4\}}|j} t| tr| jr| jd} nd} n| } t| tr| j } t| trV| jtt fvr@||vr.reportis' ch Gh OOOOOz, c3(K|] \}}d|dVdS"N.0attr_s r+ z2calculate_class_abstract_status..ls.JJgdAk$kkkJJJJJJr,zClass z has abstract attributes errorzIIf it is meant to be abstract, add 'abc.ABCMeta' as an explicit metaclassnotec3(K|] \}}d|dVdSr.r0r1s r+r5z2calculate_class_abstract_status..rs.FF'$+d+++FFFFFFr,z Final class r"r#r$r#rr ) is_abstractabstract_attributestypeddict_typeset is_newtypemronamesitemsnode isinstancer r funcr abstract_statusrrappendris_abstract_varaddsorteddeclared_metaclasstypehas_base is_protocoljoinfullnameis_finalr(r)r*) rrrconcreteabstractabstract_in_this_classbasenamesymnoderBrDr(attrss ` ` r+calculate_class_abstract_statusrX*sFCO C H&(H(* ~ !Z--//  MD'.report~s'MM$)T['HMUUUUUr,z)All bases of a protocol must be protocolsr6Nr9)rMbasesrKrO)rYrrKr(s`` r+check_protocol_statusr]xs MJ M MD9( MTY-?CT-T-TVVVVVVVBGLLLMM M Mr,c\|jD]\}}|j}t|trp|jri|jrb|js[|jddD]K}|j |}|-t|jtr|jjrd|_LdS)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)rYrUsymrBrTmembers r+calculate_class_varsresZ%%'',, cx dC  ,TY ,43C ,DL\ ,  , ,--%*V[#*F*F%6;Kb%'+D$ ,,r, module_namesroptionsr builtin_namescP|j}g}|jD]M}t|tr6|j}t|t r||jN|s|jtvr| t|j}|jdkr |j rd}n|jdkr |j rd}|rA|j } t| tsJ|t| g|jt vru|d} t| j tsJ| 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 rFrKrOrrbdisable_bytearray_promotiondisable_memoryview_promotionrBrrr_promoterY alt_promoteextend) rYrfrgrhrkpromote_targets decoratorrm target_sym target_infoint_syms r+add_type_promotionrxs 9D(*O_66 i * * 6 )H(K00 6&&x}555  B =O + +%))/$-*HIIJ} 4449\4! "777G<`7!  B(o !+x88888&&x R'@'@AAA }...&',11111 $$Xdi%<%<=== (r : : 3 !!/2222233r,N)rrrrrrrr )rYrrrrr )rYrrr ) rYrrfrrgrrhrrr )__doc__ __future__rtypingr mypy.errorsr mypy.nodesrrrr r r r r rrr mypy.optionsr mypy.typesrrrr__annotations__rXr]rerxr0r,r+rs #"""""                          ! CCCCCCCCCC!" K K K K \ M M M M,,,,&$3$3$3$3$3$3r,