pPj=UdZddlmZddlmZddlmZddlmZm Z m Z m Z ddl m Z ddlmZmZddlmZmZmZmZmZmZmZmZmZmZmZmZmZmZm Z m!Z!dd l"m#Z#dd l$m%Z%dd l&m'Z'm(Z(dd l)m*Z*dd l+m,Z,m-Z-m.Z.m/Z/m0Z0m1Z1m2Z2m3Z3m4Z4m5Z5m6Z6m7Z7m8Z8m9Z9m:Z:m;Z;mde?d<dZ@de?d<e GddZAe GddeAZBd(dZCd)dZDGdde ZEdddd d*dZFdddd d*dZGGd d!e(ZHd+d"ZId,d#ZJe d-d$ZKe d. d/d%ZK d. d0d&ZKd1d'ZLy)2z@Shared definitions used by different parts of semantic analysis.) annotations)abstractmethod)Callable)FinalLiteralProtocoloverload)trait) LITERAL_REQ ErrorCode)CallExprClassDefContextDataclassTransformSpec Decorator ExpressionFuncDefNameExprNodeOverloadedFuncDefRefExpr SymbolNode SymbolTableSymbolTableNode TypeAliasTypeInfo)SemanticAnalyzerPluginInterface)TypeVarLikeScope) ANY_STRATEGY BoolTypeQuery)make_simplified_union)TPDICT_FB_NAMESAnyType FunctionLikeInstance ParametersParamSpecFlavor ParamSpecTypePlaceholderType ProperType TupleTypeType TypeOfAny TypeVarIdTypeVarLikeTypeTypeVarTupleType UnpackTypeflatten_nested_tuplesget_proper_type) __slots__ __deletable____match_args__rALLOW_INCOMPATIBLE_OVERRIDEPRIORITY_FALLBACKSceZdZdZe d ddZeddZeddZeddZe dddd dd Z edd dd Z edd Z edd Z edd dZ ed!dZeed"dZed#dZeed"dZed"dZed"dZeed$dZy)%SemanticAnalyzerCoreInterfacezA core abstract interface to generic semantic analyzer functionality. This is implemented by both semantic analyzer passes 2 and 3. FctNNotImplementedErrorselfnamectxsuppress_errorss X/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/mypy/semanal_shared.pylookup_qualifiedz.SemanticAnalyzerCoreInterface.lookup_qualifiedJ "!ctr=r>rAfullnames rElookup_fully_qualifiedz4SemanticAnalyzerCoreInterface.lookup_fully_qualifiedP!!rHctr=r>rJs rElookup_fully_qualified_or_nonez)rAfixeds rErecord_fixed_typez/SemanticAnalyzerCoreInterface.record_fixed_typeXrMrHN)blockercodectr=r>)rAmsgrCseriousrSrTs rEfailz"SemanticAnalyzerCoreInterface.fail\s "!rHrTctr=r>)rArVrCrTs rEnotez"SemanticAnalyzerCoreInterface.notehrMrHctr=r>)rAfeaturerCs rEincomplete_feature_enabledz8SemanticAnalyzerCoreInterface.incomplete_feature_enabledlrMrHctr=r>rAs rErecord_incomplete_refz3SemanticAnalyzerCoreInterface.record_incomplete_refprMrHctr=r>)rA debug_contextforce_progresss rEdeferz#SemanticAnalyzerCoreInterface.defertrMrHct)zDIs a module or class namespace potentially missing some definitions?r>rJs rEis_incomplete_namespacez5SemanticAnalyzerCoreInterface.is_incomplete_namespacex "!rHct)z1Is this the final iteration of semantic analysis?r>r`s rEfinal_iterationz-SemanticAnalyzerCoreInterface.final_iteration}rGrHct)z+Is the specific __future__ feature importedr>)rAflags rEis_future_flag_setz0SemanticAnalyzerCoreInterface.is_future_flag_setrhrHctr=r>r`s rE is_stub_filez*SemanticAnalyzerCoreInterface.is_stub_filerhrHctr=r>r`s rE is_func_scopez+SemanticAnalyzerCoreInterface.is_func_scoperMrHctr=r>r`s rEis_nested_within_func_scopez9SemanticAnalyzerCoreInterface.is_nested_within_func_scoperMrHctr=r>r`s rEtypez"SemanticAnalyzerCoreInterface.typerhrHFrBstrrCrrDboolreturnSymbolTableNode | None)rKrxrzr)rKrxrzr{)rQzTypeInfo | TypeAliasrzNone) rVrxrCrrWryrSryrTErrorCode | Nonerzr|)rVrxrCrrTr}rzr|)r]rxrCrrzryrzr|)NF)rczContext | Nonerdryrzr|)rKrxrzryrzry)rlrxrzry)rzzTypeInfo | None)__name__ __module__ __qualname____doc__rrFrLrOrRrXr[r^rarergpropertyrjrmrorqrsrurHrEr;r;Cs ?D""%"8<" "" """"""  " !% "  " " "  " "  " "GK""""""""""""""""""""""rHr;c eZdZUdZded<e d ddZedddZedddZedd Z edddddd ddd  dd Z edd Z ed dZ ed!dZ ed"dZed#dZe d$ d%dZed&dZed'dZed(dZeed)dZe d d*dZy)+SemanticAnalyzerInterfacezA limited abstract interface to some generic semantic analyzer pass 2 functionality. We use this interface for various reasons: * Looser coupling * Cleaner import graph * Less need to pass around callback functions r tvar_scopeFctr=r>r@s rElookupz SemanticAnalyzerInterface.lookuprGrHNctr=r>rArKargss rE named_typez$SemanticAnalyzerInterface.named_typerMrHctr=r>rs rEnamed_type_or_nonez,SemanticAnalyzerInterface.named_type_or_nonerMrHctr=r>)rAnodes rEacceptz SemanticAnalyzerInterface.acceptrMrHT)rallow_tuple_literalallow_unbound_tvarsallow_typed_dict_special_formsallow_placeholderreport_invalid_typesprohibit_self_type"prohibit_special_class_field_typesctr=r>) rAtyprrrrrrrrs rE anal_typez#SemanticAnalyzerInterface.anal_types "!rHctr=r>)rA type_exprss rEget_and_bind_all_tvarsz0SemanticAnalyzerInterface.get_and_bind_all_tvarsrMrHctr=r>)rArBbasetype_or_fallbacklines rEbasic_new_typeinfoz,SemanticAnalyzerInterface.basic_new_typeinforMrHctr=r>)rAprioritypatchs rEschedule_patchz(SemanticAnalyzerInterface.schedule_patchrMrHct)z%Add node to the current symbol table.r>)rArBsymbols rEadd_symbol_table_nodez/SemanticAnalyzerInterface.add_symbol_table_noderhrHct)z^Get currently active symbol table. May be module, class, or local namespace. r>r`s rEcurrent_symbol_tablez.SemanticAnalyzerInterface.current_symbol_tables "!rHct)z'Add symbol to the current symbol table.r>)rArBrcontext module_public module_hidden can_defers rE add_symbolz$SemanticAnalyzerInterface.add_symbols "!rHct)z/Add symbol directly to the global symbol table.r>)rArBrCrs rEadd_global_symbolz+SemanticAnalyzerInterface.add_global_symbolrhrHctr=r>)rAexprs rE parse_boolz$SemanticAnalyzerInterface.parse_boolrMrHctr=r>)rArBs rEqualified_namez(SemanticAnalyzerInterface.qualified_namerMrHctr=r>r`s rEis_typeshed_stub_filez/SemanticAnalyzerInterface.is_typeshed_stub_filerhrHctr=r>)rArBkindrCrds rEprocess_placeholderz-SemanticAnalyzerInterface.process_placeholderrGrHrvrwr=rKrxrlist[Type] | Nonerzr%)rKrxrrrzzInstance | None)rrrzr|)rr,rzTypeVarLikeScope | Nonerryrryrryrryrryr str | Nonerrrzz Type | None)rzlist[Expression]rzzlist[TypeVarLikeType])rBrxrr%rintrzr)rrrzCallable[[], None]rzr|)rBrxrrrzry)rzr)TFT)rBrxrrrrrryrryrryrzry)rBrxrCrrrrzr|rrrz bool | None)rBrxrzrxr) rBrrrxrCrrdryrzr|)rrrr__annotations__rrrrrrrrrrrrrrrrrrrrHrErrsn! ?D""%"8<" "" """""" /3$)$)/4"'%))-9=" " , " " """)-" "#"'"-7" "" """""""""" ## " " " "  "  " "  " """""""""PU""&)"07"IM" ""rHrc4t|}t|tr||jrU|jjt vrd}n|jj }|j|j d|S|j|j S|S)N TypedDictz of )r3 isinstancer$inforKr"rB with_name)sigfdef class_names rEset_callable_namer sw # C#|$ 99yy!!_4( !YY^^ ==DII;d:,!?@ @==+ + rHcD|j}|jjdk(sJg}t|jD]}t |t rt|j}t |trt|j}t |tr8|jjdk(r|j|jd|jttj|j|t!|f|_ y)aCalculate a precise item type for the fallback of a tuple type. This must be called only after the main semantic analysis pass, since joins aren't available before that. Note that there is an apparent chicken and egg problem with respect to verifying type arguments against bounds. Verifying bounds might require fallbacks, but we might use the bounds to calculate the fallbacks. In practice this is not a problem, since the worst that can happen is that we have invalid type argument values, and these can happen in later stages as well (they will generate errors, but we don't prevent their existence). builtins.tuplerN)partial_fallbackrurKr2itemsrr1r3r0 upper_boundr%appendrr#r- from_errorr!)rfallbackritem unpacked_types rEcalculate_tuple_fallbackrs##H == ! !%5 55 5 E%cii0 dJ '+DII6M-)9: / 0I0I J =(3!&&//3CC ]//23 WY%9%9:; LL !"+513HMrHceZdZdddZy)_NamedTypeCallbackNcyr=rrs rE__call__z_NamedTypeCallback.__call__@srHr=r)rrrrrrHrErr?sVrHrN)rcolumnprefixc t|||tj|d|dgttj ||| S)Nrbuiltins.objectflavorrdefaultrrr)r(r'ARGSr#r-from_omitted_genericsrBrKidnamed_type_funcrrrs rEparamspec_argsrCsN   ###$4GX7Y6Z[ 778   rHc t|||tj|d|d|dgttj ||| S)Nz builtins.dictz builtins.strrr)r(r'KWARGSr#r-rrs rEparamspec_kwargsrZsY   %%# on=O`?ab  778   rHc(eZdZdfd ZddZxZS)HasPlaceholdersc,t|tyr=)super__init__r)rA __class__s rErzHasPlaceholders.__init__ts &rHcy)NTr)rAts rEvisit_placeholder_typez&HasPlaceholders.visit_placeholder_typewsrHr~)rr)rzry)rrrrr __classcell__)rs@rErrss 'rHrc4|jtS)z=Check if a type contains any placeholder types (recursively).)rr)rs rEhas_placeholderr{s ::o' ((rHct|tr |j}t|tr |j}t|t r |j }t|tr7|jD]}t|}||cSt|jSt|tr |jSt|tr |j}t|trh|j ddD]}|j|jcS|j"}|,|j$j|j$jSy)a^ Find the dataclass transform spec for the given node, if any exists. Per PEP 681 (https://peps.python.org/pep-0681/#the-dataclass-transform-decorator), dataclass transforms can be specified in multiple ways, including decorator functions and metaclasses/base classes. This function resolves the spec from any of these variants. Nr8)rr calleerrrfuncrrfind_dataclass_transform_specimplrdataclass_transform_specrrrmrometaclass_typeru)r candidatespecbasers rErrs&$!{{$ yy$ "yy$)*  I0;D  -TYY77$ ,,,$!yy$!HHQRL 5D,,8444 5 ,,  %.*=*=*V*V*b!&&?? ? rHcyr=rapi expressionrBrs rErequire_bool_literal_argumentr s rHcyr=rrs rEr r s rHc\t|}||jd|d|t|S|S)zWAttempt to interpret an expression as a boolean literal, and fail analysis if we can't."z*" argument must be a True or False literalrY)rrXr )r r rBrvalues rEr r sB z "E } v? @*S^   LrHcdt|tr |jdk(ry|jdk(ryy)Nz builtins.TrueTzbuiltins.FalseF)rrrK)rs rErrs.$! ==O + ==, , rH)rr,rrrzr*)rr+rzr|)rBrxrKrxrr.rrrrrrrzParameters | Nonerzr()rr,rzry)rz Node | NonerzzDataclassTransformSpec | None) r ;SemanticAnalyzerInterface | SemanticAnalyzerPluginInterfacer rrBrxrzLiteral[True, False]rzryr=) r rr rrBrxrr|rzr) r rr rrBrxrrrzrr)Mr __future__rabcrcollections.abcrtypingrrrr mypy_extensionsr mypy.errorcodesr r mypy.nodesr rrrrrrrrrrrrrrr mypy.pluginrmypy.tvar_scopermypy.type_visitorrr mypy.typeopsr! mypy.typesr"r#r$r%r&r'r(r)r*r+r,r-r.r/r0r1r2r3r7rr9r;rrrrrrrrrr rrrHrErsdF"$55!2$8,9..&VUUET"T"T"nk" =k"k"\  "4JWW $   (     : $   (     2m) FT  D "       D       D    "rH