관리-도구
편집 파일: Classifiers.cpython-37.opt-1.pyc
B �]2� � @ s� d dl mZ G dd� d�ZG dd� de�ZG dd� de�ZG dd � d e�ZG d d � d e�ZG d d � d �ZG dd� de�Z G dd� de�Z G dd� d�Z G dd� de�Z G dd� d�Z G dd� de�ZG dd� d�ZG d d � d e�ZG d d � d �ZG d d!� d!e�ZG d"d#� d#e�ZG d$d%� d%�ZG d&d'� d'e�ZG d(d)� d)�ZG d*d+� d+e�ZG d,d-� d-e�ZG d.d/� d/�ZG d0d1� d1e�ZG d2d3� d3�ZG d4d5� d5�Z G d6d7� d7e�Z G d8d9� d9�Z d:S );� )�property_nondatac @ s� e Zd Zd.dd�Zdd� Zdd � Zee�Zd d � Zd d � Z dd� Z dd� Z dd� Z dd� Z dd� Zd/dd�Zd0dd �Zd d � Zd d � Zd!d"� Zd#d$� Zd%d&� Zd'd(� Zd1d*d+�Zd2d,d-�ZdS )3� ClassifierN� Fc C s� || _ || _|d k r|| _|j�| g�| _|rNx4|D ]}| j|jO _q4W n| j|jjjgO _x|D ]}|j rjd}P qjW || _ |r�|j j | _ d S )NT) �mod�name�cli�ImpSet� immnodesetZsuper_classifiers�Use�Unity� classifier�with_referrers�View�call_with_referrers) �selfr r r �supers�dependsr �s�dr r �J/opt/alt/python37/lib64/python3.7/site-packages/guppy/heapy/Classifiers.py�__init__ s zClassifier.__init__c C s ||�S )Nr )r �x�fr r r r ! s z Classifier.call_with_referrersc C s | � � S )N)�get_cli)r r r r �_get_cli& s zClassifier._get_clic C s | j �||�S )N)r �alt)r �kindr r r r �get_alt, s zClassifier.get_altc s. d�j � �j�� � �fdd��}|j�|�S )Nz %s.dictofc s �j �t�j � ��S )N)r �_er_by_� ByDictOwnerr )r r r r �<lambda>4 s z'Classifier.get_dictof.<locals>.<lambda>)r r � mker_memoizedr �dictof)r r �err )r r r � get_dictof0 s zClassifier.get_dictofc C s | � |�S )N)�family)r �kr r r �get_kind9 s zClassifier.get_kindc C s& |� � \}}}|| k r"td| ��|S )Nz1get_kindarg: argument with classifier %r expected)�get_ckc� ValueError)r r �cla�ka�cmpr r r � get_kindarg= s zClassifier.get_kindargc C s d| j jj| jf S )Nz%s%s)r r �reprefixr )r r r r � get_reprnameE s zClassifier.get_reprnamec O s |||�}t ||f�S )N)�CallableSoKind)r r# �args�kwdsr& r r r � get_sokindH s zClassifier.get_sokindc s& d� � � d�� fdd�|jD ��f S )Nz %s.sokind%s� c s g | ]}d � � |� �qS )z(%s))�get_userkindargrepr)�.0r& )r r r � <listcomp>P s z-Classifier.get_sokindrepr.<locals>.<listcomp>)r/ �join�kinds)r �sokindr )r r �get_sokindreprL s zClassifier.get_sokindreprr4 c C s | � � S )N)� get_byname)r �ctxr r r � get_tabheaderS s zClassifier.get_tabheaderc C s |j S )N)�brief)r r* r= r r r �get_tabrenderingX s zClassifier.get_tabrenderingc O s | j ||�S )N)r% )r r1 r2 r r r � get_userkind] s zClassifier.get_userkindc C s |j S )N)�arg)r r r r r �get_userkindarga s zClassifier.get_userkindargc C s t | �|��S )N)�reprrC )r r r r r r5 d s z Classifier.get_userkindargreprc C sL g }xB| � |�D ]4\}}| �|�}| jjj|| jd�}|�||f� qW |S )N)r# )� partition_clir' r r �idsetr# �append)r �iterable�itemsr& �vr r r � partitiong s zClassifier.partitionc s& | � || jj�� � fdd�� �� D �S )Nc s g | ]}|� | f�qS r r )r6 r& )�epr r r7 s s z,Classifier.partition_cli.<locals>.<listcomp>)r r Z epartitionZ get_domain)r �ar )rL r rE o s zClassifier.partition_clic s. � � |�}� fdd�|D �}� jjj|dd�S )Nc s g | ]\}}� � |��qS r )r' )r6 r& rJ )r r r r7 w s z%Classifier.relimg.<locals>.<listcomp>� )Z maximized)rE r r �union)r �X�pr9 r )r r �relimgu s zClassifier.relimg�==c s �� |� ��fdd��S )Nc s �j �| � ��S )N)r �select)rM )�br, r r r r } � z'Classifier.select_cli.<locals>.<lambda>)r )r rM rU r, r )rU r, r r � select_cliz s zClassifier.select_clic C s | j j�| �|j||��}|S )N)r r rF rW �nodes)r rP r& r �rr r r � select_ids s zClassifier.select_ids)Nr r F)r4 )r4 )rS )N)�__name__� __module__� __qualname__r r r r r r r$ r' r- r/ r3 r; r> r@ rA rC r5 rK rE rR rW rZ r r r r r s* r c @ s< e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zee�Z d S ) �SoKindc s8 |� _ |j� _|� _� jjj�� fdd�|D ��� _d S )Nc s g | ]}� j �|��qS r )r r- )r6 r )r r r r7 � s z#SoKind.__init__.<locals>.<listcomp>)r# r r9 r r r �clikinds)r r# r9 r )r r r � s zSoKind.__init__c C sJ t |t�sdS | j|jkr dS | jjj�| j�}| jjj�|j�}||kS )NF)� isinstancer^ r r r rO r9 )r �otherrM rU r r r �__eq__� s z SoKind.__eq__c C s t t| ��S )N)�hashrD )r r r r �__hash__� s zSoKind.__hash__c C s | j �| �S )N)r r; )r r r r �__repr__� s zSoKind.__repr__c C s | j �| �S )N)r# �refdby)r r r r � _get_refdby� s zSoKind._get_refdbyN) r[ r\ r] r rb rd re rg �propertyrf r r r r r^ � s r^ c @ s e Zd Zdd� ZdS )r0 c O s" | j ||�}| �| j | j|f �S )N)r# � __class__r9 )r r1 r2 r& r r r �__call__� s zCallableSoKind.__call__N)r[ r\ r] rj r r r r r0 � s r0 c @ s e Zd Zdd� ZdS )�SoNoKindc C s d| j jjjdf S )Nz%s%s�sonokind)r r r r. )r r r r re � s zSoNoKind.__repr__N)r[ r\ r] re r r r r rk � s rk c @ s8 e Zd ZdZdd� Zdd� Zee�Zdd� Zee�Z dS ) � QuickSoKind)r r_ c C s || _ || _d S )N)r r_ )r r r_ r r r r � s zQuickSoKind.__init__c C s | j jS )N)r r# )r r r r �_get_er� s zQuickSoKind._get_erc s t � fdd�� jD ��S )Nc s g | ]}� j �|��qS r )r r' )r6 r& )r r r r7 � s z*QuickSoKind._get_kinds.<locals>.<listcomp>)�tupler_ )r r )r r � _get_kinds� s zQuickSoKind._get_kindsN) r[ r\ r] � __slots__r rn rh r# rp r9 r r r r rm � s rm c @ sD e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dS )�IdentityFamilyc C s | � |jj� || _d S )N)� defrefiningr �Anythingr )r r r r r r r � s zIdentityFamily.__init__c C s. | |j kr|j|jkS |j jd k o,|j j|kS )N)�famrB �supercl)r rM rU r r r �_ge_ATOM� s zIdentityFamily._ge_ATOMc C s* | |j kr|j|jkS | jd k o(| j|kS )N)ru rB rv )r rM rU r r r �_le_ATOM� s zIdentityFamily._le_ATOMc C s ||j kS )N)rB )r rM rU r r r � c_contains� s zIdentityFamily.c_containsc C s | j j�|j|jg@ �S )N)r r rF rX rB )r rM rU r r r �_and_ID� s zIdentityFamily._and_IDc C s dt t|j�� S )Nz<id %s>)�hex�idrB )r rM r r r � c_get_brief� s zIdentityFamily.c_get_briefc C s d| j �� | j �|�f S )Nz%s(%s))r r/ r5 )r rM r r r �c_repr� s zIdentityFamily.c_reprN) r[ r\ r] r rw rx ry rz r} r~ r r r r rr � s rr c @ s> e Zd Zdd� Zdd� Zddd�Zdd � Zd d � Zd d � ZdS )� ByIdentityc C s( t �| |||j�� � |�t| �| _d S )N)r r �hvZcli_id�fam_mixin_argatomrr r% )r r r r r r r � s zByIdentity.__init__c C s dS )Nzobject identityr )r r r r r< � s zByIdentity.get_bynamer4 c C s dS )NzObject Identityr )r r= r r r r> � s zByIdentity.get_tabheaderc C s | � | jj�|��S )N)r' r r �obj_at)r Zaddressr r r rA � s zByIdentity.get_userkindc C s t |j�S )N)r| rB )r r r r r rC � s zByIdentity.get_userkindargc C s t | �|��S )N)r{ rC )r r r r r r5 � s z ByIdentity.get_userkindargreprN)r4 ) r[ r\ r] r r< r> rA rC r5 r r r r r � s r c @ s, e Zd Zdd� Zdd� Zdd� Zdd� Zd S ) � ByIdentitySetc C s$ t �| |||j�� � |jj| _d S )N)r r r� Z cli_idsetr rF r% )r r r r r r r s zByIdentitySet.__init__c C s dS )Nzby identity setr )r r r r r< s zByIdentitySet.get_bynamec C s | � | jj�|g��S )N)r% r r r )r Znoder r r rA s zByIdentitySet.get_userkindc C s, | � |�}| jj�dd� |D ��}| �|�S )Nc S s g | ] \}}|�qS r r )r6 r& rJ r r r r7 s z(ByIdentitySet.relimg.<locals>.<listcomp>)rE r r Zimmnodeset_unionr% )r rP rQ r& r r r rR s zByIdentitySet.relimgN)r[ r\ r] r r< rA rR r r r r r� � s r� c @ sL e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dd� Z dS )�PyObjectFamilyc C s || _ d S )N)r )r r r r r r r s zPyObjectFamily.__init__c C s dS )NTr )r rM rU r r r ry s zPyObjectFamily.c_containsc C s dS )NzKind: Name/Value/Addressr )r rM r r r �c_get_idpart_header s z"PyObjectFamily.c_get_idpart_headerc C s dS )Nr4 r )r rM r r r �c_get_idpart_label s z!PyObjectFamily.c_get_idpart_labelc s � fdd�}|S )Nc s$ � j j�| �} | j�d��d�}|S )Nz<1 �>)r r �isor? �lstrip�rstrip)r rY )r r r �render$ s z2PyObjectFamily.c_get_idpart_render.<locals>.renderr )r rM r� r )r r �c_get_idpart_render# s z"PyObjectFamily.c_get_idpart_renderc C s dS )Nz <Anything>r )r rM r r r r} * s zPyObjectFamily.c_get_briefc C s d| j jjdf S )Nz%s%srt )r r r. )r rM r r r r~ - s zPyObjectFamily.c_reprc C s |S )Nr )r rM rU r r r rz 0 s zPyObjectFamily._and_IDN) r[ r\ r] r ry r� r� r� r} r~ rz r r r r r� s r� c @ s: e Zd ZdZdd� Zdd� Zddd�Zd d � Zd d � Zd S )�ByUnityzXbyunity Classify by <unity>. The classification returned for every object is <Anything>.c C s. t j| |||j�� | gd� |�t| �| _d S )N)r )r r r� Zcli_noner� r� r% )r r r r r r r ; s zByUnity.__init__c C s dS )NZunityr )r r r r r< B s zByUnity.get_bynamer4 c C s dS )Nz<unclassified>r )r r= r r r r> E s zByUnity.get_tabheaderc G s | j jjS )N)r r rt )r r1 r r r rA H s zByUnity.get_userkindc C s d S )Nr )r r r r r rC K s zByUnity.get_userkindargN)r4 ) r[ r\ r] �__doc__r r< r> rA rC r r r r r� 6 s r� c @ sL e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dd� Z dS )�IndiSizeFamilyc C s | � |jj� || _d S )N)rs r rt r )r r r r r r r P s zIndiSizeFamily.__init__c C s t |�}| jj�| |�S )N)�intr Z AtomFamilyrj )r rM r r r rj T s zIndiSizeFamily.__call__c C s | j �||�S )N)r r )r rM r r r r �c_altX s zIndiSizeFamily.c_altc C s |j | jj�|�kS )N)rB r r �classify)r rM rU r r r ry [ s zIndiSizeFamily.c_containsc C s | j �|j�S )N)r � summary_strrB )r rM r r r � c_get_render^ s zIndiSizeFamily.c_get_renderc C s d|j S )Nz <size = %d>)rB )r rM r r r r} a s zIndiSizeFamily.c_get_briefc C s d||j f S )Nz <size %s %d>)rB )r rM r r r r �c_get_brief_altd s z IndiSizeFamily.c_get_brief_altc C s d| j �� |jf S )Nz%s(%s))r r/ rB )r rM r r r r~ g s zIndiSizeFamily.c_reprN) r[ r\ r] r rj r� ry r� r} r� r~ r r r r r� O s r� c @ s< e Zd ZdZdd� Zdd� Zdd� Zdd d �Zdd d �Zd S )� ByIndiSizezjbyindisize Classify by <individual size>. The classification will be individual memory size of the object.c C s t �| ||� |�t| �| _d S )N)r r r� r� r% )r r r r r r r p s zByIndiSize.__init__c C s dS )Nzindividual sizer )r r r r r< t s zByIndiSize.get_bynamec C s | j j�i �S )N)r r� Z cli_indisize)r r r r r w s zByIndiSize.get_clir4 c C s dS )NzIndividual Sizer )r r= r r r r> z s zByIndiSize.get_tabheaderc C s |rd|j S d|j S d S )Nz%dz%9d)rB )r r* r= r r r r@ } s zByIndiSize.get_tabrenderingN)r4 )r4 ) r[ r\ r] r� r r< r r> r@ r r r r r� k s r� c @ sL e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dd� Z dS )� TypeFamilyc C s$ | � |jj� || _|�| �| _d S )N)rs r rt r � fam_Family�range)r r r r r r r � s zTypeFamily.__init__c C s t |t�std��| �| |�S )NzArgument should be a type.)r` �type� TypeError�Set)r rM r r r rj � s zTypeFamily.__call__c C s | j �||�S )N)r r )r rM r r r r r� � s zTypeFamily.c_altc C s t |�|jkS )N)r� rB )r rM rU r r r ry � s zTypeFamily.c_containsc C s | j �|j�S )N)r r� rB )r rM r r r r� � s zTypeFamily.c_get_renderc C s | j �t|j��|j�S )N)r r� r� rB )r rM r r r r} � s zTypeFamily.c_get_briefc C s$ ddddd�| }d|| � |�f S )Nzstrict subtypeZsubtypeZ supertypezstrict supertype)�<z<=z>=r� z <%s of %s>)r} )r rM r r r r r r� � s zTypeFamily.c_get_brief_altc C s | j �|�S )N)r �get_repr)r rM r r r r~ � s zTypeFamily.c_reprN) r[ r\ r] r rj r� ry r� r} r� r~ r r r r r� � s r� c @ sJ e Zd ZdZdd� Zdd� Zdd� Zdd � Zdd d �Zd d� Z dd� Z dS )�ByTypezMbytype Classify by <type>. The classification will be the type of the object.c C s( t �| |||j�� � |�t| �| _d S )N)r r r� Zcli_typer� r� r% )r r r r r r r � s zByType.__init__c C sH yt | jj|d �}W n& tk r< t | jj|�� �}Y nX | �|�S )N�Type)�getattrr �types�AttributeError�builtins�lowerrA )r r �tyr r r �get_attr_for_er� s zByType.get_attr_for_erc C s dS )Nr� r )r r r r r< � s zByType.get_bynamec C sD |j }| �� }|| jjkr.d|| jj| f S d|| �|�f S d S )Nz%s.%sz%s(%r))rB r/ r � invtypemodrC )r r �tZrnr r r r� � s zByType.get_reprr4 c C s dS )Nr� r )r r= r r r r> � s zByType.get_tabheaderc C s | j �|�}| �|�S )N)r �tc_adaptr% )r r r r r rA � s zByType.get_userkindc C s | j j�|j�S )N)r r �tc_reprrB )r r r r r rC � s zByType.get_userkindargN)r4 ) r[ r\ r] r� r r� r< r� r> rA rC r r r r r� � s r� c @ s\ e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dd� Z dd� Z dd� Z dS )�OwnedDictFamilyc C s | � |j�t�� d S )N)Z defrefidisr r� �dict)r r r r r r � s zOwnedDictFamily.__init__c C s |j S )N)rB )r rM r r r �_get_ownerkind� s z OwnedDictFamily._get_ownerkindc C s | |j �|��S )N)rB r )r rM r r r r r� � s zOwnedDictFamily.c_altc s� �� |�}|�jjjkr(�jjjj�� S |�� ���fdd�}|S |�j��jj �krx�jjjj �� � � �fdd�}|S �jjjj�� S d S )Nc s4 � �j j�| �jj�}d|kr0d|�d�d }|S )N�.z..���)r r r� �owners�theone�split)r Zret)� ownrenderr r r r� � s z,OwnedDictFamily.c_get_render.<locals>.renderc s � �j j�| �jj�S )N)r r r� r� r� )r )� modrenderr r r r� � s ) r� r r �Nothingr� �DictZ get_renderZfam_Typer� � ModuleType�Module)r rM r+ r� r )r� r� r r r� � s z OwnedDictFamily.c_get_renderc C s* | � |�}|| jjjkr dS d|j S d S )Nzdict (no owner)zdict of )r� r r r� r? )r rM r+ r r r r} � s zOwnedDictFamily.c_get_briefc C sX |j �� \}}}|dkr.|j �d��� \}}}|jjj}|j | jjjkrN|j }|||fS )Nz==r ) rB r( �biperr# r" r r r r� � notownedtag)r rM r* r& r, Zdoclar r r � c_get_ckc� s zOwnedDictFamily.c_get_ckcc C s | � |�S )N)r} )r rM rU r r r � c_get_str_for s z OwnedDictFamily.c_get_str_forc sT �� |�}|�jjjk r6|j�|�� � �fdd�}|S �jjjjj }|j�|�S d S )Nc s � �j j�| �jj�S )N)r r r� r� r� )r )� owner_renderr r r r� s z3OwnedDictFamily.c_get_idpart_render.<locals>.render) r� r r r� ru r� �_parentZSpecr� r� )r rM r+ r� rU r )r� r r r� s z#OwnedDictFamily.c_get_idpart_renderc C s0 | � |�}|| jjjkr dS d|j�|� S d S )NzAddress*LengthzOwner )r� r r r� ru r� )r rM r+ r r r r� s z#OwnedDictFamily.c_get_idpart_headerc C s, | � |�}t|�}|�d�r$d| }d| S )N�~z(%s)z %s.dictof)r� rD � startswith)r rM r+ Zrar r r r~ s zOwnedDictFamily.c_reprN) r[ r\ r] r r� r� r� r} r� r� r� r� r~ r r r r r� � s r� c @ s` e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zdd d �Zddd�Z dd� Z dd� Z dd� Z dS )r c C sj t j| |||gd� || _|jj| _|jj| _|j| _|j | _ |j | _ |j � g g�| _ |j � g g�| _d S )N)r )r r �ownerclassifierr r� Zdict_ownership� ownershipr" r% �notdict� dictofnothingr r � notdicttagr� )r r r r� r r r r s zByDictOwner.__init__c C s d| j �� S )Nz [dict of] %s)r� r< )r r r r r< 0 s zByDictOwner.get_bynamec C s | j �| j| jj| j| j�}|S )N)r� Z cli_dictofr� r� r r� r� )r r r r r r 3 s zByDictOwner.get_clic C s6 || j kr| jS || jkr | jS | �| j�|��S d S )N)r� r� r� r� r% r� r' )r r& r r r r' 8 s zByDictOwner.get_kindc C s2 || j kr| jS || jkr | jS | j�|j�S d S )N)r� r� r� r� r� r- rB )r r r r r r- @ s zByDictOwner.get_kindargr4 c C s d| j �|� S )Nz Dict of %s)r� r> )r r= r r r r> H s zByDictOwner.get_tabheaderc C s: || j kr|j}n$|| jkr"d}nd| j�|j|� }|S )Nzdict (no owner)zdict of )r� r? r� r� r@ rB )r r r= rY r r r r@ K s z ByDictOwner.get_tabrenderingc C s0 |d kr| j S || jjjkr"| jS | �|�S d S )N)r� r r r� r� r% )r r& r r r rA U s zByDictOwner.get_userkindc C s, || j krd S || jkr"| jjjS |jS d S )N)r� r� r r r� rB )r r r r r rC ] s zByDictOwner.get_userkindargc C s| | � |j�}| jj�� }| j}xN|jD ]D}|| }|sL| jj�|� || }|r&|d }|d k r&|�|� q&W | jj � |�S )Nr ) rE rX r r Z mutnodesetr� r� Zupdate_dictowners�addr rF )r rP rQ �nsZdrgr& r� rJ r r r r� e s zByDictOwner.ownersN)r4 )r4 ) r[ r\ r] r r< r r' r- r> r@ rA rC r� r r r r r s r c @ s\ e Zd ZdZdd� Zdd� Zdd� Zdd � Zd d � Zdd d�Z ddd�Z dd� Z dd� Z dS )�ByClassOrDictOwnera� byclodo Classify by <type or dict owner>. The classification is performed as follows: 1. If the object is not a dictionary, the classification will be the type of the object. 2. The object is a dictionary. The referrers of the object are searched to find one that 'owns' the dictionary. That is, typically, that the dict is the __dict__ attribute of the owner. If no such owner is found, the type 'dict' will be the classification. If an owner is found, a special object that indicates the classification of the owner will be returned. The classification of the owner will be done by class. (As byclass.)c C sV |j }|j}||@ j}|j}tj| ||d |g|gd� || _|j| _|j| _|| _d S )N)r r r ) r� r" r r r �suprM r �ad)r r r rM r r� r� r r r r � s zByClassOrDictOwner.__init__c C s dS )Nz[dict of] classr )r r r r r< � s z ByClassOrDictOwner.get_bynamec C s | j jS )N)r� r )r r r r r � s zByClassOrDictOwner.get_clic C s0 |\}}|| j jkr | j�|�S | j �|�S d S )N)r r� rM r' )r Zxxx_todo_changemer+ �kdr r r r' � s zByClassOrDictOwner.get_kindc C s< |j | jjkr t}| j�|�}n| j�|�}| jj}||fS )N)ru r r% r� r- rM r� )r r r+ r� r r r r- � s z ByClassOrDictOwner.get_kindargr4 c C s dS )Nz Kind (class / dict of class)r )r r= r r r r> � s z ByClassOrDictOwner.get_tabheaderNc C s� y||d kr>|d k r>|dkr&| j jj}n | j�|�}| j�|�S |d k rv|d krv| j �|�}|tkrjtd��| j� |�S t�W n tk r� td��Y nX d S )Nr z<dict is not an equivalence class of Clodo, use dictof=() etczPArgument should be either <type except dict> dictof=<type> dictof=()) r �UniSetr� r� rA r r� r� r� r' )r r r" Zdor r r rA � s z ByClassOrDictOwner.get_userkindc C sN |j | jjkr<|j| jjjkr$d}n| jj�|j�}d| S |j j �|�S d S )Nz()z dictof=%s) ru r r% rB r r� r� r� r5 r )r r r r r r r5 � s z&ByClassOrDictOwner.get_userkindargreprc C s | j �|�S )N)r r� )r rP r r r r� � s zByClassOrDictOwner.owners)r4 )NN) r[ r\ r] r� r r< r r' r- r> rA r5 r� r r r r r� u s r� c @ s\ e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dd� Z dd� Z dd� Z dS )�RetClaSetFamilyc C s | � |jj� || _d S )N)rs r rt r )r r r r r r r � s zRetClaSetFamily.__init__c C s. | |j kr|j|jkS |j jd k o,|j j|kS )N)ru rB rv )r rM rU r r r rw � s zRetClaSetFamily._ge_ATOMc C s* | |j kr|j|jkS | jd k o(| j|kS )N)ru rB rv )r rM rU r r r rx � s zRetClaSetFamily._le_ATOMc C s |j jjjj�||�S )N)rB r r# rf r )r rM r r r r r� � s zRetClaSetFamily.c_altc C s |j jjj�|d�S )NF)rB r# rf r r@ )r rM r r r �_get_arg_brief� s z RetClaSetFamily._get_arg_briefc C s d| � |� S )Nz<referred by: %s>)r� )r rM r r r r} � s zRetClaSetFamily.c_get_briefc C s$ ddddd�| }d|| � |�f S )Nz by less thanz by at mostz by at leastz by more than)r� z<=z>=r� z<referred %s: %s>)r� )r rM r r r r r r� � s z RetClaSetFamily.c_get_brief_altc C s | j |jjdfS )Nz==)r rB r_ )r rM r r r r� � s zRetClaSetFamily.c_get_ckcc C s d|j S )Nz %r.refdby)rB )r rM r r r r~ � s zRetClaSetFamily.c_reprc C s0 t |t�std��|jjj}| |�f}t||�S )NzSoKind expected)r` r^ r� r r# rf r0 )r �sokr# r9 r r r r: � s zRetClaSetFamily.sokindN) r[ r\ r] r rw rx r� r� r} r� r� r~ r: r r r r r� � s r� c @ sN e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zdd d �Zdd� Z dd� Z dS )� ByRetClaSetc C s8 t j| ||dd� || _|| _| j�t| �| _|| _d S )NT)r ) r r �rg�referrer_classifierr r� r� r% r� )r r r r� r� �docr r r r s zByRetClaSet.__init__c C s dS )Nzreferrer kindsr )r r r r r< s zByRetClaSet.get_bynamec C s i }| j j�| j| jj|�S )N)r r� Zcli_rcsr� r� r )r �memor r r r s zByRetClaSet.get_clic C s` |j jdkr|j}n|| jjjkr(d}n|f}g }x |D ]}|�| j�|�� q8W | jj � |�S )N�ORr ) ru �opnamerB r r r� rG r� r- r r )r r& �ksZrksr r r �get_inverted_refkind s z ByRetClaSet.get_inverted_refkindc C s" |r| � t| j|��S | jjS d S )N)r% rm r� r Z refdbynothing)r r& r r r r' s zByRetClaSet.get_kindr4 c C s d| j �|� }|r d| }|S )NzReferrers by %sz{%s})r� r> )r r= Zthr r r r> & s zByRetClaSet.get_tabheaderc sD � �fdd�|j jD �}|�� d�|�}� r8d| }n|s@d}|S )Nc s g | ]}�j �|� ��qS r )r� r@ )r6 r )r= r r r r7 - s z0ByRetClaSet.get_tabrendering.<locals>.<listcomp>z, z{%s}z <Nothing>)rB r9 �sortr8 )r r* r= ZrsrY r )r= r r r@ , s z ByRetClaSet.get_tabrenderingc G s� d }g }xf|D ]^}t |t�rZ|j| jk r@td| jj|jjf ��|�|j� |d krl|}q|�| j� |�� qW t |�dks�|d kr�t | j| j j �|��}n|}| �|�S )Nz:Expected a SoKind with the %r classifier, argument had %r.rN )r` r^ r r� r) r �extendr_ rG r- �lenrm r r r r% )r r1 Zfirstsokr_ rB r� r r r rA 7 s" zByRetClaSet.get_userkindN)r4 ) r[ r\ r] r r< r r� r' r> r@ rA r r r r r� s r� c @ sD e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dS )� InRelFamilyc C s || _ | �|jj� d S )N)r rs r rt )r r r r r r r S s zInRelFamily.__init__c C s, t dd� |D ��}t dd� |D ��}||kS )Nc S s g | ] }|d f�qS )r r )r6 r r r r r7 \ s z(InRelFamily._eq_args.<locals>.<listcomp>c S s g | ] }|d f�qS )r r )r6 r r r r r7 ] s )r� )r rM rU r r r �_eq_argsW s zInRelFamily._eq_argsc C s2 | |j kr| �|j|j�S |j jd k o0|j j|kS )N)ru r� rB rv )r rM rU r r r rw ` s zInRelFamily._ge_ATOMc C s. | |j kr| �|j|j�S | jd k o,| j|kS )N)ru r� rB rv )r rM rU r r r rx f s zInRelFamily._le_ATOMc C s | j �||�S )N)r r )r rM r r r r r� l s zInRelFamily.c_altc C s d| j �|d � S )Nz<via %s>)r r@ )r rM r r r r} o s zInRelFamily.c_get_briefc C s d| j �� | j �|�f S )Nz%s(%s))r r/ r5 )r rM r r r r~ r s zInRelFamily.c_reprN) r[ r\ r] r r� rw rx r� r} r~ r r r r r� R s r� c @ s` e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zddd�Z ddd�Z dd� Z dd� Z dS )�ByInRelc C s* t j| ||dd� || _|�t| �| _d S )NT)r )r r r� r� r� r% )r r r r� r r r r x s zByInRel.__init__c C s. | j jj}|j}||j |j�}|jddd�S )Nr4 F)Zsafe)r r� �PathZ rel_tabler ZrelatorZstra)r rY �Pr� r r r r �_rel2str} s zByInRel._rel2strc s� � j jj}|}� fdd�}|�d�r0|dd � }|�d�rr|dd � �d�}d� j ji}t||�}||j|�}�n||�d��r�|dd � }|�dd �� � r�||j |�}n�|�d �r�|d d � �d�}t|i �}||j |�}n�|�d ��r|d d � �d�}t|i �}||j |�}nt|�d��rF|dd � �d�}t |�}||j|�}n@|�d��rz|dd � �d�}t |�}||j|�}n td| ��nf|�d��r�|dd � }|�d��r�|dd � �d�}t |�}||j|�}n ||j|�}n td| ��|S )Nc s � j jjj| jf|�� S )N)r r ZheapycZRelation�code)�Rr1 )r r r �mkrel� s z ByInRel._str2rel.<locals>.mkrel�_rN �[�]Zhpr� r z f_locals[� z f_locals [� zkeys()[� z__dict__.keys()[� zCant make a relation of %r.z->� z f_valuestack[� )r r� r� r� r� r �evalZ R_INDEXVAL�replace�isalnumZ R_ATTRIBUTEZ R_LOCAL_VARZR_CELLr� Z R_INDEXKEYZ R_HASATTR� SyntaxErrorZR_STACKZ R_INTERATTR)r r r� Zorgsr� ZlocrY Zrelr )r r �_str2rel� sP zByInRel._str2relc C s dS )Nz referred viar )r r r r r< � s zByInRel.get_bynamec C s i }i }| j j�| j||�S )N)r r� Z cli_inrelr� )r ZmemokindZmemorelr r r r � s zByInRel.get_clic C s | � |�S )N)r% )r r& r r r r' � s zByInRel.get_kindr4 c C s$ |sdS d}|dkr d| }|S d S )Nz Referred Via:z Referred Via�andz{%s}r )r r= rY r r r r> � s zByInRel.get_tabheaderc C s | � |�}|dkrd| }|S )Nr� z{%s})r5 )r r r= rY r r r r@ � s zByInRel.get_tabrenderingc s � � � fdd�|D ��S )Nc s g | ]}� � |��qS r )r� )r6 r )r r r r7 � s z(ByInRel.get_userkind.<locals>.<listcomp>)r' )r r1 r )r r rA � s zByInRel.get_userkindc s& � fdd�|j D �}|�� d�|�S )Nc s g | ]}t � �|���qS r )rD r� )r6 r )r r r r7 � s z/ByInRel.get_userkindargrepr.<locals>.<listcomp>z, )rB r� r8 )r r rM r )r r r5 � s zByInRel.get_userkindargreprN)r4 )r4 ) r[ r\ r] r r� r� r< r r' r> r@ rA r5 r r r r r� w s 1 r� c @ sH e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zdd d �Zddd�Z dS )� AndClassifierc C s@ |d kr dd� dd� |D �� }tj| ||d ||d� || _d S )Nz(%s)z & c S s g | ] }|j �qS r )r )r6 r r r r r7 � s z*AndClassifier.__init__.<locals>.<listcomp>)r r r )r8 r r r1 )r r r r1 r r r r � s zAndClassifier.__init__c C s dd� dd� | jD �� S )Nz<%s>z & c S s g | ] }|� � �qS r )r< )r6 r r r r r7 � s z,AndClassifier.get_byname.<locals>.<listcomp>)r8 r1 )r r r r r< � s zAndClassifier.get_bynamec C s$ i }| j j�tdd� | jD ��|�S )Nc S s g | ] }|j �qS r )r )r6 r r r r r7 � s z)AndClassifier.get_cli.<locals>.<listcomp>)r r� Zcli_andro r1 )r r� r r r r � s zAndClassifier.get_clic C s> g }x(t || j�D ]\}}|�|�|�� qW | jjj�|�S )N)�zipr1 rG r' r r� Zfam_AndZ_cons)r r& r� ZkiZcir r r r' � s zAndClassifier.get_kindc C s dd� dd� | jD �� S )Nz(%s)z & c S s g | ] }|� � �qS r )r/ )r6 r r r r r7 � s z.AndClassifier.get_reprname.<locals>.<listcomp>)r8 r1 )r r r r r/ � s zAndClassifier.get_reprnamer4 c C s. dd� dd� | jD �� }|dkr*d| }|S )Nz%sz & c S s g | ]}|� d ��qS )r� )r> )r6 r r r r r7 � s z/AndClassifier.get_tabheader.<locals>.<listcomp>r� z(%s))r8 r1 )r r= rY r r r r> � s zAndClassifier.get_tabheaderc C sT g }x0t |j| j�D ] \}}|�|d�}|�|� qW d�|�}|dkrPd| }|S )Nr� z & z(%s))r� rB r1 r@ rG r8 )r r* r= ZssrM Zclr rY r r r r@ � s z AndClassifier.get_tabrenderingN)r4 )r4 ) r[ r\ r] r r< r r' r/ r> r@ r r r r r� � s r� c @ s4 e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd S ) � ModuleFamilyc C s$ | � |jj� || _|�| �| _d S )N)rs r rt r r� r� )r r r r r r r s zModuleFamily.__init__c C s ||j kS )N)rB )r rM rU r r r ry s zModuleFamily.c_containsc C s | j �|j�S )N)r r� rB )r rM r r r r� s zModuleFamily.c_get_renderc C s | j �t|j��|j�S )N)r r� r� rB )r rM r r r r} s zModuleFamily.c_get_briefc C s d| j �� | j �|�f S )Nz%s(%s))r r/ r5 )r rM r r r r~ s zModuleFamily.c_reprN)r[ r\ r] r ry r� r} r~ r r r r r� s r� c @ sH e Zd Zdd� Zdd� Zdd� Zdd� Zdd d �Zdd d�Zdd� Z d S )�ByModulec sn � fdd�}|j �|jjjj|jjjj|d �}t� � |||� |jjj � _ d� _ |� t � �� _|jj� _d S )Nc s � j d7 _ | S )NrN )�nc)r )r r r r� s z#ByModule.__init__.<locals>.classifyr )r� Zcli_user_definedr r� r r r� rB r r � not_moduler� r� r� r% r� r� )r r r r� r r )r r r s zByModule.__init__c C s dS )N�moduler )r r r r r< % s zByModule.get_bynamec C s |d kr| j S | �|�S d S )N)r� r% )r r& r r r r' ( s zByModule.get_kindc C s( || j krd S |j| jks t�|jS d S )N)r� ru r% �AssertionErrorrB )r r r r r r- . s zByModule.get_kindargr4 c C s dS )Nr� r )r r= r r r r> 5 s zByModule.get_tabheaderNc C s� |d kr|d kr| j S |d krXy| jjjjj| }W qf tk rT td| ��Y qfX n| jj�|�}t || j �s�t dt |� ��|d k r�|j |kr�td||j f ��| �|�S )Nz(No module %r in View.target.sys.modules.z3The specified object is not of module type, but %r.z,The specified module has not name %r but %r.)r� r r �target�sys�modules�KeyErrorr) r� r` r� r� r� r[ r% )r r �at�mr r r rA 8 s zByModule.get_userkindc C sT || j krdS |j}|j}d| }| jjjj�|�|k rL|dtt |�� 7 }|S d S )Nr4 z%rz, at=%s) r� rB r[ r Z_rootr� r� �getr{ r| )r r r r r r r r r5 K s z ByModule.get_userkindargrepr)r4 )NN) r[ r\ r] r r< r' r- r> rA r5 r r r r r� s r� c @ s, e Zd Zdd� Zdd� Zdd� Zdd� Zd S ) � AltFamilyc C s |dkrt d| ��|| _d S )N)r� z<=z==z!=r� z>=z No such comparison symbol: %r)r) �altcode)r r r r r r r X s zAltFamily.__init__c C s |j j�|j | j�S )N)rB ru r� r )r rM r r r r} ] s zAltFamily.c_get_briefc C s6 t |j�� �}|d dkr&| j|d< ntd��t|�S )Nr� z==zJCan not make alternative kind, non-equality comparison on underlying kind.)�listrB r( r r) ro )r rM �ckcr r r r� ` s zAltFamily.c_get_ckcc C s dt |j�| jf S )Nz %s.alt(%r))rD rB r )r rM r r r r~ i s zAltFamily.c_reprN)r[ r\ r] r r} r� r~ r r r r r W s r c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )� FindexFamilyc C s$ | � |jj� || _|�| �| _d S )N)rs r rt r r� r� )r r r r r r r n s zFindexFamily.__init__c C sB d|j kr t| jj�k s$n dS d| jj|j j|j f S d S )Nr z<None>z%s / %d)rB r� r r9 r? )r rM r r r r} s s zFindexFamily.c_get_briefc C s d| j �� |jf S )Nz%s(%d))r r/ rB )r rM r r r r~ y s zFindexFamily.c_reprN)r[ r\ r] r r} r~ r r r r r m s r c @ s. e Zd Zdd� Zdd� Zdd� Zd dd �Zd S ) �ByFindexc C sJ dd� |D �| _ dd� | j D �}tj| |||d� || _|�t| �| _d S )Nc S s g | ]}|j �|��qS r )ru r� )r6 r& r r r r7 s z%ByFindex.__init__.<locals>.<listcomp>c S s g | ] }|d �qS )r r )r6 r r r r r7 � s )r )�altsr r r9 r� r r% )r r r r9 r r r r r ~ s zByFindex.__init__c C s, t dd� | jD ��}i }| jj�||�}|S )Nc S s g | ]\}}}|j ||f�qS r )r )r6 r* r& r, r r r r7 � s z$ByFindex.get_cli.<locals>.<listcomp>)ro r r r� Z cli_findex)r r r� r r r r r � s zByFindex.get_clic C s d| j f S )Nz"index of first matching kind of %s)r9 )r r r r r< � s zByFindex.get_bynamer4 c C s dS )NzFirst Matching Kind / Indexr )r r= r r r r> � s zByFindex.get_tabheaderN)r4 )r[ r\ r] r r r< r> r r r r r } s r c @ s� e Zd ZdZdd� Zdd� Zdd� Zdd � Zd d � Zd d � Z dd� Z dd� Z d9dd�Z dd� Z dd� Zd:dd�Zdd � Zd d � Zd d � Zd!d"� Zd#d$� Zd%d&� Zd'd(� Zd)d*� Zd+d,� Zd-d.� Zd/d0� Zd1d2� Zd3d4� Z d5d6� Z d7d8� Z dS );� _GLUECLAMP_) z_parent:ImpSetz _parent:Viewz_parent.View:hvz_parent:UniSetz _parent.UniSet:fam_mixin_argatomz _parent:Usez_root.guppy.etc.etc:str2intz_root:rez _root:typesz_root:builtinsc O s | j j|f|�|�S )N)r� �fam_EquivalenceRelation)r � constructorr1 r2 r r r r � s z_GLUECLAMP_._er_by_c C s | j t| dd�S )N�Clodo)r )r r� )r r r r � _get_Clodo� s z_GLUECLAMP_._get_Clodoc C s | j t| dd�S )NZId)r )r r )r r r r �_get_Id� s z_GLUECLAMP_._get_Idc C s | j t| dd�S )NZIdset)r )r r� )r r r r � _get_Idset� s z_GLUECLAMP_._get_Idsetc C s | j t| dd�S )Nr� )r )r r� )r r r r � _get_Module� s z_GLUECLAMP_._get_Modulec C s | j t| dd�S )Nr )r )r r� )r r r r � _get_Unity� s z_GLUECLAMP_._get_Unityc C s | � | j�S )N)� mker_refdbyr )r r r r �_get_Rcs� s z_GLUECLAMP_._get_Rcsc C s6 t |�dkr| jS dd� |D �}d }| j�t| ||�S )Nr c S s g | ] }|j �qS r )r )r6 r# r r r r7 � s z(_GLUECLAMP_.mker_and.<locals>.<listcomp>)r� r r� r r� )r ZersZ classifiersr r r r �mker_and� s z_GLUECLAMP_.mker_andNc s, �d krd� j j ����� ��fdd��S )Nz %s.dictofc s �� t��� j�S )N)r r r r )r# r r r r r � s z)_GLUECLAMP_.mker_dictof.<locals>.<lambda>)r r r! )r r# r r )r# r r r � mker_dictof� s z_GLUECLAMP_.mker_dictofc C s i S )Nr )r r r r � _get_memo_er� s z_GLUECLAMP_._get_memo_erc C s( | j �|�}|d kr$|� | j |< }|S )N)Zmemo_err )r r r rJ r r r r! � s z_GLUECLAMP_.mker_memoizedc s, �d krd� j j ����� ��fdd��S )Nz %s.refdbyc s. �� t���jj� jd�� j�� � jjf �S )Nz�%s Classify by <%s> of referrers. This classifier uses the %r classifier to classify the referrers of the object. The classifications of the referrers are collected in a set. This set becomes the classification of the object. )r r� r r� r r< r r )r# r r r r r � s z)_GLUECLAMP_.mker_refdby.<locals>.<lambda>)r r r! )r r# r r )r# r r r r � s z_GLUECLAMP_.mker_refdbyc C s | � t| d�S )NZSize)r r� )r r r r � _get_Size� s z_GLUECLAMP_._get_Sizec C s | � t| d�S )Nr� )r r� )r r r r � _get_Type� s z_GLUECLAMP_._get_Typec C s | j }| �t| d|j�S )NZVia)r r r� r� )r r r r r �_get_Via� s z_GLUECLAMP_._get_Viac C s� t |t�r|S t |t�s td��d| }|}|�d�r@|�d�sHt|��|�d��d�}|� d�}t |�dk rvt|��|d }| � |d �}| j � |�}|d kr�t |�dkr�t|��d }�n t |�d kr�t|��|d kr�t|��yt| j|�� d �}W n& tk �r t| j|�� �}Y nX t ||��s8td | ��|d d k�sNt|��|d � d�}t |�dk �rrt|��d�|d d� �} |d } |j| k�r�td||| f ��|j| k�r�td||| f ��|S )Nz"type, class or basestring expectedz�String argument to tc_adapt should be of form '<class MODULE.NAME at 0xADDR>' or '<type MODULE.NAME at 0xADDR>' or '<at 0xADDR>'. I got: %rr� r� � r� r r� r � )r� �classr� z%s object expectedrN r� z,The %s %r has wrong __module__, expected %r.z*The %s %r has wrong __name__, expected %r.)r` r� �strr� r� �endswithr) r� r� r� r� Zstr2intr r� r� r� � capitalizer� r� r� r8 r\ r[ ) r r& �errr r� Zaddrr r� �namesZ modulenameZtcnamer r r r� � sX z_GLUECLAMP_.tc_adaptc C s4 t |t�rd}ntd��d||j|jtt|��f S )Nr� z type expectedz<%s %s.%s at %s>)r` r� r� r\ r[ r{ r| )r r& r� r r r r� ) s z_GLUECLAMP_.tc_reprc s$ dd� dd� d�� � �fdd�}|S )Nc S s | S )Nr )r& r r r r ; rV z&_GLUECLAMP_._get_alt.<locals>.<lambda>c S s | S )Nr )r& r r r r < rV )z==z!=c s. � � |�}|d kr&��t|�}|� |< || �S )N)r r� r )r r, rM )�altmemor r r r ? s z!_GLUECLAMP_._get_alt.<locals>.altr )r r r )r$ r r �_get_alt9 s z_GLUECLAMP_._get_altc C s | � |�S )N)�findex)r r r r r r� G s z_GLUECLAMP_.biperc C s | � t�S )N)r� r� )r r r r � _get_dictofJ s z_GLUECLAMP_._get_dictofc C s | � | jj�S )N)r" r r� )r r r r �_get_dictofnothingM s z _GLUECLAMP_._get_dictofnothingc C sB i }x8t | jjj�� �D ]"\}}|�d�r|d d� ||< qW |S )Nr� ���)r r� �_module�__dict__rI r )r r� r& rJ r r r �_get_invtypemodP s z_GLUECLAMP_._get_invtypemodc C s | j jj S )N)r r� r� )r r r r � _get_notdictW s z_GLUECLAMP_._get_notdictc G s$ | � t| dd�dd� |D �� |�S )Nz findex(%s)z, c S s g | ] }t |��qS r )rD )r6 r& r r r r7 ^ s z&_GLUECLAMP_.findex.<locals>.<listcomp>)r r r8 )r r9 r r r r& Z s z_GLUECLAMP_.findexc C s | j jS )N)rl rf )r r r r �_get_refdbynothingb s z _GLUECLAMP_._get_refdbynothingc G s� d}g }|st d��xl|D ]d}|�� }|dkr8|d }n |d |k rTt dt|� ��|d dkrpt dt|� ��|�|d � qW t|| j�|��S ) z sokind(0..*:Kind+) -> SetOfKind Nz$At least one argument must be given.r z&Kind at index %d has wrong classifier.r� z==z'Kind at index %d has wrong comparision.rN )r) r( r� rG rm r r )r r9 r* r_ r r r r r r: e s z_GLUECLAMP_.sokindc C s t | jd�S )Nr )rk r )r r r r � _get_sonokindz s z_GLUECLAMP_._get_sonokind)N)N) r[ r\ r] Z _imports_r r r r r r r r r r r! r r r r r� r� r% r� r' r( r, r- r& r. r: r/ r r r r r � s8 8r N) Zguppy.etc.Descriptorr r �objectr^ r0 rk rm rr r r� r� r� r� r� r� r� r� r r� r� r� r� r� r� r� r� r r r r r r r r �<module> s: $'PVZ6M%`)C