관리-도구
편집 파일: Spec.cpython-37.pyc
B �][� � @ s6 d Z dZdd� ZG dd� d�ZG dd� de�ZG dd � d e�ZG d d � d e�ZG d d � d e�ZG dd� de�ZG dd� de�Z G dd� de�Z G dd� de�Z G dd� de�Z G dd� de�Z G dd� de�ZG d d � d e�ZG d d � d e�ZG d d!� d!e�ZG d"d#� d#e�ZG d$d%� d%e�ZG d&d'� d'e�ZG d(d)� d)e�ZG d*d+� d+�ZG d,d-� d-e�ZG d.d/� d/�ZG d0d1� d1e�ZG d2d3� d3e�ZG d4d5� d5�ZG d6d7� d7e�Z G d8d9� d9e�Z G d:d;� d;e�Z G d<d=� d=e�Z G d>d?� d?e �Z!G d@dA� dAe �Z"G dBdC� dCe �Z#G dDdE� dE�Z$G dFdG� dG�Z%G dHdI� dI�Z&dJS )Ka Contains some experimental set constructions. In the current state, not to be used by the faint-hearted. It is likely due for some major refactoring and has probably many bugs, it was a long time since I run the tests. You don't get any other documentation than this right now. � c C sJ y t | d�S tk rD t| t�r<dd�dd� | D �� S t| �S X d S )N�briefz(%s)�,c S s g | ] }t |��qS � )�briefstr)�.0Zxir r �C/opt/alt/python37/lib64/python3.7/site-packages/guppy/heapy/Spec.py� <listcomp> s z briefstr.<locals>.<listcomp>)�getattr�AttributeError� isinstance�tuple�join�str)�xr r r r s r c @ sD e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dS )� SpecFamilyc C s& || _ | �|j� | j| g8 _d S )N)�specmodZ defrefining�AnythingZ disjoints)�selfZ unisetmodr r r r �__init__ s zSpecFamily.__init__c C s | � | |�S )N)�Set)r �argr r r �__call__ s zSpecFamily.__call__c C s. t |t�r | jj�||f�S |j�||�S d S )N)r r �mod�fam_And�_cons�famZ _and_ATOM)r �a�br r r �c_and s zSpecFamily.c_andc C sj | j j}| j�� }x@|jD ]6}y|�||d� W n tk rD Y qX |�|� qW | jj� | j� |��S )Nzselect contains) r �_static_test_envr � mutnodeset�nodes� test_contains� Exception�add� fam_Identityr Z immnodeset)r r r �env�res�bir r r �_and_ID& s zSpecFamily._and_IDc C s0 | j j}y|�||d�S tk r* dS X d S )Nz Spec containsF)r r r" � TestError)r r r r& r r r � c_contains2 s zSpecFamily.c_containsc C s* |j }t|�|kr&|d |d � d }|S )N� z...)r �len)r r Zmax_lenr r r r � c_getlimstr9 s zSpecFamily.c_getlimstrc C s d| j jt|j�f S )Nz<%s(%s)>)� __class__�__name__r r )r r r r r � c_get_brief? s zSpecFamily.c_get_briefN) r0 � __module__� __qualname__r r r r) r+ r. r1 r r r r r s r c @ s4 e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd S ) �ArgNamesFamilyc G s | � | |�S )N)r )r �argsr r r r D s zArgNamesFamily.__call__c C sN | j jj}|�|�\}}}|d k r0|�d| � |d k rF|�d| � t|�S )Nz*%sz**%s)r �_root�inspect�getargs�appendr )r �coder7 r5 �varargs�varkwr r r � getargnamesG s zArgNamesFamily.getargnamesc C s. y|j }| �|�|kS tk r( dS X d S )NF)�__code__r= r )r �fr5 r: r r r � func_argnamesP s z ArgNamesFamily.func_argnamesc C s< y"|j }|j}| �|�dd � |kS tk r6 dS X d S )Nr F)�__func__r> r= r )r �mr5 r? r: r r r � meth_argnamesW s z ArgNamesFamily.meth_argnamesc s� � �fdd�}� �fdd�}�j jj}||�p�||�p�t|t�rTt|d�rT||j�p�t|t�rrt|d�rr||j�p�t|d�o�||j�S )Nc s �� | � j�S )N)r@ r )r? )r r r r r@ ` � z0ArgNamesFamily.c_contains.<locals>.func_argnamesc s �� | � j�S )N)rC r )rB )r r r r rC a rD z0ArgNamesFamily.c_contains.<locals>.meth_argnamesr r )r r6 �typesr �type�hasattrr r )r r r r@ rC rE r )r r r r+ _ s zArgNamesFamily.c_containsN)r0 r2 r3 r r= r@ rC r+ r r r r r4 C s r4 c @ s& e Zd Zddd�Zdd� Zdd� ZdS ) �AttributeFamilyNc C s8 |d kr| j j}nt|| jj�s*| �|�}| �||f�S )N)r �anyr r �UniSetZc_from�specotup)r �namerF r r r r q s zAttributeFamily.__call__c C s" |j \}}|�||�}|�||�S )N)r � gengetattrr" )r r r r& rL rF r r r r �c_test_containsy s z AttributeFamily.c_test_containsc C s@ d|j d f }|j d d k r4|d|j d j }n|d }|S )Nz<AttributeFamily(%r%%s>� r r � )r r )r r r r r r �c_get_brieflimstr~ s z!AttributeFamily.c_get_brieflimstr)N)r0 r2 r3 r rN rQ r r r r rH p s rH c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�AdaptupleFamilyc O s& t j| f|�|� | �ddd� � d S )N�newc S s | j d S )NrO )r )r r r r �<lambda>� rD z*AdaptupleFamily.__init__.<locals>.<lambda>)r r � add_export)r r �kr r r r � s zAdaptupleFamily.__init__c C s0 | j �|�\}}| j �|�}| �||f||f�S )N)r �_exodoc�setcast� specoargtup)r �funcrF �docr r r r � s zAdaptupleFamily.__call__c C sN |j \}}t|t�r>y ||� }W qB tk r: |�d�S X n|}|�||�S )Nzcalling func failed)r r r r# �failed_exc_infor" )r r r r& rZ rF r r r r rN � s z AdaptupleFamily.c_test_containsN)r0 r2 r3 r r rN r r r r rR � s rR c @ s4 e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd S ) �CartesianProductFamilyc G s | � | |�S )N)r )r rE r r r r � s z CartesianProductFamily.__call__c C s& |j }t|�dkr|d S td��d S )N� rO z*Domain is defined on binary relations only)r r- � TypeError)r r rE r r r �c_domain� s z CartesianProductFamily.c_domainc C sb g }xJt |j�D ]<\}}t|�|��}|sB|�d|d d| �sBg S |�|� qW | jjjj j |� S )Nzcartesian productzthe argument #%d) � enumerater �list� get_examples�failed_coverager9 r r6 �guppy�etc� iterpermute)r r r& �exs�i�ai�exr r r �c_get_examples� s z%CartesianProductFamily.c_get_examplesc C s& d}x |j D ]}|t|j � }q W |S )Nr )r r- )r r �lrj r r r �c_len� s z CartesianProductFamily.c_lenc C sj |j }t|�}t|�t|�kr:|�dt|�t|�f � n,x&t||�D ]\}}|�||�sFdS qFW dS d S )Nz*cprod of length %d: argument has length %dFT)r r r- �failed�zipr" )r r r r& rE �bs�tr r r rN � s z&CartesianProductFamily.c_test_containsN)r0 r2 r3 r r` rl rn rN r r r r r] � s r] c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�SequenceFamilyc C s | � |�S )N)�specoarg)r rF r r r r � s zSequenceFamily.__call__c C s$ x |D ]}|j �||�sdS qW dS )NFT)r r" )r r r r& r r r r rN � s z SequenceFamily.c_test_containsc c sB x<t |j�D ].}x(|�| jj|jg| � �D ] }|V q,W q W d S )N)�range� max_sequence_examples_lengthrc r �cprodr )r r r& ri r r r r rl � s z SequenceFamily.c_get_examplesN)r0 r2 r3 r rN rl r r r r rs � s rs c @ s4 e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd S ) � MappingFamilyc s* t j� f|�|� � �d� fdd�� d S )N�arrowc s �� fdd�S )Nc s � � �| �S )N)�c_arrow)r? )r r r r rT � rD z:MappingFamily.__init__.<locals>.<lambda>.<locals>.<lambda>r )r )r )r r rT � rD z(MappingFamily.__init__.<locals>.<lambda>)r r rU )r r rV r )r r r � s zMappingFamily.__init__c C s |j \}}}t|||�S )N)r �Arrow)r r r? �tf�ts�retr r r rz � s zMappingFamily.c_arrowc G s� g }g }d }d}| j j}�x |t|�k �r6|| }t|t��r |dkrt|d7 }|t|�d ksftd��||| �}n�|�d�r�|d7 }||| �}|�d|d d� t|�f � |�|� nN|dkr�|d7 }||| �}|�d t|� � |�| j �|�� n td | ��n |�d t|� � |�||�� |d7 }q W d d � |� d } t | �} | j j |� }|d k�rp| j j }| � | | ||f�S )NrO z->r z<The '->' specifier must be next to last in the argument list�=z %s=%args[%d]����*z *args[%d]z Invalid argument specifier: %rzargs[%d]zlambda f: lambda *args: f(r �))r rX r- r r � SyntaxError�endswithr9 �sequencer �evalrw r r ) r r5 r} �as_r~ ri rX rj rr �fnr? r r r r � sD zMappingFamily.__call__c s. |j \� }�� |�� � �fdd�}|�||�S )Nc sB y � |� }W n t k r" � Y n X �d k r:| ��|d�S dS d S )NzMapping Return TypeT)r# r" )r& r5 �r)r? r~ r r �g s z(MappingFamily.c_test_contains.<locals>.g)r �forall)r r rZ r& r} r� r )r? r~ r rN s z MappingFamily.c_test_containsc C s |j \}}}dd� |�|�D �S )Nc s g | ]� � fd d��qS )c s � S )Nr )r5 �kwds)r r r rT rD z9MappingFamily.c_get_examples.<locals>.<listcomp>.<lambda>r )r r )r r r s z0MappingFamily.c_get_examples.<locals>.<listcomp>)r rc )r r r& r? r} r~ r r r rl s z MappingFamily.c_get_examplesN)r0 r2 r3 r rz r rN rl r r r r rx � s (rx c @ s e Zd Zdd� Zdd� ZdS )�PredicateFamilyc C s | � | ||f�S )N)r )r r r[ r r r r " s zPredicateFamily.__call__c C s0 |j \}}|||�s,|�d||�|�f �S dS )Nz(pred: doc = %r; failed for element == %sT)r ro rL )r r r r& �predr[ r r r rN % s z PredicateFamily.c_test_containsN)r0 r2 r3 r rN r r r r r� ! s r� c @ s, e Zd Zdd� Zdd� Zdd� Zdd� Zd S ) �PowersetFamilyc G s$ t j| f|�� | �ddd� � d S )N�unionc S s | j S )N)r )r r r r rT / rD z)PowersetFamily.__init__.<locals>.<lambda>)r r rU )r r5 r r r r - s zPowersetFamily.__init__c C s | � |�S )N)rt )r �setr r r r 1 s zPowersetFamily.__call__c C s8 | j j|jg}y|�|j�}W n tk r2 |S X |S )N)r �Nothingr rc r# )r r r& r �yr r r rl 4 s z PowersetFamily.c_get_examplesc s> || j jkr"|�d| j �|� � |j� |�|� fdd�d�S )Nz%powerset.test_contains: not a set: %sc s | � � |d�S )N�powerset)r" )r& r )r� r r rT C rD z0PowersetFamily.c_test_contains.<locals>.<lambda>r� )r r� ro �isor r� )r r r r& r )r� r rN > s z PowersetFamily.c_test_containsN)r0 r2 r3 r r rl rN r r r r r� , s r� c @ s e Zd Zddd�Zdd� ZdS )� DocFamilyNc C s> |d kr| j jj}n|| j jkr.| j j�|�}| �| ||f�S )N)r rJ Z NotNothingr� �convertr )r r[ rF r r r r G s zDocFamily.__call__c C s |j \}}|�||�S )N)r r" )r r r r& r[ rF r r r rN O s zDocFamily.c_test_contains)N)r0 r2 r3 r rN r r r r r� F s r� c @ s. e Zd Zdd� Zd dd�Zdd� Zdd � ZdS ) � RelOpFamilyc O s< t j| f|�|� | �ddd� � | �ddd� � i | _d S )N�domainc S s | j d S )NrO )r )r r r r rT W rD z&RelOpFamily.__init__.<locals>.<lambda>ru c S s | j d S )Nr^ )r )r r r r rT X rD )r r rU �memo)r r rV r r r r U s zRelOpFamily.__init__Nc C s� | j �|�}|d kr|}n | j �|�}| j�|||f�}|d kr�|dkr\td| �}||_n |}|j|_| �| |||f�}|| j|||f< |S )N) �<z<=z==z!=�>z>=�inznot in�iszis notzlambda x,y: x %s y)r rX r� �getr� rL r0 r )r r� �opru r rZ r r r r _ s zRelOpFamily.__call__c C s� t |�|j��}|s(td|jd d� g S t |�|j��}|sPtd|jd d� g S g }x2| jjjj� ||�D ]}|� ||�rj|� |� qjW |S )N�relationr� ru ) rb rc r� rd ru r r6 re rf rg �containsr9 )r r r& �domZranrh rk r r r rl q s zRelOpFamily.c_get_examplesc C s |j \}}}||� s |�� S dS )NT)r ro )r r r r& �dr� r� r r r rN � s zRelOpFamily.c_test_contains)N)r0 r2 r3 r r rl rN r r r r r� T s r� c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )� EqualsFamilyc G s |s | j jS | �|�S )N)r r� rK )r r5 r r r r � s zEqualsFamily.__call__c C s ||j krdS |�d�S )NT�equals)r ro )r r r r& r r r rN � s z EqualsFamily.c_test_containsc C s |j S )N)r )r r r& r r r rl � s zEqualsFamily.c_get_examplesN)r0 r2 r3 r rN rl r r r r r� � s r� c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )� ExampleFamilyc G s | � | ||f�S )N)r )r r� �examplesr r r r � s zExampleFamily.__call__c C s |j \}}|�||�S )N)r r" )r r r r& r� r� r r r rN � s z ExampleFamily.c_test_containsc C s |j \}}|S )N)r )r r r& r� r� r r r rl � s z ExampleFamily.c_get_examplesN)r0 r2 r3 r rN rl r r r r r� � s r� c @ s e Zd Zdd� Zdd� ZdS )�SynonymsFamilyc G s | � | |�S )N)r )r �namesr r r r � s zSynonymsFamily.__call__c C sr |j }| jj�� }x"|D ]}|�||�}|�|� qW t|�sL|�d| � t|�dkrn|�dt|�|f � dS )NzSynonyms: no such names: %rr z*Synonyms: %d different nodes for names: %rT)r r rJ r r r$ r- ro )r r r r& r� �msrL r r r r rN � s z SynonymsFamily.c_test_containsN)r0 r2 r3 r rN r r r r r� � s r� c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�InstanceFamilyc C s, t ||j�s(|�d| j�|�|jf � dS )Nz+InstanceFamily: %s is not an instance of %sT)r r ro r r� )r r r r& r r r rN � s z InstanceFamily.c_test_containsc C s |� | j�|j��S )N)rc r rX r )r r r& r r r rl � s z InstanceFamily.c_get_examplesc s | j j� fdd�|jD �� S )Nc s g | ]}t |� j�r|�qS r )r r )r r( )r r r r � s z*InstanceFamily._and_ID.<locals>.<listcomp>)r r% r! )r r r r )r r r) � s zInstanceFamily._and_IDN)r0 r2 r3 rN rl r) r r r r r� � s r� c @ s e Zd Zdd� Zdd� ZdS )�ExpressionPredicateFamilyc C s d }| � | |||f�S )N)r )r r� � expressionrZ r r r r � s z"ExpressionPredicateFamily.__call__c C sh |j \}}}tdd�|�|f �}i }x |D ]}|�||�} | ||< q,W |f |�} | sd|�d| � dS )Nz lambda %s:%sr zFalse expression: %sT)r r� r r ro ) r r r r& r� r� rZ r� rL r r r r rN � s z)ExpressionPredicateFamily.c_test_containsN)r0 r2 r3 r rN r r r r r� � s r� c @ s e Zd Zdd� Zdd� ZdS )�ExpressionSetFamilyc G s d }| � | |||f�S )N)r )r r� r� rZ r r r r � s z ExpressionSetFamily.__call__c C s� |j \}}}| j�dd�dt|� �|f �}d|ji}x |D ]}|�||�} | ||< q>W |f |�} |�| |d|d�|�f �S )Nzlambda %s:(%s)r )�LEr� zexpset(%s, %s))r r r� r r r� r r" ) r r r r& r� r� rZ r� rL r r r r rN � s z#ExpressionSetFamily.c_test_containsN)r0 r2 r3 r rN r r r r r� � s r� c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )� MatchesFamilyc O s" t j| f|�|� | jjj| _d S )N)r r r r6 �sre)r r rV r r r r � s zMatchesFamily.__init__c C s | � | j�|�|f�S )N)rY r� �compile)r Zregexpr r r r � s zMatchesFamily.__call__c C s* |j }| j�||�}|d kr&|�d�S dS )Nz Did not matchT)r r� �matchro )r r r r& Z regexpobjrB r r r rN � s z MatchesFamily.c_test_containsN)r0 r2 r3 r r rN r r r r r� � s r� c @ s& e Zd Zdd� Zd dd�Zdd� ZdS ) �RecurSelfFamilyc O s. t j| f|�|� G dd� d| j�}|| _d S )Nc @ s e Zd ZdZdS )z+RecurSelfFamily.__init__.<locals>.RecurSpec)rZ �recursion_level�recursion_limitN)r0 r2 r3 � __slots__r r r r � RecurSpec� s r� )r r r r� )r r rV r� r r r r � s zRecurSelfFamily.__init__� c C s | � | |�}||_d|_|S )NrO )r� r� r� )r �exprr� �sr r r r s zRecurSelfFamily.__call__c C s� y |j }W n. tk r8 |j}|�d| � }|_ Y nX || jj�}y|�||d�}|s^t�W nb tk r� ||�}|j }z6||j kr�|� d|j �S |d |_ |�||d�}W d ||_ X Y nX |S )Nzlambda self:%sz recur with Nothing, ok to failz recurself: recursion_level = %sr Zrecur) rZ r r r� r r� r" r* r# r� r� ro ) r r r r& rZ r� r� r| Zrlr r r rN s( z RecurSelfFamily.c_test_containsN)r� )r0 r2 r3 r r rN r r r r r� � s r� c @ s e Zd ZdS )�DummyN)r0 r2 r3 r r r r r� # s r� c @ s e Zd Zdd� Zdd� ZdS )�TupleformFamilyc C s | � ||f�S )N)rK )r �formr� r r r r ( s zTupleformFamily.__call__c C st |j \}}t|�}t|�t|�kr<|�dt|�t|�f �S t� }x"t||�D ]\}} t||| � qNW |�||d�S )Nz+tupleform: wrong length: got %d expected %dZ tupleform)r r r- ro r� rp �setattrr" ) r r r r& r� r� Zbt�obrL �valr r r rN + s z TupleformFamily.c_test_containsN)r0 r2 r3 r rN r r r r r� ' s r� c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )r{ c C s || _ || _|| _d S )N)�category�source�target)r r� r� r� r r r r ; s zArrow.__init__c C s | j �|�}| j �| |�S )N)r� �validate�compose)r �otherr r r �of@ s zArrow.ofc C s | j �|�}| j �|| �S )N)r� r� r� )r r� r r r �toF s zArrow.toN)r0 r2 r3 r r� r� r r r r r{ : s r{ c @ s e Zd Zdd� Zdd� ZdS )� IdentityArrowc C s t �| |||� d S )N)r{ r )r r� �objectr r r r N s zIdentityArrow.__init__c C s |S )Nr )r r r r r r Q s zIdentityArrow.__call__N)r0 r2 r3 r r r r r r r� M s r� c @ s e Zd Zdd� ZdS )� FunctionArrowc C s t �| |||� || _d S )N)r{ r r )r r� r� r� �functionr r r r V s zFunctionArrow.__init__N)r0 r2 r3 r r r r r r� U s r� c @ s4 e Zd ZdZdZdd� Zdd� Zdd� Zdd � ZdS ) �RepresentationCategoryNc C s |� t�}|�| |� || _d S )N)�family�RepresentationObjectFamily�init2�_fam)r r �specr r r r r _ s z RepresentationCategory.__init__c C s | |kS )Nr )r r� r r r �__eq__d s z RepresentationCategory.__eq__c C s t t| ��S )N)�hash�id)r r r r �__hash__g s z RepresentationCategory.__hash__c C s | j �|�}|| j|< |S )N)r� � getobject�__dict__)r rL r� r r r � __getattr__j s z"RepresentationCategory.__getattr__) r0 r2 r3 �_derive_origin_�_origin_r r� r� r� r r r r r� [ s r� c @ sT e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dd� Z dd� Z dS )r� c C s` || _ i | _i | _i | _| �d| j� | j}G dd� d|�}|| _G dd� d|�}|| �| _d S )N� fromuniversalc @ s e Zd ZdZdS )z>RepresentationObjectFamily.init2.<locals>.RepresentationObject)r� �fromN)r0 r2 r3 r� r r r r �RepresentationObject{ s r� c @ s e Zd Zdd� Zdd� ZdS )zDRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpecc S s || _ |j| _d S )N)r� �cat�_cat)r r r r r r � s zMRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpec.__init__c S s@ t | jd| �r4t| d| �| jj�}|| j|< |S t|��d S )Nz_get_%s)rG r/ r r� r r� r )r rL r� r r r r� � s zPRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpec.__getattr__N)r0 r2 r3 r r� r r r r �RepresentationCategorySpec� s r� )r� �objects�specs�arrowsrU r� r r� )r r� r� r r� r� r r r r� q s z RepresentationObjectFamily.init2c C s$ ||f}|| j kr | j | S t�d S )N)r� � SpecError)r r� ZcodZdcr r r �getarrow� s z#RepresentationObjectFamily.getarrowc C sb || j kr| j | S | �|�}|| j krB| j | | j |< | j | S | |�}| | j |< | j |< |S )NzNo such object: %r)r� � normonamer� )r rL Znormname�or r r r� � s z$RepresentationObjectFamily.getobjectc C s\ |j }|| jkr| j| S t| jd| d �}|d k rL|| j�}|| j|< |S td| ��d S )Nz _get_spec_%szgetspec: No spec of %r)r r� r r� r r� )r �objrL Zgs�spr r r �getspec� s z"RepresentationObjectFamily.getspecc s |j }d| }|�jkr"�j| S i � t�j|�� |< xzt�j�D ]l}|�d�rBd|ksZqB|�d�\}}|dd � }||krBt�j|��t �jt�j|�|��fdd��� |< qBW � �fdd�}d | }�j � |d | �} | �j |< �|�} G d d � d t �} | �j| |� �} | �j|< | S ) Nz%s.fromuniversalZmap_Z_to_� c s � �j | �S )N)r )r )r? r r r rT � rD z:RepresentationObjectFamily.fromuniversal.<locals>.<lambda>c sr y |\}}W n t k r& | �d�S X t|dd �}|�k rF| �d�S t|dd �}|� krd| �d�S | �||d�S )Nz Not a sequence with length 2r z#Tag is not an object of this familyr z%Object is not a source of this targetz&Value is not an element of this object)r# ro r r" )r& �e�O�Ar Zname_)�Sr r r �p� s z3RepresentationObjectFamily.fromuniversal.<locals>.pz %s.universalzSpecification-set for %rc @ s$ e Zd Zdd� Zdd� Zdd� ZdS )z:RepresentationObjectFamily.fromuniversal.<locals>.AlphaSumc S s t �| |||� || _d S )N)r{ r �_S)r r� r� r� r� r r r r � s zCRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__init__c S s | j | jj�|� S )N)r� r� r r� )r r r r r � __getitem__� s zFRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__getitem__c S s |\}}| |j |�S )N)r )r Zxxx_todo_changemer� �Er r r r � s zCRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__call__N)r0 r2 r3 r r� r r r r r �AlphaSum� s r� )r r� r� r� �dirr� � startswith�splitr r� r � predicater� r{ ) r r� rL Z arrownameZanr� rr r� Zuniname�Pr� r� ry r )r� r? r r r� � s0 z(RepresentationObjectFamily.fromuniversalc C sj t | jdd �}|d k rfxN| jjD ]B}d }x8|D ]0}|�� r>|}||kr.|d k rR|S td| ��q.W q W |S )N�_isos_z*No numeric object name corresponding to %r)r r� r� �isdigitr� )r �onZisosrm �nn�nr r r r� � s z$RepresentationObjectFamily.normonamec C s& | � |�}G dd� d�}||�|_|S )Nc @ s( e Zd ZdZdd� Zdd� Zdd� ZdS ) z/RepresentationObjectFamily.__call__.<locals>.To)r� c S s || _ d S )N)r� )r r� r r r r s z8RepresentationObjectFamily.__call__.<locals>.To.__init__c S s | j j�| j |�S )N)r� r r� )r r� r r r r s z8RepresentationObjectFamily.__call__.<locals>.To.__call__c S s" | j }|j}|�|�}|�||�S )N)r� r r� r� )r rL r� r r� r r r r� s z;RepresentationObjectFamily.__call__.<locals>.To.__getattr__N)r0 r2 r3 r� r r r� r r r r �To s r )rt r� )r rL r� r r r r r s z#RepresentationObjectFamily.__call__c C s | � |�}|�||d�S )Nz7RepresentationObjectFamily: not in object specification)r� r" )r r r r& r� r r r rN s z*RepresentationObjectFamily.c_test_containsc C s | � |�}|�|�S )N)r� rc )r r r& r� r r r rl s z)RepresentationObjectFamily.c_get_examplesN) r0 r2 r3 r� r� r� r� r� r� r rN rl r r r r r� p s Cr� c @ s4 e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd S ) �AbstractSetFamilyc O s. t j| f|�|� G dd� d| j�}|| _d S )Nc @ s e Zd ZdZdd� ZdS )z/AbstractSetFamily.__init__.<locals>.AbstractSet)�_memoc S s || _ || _d | _i | _d S )N)r r r� r )r r r r r r r ' s z8AbstractSetFamily.__init__.<locals>.AbstractSet.__init__N)r0 r2 r3 r� r r r r r � AbstractSet$ s r )r r r )r r rV r r r r r ! s zAbstractSetFamily.__init__c C s | � ||f�}i |_|S )N)rK r )r ry r� r� r r r r . s zAbstractSetFamily.__call__c C sB |j | kr4|j\}}|j\}}||kr4| |||@ �S |j �||�S )N)r r Z _rand_ATOM)r r r Zaa�sa�abZsbr r r r 3 s zAbstractSetFamily.c_andc s\ ||j kr|j | S |j\}�|| � � j�� ��fdd�}| j�|d| �}||j |< |S )Nc s, | � �|d�}|r(� |�}| � �|d�}|S )Nz AbstractSet: not in arrow.sourcez AbstractSet: not in argument set)r" r� r� )r& r rr r� )�pararrowr� �srcsetr r r� C s z'AbstractSetFamily.c_getattr2.<locals>.pzAbstract set attribute: %r)r r r� r r� )r r r ry r� r� r )r r� r r � c_getattr2; s z AbstractSetFamily.c_getattr2c C s8 |j \}}|�|j|d�}|r4||�}|�||d�}|S )Nz AbstractSet: not in arrow.sourcez AbstractSet: not in argument set)r r" r� )r r r r& ry r� rr r� r r r rN R s z!AbstractSetFamily.c_test_containsN)r0 r2 r3 r r r r rN r r r r r s r c @ s e Zd Zdd� Zdd� ZdS )� ElemFamilyc C s | � |�S )N)rt )r rZ r r r r ] s zElemFamily.__call__c C s |j }||�}|�||d�S )Nr )r r" )r r r r& rZ r� r r r rN ` s zElemFamily.c_test_containsN)r0 r2 r3 r rN r r r r r \ s r c @ s e Zd Zdd� Zdd� ZdS )�IntersectionFamilyc C s | � ||f�S )N)rK )r r� r� r r r r g s zIntersectionFamily.__call__c s |j \}�|�|� �fdd��S )Nc s | � �|�� d�S )NZ Intersection)r" )r& r )r r� r r rT l s z4IntersectionFamily.c_test_contains.<locals>.<lambda>)r r� )r r r r& r� r )r r� r rN j s z"IntersectionFamily.c_test_containsN)r0 r2 r3 r rN r r r r r f s r c @ s e Zd ZdS )r� N)r0 r2 r3 r r r r r� p s r� c @ s e Zd ZdS )r* N)r0 r2 r3 r r r r r* t s r* c @ s e Zd ZdS )� CoverageErrorN)r0 r2 r3 r r r r r x s r c @ s" e Zd ZdZddd�Zdd� ZdS ) �LocalEnv�ADDr c C s || _ || _d | _|| _d S )N)�_mod�_specr� �nodoc)r r r� r r r r r s zLocalEnv.__init__c C sb | j }t| j|�}| j �|jjjj�|j ��}|jj � |j ||j |j |j�}|d�}|| j|< |S )Nr )r r r � _load_namesr6 re rf �Code�co_findloadednamesr> rE � FunctionTyper0 � __defaults__� __closure__r� )r Zattribute_namer r? r� �nfr� r r r r� � s zLocalEnv.__getattr__N)r )r0 r2 r3 r� r r� r r r r r | s r c @ s� e Zd ZdZdZdZdZeZdd� Zdd� Z dd � Z d d � Z d d � Z dd� Z dd� Zdd� Zdd� Zdd� Zd1dd�Zdd � Zd d � Zd d � Zd2d"d#�Zd$d%� Zd&d'� Zd3d(d)�Zd4d*d+�Zd5d,d-�Zd6d.d/�Z d0S )7�TestEnvr Fr^ c C sr || _ g | _i | _|d k rn|� | _}y |j}W n tk rH d}Y nX t||�}||_|| _| � |j �| _ d S )NrP ) r �messagesr� r� � LocalEnvExprr r Z_OBJ_r� r� Z GlueTypeExpr�topspec)r r �Specr� Zlexr� r r r r � s zTestEnv.__init__c C s. | j }|jj}t|tf�r4| j �d| �}|| j�S g }d }t|j� � �}|� � x�|D ]�}t ||�} y | j } W n t k r� wXY nX | jd | j� dkr�|�|jjjj�| ��} |jj�| j | | j| j| j�} | d�} |dkr�| }n|�|�|| �� qXtd��qXW |d k �r |�|� |j j � |�}|S )Nzlambda LE:( %s ))�INr Z_SELF_z#TestEnv.eval: invalid argument mode) r r6 rE r r r� r� rb r� �keys�sortr r> r � co_varnames� co_argcountr re rf r r r r0 r r r9 �attrr� rJ r r )r r� r rE rZ ZlsZselfsetr� rL r? �cor� r r� r� r r r r� � sB z TestEnv.evalc C sv y t |�}W nd tk rp y| j| }W n8 tk rb t|| jjj�rV|�| �}nt|�}Y nX t |�}Y nX |S )N) �iterr_ r� �KeyErrorr r rJ rc rb )r � collection�itrk r r r rc � s zTestEnv.get_examplesc C s� d|krl|}x�|� d�D ]N}yt||�}W q tk rd | �d| �|�|f d| �|�|f �S X qW n>yt||�}W n. tk r� tr�� | �d| �|�|f �S X |S )N�.z getattr: %s has no attribute %rz , because %s has no attribute %rz attr: %s has no attribute %r)r� r r# ro rL �DEBUG)r r� rL r �subnamer r r r � s zTestEnv.getattrc sj t |t�r��� |�S t |t�r^t|�dkrD|d �jjkrD|d S t� �fdd�|D ��S ntd��d S )Nr^ rO r c s g | ]}�� � |��qS r )rM )r �nt)r� r r r r s z&TestEnv.gengetattr.<locals>.<listcomp>z0gengetattr: I am picky, required string or tuple)r r r r r- r �quoter_ )r r� Z name_or_tupler )r� r r rM s zTestEnv.gengetattrc C s | j �|� d S )N)r r9 )r �messager r r �log s z TestEnv.logc C s, t || jjj�rt|�S d| j�|� S d S )Nz%s)r r rJ r r� )r r� r r r rL s z TestEnv.namec C s d| S )Nz%sr )r r( r r r � name_coll s zTestEnv.name_collc C sP | � |� y| �| j|d� W n, tk rJ | jjj�� }| �|� Y nX d S )NzTop spec) �get_obj_examplesr" r r# r r6 �sys�exc_info� dump_failure)r r� �tvtr r r �test s z TestEnv.testc C sh | j �| |�}xT|D ]L}|dd � }|d }| j�|g �}x$|D ] }|�|� | �||d� q@W qW d S )Nr rO ztesting example of set)r� Z GetExamplesr� � setdefaultr9 r" )r r� rk r� �vsr� �vr r r r2 ! s zTestEnv.get_obj_examplesrO c C s� |\}}}g }|}x2|d k rD|j }|j| jjjkr<|�|� |j}qW xL|D ]D}|j} td| d f � td| d f � td| d � td� qLW |r�| j j j � |||� n� d S )Nza = %rr zb = %rr z message = r/ z-----) �tb_frame�f_coder" rA r> r9 �tb_next�f_locals�printr r6 � traceback�print_exception) r Zxxx_todo_changeme3�noraiserF �valuer@ rb �tbr? �lor r r r5 + s" zTestEnv.dump_failurec C s@ y| � ||d�}W n( tk r( � Y n tk r: dS X |S )Nr� F)r" r r# )r r r r r r r r� ? s zTestEnv.containsc C s |� || �S )N)r" )r r r r/ r r r r" H s zTestEnv.test_containsc C sL y|� || � W n( tk r& � Y n" tk r8 dS X | �d| �S d S )NTztest_contains_not, from: %s)r" r r# ro )r r r r/ r r r �test_contains_notK s zTestEnv.test_contains_notrP c C s | j s | �d| � t|��dS )NzFailed:F)�issilentr0 r* )r r/ r r r ro U s zTestEnv.failedc C s& || j jkrdS td|||f ��d S )NTz0%s: no examples for collection = %s, message: %s)r r� r )r Zforwhatr( rZ r/ r r r rd [ s zTestEnv.failed_coveragec C s8 | j jj�� }|\}}}| js4| �d| � ||��dS )NzFailed:F)r r6 r3 r4 rG r0 )r r/ r4 rF rC r@ r r r r\ a s zTestEnv.failed_exc_infoc C s� | � |�}d}x6|D ].}|| |�s:| �d| �|�|f �S |d7 }qW |s�yt|�}|dkr`t�W n$ tk r� | �d|||� Y nX dS )NrO zforall: e = %s, from: %sr r� T)rc ro rL r- r r# rd )r r( rZ r/ rk r r� r r r r r� i s zTestEnv.forallc C s| | � |�}d}xT|D ]L}xF| � |�D ]8}|| ||�sT| �d| �|�| �|�|f � |d7 }q$W qW |sx| �d|||� dS )NrO z&forall_pairs: a = %s, b = %s, from: %sr � forall_pairsT)rc ro rL rd )r r( rZ r/ r� r r r r r r rH { s zTestEnv.forall_pairsc C s� | � |�}d}xr|D ]j}xd| � |�D ]V}xP| � |�D ]B}|| |||�sn| �d| �|�| �|�| �|�|f � |d7 }q4W q$W qW |s�| �d|||� dS )NrO z.forall_triples: a = %s, b = %s, c=%s, from: %sr �forall_triplesT)rc ro rL rd ) r r( rZ r/ r� r r r �cr r r rI � s "zTestEnv.forall_triplesc C s� g }xXt |�D ]L\}}y ||�}W n. tk rP |�|| jjj�� f� wY nX |rdS qW x*|D ]"\}}td| � | j|dd� qdW | � |� d S )NTz%forsome: exception at collection[%d]:r )rB ) ra r# r9 r r6 r3 r4 r? r5 ro ) r r( rZ r/ Zfailuresri r r r6 r r r �forsome� s zTestEnv.forsomeN)rO )rP )rP )rP )rP )rP ) r0 r2 r3 r� Z iscompleterG rv r* r r� rc r rM r0 rL r1 r7 r2 r5 r� r" rF ro rd r\ r� rH rI rK r r r r r � s4 5 r c @ s� e Zd ZdZdZdZdZdd� Zdd� Zd d � Z d d � Z d d� Z dd� Z dd� Z dd� Zdd� Zdd� Zd}dd�Zd d � Zd d � Zd d!� Zd"d#� Zd~d$d%�Zd&d'� Zd(d)� Zdd+d,�Zd-d.� Zd�d/d0�Zd1d2� Z d3d4� Z d5d6� Z d7d8� Z d9d:� Z d;d<� Z!d=d>� Z"d?d@� Z#dAdB� Z$dCdD� Z%dEdF� Z&dGdH� Z'dIdJ� Z(dKdL� Z)dMdN� Z*dOdP� Z+dQdR� Z,dSdT� Z-dUdV� Z.dWdX� Z/dYdZ� Z0d[d\� Z1d]d^� Z2d_d`� Z3dadb� Z4dcdd� Z5dedf� Z6dgdh� Z7didj� Z8dkdl� Z9dmdn� Z:dodp� Z;dqdr� Z<dsdt� Z=dudv� Z>dwdx� Z?dydz� Z@d{d|� ZAdS )�� _GLUECLAMP_)�_loaded) r� �Docr� r� rX r� �wrap_source_stringr r� )� _hiding_tag_)z _parent:Usez_parent.Use:isoz_parent.Use:Nothingc C s | j jS )N)�_parentrJ )r r r r � _get_UniSet� rD z_GLUECLAMP_._get_UniSetc C s | j jS )N)rQ rN )r r r r �_get_Doc� rD z_GLUECLAMP_._get_Docc C s | j jS )N)rQ ZView)r r r r � _get_View� rD z_GLUECLAMP_._get_Viewc C s | j �| j jd�S )Nzguppy.heapy.Spec)rN � attribute�root)r r r r � _get__origin_� s z_GLUECLAMP_._get__origin_c C sZ | j }|dkry|�||�| j|��}W n, |jk rT td��� td|� Y nX |S )N�setofr@ zno wrap:)rN �wraprU r� ZDocError� __import__� print_excr? )r r� rL rN r r r � _wrapattr_� s z_GLUECLAMP_._wrapattr_c C s | � t�S )N)r� r )r r r r �_get_abstractset� s z _GLUECLAMP_._get_abstractsetc C s | � t�S )N)r� rR )r r r r �_get_adaptuple� s z_GLUECLAMP_._get_adaptuplec C s | j S )N)r� )r r r r �_get_any� s z_GLUECLAMP_._get_anyc C s | � t�S )N)r� r4 )r r r r � _get_argnames� s z_GLUECLAMP_._get_argnamesc C s | � t�S )N)r� rH )r r r r � _get_attr� s z_GLUECLAMP_._get_attrNc C s( | j }x |D ]}|| �||�M }q W |S )N)rI r$ )r r� rF r r r r r �attrs� s z_GLUECLAMP_.attrsc C s dd� }| � |d�S )Nc S s, y|rW n t k r& | �d� Y nX dS )Nz#boolean: 'if x' raised an exceptionT)r# ro )r& r r r r r� � s z#_GLUECLAMP_._get_boolean.<locals>.p�boolean)r� )r r� r r r � _get_boolean� s z_GLUECLAMP_._get_booleanc C s | � dd� d�S )Nc S s t |�S )N)�callable)r& r r r r rT � rD z+_GLUECLAMP_._get_callable.<locals>.<lambda>re )r� )r r r r � _get_callable� s z_GLUECLAMP_._get_callablec sb | j j}| j j�| j j� dd� �dd� �t�fdd�t|j�D �����t�fdd�t� j � � �D ��� �fdd �� �� fd d �}�fd d ��dd� �dd� }dd� }dd� }t�fdd�t� j � � �D �����t�fdd�t|j�D ��� |�|j < x dD ]}|�t ||�< �qW |�|j < �fdd��G � �� fdd �d �� |� �� � �� fd d �}|S ) Nc S s | S )Nr )�noder? r r r �mapchildren_id� s z0_GLUECLAMP_._get_compile.<locals>.mapchildren_idc s$ | d g� fdd�| dd � D � S )NrO c s g | ] }� |��qS r r )r r )r? r r r � s zI_GLUECLAMP_._get_compile.<locals>.mapchildren_default.<locals>.<listcomp>r r )rg r? r )r? r �mapchildren_default� s z5_GLUECLAMP_._get_compile.<locals>.mapchildren_defaultc s g | ] }|� f�qS r r )r rC )rh r r r � s z,_GLUECLAMP_._get_compile.<locals>.<listcomp>c s g | ]\}}|� f�qS r r )r rC rL )ri r r r � s c s � | d | |�S )NrO r )rg r? )�mapchildren_dispatchr r � mapchildren� s z-_GLUECLAMP_._get_compile.<locals>.mapchildrenc sP �� � �x4t�j�� �D ]"\}}t| |�rt| |�j�|< qW � �fdd�� � S )Nc s �| d | � �S )NrO r )rg )�_visitr� r r rl rD z9_GLUECLAMP_._get_compile.<locals>.visitor.<locals>._visit)�copyrb �sym_name�itemsrG r rA )�CrC rL )rj �symbol)rl r� r �visitor s z)_GLUECLAMP_._get_compile.<locals>.visitorc s, x&| dd � D ]}� |d ||� qW d S )Nr rO r )rg rm r )�recover_source_dispatchr r �recover_source_node s z5_GLUECLAMP_._get_compile.<locals>.recover_source_nodec S s, |r|d dkr|� d� |� | d � d S )Nr� �(� r )r9 )rg rm r r r �recover_source_token s z6_GLUECLAMP_._get_compile.<locals>.recover_source_tokenc S s, |r|d dkr|� d� |� | d � d S )Nr� )r* ru rv r )r9 )rg rm r r r �recover_source_name s z5_GLUECLAMP_._get_compile.<locals>.recover_source_namec S s |� | d � d S )Nr )r9 )rg rm r r r �recover_source_tight_left s z;_GLUECLAMP_._get_compile.<locals>.recover_source_tight_leftc S s@ |r.|d dd � � � s.|d dks.|�d� |�| d � d S )Nr� ru rv r )�isalnumr9 )rg rm r r r �recover_source_lpar s $ z5_GLUECLAMP_._get_compile.<locals>.recover_source_lparc s g | ]\}}|� f�qS r r )r rC rL )rt r r r s c s g | ] }|� f�qS r r )r rC )rw r r r " s ) �RPAR�LSQB�RSQB�COLON�COMMA�SEMI�DOT�LBRACE�RBRACEc s g }� | d | |� d� |�S )NrO rP )r )rg rm )rs r r �recover_source- s z0_GLUECLAMP_._get_compile.<locals>.recover_sourcec s e Zd Z� ��fdd�ZdS )z._GLUECLAMP_._get_compile.<locals>.wrap_lambdefc # s� t | �dkr�| d d �jkrƈ| d �}� | d |�}dddddd d d d d dddddddd|ffdddddddd d d d d ddddd| ffffffffffffffffdfffffffffffffS � | |�S )Nr^ r rO i$ i% i& i' i) i* i+ i, i- i. i/ i0 )i1 )r rO i4 )� ru i= i> )� r i1 r, z%r)� r� )r- Zlambdef)rg r? ZlsourceZlnode)rk r� rq r r r7 3 s 2 z3_GLUECLAMP_._get_compile.<locals>.wrap_lambdef.testN)r0 r2 r3 r7 r )rk r� rq r r � wrap_lambdef2 s r� c sT |dkrt | ||f|�� S ��| �}�j|dd�}� |��}��|�}��|�}|S )Nr� r )Z line_info)r� r� Z ast2tupleZ tuple2astZ compileast)r� �filename�moder5 �astrg r% )rk �parserr� r r �compile_E s z*_GLUECLAMP_._get_compile.<locals>.compile_)r6 �tokenr� rq �dictru �N_TOKENS�updaterb rn ro �NAMEr �LPAR)r r� rr rx ry r{ �tokr� r ) rk ri rj rh r� r� rs rt rw rq r� r � _get_compile� s: z_GLUECLAMP_._get_compilec C s | � t�S )N)r� r] )r r r r � _get_cprodS s z_GLUECLAMP_._get_cprodc C s | j j�|�S )N)rJ Zbyclodo�dictof)r r� r r r r� V s z_GLUECLAMP_.dictofc C s | � t�S )N)r� r� )r r r r �_get_docY s z_GLUECLAMP_._get_docc C s$ |j | j �� }t|�}t|� |S )N)r[ r� Zshortestr r? )r r� r[ Zdor r r �docof\ s z_GLUECLAMP_.docofrO c C sX |r d}nd}| � |d|�}| �| jjjj�|��}|d k rN|�� }t||� t ||�S )Nr� r� rP ) r� r r6 re rf r r rm �execr� )r r� �initr r� r% r� r r r r� b s z_GLUECLAMP_.evalc C s: ddi}x,t jD ]"}|�d�r*|dd � }d||< qW |S )Nr6 r Z_get_� )rL r� r� )r r� r r r r �_get_all_namesp s z_GLUECLAMP_._get_all_namesc C st |d kr4d| j krZx| jD ]}t| |� qW d| _n&| j}x |D ]}||kr@t| |� q@W | j }| jjd |d< |S )NrM r � __builtins__)r� Z all_namesr rM r � __globals__)r r� r �allrL r� r r r r x s z_GLUECLAMP_._load_namesc C s | � t�S )N)r� r� )r r r r �_get_eg� s z_GLUECLAMP_._get_egc C s | � t�S )N)r� r )r r r r � _get_elem� s z_GLUECLAMP_._get_elemc C s� || j jkr&| �|�}|| j�|�fS || jjkr�|jjdkr�|jj � d�r�|jj }|� d�}|jj }| j j}t||d � � |�||d � �}d�|�}|| j�|�fS || j�|�fS d S )Nz<lambda>z <!SPECEVAL!>� )r� �stringr� rN Zanon�TypeZFunctionr> �co_name� co_filenamer� r� �co_firstlinenor6 r7 r? �getblockr �getdoc) r r� r� r� �lines�lnumr7 �blockr� r r r rW � s z_GLUECLAMP_._exodocc C s | � t�S )N)r� r� )r r r r � _get_expred� s z_GLUECLAMP_._get_expredc C s dd� }| � |d�S )Nc S s8 yt d| � W n" tk r2 | �d| � Y nX dS )Nz lambda : %szNot a valid expression: %rT)r� r� ro )r& r r r r r� � s z&_GLUECLAMP_._get_expression.<locals>.pr� )r� )r r� r r r �_get_expression� s z_GLUECLAMP_._get_expressionc C s | � t�S )N)r� r� )r r r r � _get_expset� s z_GLUECLAMP_._get_expsetc C s | � t�S )N)r� r� )r r r r � _get_equals� s z_GLUECLAMP_._get_equalsc O s | j j|| f|�|�S )N)rJ Zfam_mixin_argatom)r r r5 r� r r r r� � s z_GLUECLAMP_.familyc C s | j jS )N)rJ rP )r r r r �_get__hiding_tag_� s z _GLUECLAMP_._get__hiding_tag_c C s | � t�S )N)r� r� )r r r r � _get_instance� s z_GLUECLAMP_._get_instancec C s | � t�S )N)r� r )r r r r �_get_intersection� s z _GLUECLAMP_._get_intersectionc C s t | | jj�S )N)r Z_Specification_r )r r r r �_get_LE� s z_GLUECLAMP_._get_LEc C s | j S )N)r� )r r r r � _get_SPLE� s z_GLUECLAMP_._get_SPLEc C s | � t�S )N)r� rx )r r r r � _get_mapping� s z_GLUECLAMP_._get_mappingc C s | � t�S )N)r� r� )r r r r � _get_matches� s z_GLUECLAMP_._get_matchesc C s t | |�S )N)r )r r r r r � mkTestEnv� s z_GLUECLAMP_.mkTestEnvc C s | � dd� |�S )Nc S s dS )Nr r )r� r r r r rT � rD z%_GLUECLAMP_.newtype.<locals>.<lambda>)r� )r rL r r r �newtype� s z_GLUECLAMP_.newtypec C s | j jS )N)�User� )r r r r � _get_nothing� s z_GLUECLAMP_._get_nothingc C s | � d| �|�| jj@ | j@ �S )N� partition)r[ � union_equalsr� ZnonemptyZset_of_disjoint_sets)r r� r r r r� � s z_GLUECLAMP_.partitionc C s | � t�S )N)r� r� )r r r r �_get_predicate� s z_GLUECLAMP_._get_predicatec C s | � t�S )N)r� r� )r r r r � _get_powerset� s z_GLUECLAMP_._get_powersetc C s | j jS )N)rJ r )r r r r � _get_Anything� s z_GLUECLAMP_._get_Anythingc C s g S )Nr )r r r r � _get_quote� s z_GLUECLAMP_._get_quotec C s | � t�S )N)r� r� )r r r r �_get_recurself� s z_GLUECLAMP_._get_recurselfc C s G dd� d�}| � |�S )Nc @ sn e Zd ZdddddgZdd� Zdd � Zd d � Zd d � Zdd� Zdd� Z e Z dd� Z dd� Z dd� Zdd� ZdS )z/_GLUECLAMP_._get_relation.<locals>.RelationSpec)�1Zpaxb)�2�paxa)�3�defiop�fuop)�4Zdefipair)�5Z defitriplec S s |� |�|j|j��S )N)rX rw r )r r� r r r � _get_spec_1� s z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_1c S s |� |�|j|j��S )N)rX rw r )r r� r r r � _get_spec_2� s z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_2c S s. |j |j|jf> |�ddddddddd d � B S ) Nr� z<=z==z!=r� z>=r� znot inr� zis not)rc r r� )r r� r r r � _get_spec_3 s z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_3c S s |� |j| jj�S )N)rw r� r� r� )r r� r r r � _get_spec_4 s z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_4c S s |� |j| jj|j�S )N)rw r� r� r� )r r� r r r � _get_spec_5 s z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_5c S s |� t�S )N)r� r� )r r� r r r � _get__relop s z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get__relopc S s |j |fS )N)r )r r� r� r r r � map_3_to_4 rD z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_4c S s | � |j|�S )N)�_relopr )r r� r� r r r � map_3_to_2 rD z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_2c S s | j |� S )N)r� )r r� r5 r r r � map_4_to_2 rD z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_4_to_2c S s | j |� S )N)r� )r r� r5 r r r � map_5_to_1 rD z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_5_to_1N)r0 r2 r3 r� r� r� r� r� r� r� r� Z map_2_to_1r� r� r� r� r r r r � RelationSpec� s r� )�repcat)r r� r r r � _get_relation� s "z_GLUECLAMP_._get_relationc C s | j jjjS )N)r� r� r� r� )r r r r � _get_relop s z_GLUECLAMP_._get_relopc C s t | |�S )N)r� )r r� r r r r� s z_GLUECLAMP_.repcatc C s | � t�S )N)r� rs )r r r r � _get_sequence s z_GLUECLAMP_._get_sequencec C s | � | jj�S )N)�instancerJ )r r r r �_get_set s z_GLUECLAMP_._get_setc C s dd� }| � |d�S )Nc S s | � |dd� d�S )Nc S s ||kp|� |�S )N)Zdisjoint)r& r r r r r rT % rD zB_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.p.<locals>.<lambda>za == b or a.disjoint(b))rH )r& r r r r r� $ s z0_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.pzset of disjoint sets)r� )r r� r r r �_get_set_of_disjoint_sets# s z%_GLUECLAMP_._get_set_of_disjoint_setsc C sB t || jj�s>| j�|�}| j�|| j�| j�| jd�|��}|S )NrX )r rJ r� rN rY ZcallfuncrU r� )r r r r r rX ) s z_GLUECLAMP_.setcastc C s | j S )N)r� )r r r r � _get_setof1 s z_GLUECLAMP_._get_setofc C s | � d �S )N)r� )r r r r �_get__static_test_env4 s z!_GLUECLAMP_._get__static_test_envc C s | � t�S )N)r� r� )r r r r � _get_synonyms7 s z_GLUECLAMP_._get_synonymsc C s | � t�S )N)r� r� )r r r r �_get_tupleform: s z_GLUECLAMP_._get_tupleformc C s | j jS )N)r� r� )r r r r � _get_Type= s z_GLUECLAMP_._get_Typec C s | � | �d| �|��| �|��S )Nr� )Zegr$ r� r� )r r� r r r r� @ s z_GLUECLAMP_.union_equalsc C s | j �|�|_|S )N)rN r� r� )r rZ r r r r rO D s z _GLUECLAMP_.wrap_source_string)N)N)NrO )N)Br0 r2 r3 Z _chgable_Z_nowrap_Z _preload_Z _imports_rR rS rT rW r\ r] r^ r_ r` ra rb rd rf r� r� r� r� r� r� r� r r� r� rW 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� rX r� r� r� r� r� r� rO r r r r rL � s~ g .rL N)'�__doc__r+ r r r4 rH rR r] rs rx 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 rL r r r r �<module> sP ,-*J 7( 1<