B S\&@sdZddlZddlmZddlmZddlmZddlmZddlmZddlmZdd lm Z ej Z e d Z Gd d d ejZGd ddejZGdddejZGdddejZGdddejZGdddejZGdddejZGdddejZejefej_dS)a" Inference objects are a way to represent composite AST nodes, which are used only as inference results, so they can't be found in the original AST tree. For instance, inferring the following frozenset use, leads to an inferred FrozenSet: Call(func=Name('frozenset'), args=Tuple(...)) N)bases) decorators) exceptions)MANAGER) node_classes) scoped_nodes)utilzinterpreter.objectmodelc@s0eZdZdZddZd ddZejddZdS) FrozenSetz-class representing a FrozenSet composite nodecCsdtS)Nz %s.frozenset)BUILTINS)selfr .lib/python3.7/site-packages/astroid/objects.pypytype&szFrozenSet.pytypeNccs |VdS)Nr )r contextr r r _infer)szFrozenSet._infercCstj}|ddS)N frozensetr)rbuiltins_modulegetattr)r ast_builtinsr r r _proxied,szFrozenSet._proxied)N) __name__ __module__ __qualname____doc__rrrcachedpropertyrr r r r r #s r c@s~eZdZdZeddZddZdddZd d Z e j d d Z d dZ ddZeddZddZdddZdddZdS)SuperaProxy class over a super call. This class offers almost the same behaviour as Python's super, which is MRO lookups for retrieving attributes from the parents. The *mro_pointer* is the place in the MRO from where we should start looking, not counting it. *mro_type* is the object which provides the MRO, it can be both a type or an instance. *self_class* is the class where the super call is, while *scope* is the function where the super call is. cCstS)N) objectmodelZ SuperModelr r r r @szSuper.cCs"||_||_d|_||_||_dS)NF)type mro_pointer _class_basedZ _self_class_scope)r rmro_typeZ self_classZscoper r r __init__Cs zSuper.__init__Nccs |VdS)Nr )r rr r r rJsz Super._infercCst|jtjstjd|dt|jtjr8d|_|j}n.t|jdd}t|t j tjfsftjd|d|j sztjd|d| }|j|krtjd|d| |j}||ddS) zBGet the MRO which will be used to lookup attributes in this super.zIThe first argument to super must be a subtype of type, not {mro_pointer}.)super_TrNzPThe second argument to super must be an instance or subtype of type, not {type}.z*Unable to call super on old-style classes.) isinstancerrZClassDefr SuperErrorrr rrInstanceZnewstylemroindex)r r"r)r*r r r super_mroMs,   zSuper.super_mrocCstj}|ddS)Nsuperr)rrr)r rr r r rsszSuper._proxiedcCsdtS)Nz%s.super)r )r r r r rxsz Super.pytypecCsdS)NzSuper ofr )r r r r display_type{szSuper.display_typecCs|jjS)z Get the name of the MRO pointer.)rname)r r r r r.~sz Super.namecCsdS)Nr,r )r r r r qnamesz Super.qnamec cs||jkr|j|VdSy |}Wnztjk rd}ztjd||||jd|Wdd}~XYn@tjk r}z tjd||||j|j d|Wdd}~XYnXd}x|D]}||j krqd}xt j ||g||dD]}t |tjs|Vq|jd krt ||Vq|jjd kr0|jd kr0|Vq|jsD|jd krL|Vqt |ry|||EdHWn tjk rtjVYnXqt ||VqWqW|stj|||d dS) z9Retrieve the inferred values of the given attribute name.NzHLookup for {name} on {target!r} because super call {super!r} is invalid.)target attributerr$zJLookup for {name} on {target!r} failed because {cls!r} has an invalid MRO.)r0r1rmrosclsFT)frame classmethodmethod staticmethod)r0r1r)special_attributeslookupr+rr'ZAttributeInferenceErrorr$ZMroErrorr2r3localsrZ _infer_stmtsr&r FunctionDefrZ BoundMethodr!r Z _is_propertyinfer_call_resultZInferenceErrorrZ Uninferable)r r.rr)excfoundr3Zinferredr r r igetattrs\       zSuper.igetattrcCst|j||dS)N)r)listr?)r r.rr r r rsz Super.getattr)N)N)N)rrrrrlazy_descriptorr8r#rr+rrrrr-propertyr.r/r?rr r r r r2s  &  Crc@seZdZdZejddZdS)ExceptionInstancezClass for instances of exceptions It has special treatment for some of the exceptions's attributes, which are transformed at runtime into certain concrete objects, such as the case of .args. cCs"|}tj|tj}||S)N)r/rZBUILTIN_EXCEPTIONSgetZExceptionInstanceModel)r r/instancer r r r8s z$ExceptionInstance.special_attributesN)rrrrrrr8r r r r rCsrCc@seZdZdZeddZdS) DictInstancezSpecial kind of instances for dictionaries This instance knows the underlying object model of the dictionaries, which means that methods such as .values or .items can be properly inferred. cCstS)N)rZ DictModelr r r r rszDictInstance.N)rrrrrrAr8r r r r rFsrFc@seZdZejjZejjZdS) DictItemsN)rrrrNodeNG__str____repr__r r r r rGsrGc@seZdZejjZejjZdS)DictKeysN)rrrrrHrIrJr r r r rKsrKc@seZdZejjZejjZdS) DictValuesN)rrrrrHrIrJr r r r rLsrLcs8eZdZdZd fdd Zd fdd ZddZZS) PartialFunctionzDA class representing partial function obtained via functools.partialNcsDt|||||t|jdd|_|jdd|_|j|_dS)Nr%)r,r#lenZpositional_argumentsZfilled_positionals filled_argsZkeyword_argumentsfilled_keywords)r Zcallr.doclineno col_offsetparent) __class__r r r#szPartialFunction.__init__csr|rbdd|jjD}x0|jD]"\}}||kr"|jj||fq"W|jjpRg}|j||j_tj||dS)NcSsh|] \}}|qSr r ).0keyword_r r r sz4PartialFunction.infer_call_result..)callerr) Z callcontextkeywordsrPitemsappendargsrOr,r<)r rZrZcurrent_passed_keywordsrWvalueZcall_context_args)rUr r r<s  z!PartialFunction.infer_call_resultcCs|jjS)N)rUr)r r r r r/szPartialFunction.qname)NNNNN)NN)rrrrr#r<r/ __classcell__r r )rUr rMsrM)rbuiltinsZastroidrrrrrrrrr Z lazy_importrZ_BaseContainerr rHrr(rCrFZProxyrGrKrLr;rMZDict __bases__r r r r s(