File: //opt/alt/python37/lib64/python3.7/site-packages/guppy/gsl/__pycache__/Tester.cpython-37.pyc
B
�]�_ � @ sL G d d� d�Z G dd� d�ZG dd� d�ZG dd� de �ZG dd � d �Zd
S ) c @ s e Zd Zdd� Zdd� Zdd� Zdd� Zd d
� Zd d � Zd
d� Z dd� Z
dd� Z dd� Z dd� Z
dd� Zdd� 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 d9d:� Z d;d<� Z d=d>� Z!d?d@� Z"dAdB� Z#dCdD� Z$dES )F�
Doc2Testerc C sV || _ || _|| _g | _| �g � i | _i | _i | _g | _d | _ d | _
i | _ d| _ d S )N� )
�mod�doc�node�exdefs�set_out�
test_namesZcondition_exprs�condition_methods�document_metas�
document_lang�document_title�
example_exprs�ex_id)�selfr r r � r �C/opt/alt/python37/lib64/python3.7/site-packages/guppy/gsl/Tester.py�__init__ s
zDoc2Tester.__init__c C s@ | j j}x2|jD ](}y|�| � W q |k
r6 Y qX qW d S )N)r �
ReportedError�children�accept)r r �E�chr r r �_visit_children s zDoc2Tester._visit_childrenc G s | � |� d S )N)�extend)r �argsr r r �ap s z
Doc2Tester.apc O s" d| }| j jj|f|�|� d S )Nz Doc2Tester: )r �env�error)r �msgr �kwdsr r r r s zDoc2Tester.errorc
C s^ |� � }| j�|�}|d k�rZdt| j� }|| j|< | j}d}|�� }x||kr\d| }qJW d�|g| �}|d||f dd� |d| d� |�d �}|s�| jd
| |j j
d d � x�|D ]�} x>| �d �D ]0}
|
j j
j � � } x | �
d
�D ]} || d� q�W q�W | |d k�r(|d| j j
j � � d� q�|d| j j
j � � dd� |ddd� q�W |d� |S )Nzcond_%d�_self�_z, z def %s(%s):z<NL>z<INDENT>z# Condition: %sZ python_codez3No python code specified for testing condition: %r.)� exceptionZ
in_context�
���z return (%s)z if not (%s):z return Falsez<DEDENT>)� get_id_namer �get�lenr Z
get_arg_names�join� find_aspectsr �srcr �arg�strip�split)
r �condZidn�namer Zmyself� arg_namesZ argstringZpcsZpcZic�ctx�liner r r �get_condition_method s:
z Doc2Tester.get_condition_methodc C s( x"|� d�D ]}| �d| d� q W d S )Nr# z# z<NL>)r- r )r �sr2 r r r � gen_comment@ s zDoc2Tester.gen_commentc C s0 |j �� s|jS | j�d|j �� �ft|j� S )Nr/ )r+ r, r r � node_of_taci�tuple)r r r r r � get_childrenD s
zDoc2Tester.get_childrenc C s� |� � }|d krd S | �|�}g }|�� } xn|jD ]d}
d } |
| krH|} nD|
dkrV|} n6|�|
�} | d kr�| jd|
|jjd d� q2|�| �} |� | � q2W dd|j
|d� |�f S )Nz<returned value>z Invalid condition argument: %r.)r" z
%sself.%s(%s))� znot z, ) Zget_definitionr3 Z
get_self_namer0 Z
get_arg_valuer r* r Zmapname�append�is_notr( ) r �por �attrr* �tgtr. r/ ZcallargsZ self_nameZan�vr r r �get_condition_exprI s0
z Doc2Tester.get_condition_exprc C s� | j �|�}|d k r|S |�� }|�� }|r�d| j }| jd7 _| �d| dd� x |�d�D ]}| �|d� qbW | �d| dd� d | }|| j |< |S )
Nz get_ex_%dr z
def %s(self):z<NL>z<INDENT>r# z return %sz<DEDENT>z self.%s())r
r& Z get_ex_textZ get_ctx_textr r r- )r Zeg�exr1 Zex_namer2 r r r �get_example_exprg s
zDoc2Tester.get_example_exprc C sH |j }|| jkr:| j| }| j| d7 < d||f }n
d| j|< |S )Nr z%s_%d)Z srclastnamer )r �kind�tn�ir r r �
get_test_namey s
zDoc2Tester.get_test_namec C s� | j }|dt d� |d| jj�| jj�� � d� |ddd� |dd� | �| j� g }d}g }xl| jD ]b}|dkr�|d7 }qj|d kr�|d8 }qj|dkr�|� d
�
|�� g }qj|s�|� |d � |� |� qjW d �
|�d S )
Nz# Tests generated by: %sz<NL>z
# Date: %sz
class Tester:z<INDENT>z
tests = {}� � z<DEDENT>r9 � r# ) r �__name__r �time�asctime� localtimer r �outr: r( )r r �lines�indentr2 �tokr r r �
get_tester� s,
zDoc2Tester.get_testerc C s || _ |j| _d S )N)rN r )r rN r r r r � s zDoc2Tester.set_outc C sN | � d� d}x0| �|�D ]"}|r.| � d� nd}|�| � qW | � d� d S )N�(rG z, r �))r r8 r )r r �commar r r r �
visit_arglist� s
zDoc2Tester.visit_arglistc C sT | � |�}xD|rN|d �| � | �d� |d �| � | �d� |dd � }q W d S )NrG z = r z<NL>� )r8 r r )r r r r r r � visit_assign� s
zDoc2Tester.visit_assignc C s" | � d� | �|� | � d� d S )Nz<INDENT>z<DEDENT>)r r )r r r r r � visit_block� s
zDoc2Tester.visit_blockc C sh | � |�}|d �| � | �d� d}x2|dd � D ]"}|rH| �d� nd}|�| � q4W | �d� d S )NrG rS r z, rT )r8 r r )r r r rU r r r r �
visit_call� s
zDoc2Tester.visit_callc C s d S )Nr )r r r r r �
visit_comment� s zDoc2Tester.visit_commentc C s` | � d� | �|�}|d �| � |d �| � | � dd� x |dd � D ]}|�| � qJW d S )Nzdef rG r �:z<NL>rW )r r8 r )r r r r r r r � visit_def� s
zDoc2Tester.visit_defc C s | � d|j |� d S )Nz-I don't know what to generate for the tag %r.)r �tag)r r r r r �
visit_default� s zDoc2Tester.visit_defaultc C s | � |� d S )N)r )r r r r r �visit_document� s zDoc2Tester.visit_documentc C s | j d k r| �d|� || _ d S )Nz"Duplicate document lang directive.)r r )r r r r r �visit_document_lang� s
z Doc2Tester.visit_document_langc C s | j d k r| �d|� || _ d S )Nz#Duplicate document title directive.)r r )r r r r r �visit_document_title� s
z Doc2Tester.visit_document_titlec C s | j �|� d S )N)r r: )r r r r r � visit_exdefs� s zDoc2Tester.visit_exdefsc C s | � |� d S )N)rZ )r r r r r � visit_fcall� s zDoc2Tester.visit_fcallc C sh | � |�}|d �| � | �d� d}x2|dd � D ]"}|rH| �d� nd}|�| � q4W | �d� d S )NrG �[r z, �])r8 r r )r r r rU r r r r � visit_index� s
zDoc2Tester.visit_indexc C s | j �|� d S )N)r
r: )r r r r r �
visit_meta� s zDoc2Tester.visit_metac C s | � |j�� � d S )N)r r+ r, )r r r r r �
visit_name� s zDoc2Tester.visit_namec C s | � |� | �d� d S )Nz<NL>)rZ r )r r r r r � visit_pcall� s
zDoc2Tester.visit_pcallc C s | � d|j�� � d S )Nz%r)r r+ r, )r r r r r � visit_string s zDoc2Tester.visit_stringc C s | � d� d S )NZSUBJECT)r )r r r r r �
visit_subject s zDoc2Tester.visit_subjectc C s t | |� d S )N)�TestOf)r r r r r �
visit_test_of s zDoc2Tester.visit_test_ofc C s" | � d|j�� � | �|� d S )Nz Test for: %s)r5 r+ r, r )r r r r r �visit_test_program_segment s z%Doc2Tester.visit_test_program_segmentc C s d S )Nr )r r r r r �visit_to_document_only s z!Doc2Tester.visit_to_document_onlyc C s | � |� d S )N)r )r r r r r �visit_to_tester_only s z Doc2Tester.visit_to_tester_onlyN)%rJ �
__module__� __qualname__r r r r r3 r5 r8 r@ rB rF rR r rV rX rY rZ r[ r] r_ r` ra rb rc rd rg rh ri rj rk rl rn ro rp rq r r r r r sD
r c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�DiffKindc C s || _ || _d| _d S )NZdiffkind)�a�b�d_tag)r ru rv r r r r s zDiffKind.__init__c C s | gS )Nr )r r r r �get_atom_kinds s zDiffKind.get_atom_kindsc C s | j �� d | j�� d S )N�+�')ru r% rv )r r r r r% s zDiffKind.get_id_nameN)rJ rr rs r rx r% r r r r rt s rt c @ s e Zd Zdd� ZdS )�
EitherTestc C s d S )Nr )r r r r r % s zEitherTest.__init__N)rJ rr rs r r r r r r{ $ s r{ c @ s. e Zd Zdd� Zdd� Zd
dd�Zdd � ZdS ) rm c C s� | j �|j � || _|| _|j|j }}|j }| _|j| _|j | _ || _
|| _ d | _ x�|D ]�}|j
}|dkr�| j d k r�| jd|d d� q�yt|j�� �}W n tk
r� |j�� }Y nX || _ q\| jd| jj
|d d� q\W | j d kr�d| _ | �� d S )N�coveragez!Duplicate coverage specifications)r" zInvalid element in %r.r )�__dict__�update�parentr r+ r r Z KanExtension�Kan�Catr rC r| r^ r �intr, �
ValueError�make_cat)r r r rC r r �tr| r r r r * s4
zTestOf.__init__c C s( | j �|�rd||f S d||f S d S )Nz%s.%szgetattr(%s, %r))r Z
is_identifier)r �objr= r r r � getattr_codeQ s zTestOf.getattr_codeNc C s | j ||d dd� d S )Nr )r" Zharmless)r )r �messager r r r �warnW s z TestOf.warnc s~ g �i �g }i � i }d}dg�g }g �i �g }i �
i }���fdd���
�fdd�� ���� � �
��fdd�}��j � xP�rȈ�� �
�
�� �x6�
�� D ]*}y ||� W q� �jjk
r� Y q�X q�W qzW �j���|�} �jj �j�
|� | ��j d�}
d d
� } | |
_ |
�
�j �� �} | �� }
i � d g��� fd d
���fdd�}�fdd��g �G dd� d�� i �� ��fdd����� � ���fdd��| �� }�d�}x<|D ]4}x,tdt|�d �D ]}�|d |� � �q�W �q�W �|� ��s ��d�j j � dg��jj}�j��j �}d| }|d | d d � x,|� D ] }||� |d k�r8|d � �q8W |d � |d!�j j|f d � d S )"Nr c s0 | � � }|�kr,��|� ��| � | � |< |S )N)r% r: )rC r/ )�
kindofname�kinds�objectsr r �add_kindj s
z!TestOf.make_cat.<locals>.add_kindc s2 | � kr� | S �j �| �}| �|�}|� | < |S )N)r rB Z get_use_text)ru �x�usage)�ex_mapr r r rB r s
z)TestOf.make_cat.<locals>.get_example_exprc s� | j }|j}|dk�r�|}g }|�� }x�|D ]�}|j }|jdkr�| | }|�� } �| �}
|����} xN| D ]:} d� d }
� d d7 < �|
f�|
< d|| f�|
< qjW q,|�|� q,W |s�|�s�t|�t|�k�r,dd� |D �}|�� d d� |D �}�jj �
� }d
|_||_ d d � d
d� |D �� |_
n|�� }d|�� � d f }
� d d7 < �|�}
|
�k�snt��|
f�|
< d|�� f�|
< �n|dk�r�| �� } �| �}
| ���} x�| D ]<} d� d }
� d d7 < �|
f�|
< || | f�|
< �q�W n�|dk�r��|�}|�k �rPd�|� d f }
� d d7 < �|f�|
< d|f�|
< xRt|�� �D ]6\}}�|�}
d||
f }
||
f�|
< d|f�|
< �q^W n
d�s�t�d S )N� attribute�mappingz
CALLATTR%drG r �callattrc S s g | ]}|� � |f�qS r )r% )�.0r� r r r �
<listcomp>� s z:TestOf.make_cat.<locals>.gen_atom_beam.<locals>.<listcomp>c S s g | ] \}}|�qS r r )r� r� �yr r r r� � s rC z(%s)�&c S s g | ]
}|j �qS r )� tgtfullname)r� r� r r r r� � s z%s:%d�getattr)�operator�function_operator�inplace_operator�reverse_operatorr� �setitem�delitem�getitemz
OPERATOR%dZeitherz
(%s:%s:%d)�subkindz(%s'%s)� superkind)r> rw �get_atom_beamsZget_return_test_kindZget_args_examplesr: r' �sortr ZMainZKindZaspectsr( r� Z
get_test_kindr% �AssertionError�
get_attr_name� enumerateZ
get_alt_kinds)�aspZasptgtr^ r= Z
otherkindsZatkak�abru �opZret_kindZtgt_nameZexamplesr Z
arrow_nameZothZatkZasp_namerE Zak)�acr� �arrows�farB rC r �src_namer r �
gen_atom_beamz st
z&TestOf.make_cat.<locals>.gen_atom_beam)r| c S s
d� | �S )N�,)r( )ru r r r �get_arrow_name� s z'TestOf.make_cat.<locals>.get_arrow_namerG c s8 | sdS | �kr0d� d �| < � d d7 < �| S )Nr+ zt%drG r r )ru )� e_name_no�e_namesr r � e_name_of� s z"TestOf.make_cat.<locals>.e_name_ofc s d| � |�f S )Nz
fo[%r](%s)r )ru rv )r� r r �call_fo� s z TestOf.make_cat.<locals>.call_foc s� |d }|dkr4|d }| d|� � ||�f � �n~|dk�r�|d }|�� }|d }|�� } | d k r�x>| D ] }
| d||
�� |
�� f � qlW n� jd|�� d d � g } x�|�� D ]�} | �d
�}
| �d �}t |
�dk�r|
r�|
d j
j }n| j
j }� jd |d d � t |�dk �r&� jd
| j
j d d � |
r�|
d }� j �
||||d �}|d k�r\td| ��dt | � }| �||f� | d||f � q�W |dk�r�| d|� � ||�|f � �n<|dk�r�| d||||f � �n|dk�r| d||f � | d|||f � n�|dk�r"| d||||f � n�|dk�rXt|�}|�rBd| }| d||||f � n�|dk�rv| d|||f � nx|dk�r�| d |||f � nZ|d k�r�| d ||f � n>|d k�r�| d |d�|jd d!� �|jd! f � n
d�s�t�|�� }xF|D ]>}� j �
|||||�}|d k�r"�q�| d"|d#|j f � �q�W xr| D ]^\}}xR|D ]J}� j �
|||||�}|d k�r�td| ��d$| }| d%|||f � �qRW �qDW n
d�s�t�d S )&NrG r� r z%s = %s) r� r� r� r� r� r� r� r� r� rW z %s.%s(%s)z<Could not find postcondition to satisfy precondition for %r.)r" Z preconditionZ
postconditionz7Exactly one precondition currently allowed in equation.z:At least one postcondition currently required in equation.zUndefined condition: %rzpre_%dr� z %s = %s(%s)r� z
%s = %s %s %sr� z%s %s %sr� r� z, z
%s = %s(%s%s)r� r� z %s = %s[%s]r� z
del %s[%s]r� z %s[%s] = %sr$ z
assert %s, %rzFailed postcondition: %rz!Failed postcondition equality: %rzassert %s == %s, %r)r� Z get_op_nameZ get_setups_for_preconditions�get_nameZget_argsr Zget_op_id_nameZfind_equationsr) r' r* r r r@ � SyntaxErrorr: �strr( Znegsr� Zget_postconditionsZ cond_expr)r: r> �funcr* r^ r/ r� �opnamer ZsusZsuZeqs�eqZpresZpostsr �preZceZprenameZargstrr< �postr� )r r r � assign_fa� s�
&
z"TestOf.make_cat.<locals>.assign_fac @ s e Zd Zdd� Zdd� ZeZdS )z"TestOf.make_cat.<locals>.ArrowTreec S s || _ g | _d S )N)r� r )r r� r r r r T s z+TestOf.make_cat.<locals>.ArrowTree.__init__c S s$ | j rd| j }nd}d| j|f S )Nz , chdrn = %sr9 zAT(pre = %s%s))r r� )r Zchdrnr r r �__str__X s z*TestOf.make_cat.<locals>.ArrowTree.__str__N)rJ rr rs r r� �__repr__r r r r � ArrowTreeS s r� c sB �� | �}|d kr>� | �}|�| < | r>�| d d� �j�|� |S )Nr$ )r& r r: )r� Zat)r� � at_of_pre�atsr r r� d s
z"TestOf.make_cat.<locals>.at_of_prec sp g }| j }�|�}x�| jD ]�}yt|j d }�| }|j }|d }|dkr\|�|j < �|� n4|dkrt|�||f� n � �j�|�||� �|� W q �jjk
r� Y qX qW |�rl|�� d} x�|D ]�\}}|�|j < t��}
��d� ��d� �|� |
d t��k�r"��� ��� q�| d7 } ��d � ��d
� ��d� q�W | �r\��d � ��d g| � d S ) Nr$ rG r� r� ztry:z<INDENT>rW r z<DEDENT>zexcept:�raise) r� r r: r r r� r' �popr ) r� �subsr* r� r �arr� r> r^ �indents�pos)r� r� r� r� �pylinesr �travr r r� m sL
z TestOf.make_cat.<locals>.travr zNo tests generated for %r.�passztest_%szdef %s(self, arg):z<NL>z<INDENT>)z<INDENT>z<DEDENT>z<DEDENT>ztests[%r] = %s)rC r� r% r� r r r� Zoarcatr� Zcategory_testerZFunctorr| r� Zget_object_testerZget_intermediate_test_codeZget_all_arrows�ranger' r� r� r r rF )r Z relations�foZ arg_counterZ eithertestsZex_setupZ pc_checksr� r� �cat�testerr� Z
object_testerZicoder� Zalla�initru rE r r/ Z test_namer2 r )r� r� r� r� r� r� r� r� r� r� r� r� rB rC r� r� r� r� r r� r� r r� Z sz G
i +
zTestOf.make_cat)N)rJ rr rs r r� r� r� r r r r rm ) s '
rm c @ s, e Zd ZdZdZdd� Zdd� Zdd� Zd S )
� _GLUECLAMP_) z_parent:SpecNodesz _parent.SpecNodes:node_of_taciz _parent:Mainz_parent.Main:ReportedErrorz_root.io:StringIOz_root.sys:stdoutz _root:sysz _root.traceback:format_exceptionz _root.guppy.etc:KanExtensionz_root.guppy.etc:Catz_root:rez
_root:time) �and�assert�break�class�continue�def�del�elif�else�except�exec�finally�for�from�global�if�import�in�is�lambda�not�orr� �printr� �return�try�while�yieldc s0 | j �d�j� tdd� | jD ���� �fdd�S )Nz[_a-zA-Z][_a-zA-Z0-9]*c S s g | ] }|d f�qS )r r )r� �rwr r r r� � s z2_GLUECLAMP_._get_is_identifier.<locals>.<listcomp>c s � | �o| �kS )Nr )r� )�m�rwdr r �<lambda>� � z0_GLUECLAMP_._get_is_identifier.<locals>.<lambda>)�re�compile�match�dict�reserved_words)r r )r� r� r �_get_is_identifier� s z _GLUECLAMP_._get_is_identifierc C s t | ||�}|�� S )N)r rR )r r r Zd2hr r r �doc2text� s z_GLUECLAMP_.doc2textc C s: | � ||�}|j�|d| �}| �d|| �d|�g�}|S )Nz%s.py�
write_file�text)r� �pathr( r6 ) r r r r/ �dir�opts�IOr� r� r r r � doc2filer� s
z_GLUECLAMP_.doc2filerN)rJ rr rs Z _imports_r� r� r� r r r r r r� � s
r� N)r rt r{ rm r� r r r r �<module> s