o ­‡a—‡ã @snddlmZmZddlmZddlZddlZGdd„deƒZ Gdd„dej ƒZ Gdd „d eƒZ iZ ejjd kr:eZnddlZejZd d „e ¡DƒZ ee d <eƒeƒZZGdd„dej ƒZGdd„dej ƒZGdd„deƒZedkr³ddlZGdd„dej ƒZejdd…pˆdZeD])Zer“e eƒnej!Z"e #e" $¡¡Z%eee%ƒWdƒn1s­wYq‹dSdS)é)Ú defaultdictÚ OrderedDict)ÚcontextmanagerNc@sFeZdZddd„Zdd„Zdd„Zdd „Zd d „Zd d „Zdd„Z dS)Ú ordered_setNcCst |pg¡|_dS©N)rÚfromkeysÚvalues)ÚselfÚelements©r ú1/usr/lib/python3/dist-packages/beniget/beniget.pyÚ__init__ szordered_set.__init__cCsd|j|<dSr©r©r Úvaluer r r Úadd ózordered_set.addcCs|j dd„|Dƒ¡dS)Ncss|]}|dfVqdSrr )Ú.0Úkr r r Ú ó€z%ordered_set.update..)rÚupdate)r rr r r rszordered_set.updatecCst|j ¡ƒSr)ÚiterrÚkeys©r r r r Ú__iter__rzordered_set.__iter__cCs ||jvSrrrr r r Ú __contains__ó zordered_set.__contains__cCs|j ¡}| |j¡|Sr)rÚcopyr)r ÚotherÚoutr r r Ú__add__s  zordered_set.__add__cCs t|jƒSr)Úlenrrr r r Ú__len__rzordered_set.__len__r) Ú__name__Ú __module__Ú __qualname__r rrrrr!r#r r r r rs  rcsPeZdZdZdd„Z‡fdd„Zdd„Zdd „Zd d „Zd d „Z dd„Z ‡Z S)Ú Ancestorsa0 Build the ancestor tree, that associates a node to the list of node visited from the root node (the Module) to the current node >>> import gast as ast >>> code = 'def foo(x): return x + 1' >>> module = ast.parse(code) >>> from beniget import Ancestors >>> ancestors = Ancestors() >>> ancestors.visit(module) >>> binop = module.body[0].body[0].value >>> for n in ancestors.parents(binop): ... print(type(n)) cCstƒ|_tƒ|_dSr)ÚdictÚ_parentsÚlistÚ_currentrr r r r 6s zAncestors.__init__cs:t|jƒ|j|<|j |¡tt|ƒ |¡|j ¡dSr)r*r+r)ÚappendÚsuperr'Ú generic_visitÚpop©r Únode©Ú __class__r r r.:s zAncestors.generic_visitcCs|j|dS©Néÿÿÿÿ©r)r0r r r Úparent@rzAncestors.parentcCs |j|Srr6r0r r r ÚparentsCrzAncestors.parentscCs6t|j|ƒD] }t||ƒr|Sqtd ||¡ƒ‚)Nz{} has no parent of type {})Úreversedr)Ú isinstanceÚ ValueErrorÚformat)r r1ÚclsÚnr r r ÚparentInstanceFs  ÿzAncestors.parentInstancecCs| |tjtjf¡Sr)r?ÚastÚ FunctionDefÚAsyncFunctionDefr0r r r ÚparentFunctionLs ÿzAncestors.parentFunctioncCs| |tj¡Sr)r?r@Ústmtr0r r r Ú parentStmtPrzAncestors.parentStmt) r$r%r&Ú__doc__r r.r7r8r?rCrEÚ __classcell__r r r2r r'!s r'c@sTeZdZdZdZdd„Zdd„Zdd„Zd d „Zd d „Z d d„Z dd„Z dd„Z dS)ÚDefzE Model a definition, either named or unnamed, and its users. )r1Ú_userscCs||_tƒ|_dSr)r1rrIr0r r r r [s z Def.__init__cCst|tƒsJ‚|j |¡dSr)r:rHrIrr0r r r Úadd_user_sz Def.add_usercCs†t|jtjtjtjfƒr|jjSt|jtjƒr|jjSt|jtj ƒr2|jj  dd¡d}|jj p1|St|jt ƒr=|jdSt |jƒjS)zv If the node associated to this Def has a name, returns this name. Otherwise returns its type Ú.ér)r:r1r@ÚClassDefrArBÚnameÚNameÚidÚaliasÚsplitÚasnameÚtupleÚtyper$)r Úbaser r r rNcs þ    zDef.namecCs|jS)zL The list of ast entity that holds a reference to this node )rIrr r r Úusersvsz Def.userscCó | i¡Sr)Ú_reprrr r r Ú__repr__|rz Def.__repr__csF|ˆvr d ˆ|¡Stˆƒˆ|<d |jd ‡fdd„|jDƒ¡¡S)Nú(#{})ú {} -> ({})ú, c3ó|] }| ˆ ¡¡VqdSr)rYr©rÚu©Únodesr r r…ó€ÿzDef._repr..)r<r"r1ÚjoinrI©r rbr rar rYs ÿÿz Def._reprcCrXr)Ú_strrr r r Ú__str__‰rz Def.__str__csH|ˆvr d ˆ|¡Stˆƒˆ|<d | ¡d ‡fdd„|jDƒ¡¡S)Nr[r\r]c3r^r)rfrr_rar r r’rczDef._str..)r<r"rNrdrIrer rar rfŒs ÿÿzDef._strN) r$r%r&rFÚ __slots__r rJrNrWrZrYrgrfr r r r rHTs rHécCsi|]\}}||“qSr r ©rrÚvr r r Ú  srlÚ__file__c@seZdZdd„Zdd„ZdS)ÚCollectGlobalscCsttƒ|_dSr)rr*ÚGlobalsrr r r r ¨rzCollectGlobals.__init__cCs$|jD] }|j| ||f¡qdSr)Únamesror,©r r1rNr r r Ú visit_Global«s ÿzCollectGlobals.visit_GlobalN)r$r%r&r rrr r r r rn§s rnc@sHeZdZdZd‚dd„Zdƒdd„Zdd „Zd d „Zd d „Zdd„Z dd„Z dd„Z e dd„ƒZ e dd„ƒZdd„Zdd„Zedd„ƒZdd„Zefd d!„ZeZd"d#„Zd$d%„Zd&d'„Zd(d)„Zd*d+„Zd,d-„Zd.d/„Zd0d1„Zd2d3„Zd4d5„Z e Z!d6d7„Z"d8d9„Z#d:d;„Z$e$Z%dd?„Z'd@dA„Z(dBdC„Z)dDdE„Z*dFdG„Z+dHdI„Z,dJdK„Z-dLdM„Z.dNdO„Z/dPdQ„Z0dRdS„Z1efdTdU„Z2dVdW„Z3dXdY„Z4dZd[„Z5d\d]„Z6e6Z7d^d_„Z8e6Z9d`da„Z:dbdc„Z;e:Ze:Z?dhdi„Z@djdk„ZAdldm„ZBe:ZCdndo„ZDe:ZEdpdq„ZFdrds„ZGdtdu„ZHdvdw„ZIeIZJdxdy„ZKdzd{„ZLd|d}„ZMd~d„ZNd€d„ZOdS)„Ú DefUseChainsa| Module visitor that gathers two kinds of informations: - locals: Dict[node, List[Def]], a mapping between a node and the list of variable defined in this node, - chains: Dict[node, Def], a mapping between nodes and their chains. >>> import gast as ast >>> module = ast.parse("from b import c, d; c()") >>> duc = DefUseChains() >>> duc.visit(module) >>> for head in duc.locals[module]: ... print("{}: {}".format(head.name(), len(head.users()))) c: 1 d: 0 >>> alias_def = duc.chains[module.body[0].names[0]] >>> print(alias_def) c -> (c -> (Call -> ())) NcCs^i|_ttƒ|_||_dd„t ¡Dƒ|_g|_g|_ g|_ g|_ g|_ g|_ g|_d|_dS)zN - filename: str, included in error messages if specified cSsi|] \}}|t|ƒ“qSr )rHrjr r r rlÍsz)DefUseChains.__init__..rN)Úchainsrr*ÚlocalsÚfilenameÚBuiltinsÚitemsÚ _builtinsÚ_deferedÚ _definitionsÚ_promoted_localsÚ_undefsÚ _currentheadÚ_breaksÚ _continuesÚdeadcode)r rvr r r r Äs  zDefUseChains.__init__TcsXt|tjƒr |s dd„|j ¡Dƒ‰t‡fdd„|j|DƒƒStdd„|j|DƒƒS)NcSsh|]}|’qSr r ©rÚdr r r Ú êsz0DefUseChains.dump_definitions..c3s |] }|ˆvr| ¡VqdSr©rNr‚©Úbuiltinsr r rës€ÿz0DefUseChains.dump_definitions..csó|]}| ¡VqdSrr…r‚r r r rîr)r:r@ZModuleryrÚsortedru)r r1Zignore_builtinsr r†r Údump_definitionsès  ÿzDefUseChains.dump_definitionscCs&g}|j|D] }| t|ƒ¡q|Sr)rur,Ústr)r r1rtrƒr r r Ú dump_chainsðszDefUseChains.dump_chainscCsPt|dƒrd |jdurdn|j¡}d ||j|j¡}nd}td ||¡ƒdS)NÚlinenoz{}:z z at {}{}:{}ÚzW: unbound identifier '{}'{})Úhasattrr<rvrÚ col_offsetÚprint)r rNr1rvÚlocationr r r Úunbound_identifierös ÿþzDefUseChains.unbound_identifiercCs(t|jƒD] }||vr||SqgSr)r9r{)r rNrƒr r r Úlookup_identifiers  ÿzDefUseChains.lookup_identifiercCs²|j}g}t|jƒD]#}||vr"|s||S|t||ƒSd|vr-| |d¡q |j |t|ƒ¡}|jrF|jd|  ||f¡|rM||gS|jsV|  ||¡|gS)NÚ*r5) rPr9r{r*ÚextendrtÚ setdefaultrHr}r,r“)r r1rNÚstarsrƒr r r Údefss $€  zDefUseChains.defscCs^d}|D]}t|tjtjtjfƒr|sd}|jd7_| |¡q|r-|jd8_dSdS)NFTrL)r:r@ZBreakZContinueZRaiserÚvisit)r ZstmtsrrDr r r Ú process_bodys ÿzDefUseChains.process_bodycCs|jd ¡D]9\}}||jdvr0|jd|D]}|D]\}}| ¡D]}| |¡q%qqq|D] \}}|s?| ||j¡q2q|j ¡dSr4)r}rxr{rWrJr“r1r/)r Z undef_namer}ZnewdefZundefÚ_Úuserr˜r r r Úprocess_undefs(s   ÿÿÿ €þzDefUseChains.process_undefsccsT|j |¡|j ttƒ¡|j tƒ¡dV|j ¡|j ¡|j ¡dSr)r~r,r{rrr|Úsetr/r0r r r ÚDefinitionContext5s€   zDefUseChains.DefinitionContextccsptjjdkr|j |¡|j ttƒ¡|j t ƒ¡dVtjjdkr6|j  ¡|j  ¡|j  ¡dSdS)Né) ÚsysÚ version_infoÚmajorr~r,r{rrr|rŸr/r0r r r ÚCompDefinitionContext?s€     ýz"DefUseChains.CompDefinitionContextcCsÔ||_| |¡Î|jd dd„|j ¡Dƒ¡|j g¡| |j ¡t ƒ}|  |¡|j   ¡D]$}|D]\}}||jdvrUt||fƒ}| ||¡|j| |¡q6q2|jdD]\}}t|d t|ƒj¡ƒ} |j|} |_| |td| |_q\|j ¡ tƒ} |j|D]} |  ¡}||jvrš|  |¡||jdvs¨J|| jfƒ‚qŠt|jdƒ} t|jƒ}t| ƒ}tdd „|j|Dƒƒ}| |||ksÏJ‚Wdƒn1sÙwY|jrãJ‚|jrèJ‚dS) Nr5cSsi|] \}}|t|fƒ“qSr )rrjr r r rlQsz-DefUseChains.visit_Module..zvisit_{})ÚstepTrcSsh|]}| ¡’qSr r…r‚r r r r„vóz,DefUseChains.visit_Module..)Úmoduler r{rryrxrzr,r›ÚbodyrnršrorrHÚset_definitionruÚgetattrr<rUr$ÚDefinitionStepr/rŸrNrr1r")r r1Zcgrbr>rNÚdnodeZfnodeÚctxZvisitorr™Zoverloaded_builtinsrƒZnb_defsZnb_bltnsZnb_overloaded_bltnsZnb_headsr r r Ú visit_ModuleLsP  ÿ      €üÿ     × +zDefUseChains.visit_ModulecCsB|jrdSt|tƒrt|fƒ|jd|<dSt|ƒ|jd|<dSr4)rr:rHrr{©r rNÚdnode_or_dnodesr r r rª|s  zDefUseChains.set_definitioncCs.t|tƒr|| |¡dS|| |¡dSr)r:rHrr)Z definitionrNr±r r r Úadd_to_definition„s zDefUseChains.add_to_definitioncCs"|jrdSt |jd||¡dSr4)rrsr²r{r°r r r Úextend_definition‹s ÿzDefUseChains.extend_definitioncCs:|turi|j |t|ƒ¡}| |j|¡|j|jd |¡t d|j j ƒD] }|  |¡  |¡q&|j jD] }|  |¡  |¡q5|jD]}|  |¡qCt|jƒ}t|jdtjƒr]| ¡|jd ||f¡dS|turš|jrv|  |j¡| |¡|  |j ¡| |j¡WdƒdS1s“wYdStƒ‚r4)ÚDeclarationSteprtr—rHrªrNrur~r,ÚfilterÚargsÚ kw_defaultsršrJÚdefaultsÚdecorator_listr*r{r:r@rMr/rzr¬Úreturnsr r›r©ÚNotImplementedError)r r1r¦r­Z kw_defaultÚdefaultÚ decoratorZ definitionsr r r Úvisit_FunctionDef‘s,       "þzDefUseChains.visit_FunctionDefcCsØ|j |t|ƒ¡}|j|jd |¡| |j|¡|jD] }|  |¡  |¡q|j D] }|  |j ¡  |¡q,|j D] }|  |¡  |¡q;| |¡| dtdƒ¡| |j¡WdƒdS1sewYdS)Nr5r3)rtr—rHrur~r,rªrNÚbasesršrJÚkeywordsrr¹r r›r©)r r1r­rVÚkeywordr½r r r Úvisit_ClassDef®s    "þzDefUseChains.visit_ClassDefcCs|jr | |j¡dSdSr)rršr0r r r Ú visit_Return½sÿzDefUseChains.visit_ReturncCó>|jd ¡D]\}}t |jd||¡q|jd ¡dSr4)r{rxrsr²rÚclear©r rœrrkr r r Ú visit_BreakÁózDefUseChains.visit_BreakcCrÄr4)r{rxrsr²r€rÅrÆr r r Úvisit_ContinueÆrÈzDefUseChains.visit_ContinuecCs|jD]}| |¡qdSr)Útargetsrš©r r1Útargetr r r Ú visit_DeleteËs  ÿzDefUseChains.visit_DeletecCs&| |j¡|jD]}| |¡q dSr)ršrrÊrËr r r Ú visit_AssignÏs   ÿzDefUseChains.visit_AssigncCsL|jr | |j¡}| |j¡}| |j¡}| |¡|jr$| |¡dSdSr)rršÚ annotationrÌrJ)r r1ÚdvalueZ dannotationÚdtargetr r r Úvisit_AnnAssignÕs    ÿzDefUseChains.visit_AnnAssigncCsÖ| |j¡}t|jtjƒr`|jjt ¡}|j_| |j¡}| |¡||j_|jj |j dvr:|  |jj |¡dSdd„|  |j¡Dƒ}|  |jj |¡d|vr^|j|jd |¡dSdS| |j¡ |¡dS)Nr5cSsg|]}| ¡‘qSr r…r‚r r r Ú èr§z0DefUseChains.visit_AugAssign..r•)ršrr:rÌr@rOr®ÚLoadrJrPr|r³r™rªrur~r,)r r1rÐr®rÑZ loaded_fromr r r Úvisit_AugAssignÞs   ÿzDefUseChains.visit_AugAssigncCs,|jr | |j¡|jD]}| |¡q dSr)Údestršr)r r1rr r r Ú visit_Printñs    ÿzDefUseChains.visit_PrintcCs‚| |j¡|j ttƒ¡|j ttƒ¡|j ttƒ¡|j  |j d  ¡¡| |j ¡|  |j ¡| ¡|j ¡}| ¡D] \}}| ||¡qB|j ttƒ¡| |j ¡|  |j ¡|j  ttƒ¡|  |j¡|j  ¡}|j ¡}|j ¡}|j  ¡}| ¡D] \}}| ||¡q‡| ¡D] \}}| ||¡q–| ¡D] \}}| ||¡q¥| ¡D] \}}| ||¡q´dSr4)ršrrr,rrr€r}r*r{rrÌr›r©ržr/rxr³Úorelse)r r1Ú continue_defsrƒr`Ú orelse_defsÚ break_defsÚ body_defsr r r Ú visit_For÷s:           ÿzDefUseChains.visit_ForcCs´|j |jd ¡¡|j ttƒ¡|j ttƒ¡|j ttƒ¡|  |j ¡|j  ¡|j |jd ¡¡|  |j ¡|  |j¡| ¡|j  ¡}| ¡D] \}}| ||¡qR|j ttƒ¡|  |j ¡|  |j¡|  |j ¡|j |jd ¡¡|  |j ¡|j  ¡}|j  ¡}|j  ¡}|j  ¡}| ¡D] \}}| ||¡q | ¡D] \}}| ||¡q¯| ¡D] \}}| ||¡q¾| ¡D] \}}| ||¡qÍdSr4)r{r,rr}rr*rrr€r›rØr/ršÚtestr©ržrxr³)r r1rÙrƒr`rÚrÜrÛr r r Ú visit_While$s@             ÿzDefUseChains.visit_WhilecCsÈ| |j¡|j |jd ¡¡| |j¡|j ¡}|j |jd ¡¡| |j¡|j ¡}|D]}||vrG|  |||||¡q4|  |||¡q4|D]}||vrYqR|  |||¡qRdSr4) ršrÞr{r,rr›r©r/rØrªr³)r r1rÜrÚrƒr r r Úvisit_IfVs     üzDefUseChains.visit_IfcCs&|jD]}| |¡q| |j¡dSr)rxršr›r©)r r1Zwithitemr r r Ú visit_Withms  zDefUseChains.visit_WithcCs,|jr | |j¡|jr| |j¡dSdSr)ÚexcršÚcauser0r r r Ú visit_Raisets  ÿzDefUseChains.visit_RaisecCs¬|j |jd ¡¡| |j¡| |j¡|j ¡}|D] }| |||¡q|jD]!}|j t t ƒ¡|  |¡|j ¡}|D] }| |||¡qBq,| |j ¡dSr4) r{r,rr›r©rØr/r³ÚhandlersrrršÚ finalbody)r r1Z failsafe_defsrƒZ excepthandlerZ handler_defZhdr r r Ú visit_Tryzs      ÿzDefUseChains.visit_TrycCs&| |j¡|jr| |j¡dSdSr)ršrÞÚmsgr0r r r Ú visit_Asserts ÿzDefUseChains.visit_AssertcCs\|jD](}|j |t|ƒ¡}|j dd¡d}| |jp||¡|j|j d  |¡qdS)NrKrLrr5) rprtr—rHrNrRrªrSrur~r,)r r1rQÚdaliasrVr r r Ú visit_Import’s üzDefUseChains.visit_ImportcCsL|jD] }|j |t|ƒ¡}| |jp|j|¡|j|jd  |¡qdSr4) rprtr—rHrªrSrNrur~r,)r r1rQrêr r r Úvisit_ImportFrom™s ýzDefUseChains.visit_ImportFromcCsÔ|j |t|ƒ¡}| |j¡|jr| |j¡n|jd ¡D] }|D]}| |¡q$q |j r7| |j ¡n+t ƒ}t |jdd…ƒD]}|  ¡D]\}}||vr`|  |¡|D]}| |¡qXqIqC| d|¡dS)NrrLr•)rtr—rHršr©Úglobalsr{rrJrurŸr9rxrr³)r r1r­r™rƒZvisible_localsr{Zdnamer r r Ú visit_ExecŸs(  ÿ  €üzDefUseChains.visit_ExeccCs |jD] }|jd |¡qdSr4)rpr|rrqr r r rr¹s ÿzDefUseChains.visit_GlobalcCsP|jD]"}t|jdd…ƒD]}||vrq| |||¡n| ||¡qdSr4)rpr9r{rªr“)r r1rNrƒr r r Úvisit_Nonlocal½s  €÷zDefUseChains.visit_NonlocalcCs| |¡dSr)r.r0r r r Ú visit_ExprÉrzDefUseChains.visit_ExprcCó2|j |t|ƒ¡}|jD] }| |¡ |¡q |Sr©rtr—rHrršrJ©r r1r­rr r r Ú visit_BoolOpÍó zDefUseChains.visit_BoolOpcCó:|j |t|ƒ¡}| |j¡ |¡| |j¡ |¡|Sr)rtr—rHršÚleftrJÚright©r r1r­r r r Ú visit_BinOpÓózDefUseChains.visit_BinOpcCó(|j |t|ƒ¡}| |j¡ |¡|Sr)rtr—rHršÚoperandrJrùr r r Ú visit_UnaryOpÙózDefUseChains.visit_UnaryOpcCsž|tur|j |t|ƒ¡}|jd |t|jƒf¡|S|turL|j|}|  |¡|  |j ¡|  |j ¡  |¡Wdƒ|S1sEwY|Stƒ‚r4)r´rtr—rHrzr,r*r{r¬r ršr¶r©rJr»)r r1r¦r­r r r Ú visit_LambdaÞs    þýzDefUseChains.visit_LambdacCsL|j |t|ƒ¡}| |j¡ |¡| |j¡ |¡| |j¡ |¡|Sr)rtr—rHršrÞrJr©rØrùr r r Ú visit_IfExpìs zDefUseChains.visit_IfExpcCsT|j |t|ƒ¡}td|jƒD] }| |¡ |¡q|jD] }| |¡ |¡q|Sr)rtr—rHrµrršrJr)r r1r­Úkeyrr r r Ú visit_Dictós  zDefUseChains.visit_DictcCrñr)rtr—rHÚeltsršrJ©r r1r­Úeltr r r Ú visit_SetûrõzDefUseChains.visit_SetcCsp|j |t|ƒ¡}| |¡ |jD] }| |¡ |¡q| |j¡ |¡Wdƒ|S1s1wY|Sr)rtr—rHr¥Ú generatorsršrJr©r r1r­Z comprehensionr r r Úvisit_ListComps   ýûzDefUseChains.visit_ListCompcCs‚|j |t|ƒ¡}| |¡)|jD] }| |¡ |¡q| |j¡ |¡| |j¡ |¡Wdƒ|S1s:wY|Sr) rtr—rHr¥rršrJrrr r r r Úvisit_DictComp s   üúzDefUseChains.visit_DictCompcCrür)rtr—rHršrrJrùr r r Ú visit_AwaitrÿzDefUseChains.visit_AwaitcCs.|j |t|ƒ¡}|jr| |j¡ |¡|Sr)rtr—rHrršrJrùr r r Ú visit_YieldszDefUseChains.visit_YieldcCsD|j |t|ƒ¡}| |j¡ |¡|jD] }| |¡ |¡q|Sr)rtr—rHršr÷rJÚ comparators)r r1r­Úexprr r r Ú visit_Compare's  zDefUseChains.visit_ComparecCsb|j |t|ƒ¡}| |j¡ |¡|jD] }| |¡ |¡q|jD] }| |j¡ |¡q#|Sr) rtr—rHršÚfuncrJr¶rÀr)r r1r­ÚargÚkwr r r Ú visit_Call.s  zDefUseChains.visit_CallcCs|j |t|ƒ¡}|Sr)rtr—rHrùr r r Úvisit_Constant9szDefUseChains.visit_ConstantcCs@|j |t|ƒ¡}| |j¡ |¡|jr| |j¡ |¡|Sr)rtr—rHršrrJÚ format_specrùr r r Úvisit_FormattedValue=s z!DefUseChains.visit_FormattedValuecCrñrròrór r r Úvisit_JoinedStrDrõzDefUseChains.visit_JoinedStrcCrör)rtr—rHršrrJÚslicerùr r r Úvisit_SubscriptLrûzDefUseChains.visit_SubscriptcCs4|j |t|ƒ¡}| |j¡ |¡| |j¡|Sr)rtr—rHršrrJrÌrùr r r Úvisit_NamedExprTs zDefUseChains.visit_NamedExprcCs"t|jtjtjfƒr]|j |t|ƒ¡}|j|j dvr4|  |j|¡||j |j vr3|j |j   |¡n| |j|¡||j |jdvrP|j |jd  |¡|jdur[| |j¡|St|jtjtjfƒrŽ||jv}|rt|j|}nt|ƒ}| |¡D]}| |¡q}|sŒ||j|<|Stƒ‚r4)r:r®r@ZParamÚStorertr—rHrPr|r³rur¨r,rªr~rÏršrÔZDelr™rJr»)r r1r­Znode_in_chainsrƒr r r Ú visit_NameZs0€  ó    ÿzDefUseChains.visit_NamecCs’|j |t|ƒ¡}t ¡}|jD]6}t|tjƒr,|j|}|_|  |¡|j|}|_qt|tj ƒr8|  |¡qt|tj tj fƒrF|  |¡q|Sr)rtr—rHr@rrr:rOr®ršZ SubscriptZListZTupleÚvisit_Destructured)r r1r­Z tmp_storerr r r rys      €zDefUseChains.visit_DestructuredcCs\t|jtjƒr |j |t|ƒ¡}|jD] }| |¡  |¡q|St|jtj ƒr,|  |¡SdSr) r:r®r@rÔrtr—rHrršrJrrrr r r Ú visit_List‡s  ÿzDefUseChains.visit_ListcCs^|j |t|ƒ¡}|jr| |j¡ |¡|jr!| |j¡ |¡|jr-| |j¡ |¡|Sr)rtr—rHÚlowerršrJÚupperr¦rùr r r Ú visit_Slice–szDefUseChains.visit_SlicecCsP|j |t|ƒ¡}| |j¡ |¡| |j¡|jD] }| |¡ |¡q|Sr)rtr—rHršrrJrÌÚifs)r r1r­Zif_r r r Úvisit_comprehension¢s   z DefUseChains.visit_comprehensioncCsR|j |t|ƒ¡}|jr| |j¡ |¡|jr!| |j¡ |¡| |j¡|Sr) rtr—rHrUršrJrNr›r©rùr r r Úvisit_excepthandlerªs z DefUseChains.visit_excepthandlercCsn|jD]}| |¡q|jD]}| |¡q|jr| |j¡|jD]}| |¡q"|jr5| |j¡dSdSr)r¶ršÚ posonlyargsÚvarargÚ kwonlyargsÚkwarg)r r1rr r r Úvisit_arguments³s       ÿzDefUseChains.visit_argumentscCs:|j |t|ƒ¡}| |j¡ |¡|jr| |j¡|Sr)rtr—rHršÚ context_exprrJÚ optional_varsrùr r r Úvisit_withitemÂs  zDefUseChains.visit_withitemr)T)Pr$r%r&rFr rŠrŒr“r”r™r›ržrr r¥r¯rªÚ staticmethodr²r³r´r¾Zvisit_AsyncFunctionDefrÂrÃrÇrÉrÍrÎrÒrÕr×rÝZvisit_AsyncForrßràráZvisit_AsyncWithrärçrérërìrîrrrïrðrôrúrþrrrrr Z visit_SetCompr Zvisit_GeneratorExpr r Zvisit_YieldFromrrZ visit_ReprrrrZvisit_AttributerZ visit_StarredrrrrZ visit_Tupler"r$r%r*r-r r r r rs°sœ  $     0   +2        rsc@s eZdZdZdd„Zdd„ZdS)Ú UseDefChainszÖ DefUseChains adaptor that builds a mapping between each user and the Def that defines this user: - chains: Dict[node, List[Def]], a mapping between nodes and the Defs that define it. cCsi|_|j ¡D]#}t|jtjƒr|j |jg¡| ¡D] }|j |jg¡ |¡qq|j  ¡D]}| ¡D] }|j |jg¡ |¡q7q1dSr) rtrr:r1r@rOr—rWr,ry)r ÚdefusesÚchainÚuser r r r Òs ÿ ÿÿzUseDefChains.__init__c Csng}|j ¡D]!\}}t|ƒ ¡}d |d tdd„|Dƒƒ¡¡}| ||f¡q| ¡d dd„|Dƒ¡S)Nz {} <- {{{}}}r]csrˆrr…)rr2r r r rãrz'UseDefChains.__str__..css|]\}}|VqdSrr )rrÚsr r r rçr) rtrxrHrNr<rdr‰r,Úsort)r r rZusesZknameZkstrr r r rgÞs ÿzUseDefChains.__str__N)r$r%r&rFr rgr r r r r/Ês r/Ú__main__cs6eZdZ‡fdd„Zd dd„Zdd„Zdd „Z‡ZS) ÚBenigetcsRtt|ƒ ¡|p d|_tƒ|_|j |¡t|jƒ|_|j |¡| |¡dS)Nz) r-r6r rvr'Ú ancestorsršrsr0)r rvr¨r2r r r îs    zBeniget.__init__r cCs–|jj|D]B}| ¡sH| ¡dkrqt|j|ƒrq|j}t|dƒs-|j |¡}t|dƒr"t|t j ƒr9|j dkr9qt d  | ¡|j|j|j¡ƒqdS)NrœrZ __future__z+W: '{}' is defined but not used at {}:{}:{})r0rurWrNr:r1rr7r7r@Z ImportFromr¨r‘r<rvrr)r r1Ú skipped_typesZ local_defr’r r r Ú check_unusedûs.     ÿ  üÿ€ñzBeniget.check_unusedcCs<| |¡|j d¡r dS|j|tjtjtjtjfddS)Nz __init__.py)r8) r.rvÚendswithr9r@rArBrMrOr0r r r r¯s   ÿ ÿzBeniget.visit_ModulecCs| |¡| |¡dSr)r.r9r0r r r r¾s zBeniget.visit_FunctionDef)r )r$r%r&r r9r¯r¾rGr r r2r r6ís    r6rLr)&Ú collectionsrrÚ contextlibrr¢Zgastr@ÚobjectrZ NodeVisitorr'rHrwr£r¤Ú __builtins__Z BuiltinsSrcr‡Ú__dict__rxrmr´r¬rnrsr/r$r6ÚargvÚpathsÚpathÚopenÚstdinrÌÚparseÚreadr¨r r r r ÚsH 3C    4 þ€Æ9