o g @s| dZddlZddlZddlZddlZddlZddlmZmZddl m Z m Z m Z m Z mZmZmZmZmZddlZddlZddlZddlmZmZddlmZejejejejfZdZdd hZ hd Z!e"hd Z#d Z$d Z%dZ&dZ'dZ(dZ)dZ*dZ+dZ,ddddddddZ-dde-.DZ/e0e/Z1e"dZ2Gd d!d!e3Z4Gd"d#d#e3Z5d$ej6d%e7fd&d'Z8d$ej6d%e ej6fd(d)Z9d$ej6d%e7fd*d+Z:d$ej;d%e7fd,d-ZZd.Z?d$ej6d%e7fd/d0Z@d1eAd%e7fd2d3ZBd4ej6d5eAd6ej6d%e7fd7d8ZCd4ejDd%e7fd9d:ZE dd$ej6d6eej6d%e7fd;d<ZFd$ej6d%e7fd=d>ZGd?ejHd$ej6d%e7fd@dAZId$ej6d%e7fdBdCZJd$ej6d%ej6fdDdEZKdFejHd1eAd%e7fdGdHZLdIeAd%e fdJdKZMGdLdMdMe3ZNGdNdOdOe3ZOdPeAd%eeeAePe eAeAfe eAffdQdRZQd%eeAe ee7eAfffdSdTZRd%e eeAfdUdVZSdPeAd%ee eeAe ee7eAffePePffdWdXZTdYeAd%e7fdZd[ZUd$ej6d%eejHfd\d]ZVdYeAd%eeeAfd^d_ZW dd`ejXdaePdbeAd%ejDfdcddZYd$ej6d%e7fdedfZZdgej[d%e7fdhdiZ\d$ej;d%e7fdjdkZ]dldmZ^d$ej;d%e7fdndoZ_d$ej;d%e7fdpdqZ`d$ej;d%e7fdrdsZadtejDd%e7fdudvZbdweej;ejcejdfdxe eAd%e7fdydzZeed{d| dd$ejHd}ej;d%e eAej6ffd~dZfd$ej6d%eeej[ejgffddZhd$ej6d%eeej[ejgffddZid$ej6d%e7fddZjdej[d%e7fddZke3fd$ej6d%ee ej[fddZld$ejmd%e7fddZne3fd$ej6d%e7fddZod$ejHd%e7fddZpdej6deAd%e7fddZqd$ej6d%e7fddZrdej6d%e7fddZsdej6d%e7fddZtdej6d%e7fddZudej6d%e7fddZvdej6d%e7fddZwdej6d%e7fddZxdej6d%e7fddZyd1eAd%e7fddZzd$ej6d%e7fddZ{dej6dej;d%e7fddZ|ddej6de7d%e7fddZ}dej6d%e7fddZ~dej6d%e7fddZdej6d$ej6d%e7fddZdej6dej6d%e7fddZdej6dej6d%e7fddZddZed{d|dd$ej6d%eej6fddZedd| dd$ej6ded%e ej6fdd„ZddejHd%e7fddńZd$ej6d%e7fddDŽZd$ej6d%eej6fddɄZd$ej;d%e7fdd˄Zd$ej6d%ePfdd̈́Zd$ej6d%e7fddτZdejHd$ej6d%e7fddфZd$ej6d%e7fddӄZdejHdejHd%e7fddׄZed{d|d$ej6d%e7fddلZdej6d%e7fdd܄Zd$ej6d1eAd%e7fddބZ dd$ej6deej6d%e7fddZd$ejHd%e7fddZd$eejHejfdeAd%e7fddZd$ejdeAd%e7fddZd$eejejfd%eeAfddZd$ejd%ejfddZdeejejfdeAd%eAfddZd$ej6d%e7fddZd$ej6d5eAd%e7fddZdS)z7some functions that may be useful for various checkers N) lru_cachepartial) CallableDictIterableListMatchOptionalSetTupleUnion)TooManyLevelsErrornodes)InferenceContextbuiltinsabc_py_abc>abc.abstractmethodabc.abstractpropertyabc.abstractclassmethodabc.abstractstaticmethod> .Protocoltyping.Protocoltyping_extensions.Protocol__iter__ __aiter____next__ __getitem____class_getitem__ __setitem__ __delitem__ __contains__keys)__new____init____call__)#__del____repr____str__ __bytes____hash____bool____dir____len____length_hint__r __reversed____neg____pos____abs__ __invert__ __complex____int__ __float__ __index__ __trunc__ __floor____ceil__ __enter__ __aenter____getnewargs_ex____getnewargs__ __getstate__ __reduce____copy__ __unicode__ __nonzero__ __await__r __anext__ __fspath__)> __format____lt____le____eq____ne____gt____ge__ __getattr____getattribute__ __delattr__ __delete____instancecheck____subclasscheck__r __missing__r r!__add____sub____mul__ __truediv__ __floordiv__ __rfloordiv____mod__ __divmod__ __lshift__ __rshift____and____xor____or____radd____rsub____rmul__ __rtruediv____rmod__ __rdivmod____rpow__ __rlshift__ __rrshift____rand____rxor____ror____iadd____isub____imul__ __itruediv__ __ifloordiv____imod__ __ilshift__ __irshift____iand____ixor____ior____ipow__ __setstate__ __reduce_ex__ __deepcopy____cmp__ __matmul__ __rmatmul__ __imatmul____div__) __setattr____get____set__r __set_name__)__exit__ __aexit__) __round__)__pow__)Nr)rr)rrcCs i|] \}}|D]}||qqSr).0paramsmethodsnamerrS/home/ubuntu/cloudmapper/venv/lib/python3.10/site-packages/pylint/checkers/utils.py sr)&zbuiltins.tuplez builtins.listz builtins.dictz builtins.setzbuiltins.frozensetz builtins.typezcollections.dequezcollections.defaultdictzcollections.OrderedDictzcollections.Counterzcollections.ChainMapz_collections_abc.Awaitablez_collections_abc.Coroutinez_collections_abc.AsyncIterablez_collections_abc.AsyncIteratorz_collections_abc.AsyncGeneratorz_collections_abc.Iterablez_collections_abc.Iteratorz_collections_abc.Generatorz_collections_abc.Reversiblez_collections_abc.Containerz_collections_abc.Collectionz_collections_abc.Callablez_collections_abc.Setz_collections_abc.MutableSetz_collections_abc.Mappingz_collections_abc.MutableMappingz_collections_abc.Sequencez _collections_abc.MutableSequencez_collections_abc.ByteStringz_collections_abc.MappingViewz_collections_abc.KeysViewz_collections_abc.ItemsViewz_collections_abc.ValuesViewz!contextlib.AbstractContextManagerz&contextlib.AbstractAsyncContextManagerz re.Patternzre.Matchc@ eZdZdS)NoSuchArgumentErrorN__name__ __module__ __qualname__rrrrr rc@r)InferredTypeErrorNrrrrrrrrnodereturncCs0|j}|durt|tjrdS|j}|dusdS)z*Return true if given node is inside lambdaNTF)parent isinstancerLambdarrrrris_inside_lambdas rccs<t|tjtjfr|jD] }t|EdHq dS|VdS)z9Recursively returns all atoms in nested lists and tuples.N)rrr reltsget_all_elements)rchildrrrrs   rcCs&t|dddkr|jdkrdSdS)zCreturn True if the node is referencing the "super" builtin functionrNsuperrTF)getattrrootrrrrris_super)srcCs t|jdkot|jdtjS)z?Return true if the given function node only raises an exceptionrr)lenbodyrrRaiserrrris_error0s r) __builtins__cCs|o|jdkS)zHReturns True if the given node is an object from the __builtin__ module.r)rrrrrris_builtin_object9srrcCs|tvp|tvS)zHreturn true if could be considered as a builtin defined by python)rSPECIAL_BUILTINS)rrrr is_builtin>srvar_nodevarnamescopecst|tjr.|jD]"}t|tjrtfdd|jDs(t|tjr+|jvr+dSq dSt|t tj frI| tj D] }|j krFdSqL  z&is_defined_in_scope..TrF)rrIfrAssignanytargetsNonlocalnamesCOMP_NODE_TYPESFornodes_of_classrrWithitems parent_ofr FunctionDefargs is_argument default_valueris_defined_in_scopeastroid NoDefaultr ExceptHandler)rrrrass_nodeexpridsrrrrCsf              rcCs|j}|j}|rt|||rdS|j}|s|}|}|j}|r\|j|kr\|tjD] }|j|kr7dSq-|tj tj fD]}|dd|j DvrPdSqA|}|r\|j|ks'dS)aCheck if the given variable node is defined before Verify that the variable node is defined by a parent node (list, set, dict, or generator comprehension, lambda) or in a previous sibling node on the same line (statement_defining ; statement_using). TcSsg|] }|dp |dqS)rrr)rrrrr sz%is_defined_before..F) rrr statementprevious_sibling fromlinenorrr ImportFromImportr)rr_nodestmtlineno assign_nodeimp_noderrris_defined_beforess,  rcCsR|s|}t|tjtjfr'|jjD]}|tjD] }||ur%dSqqdS)zbreturn true if the given Name node is used in function or lambda default argument's value TF) rrrrrrdefaultsrName)rr default_nodedefault_name_noderrris_default_arguments rcCsR|j}|dur't|tjrdS|jst|tjtjtjfr dS|j}|dusdS)z5return true if the name is used in function decoratorNTF)rrr Decorators is_statementrComprehensionScopeListComprrrris_func_decorators   rframecCs6t|tjsdS|jD] }||tjvrdSq dS)zjreturn True if `frame` is an astroid.Class node with `node` in the subtree of its bases attribute FT)rrClassDefbasesrr)rrbaserrris_ancestor_names  rcCst|jtjo |jj|uS)z?return True if node is the function being called in a Call node)rrrCallfuncrrrris_being_calledsrcCs>|rt|tjtjtjfr|j}|rt|tjtjtjfs |S)zGreturn the higher parent which is not an AssignName, Tuple or List node)rrrr rrrrrr assign_parentsr class_nodecCs0|D]}||vrt||tjrdSqdS)z=return True if is a method overridden from an ancestorTF) ancestorsrrr)rrancestorrrroverrides_a_methods rmessagescsfdd}|S)z@decorator to store messages that are handled by a checker methodcs |_|Sr) checks_msgsrrrrstore_messagessz&check_messages..store_messagesr)rrrrrcheck_messagess rc@seZdZdZdS)IncompleteFormatStringz:A format string ended in the middle of a format specifier.N)rrr__doc__rrrrrsrc@seZdZdZddZdS)UnsupportedFormatCharacterzXA format character in a format string is not one of the supported format characters.cCst||||_dSr) Exceptionr$index)selfrrrrr$s  z#UnsupportedFormatCharacter.__init__N)rrrrr$rrrrrs r format_stringc st}i}g}d}fdd}d}|tkr|}|dkr||\}}d}|dkr^d} ||\}}|} | dkrT|dkrB| d7} n|dkrJ| d8} ||\}}| dks9|d} | | }|d vrl||\}}|d vsb|d kr{|d7}||\}}n|tjvr||\}}|tjvs|d kr||\}}|d kr|d7}||\}}n|tjvr||\}}|tjvs|d vr||\}}d } || vrt||r|||||<n |dkr|d7}|||d7}|tks||||fS)a'Parses a format string, returning a tuple of (keys, num_args), where keys is the set of mapping keys in the format string, and num_args is the number of arguments required by the format string. Raises IncompleteFormatString or UnsupportedFormatCharacter if a parse error occurs.rcs$|d7}|tkr t||fS)Nr)rr)irrr next_chars  z&parse_format_string..next_char%N(r)z#0- +*.hlLzdiouxXeEfFgGcrs%a)setrstringdigitsraddappend) rr" key_types pos_typesnum_argsrrcharkeydepth key_startkey_endflagsrrrparse_format_stringsn                    4rc Cs.zt|WSty}zt|d}~wwr)_stringformatter_field_name_split ValueErrorr)rerrrsplit_format_field_names5s  rc cst}z/||}|D]$}tdd|ddDrq |d}|d}|V|r1t|EdHq WdStyZ}z|jddrQdVd VWYd}~dSt||d}~ww) zxGiven a format string, return an iterator of all the valid format fields. It handles nested fields as well. css|]}|duVqdSrr)ritemrrrrEz(collect_string_fields..rNrrzcannot switch from manual1) r  Formatterparseallcollect_string_fieldsrr startswithr)r formatter parseiteratorresultrnestedexcrrrr'<s,   r'c Csg}d}t}t|D]G}|rt|r|t|q |rNt|\}}t|tjr2|t|z | |t |fWq t yM}zt |d}~ww|d7}q ||t |fS)aq Parses a PEP 3101 format string, returning a tuple of (keyword_arguments, implicit_pos_args_cnt, explicit_pos_args), where keyword_arguments is the set of mapping keys in the format string, implicit_pos_args_cnt is the number of arguments required by the format string and explicit_pos_args is the number of arguments passed with the position. rNr)r r'strisdigitrrrnumbersNumberrlistrrr)rkeyword_argumentsimplicit_pos_args_cntexplicit_pos_argsrkeyname fielditeratorrrrrparse_format_method_string\s$     r8attrnamecCs*|ddko|dko|do|d S)zkreturn True if attribute name is protected (start with _ and some other details), False otherwise. r___)r(endswith)r9rrris_attr_protectedys r=cCsh|}tjtjtjf}|r2t||r2t|tjs2|jdur dS|j}|r2t||r2t|tjr|S)zReturn the class that is wrapping the given node The function returns a class for a method node (or a staticmethod or a classmethod), otherwise it returns `None`. N) rrNodeNGr UnboundMethod BaseInstancerrr)rklassnodes_to_checkrrrnode_frame_classs*     rCcCstd}||S)zqCheck that attribute name is private (at least two leading underscores, at most one trailing underscore) z^_{2,}.*[^_]+_?$)recompilematch)r9regexrrris_attr_privates  rH call_nodepositionkeywordcCsn|dur |dur td|dur z|j|WStyYnw|r5|jr5|jD] }|j|kr4|jSq(t)aReturns the specified argument from a function call. :param nodes.Call call_node: Node representing a function call to check. :param int position: position of the argument. :param str keyword: the keyword of the argument. :returns: The node representing the argument, None if the argument is not found. :rtype: nodes.Name :raises ValueError: if both position and keyword are None. :raises NoSuchArgumentError: if no argument at the provided position or with the provided keyword. Nz2Must specify at least one of: position or keyword.)rr IndexErrorkeywordsargvaluer)rIrJrKrNrrrget_argument_from_calls      rPcCsLt|dr |ng}t|g|D]}|jdvr#|jtkr#dSqdS)zV Return true if the given class node is subclass of exceptions.Exception. r)r BaseExceptionTF)hasattrr itertoolschainrrEXCEPTIONS_MODULE)rrrrrrinherit_from_std_exs rVhandlercs>ddt|ts |f}fdd|D}|jsdS||S)ar Check if the given exception handler catches the given error_type. The *handler* parameter is a node, representing an ExceptHandler node. The *error_type* can be an exception, such as AttributeError, the name of an exception, or it can be a tuple of errors. The function will return True if the handler catches any of the given errors. cSst|ts|jS|Sr)rr.r)errorrrrstringify_errors z&error_of_type..stringify_errorcsh|]}|qSrr)rrXrYrr sz error_of_type..F)rtupletypecatch)rW error_typeexpected_errorsrrZr error_of_types  rac CsD|jsdS|jjD]}z t|rWdSWq tjyYq wdS)z?Detect if the given function node is decorated with a property.FT) decoratorsr_is_property_decoratorrInferenceError)r decoratorrrrdecorated_with_propertys rfcGsJt|tjtjfs dS|jr#|jjD]}t|tjr"|j|vr"dSqdS)NFT)rrr?rrrb Attributer9)rkindsrerrr_is_property_kinds ricC t|dS)z,Check if the given node is a property settersetterrirrrris_property_setter rmcCrj)z-Check if the given node is a property deleterdeleterrlrrrris_property_deleterrnrpcCs t|ddS)z@Check if the given node is either a property setter or a deleterrkrorlrrrris_property_setter_or_deleter s rqrecCs|D]e}t|tjr-|dvrdS|D]}|jdkr+|jdkr+dSqqt|tjrit | }t |dkrit|dj tj tjfrit|dj }|rit|tjjrit|jtjrit|jSqdS)N)zbuiltins.propertyzfunctools.cached_propertyTpropertyrrrF)inferrrrqnamerrrrr2 _get_return_nodes_skip_functionsrrOrrg safe_inferrobjectsPropertyfunctionrf)reinferredrreturnsrrrrcs4       rcrqnamesc sl|jr|jjng}|D](}t|tjr|j}ztfdd|Dr(WdSWq tjy3Yq wdS)zMDetermine if the `func` node has a decorator with the qualified name `qname`.c3s8|]}|dur|tjkr|jvp|vVqdSr)r Uninferablerrt)rrr|rrr7sz!decorated_with..TF) rbrrrrrrsrrd)rr|rbdecorator_noderr~rdecorated_with,s  ri)maxsizeis_abstract_cbcCs|dur tttd}i}zt|}WntyiYStjy*iYSw|D]M}|D]F}|}t |t j r\t |}|sM|j |vrL||j =q3t |t js\|j |vr\||j =t |t jry||}|rn|||j <q3|sy|j |vry||j =q3q-|S)a Get the unimplemented abstract methods for the given *node*. A method can be considered abstract if the callback *is_abstract_cb* returns a ``True`` value. The check defaults to verifying that a method is decorated with abstract methods. The function will work only for new-style classes. For old-style classes, it will simply return an empty dictionary. For the rest of them, it will return a dictionary of abstract method names and their inferred objects. Nr~)rr ABC_METHODSreversedmroNotImplementedErrorr ResolveErrorvaluesrrrrvrr)rrvisitedrrobjrzabstractrrrunimplemented_abstract_methodsBs>          rcCsP|}tjtjf}|rt|j|s|j}|rt|j|r|r&t|j|r&|jSdS)zDReturn the ExceptHandler or the TryExcept node in which the node is.N)rr TryExceptrr)rcurrentignoresrrrfind_try_except_wrapper_node~s rcCsD|}|jdur |j}t|tjjrdSt|tjr|S|jdusdS)zJReturn the ExceptHandler in which the node is, without going out of scope.N)rrr scoped_nodesLocalsDictNodeNGrr)rrrrr!find_except_wrapper_node_in_scopes    rcCspt|}|sdSt|tjr|jj}|jj}ntj dd|jD}|j}t dd|D}t |t }|p7|S)z8Check if the given node is from a fallback import block.Fcss|]}|jVqdSr)rrrWrrrrs z)is_from_fallback_block..css"|] }t|tjtjfVqdSr)rrrr)r import_noderrrrs  ) rrrrrrhandlersrSrT from_iterabler"_except_handlers_ignores_exception ImportError)rcontext other_bodyrhas_fallback_importsignores_import_errorrrris_from_fallback_blocks    rrcs$tt|fdtfdd|DS)N)r_c3s|]}|VqdSrrrrrrrr!z5_except_handlers_ignores_exception..)rrar)r exceptionrrrrsrcs,t|}t|tjrfdd|jDSgS)a[Return the collections of handlers handling the exception in arguments. Args: node (nodes.NodeNG): A node that is potentially wrapped in a try except. exception (builtin.Exception or str): exception or name of the exception. Returns: list: the collection of handlers that are handling the exception or None. csg|] }t|r|qSr)rarrrrrs  z*get_exception_handlers..)rrrrr)rrrrrrget_exception_handlerss   rcCst|}t|tjS)a Check if the node is directly under a Try/Except statement. (but not under an ExceptHandler!) Args: node (nodes.Raise): the node raising the exception. Returns: bool: True if the node is inside a try/except statement, False otherwise. )rrrrrrrrris_node_inside_try_excepts rcCst||}|s dSt|S)zCheck if the node is in a TryExcept which handles the given exception. If the exception is not given, the function is going to look for bare excepts. F)rr)rrmanaging_handlersrrrnode_ignores_exceptions rcCs|}|dur|jdkr|jtvrdS|D]}|jdkr+|jtvr+dSq|D]}|j|urB|jddrBdSq0dS)zVreturn true if the given class node should be considered as an abstract class NABCMetaTABCF)pass_is_abstract) declared_metaclassrr ABC_MODULESrrrr is_abstract)rmetarmethodrrrclass_is_abstracts   rrOattrcCsRz||}Wn tjyYdSw|d}t|tjr't|jjtjr'dSdS)NFrT) rr NotFoundErrorrrrrrOConst)rOr attributesfirstrrr_supports_protocol_methods rcCstjtjtjtjf}t||Sr)rrSetCompDictComp GeneratorExpr)rcomprehensionsrrris_comprehensions  rcCst|to t|tSr)rGETITEM_METHOD KEYS_METHODrOrrr_supports_mapping_protocols rcC t|tSr)rCONTAINS_METHODrrrr"_supports_membership_test_protocol rcCst|tp t|tSr)r ITER_METHODrrrrr_supports_iteration_protocol"s rcCrr)r AITER_METHODrrrr"_supports_async_iteration_protocol(rrcCrr)rrrrrr_supports_getitem_protocol,rrcCrr)rSETITEM_METHODrrrr_supports_setitem_protocol0rrcCrr)rDELITEM_METHODrrrr_supports_delitem_protocol4rrcCs<|}|d}|d}|dp|d}|p|p|S)Nmixinrr)lowerr<r()rlnameis_mixinris_baserrr_is_abstract_class_name8s    rcCsR|dur't|tjr t|rdSt|dd}|dur t|r dS|j}|dusdS)NTrF)rrrrrrrrrrrris_inside_abstract_class@s  rprotocol_callbackcCst|tjrt|s dS|}|dur||rdSt|tjr2t|s&dS|r,dS||r2dSt|tjj rLt|j tjrLt|j rL|j }||SdS)NTF) rrrhas_known_bases metaclassrr@has_dynamic_getattrrProxy_proxied)rOrrrrr_supports_protocolLs.    rF check_asynccCs|rt}nt}t||Sr)rrr)rOrprotocol_checkrrr is_iterablejs rcCrr)rrrrrr is_mappingrrrcCst|t}|p t|Sr)rrr)rO supportedrrrsupports_membership_testvs  rcCs2t|tjrt|tr dSt||rdSt|tS)NT)rrrrCLASS_GETITEM_METHOD?is_class_subscriptable_pep585_with_postponed_evaluation_enabledrrrOrrrrsupports_getitem{s    rr:cCrr)rrrOr:rrrsupports_setitemrrcCrr)rrrrrrsupports_delitemrrcCst|dd}t|r |SdS)Npytype)rcallable)rrrrr_get_python_type_of_nodes rcCst}z |j|d}t|}Wn tjyYdSw|tjur'|t|z|D]}t|}||vr8WdSq*WntjyEYdStyO|YSwt |dkrX|SdS)zReturn the inferred value for the given node. Return None if inference failed or if there is some ambiguity (more than one node has been inferred of different types). rNr) r rsnextrrdr}rr StopIterationr)rrinferred_types infer_genrOrz inferred_typerrrrvs,    rvircCs,z t|j|dWStjygYSw)Nr)r2rsrrdrrrr infer_alls rrAcCsjz|jWSty Ynw|jD]}t||d}t|tjr)||us)t||ds/d|_dSqd|_dS)z=Return true if all base classes of a class could be inferred.rFT)_all_bases_knownAttributeErrorrrvrrrr)rArrr+rrrrs"     rcCs4|dupt|tjo|jdupt|tjo|jdkS)NNone)rrrrOrrrrrris_nones rcCsrt}z"|D]}|tjkst|rq||t|dkr#WdSqWn tjy0YdSw|r7|SdS)zReturn the inferred type for `node` If there is more than one possible type, or if inferred type is Uninferable or None, return None rN) r rsrr}rrrrdpop)rtypesvar_typerrr node_types   rc Csd}t|tjs dS|jr|jjng}|D]9}t|tjsq|j}t|tjr,|jdkr-qz t|j }Wn t j y@Yqwt|tjrNt ||SqdS)z>Check if the given function node is a singledispatch function.)zfunctools.singledispatchzsingledispatch.singledispatchFregister)rrrrbrrrgr9rrrsrrdr)rsingledispatch_qnamesrbrerfunc_defrrr(is_registered_in_singledispatch_functions&   rcCsnt|ddr t|jdSt|ddrt|jdSt|ddr't|jdSt|ddr4t|jdS|jS)z Get the last lineno of the given node. For a simple statement this will just be node.lineno, but for a node that has child statements (e.g. a method) this will be the lineno of the last child statement recursively. finalbodyForelserr)rget_node_last_linenorrrrrrrrrr s    rcCs|}d|jvS)z;Check if the postponed evaluation of annotations is enabled annotations)rfuture_imports)rmodulerrris_postponed_evaluation_enabled"s rcCst|o |tvo t|S)zWCheck if class is subscriptable with PEP 585 and postponed evaluation enabled. )rrtSUBSCRIPTABLE_CLASSES_PEP585"is_node_in_type_annotation_contextrrrrr(s  rcCs||j}} t|tjr|j|ks7t|tjr,|g|j|j|j|j |j Rvs7t|tj r9|j |kr9dS||j}}t|tj rGdSq)zCheck if node is in type annotation context. Check for 'AnnAssign', function 'Arguments', or part of function return type anntation. TF)rrr AnnAssign annotation Argumentsrposonlyargs_annotationskwonlyargs_annotationsvarargannotationkwargannotationrr{Module)r current_node parent_noderrrr5s8        rrrc Cs\tdd||fDs dS|D]}z tj||rWdSWqtjjy+YqwdS)z Check if first node is a subclass of second node. :param child: Node to check for subclass. :param parent: Node to check for superclass. :returns: True if child is derived from parent. False otherwise. css|] }t|tjVqdSr)rrr)rrrrrrZz!is_subclass_of..FT)r&rrhelpers is_subtype exceptions_NonDeducibleTypeHierarchy)rrrrrris_subclass_ofSs rcCs"t|dd}t|ot|ddgS)zCheck if a node if is a function stub decorated with typing.overload. :param node: Node to check. :returns: True if node is an overload function stub. False otherwise. rbNztyping.overloadoverload)rboolr)rrbrrris_overload_stubfs rclscCs&t|tjsdStdd|DS)zCheck if the given node represents a protocol class :param cls: The node to check :returns: True if the node is a typing protocol class, false otherwise. Fcss|] }|tvVqdSr)rtTYPING_PROTOCOLS)rrrrrr|rz$is_protocol_class..)rrrrr)rrrris_protocol_classqs rcCs&t|tjot|jtjo|jj|kS)z5Checks if node is a function call with the given name)rrrrrrrrrris_call_of_names   rcCsd|p|j}t|tjtjtjtjfr||jup|j|St|tj r(||j vSt |do1||S)z=Returns true if the given node is being tested for truthinessr) rrrWhilerIfExpAsserttestr Comprehensionifsrrrrris_test_conditions   r$cCs:|jdkrdS|jD]}t|tjr|jdkrdSq dS)zTest if ClassDef node is Type.r]TF)rrrrr)rrrrris_classdef_types  r% attr_namecCsn|j|dgd}|rt|tjrt|jtjrdS|jD]}t|}|r4t|tj r4t ||r4dSqdS)zQTest if attribute is typed annotation in current node or any base nodes. NrTF) localsgetrrrrrrrvris_attribute_typed_annotation)rr& attributerrzrrrr)s&    r) typing_namecCs`t|jtjs dS|jj}t|tjr|j}t|tjr!|j|ks,t|tj r.|j |kr.dSdS)zTest if AssignName node has `typing_name` annotation. Especially useful to check for `typing._SpecialForm` instances like: `Union`, `Optional`, `Literal`, `ClassVar`, `Final`. FT) rrrrr SubscriptrOrrrgr9)rr+rrrris_assign_name_annotated_withs     r-cCst|jtjr.t|jjtjr.|jjjdkr.t|jj}t|tj s$dS|j ddSt|jtj tjfrJt|j}t|tj sEdS|j SdS)zGet the name of the dictionary which keys are being iterated over on a ``nodes.For`` or ``nodes.Comprehension`` node. If the iterating object is not either the keys method of a dictionary or a dictionary itself, this returns None. r"Nz.keysr)riterrrrrgr9rvr BoundMethod as_string rpartitionrrrrzrrrget_iterating_dictionary_names      r3cCs"t|j}t|tjstd|S)a Returns the value 'subscript.slice' of a Subscript node. :param node: Subscript Node to extract value from :returns: Const Node containing subscript value :raises InferredTypeError: if the subscript node cannot be inferred as a Const z3Subscript.slice cannot be inferred as a nodes.Const)rvslicerrrrr2rrrget_subscript_const_values  r5 importnodemodnamecCsTt|tjr(|jr(|}t|tjr(z |j||jdWSty'|YSw|S)aGet a prepared module name from the given import node In the case of relative imports, this will return the absolute qualified module name, which might be useful for debugging. Otherwise, the initial module name is returned unchanged. :param importnode: node representing import statement. :param modname: module name from import statement. :returns: absolute qualified module name of the module used in import. )level)rrrr8rrrelative_to_absolute_namer )r6r7rrrrget_import_names  r:cCs"t|jtjo|jp|jS)zlReturn True if node is part for guarded if block. I.e. `sys.version_info` or `typing.TYPE_CHECKING` )rrrr is_sys_guardis_typing_guardrrrris_node_in_guarded_import_blocksr=cs*tfddtjtjfDS)zWCheck if the given variable name is reassigned in the same scope after the current nodec3s&|]}|jko|jjkVqdSr)rr)rarrrrrrz.is_reassigned_after_current..)rrrrrrr?rr?ris_reassigned_after_currentsr@r)NN)F)rrrSr0rDr  functoolsrrtypingrrrrrr r r r rrastroid.objectsr rastroid.contextrrrrrrrUrr frozensetrrr NEXT_METHODrrrrrr_SPECIAL_METHODS_PARAMSrSPECIAL_METHODS_PARAMSr  PYMETHODSrrrrr>rrrrrr__dict__copyrrr.rrrrrrrrrrrrrrintrrr'r8r=rCrHrrPrVrrarfrirmrprqrcr/r?rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrvrrrrrrrrrrrrrr$r%Instancer)rr-rr"r3r,rr5rrr:r=r@rrrrs6,  %@m,     0     "K $         ;             !