관리-도구
편집 파일: Spec.cpython-37.opt-1.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�inspectZgetargs�appendr )r �coder7 r5 ZvarargsZvarkwr r r � getargnamesG s zArgNamesFamily.getargnamesc C s. y|j }| �|�|kS tk r( dS X d S )NF)�__code__r: r )r �fr5 r9 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< r9 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)r@ r )r? )r r r r r@ a rA z0ArgNamesFamily.c_contains.<locals>.meth_argnamesr r )r r6 �typesr �type�hasattrr r )r r r r= r@ rB r )r r r r+ _ s zArgNamesFamily.c_containsN)r0 r2 r3 r r: r= r@ 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 �namerC r r r r q s zAttributeFamily.__call__c C s" |j \}}|�||�}|�||�S )N)r � gengetattrr" )r r r r& rI rC 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 rK rN r r r r rE p s rE c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�AdaptupleFamilyc O s& t j| f|�|� | �ddd� � d S )N�newc S s | j d S )NrL )r )r r r r �<lambda>� rA 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 �funcrC �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& rW rC r r r r rK � s z AdaptupleFamily.c_test_containsN)r0 r2 r3 r r rK r r r r rO � s rO c @ s4 e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd S ) �CartesianProductFamilyc G s | � | |�S )N)r )r rB r r r r � s z CartesianProductFamily.__call__c C s& |j }t|�dkr|d S td��d S )N� rL z*Domain is defined on binary relations only)r r- � TypeError)r r rB 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_coverager8 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 �lrg 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& rB Zbs�tr r r rK � s z&CartesianProductFamily.c_test_containsN)r0 r2 r3 r r] ri rk rK r r r r rZ � s rZ c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�SequenceFamilyc C s | � |�S )N)�specoarg)r rC 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 rK � 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_lengthr` r �cprodr )r r r& rf r r r r ri � s z SequenceFamily.c_get_examplesN)r0 r2 r3 r rK ri r r r r ro � s ro 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 rQ � rA z:MappingFamily.__init__.<locals>.<lambda>.<locals>.<lambda>r )r )r )r r rQ � rA z(MappingFamily.__init__.<locals>.<lambda>)r r rR )r r rS r )r r r � s zMappingFamily.__init__c C s |j \}}}t|||�S )N)r �Arrow)r r r< �tf�ts�retr r r rv � 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 )NrL 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 rU r- r r � SyntaxError�endswithr8 Zsequencer �evalrs r r ) r r5 ry �as_rz rf rU rg rn �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< rz r r �g s z(MappingFamily.c_test_contains.<locals>.g)r �forall)r r rW r& ry r� r )r< rz r rK 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 rQ rA z9MappingFamily.c_get_examples.<locals>.<listcomp>.<lambda>r )r r )r r r s z0MappingFamily.c_get_examples.<locals>.<listcomp>)r r` )r r r& r< ry rz r r r ri s z MappingFamily.c_get_examplesN)r0 r2 r3 r rv r rK ri r r r r rt � s (rt c @ s e Zd Zdd� Zdd� ZdS )�PredicateFamilyc C s | � | ||f�S )N)r )r r rX 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 rl rI )r r r r& ZpredrX r r r rK % s z PredicateFamily.c_test_containsN)r0 r2 r3 r rK 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 rQ / rA z)PowersetFamily.__init__.<locals>.<lambda>)r r rR )r r5 r r r r - s zPowersetFamily.__init__c C s | � |�S )N)rp )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 r` r# )r r r& r �yr r r ri 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 rQ C rA z0PowersetFamily.c_test_contains.<locals>.<lambda>r� )r r� rl �isor r� )r r r r& r )r� r rK > s z PowersetFamily.c_test_containsN)r0 r2 r3 r r ri rK 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 rG Z NotNothingr� �convertr )r rX rC r r r r G s zDocFamily.__call__c C s |j \}}|�||�S )N)r r" )r r r r& rX rC r r r rK O s zDocFamily.c_test_contains)N)r0 r2 r3 r rK 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 )NrL )r )r r r r rQ W rA z&RelOpFamily.__init__.<locals>.<lambda>rq c S s | j d S )Nr[ )r )r r r r rQ X rA )r r rR �memo)r r rS 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 rU r� �getr� rI r0 r )r r� �oprq r rW 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� rq ) r_ r` r� ra rq r r6 rb rc rd �containsr8 )r r r& �domZranre rh r r r ri q s zRelOpFamily.c_get_examplesc C s |j \}}}||� s |�� S dS )NT)r rl )r r r r& �dr� r� r r r rK � s zRelOpFamily.c_test_contains)N)r0 r2 r3 r r ri rK 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� rH )r r5 r r r r � s zEqualsFamily.__call__c C s ||j krdS |�d�S )NT�equals)r rl )r r r r& r r r rK � s z EqualsFamily.c_test_containsc C s |j S )N)r )r r r& r r r ri � s zEqualsFamily.c_get_examplesN)r0 r2 r3 r rK ri 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 rK � s z ExampleFamily.c_test_containsc C s |j \}}|S )N)r )r r r& r� r� r r r ri � s z ExampleFamily.c_get_examplesN)r0 r2 r3 r rK ri 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 rG r r r$ r- rl )r r r r& r� ZmsrI r r r r rK � s z SynonymsFamily.c_test_containsN)r0 r2 r3 r rK 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 rl r r� )r r r r& r r r rK � s z InstanceFamily.c_test_containsc C s |� | j�|j��S )N)r` r rU r )r r r& r r r ri � 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 rK ri 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� � expressionrW 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 rl ) r r r r& r� r� rW r� rI r r r r rK � s z)ExpressionPredicateFamily.c_test_containsN)r0 r2 r3 r rK 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� rW 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� rW r� rI r r r r rK � s z#ExpressionSetFamily.c_test_containsN)r0 r2 r3 r rK 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 rS r r r r � s zMatchesFamily.__init__c C s | � | j�|�|f�S )N)rV 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� �matchrl )r r r r& Z regexpobjr? r r r rK � s z MatchesFamily.c_test_containsN)r0 r2 r3 r r rK 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)rW �recursion_level�recursion_limitN)r0 r2 r3 � __slots__r r r r � RecurSpec� s r� )r r r r� )r r rS r� r r r r � s zRecurSelfFamily.__init__� c C s | � | |�}||_d|_|S )NrL )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) rW r r r� r r� r" r* r# r� r� rl ) r r r r& rW r� r� rx Zrlr r r rK s( z RecurSelfFamily.c_test_containsN)r� )r0 r2 r3 r r rK 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)rH )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- rl r� rm �setattrr" ) r r r r& r� r� ZbtZobrI �valr r r rK + s z TupleformFamily.c_test_containsN)r0 r2 r3 r rK r r r r r� ' s r� c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )rw 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 rw : s rw c @ s e Zd Zdd� Zdd� ZdS )� IdentityArrowc C s t �| |||� d S )N)rw 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)rw 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 rI 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)rD r/ r r� r r� r )r rI 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�arrowsrR 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 rI 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 �objrI ZgsZspr 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 rQ � rA 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# rl 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)rw 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� rw ) r r� rI Z arrownameZanr� rn r� Zuniname�Pr� r� ru 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 �onZisosrj Znn�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 rI 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� )rp r� )r rI 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 rK s z*RepresentationObjectFamily.c_test_containsc C s | � |�}|�|�S )N)r� r` )r r r& r� r r r ri s z)RepresentationObjectFamily.c_get_examplesN) r0 r2 r3 r� r� r� r� r� r� r rK ri 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 rS r� r r r r ! s zAbstractSetFamily.__init__c C s | � ||f�}i |_|S )N)rH r� )r ru 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 ZaaZsaZabZsbr 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 rn r� )�pararrowr� �srcsetr r r� C s z'AbstractSetFamily.c_getattr2.<locals>.pzAbstract set attribute: %r)r� r r� r r� )r r r ru 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& ru r� rn r� r r r rK R s z!AbstractSetFamily.c_test_containsN)r0 r2 r3 r r r r� rK r r r r r� s r� c @ s e Zd Zdd� Zdd� ZdS )� ElemFamilyc C s | � |�S )N)rp )r rW r r r r ] s zElemFamily.__call__c C s |j }||�}|�||d�S )Nr� )r r" )r r r r& rW r� r r r rK ` s zElemFamily.c_test_containsN)r0 r2 r3 r rK r r r r r� \ s r� c @ s e Zd Zdd� Zdd� ZdS )�IntersectionFamilyc C s | � ||f�S )N)rH )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 rQ l s z4IntersectionFamily.c_test_contains.<locals>.<lambda>)r r� )r r r r& r� r )r r� r rK j s z"IntersectionFamily.c_test_containsN)r0 r2 r3 r rK 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 rb rc �Code�co_findloadednamesr; rB � 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 )NrM ) 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 rB r r r� r� r_ r� �keys�sortr r; r � co_varnames� co_argcountr rb rc r r r r0 r r r8 �attrr� rG r r )r r� r rB rW ZlsZselfsetr� rI 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 rG r` r_ )r � collection�itrh r r r r` � 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# rl rI �DEBUG)r r� rI r Zsubnamer 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[ rL r c s g | ]}�� � |��qS r )rJ )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 Zquoter\ )r r� Z name_or_tupler )r� r r rJ s zTestEnv.gengetattrc C s | j �|� d S )N)r r8 )r �messager r r �log s z TestEnv.logc C s, t || jjj�rt|�S d| j�|� S d S )Nz%s)r r rG r r� )r r� r r r rI 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 rL ztesting example of set)r� Z GetExamplesr� � setdefaultr8 r" )r r� rh r� Zvsr� �vr r r r$ ! s zTestEnv.get_obj_examplesrL 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" r> r; r8 �tb_next�f_locals�printr r6 � traceback�print_exception) r Zxxx_todo_changeme3�noraiserC �valuer1 r_ �tbr< �lor r r r' + 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# rl )r r r r! r r r �test_contains_notK s zTestEnv.test_contains_notrM c C s | j s | �d| � t|��dS )NzFailed:F)�issilentr" r* )r r! r r r rl 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 rW r! r r r ra [ s zTestEnv.failed_coveragec C s8 | j jj�� }|\}}}| js4| �d| � ||��dS )NzFailed:F)r r6 r% r& r8 r" )r r! r& rC r4 r1 r r r rY 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 )NrL zforall: e = %s, from: %sr r� T)r` rl rI r- r r# ra )r r rW r! rh 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 )NrL z&forall_pairs: a = %s, b = %s, from: %sr � forall_pairsT)r` rl rI ra )r r rW r! r� r� r r r r r r9 { 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 )NrL z.forall_triples: a = %s, b = %s, c=%s, from: %sr �forall_triplesT)r` rl rI ra ) r r rW r! r� r� r r �cr r r r: � 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 )r3 ) r^ r# r8 r r6 r% r& r0 r' rl ) r r rW r! Zfailuresrf r r r( r r r �forsome� s zTestEnv.forsomeN)rL )rM )rM )rM )rM )rM ) r0 r2 r3 r� Z iscompleter8 rr r* r r� r` r rJ r" rI r# r) r$ r' r� r" r7 rl ra rY r� r9 r: r< 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� rU r� �wrap_source_stringr r� )� _hiding_tag_)z _parent:Usez_parent.Use:isoz_parent.Use:Nothingc C s | j jS )N)�_parentrG )r r r r � _get_UniSet� rA z_GLUECLAMP_._get_UniSetc C s | j jS )N)rB r? )r r r r �_get_Doc� rA z_GLUECLAMP_._get_Docc C s | j jS )N)rB ZView)r r r r � _get_View� rA z_GLUECLAMP_._get_Viewc C s | j �| j jd�S )Nzguppy.heapy.Spec)r? � 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�setofr1 zno wrap:)r? �wraprF r� ZDocError� __import__� print_excr0 )r r� rI r? 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� rO )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� rE )r r r r � _get_attr� s z_GLUECLAMP_._get_attrNc C s( | j }x |D ]}|| �||�M }q W |S )N)rF r )r r� rC 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# rl )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 rQ � rA z+_GLUECLAMP_._get_callable.<locals>.<lambda>rV )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 )NrL c s g | ] }� |��qS r r )r r� )r< r r r � s zI_GLUECLAMP_._get_compile.<locals>.mapchildren_default.<locals>.<listcomp>r r )rX r< r )r< r �mapchildren_default� s z5_GLUECLAMP_._get_compile.<locals>.mapchildren_defaultc s g | ] }|� f�qS r r )r r4 )rY r r r � s z,_GLUECLAMP_._get_compile.<locals>.<listcomp>c s g | ]\}}|� f�qS r r )r r4 rI )rZ r r r � s c s � | d | |�S )NrL r )rX 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 )NrL r )rX )�_visitr� r r r] rA z9_GLUECLAMP_._get_compile.<locals>.visitor.<locals>._visit)�copyr_ �sym_name�itemsrD r r> )�Cr4 rI )r[ �symbol)r] r� r �visitor s z)_GLUECLAMP_._get_compile.<locals>.visitorc s, x&| dd � D ]}� |d ||� qW d S )Nr rL r )rX rj 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 )r8 )rX rj 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 rf rg r )r8 )rX rj r r r �recover_source_name s z5_GLUECLAMP_._get_compile.<locals>.recover_source_namec S s |� | d � d S )Nr )r8 )rX rj 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| rf rg r )�isalnumr8 )rX rj r r r �recover_source_lpar s $ z5_GLUECLAMP_._get_compile.<locals>.recover_source_lparc s g | ]\}}|� f�qS r r )r r4 rI )re r r r s c s g | ] }|� f�qS r r )r r4 )rh r r r " s ) �RPAR�LSQB�RSQB�COLON�COMMA�SEMI�DOT�LBRACE�RBRACEc s g }� | d | |� d� |�S )NrL rM )r )rX rj )rd 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 rL i$ i% i& i' i) i* i+ i, i- i. i/ i0 )i1 )r r@ i4 )� rf i= i> )� r i1 r, z%r)� r~ )r- Zlambdef)rX r< ZlsourceZlnode)r\ rv rb r r r) 3 s 2 z3_GLUECLAMP_._get_compile.<locals>.wrap_lambdef.testN)r0 r2 r3 r) r )r\ rv rb r r � wrap_lambdef2 s rz c sT |dkrt | ||f|�� S ��| �}�j|dd�}� |��}��|�}��|�}|S )Nr� r )Z line_info)r� r� Z ast2tupleZ tuple2astZ compileast)r� �filename�moder5 ZastrX r )r\ �parserrz r r �compile_E s z*_GLUECLAMP_._get_compile.<locals>.compile_)r6 �tokenr} rb �dictrq �N_TOKENS�updater_ r_ r` �NAMEr �LPAR)r r rc ri rj rl �tokr~ r ) r\ rZ r[ rY r} rv rd re rh rb rz r � _get_compile� s: z_GLUECLAMP_._get_compilec C s | � t�S )N)r� rZ )r r r r � _get_cprodS s z_GLUECLAMP_._get_cprodc C s | j j�|�S )N)rG 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)rX r� Zshortestr r0 )r r� rX Zdor r r �docof\ s z_GLUECLAMP_.docofrL c C sX |r d}nd}| � |d|�}| �| jjjj�|��}|d k rN|�� }t||� t ||�S )Nr� r� rM ) r� r r6 rb rc r r r^ �execr� )r r� Zinitr 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_� )r= 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 )Nr> r � __builtins__)r� Z all_namesr r> r � __globals__)r r� r �allrI 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� r? Zanon�TypeZFunctionr; �co_name� co_filenamer� r� �co_firstlinenor6 r7 r0 Zgetblockr Zgetdoc) r r� r� r� �lines�lnumr7 �blockr� r r r rT � 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 rl )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)rG Zfam_mixin_argatom)r r r5 r� r r r r� � s z_GLUECLAMP_.familyc C s | j jS )N)rG rA )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� rt )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 rQ � rA z%_GLUECLAMP_.newtype.<locals>.<lambda>)r� )r rI 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)rX � 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)rG 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)rI rs 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)rI rs 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)rT 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)rs 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)rs 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 rA 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 rA 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 rA 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 rA 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� ro )r r r r � _get_sequence s z_GLUECLAMP_._get_sequencec C s | � | jj�S )N)�instancerG )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 rQ % rA zB_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.p.<locals>.<lambda>za == b or a.disjoint(b))r9 )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 )NrU )r rG r� r? rJ ZcallfuncrF r� )r r r r r rU ) 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)r? r� r� )r rW r r r r r@ D s z _GLUECLAMP_.wrap_source_string)N)N)NrL )N)Br0 r2 r3 Z _chgable_Z_nowrap_Z _preload_Z _imports_rC rD rE rH rM rN rO rP rQ rR rS rU rW r� r� r� r� r� r� r� r r� r� rT 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� rU r� r� r� r� r� r� r@ r r r r r= � s~ g .r= N)'�__doc__r r r r4 rE rO rZ ro rt r� r� r� r� 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 �<module> sP ,-*J 7( 1<