Edit File: Tester.cpython-37.opt-1.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 �kindZtn�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)rM r )r rM r r r r � s zDoc2Tester.set_outc C sN | � d� d}x0| �|�D ]"}|r.| � d� nd}|�| � qW | � d� d S )N�(rF 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 )NrF 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 )NrF rR r z, rS )r8 r r )r r r rT 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 rF r �:z<NL>rV )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)rY )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 )NrF �[r z, �])r8 r r )r r r rT 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>)rY 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)%rI � __module__� __qualname__r r r r r3 r5 r8 r@ rB rE rQ r rU rW rX rY rZ r\ r^ r_ r` ra rb rc rf rg rh ri rj rk rm rn ro rp 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 rt ru 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�+�')rt r% ru )r r r r r% s zDiffKind.get_id_nameN)rI rq rr r rw r% r r r r rs s rs c @ s e Zd Zdd� ZdS )� EitherTestc C s d S )Nr )r r r r r % s zEitherTest.__init__N)rI rq rr r r r r r rz $ s rz c @ s. e Zd Zdd� Zdd� Zd dd�Zdd � ZdS ) rl 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)rt �xZusage)�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 )NZ attribute�mappingz CALLATTR%drF 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> rv �get_atom_beamsZget_return_test_kindZget_args_examplesr: r' �sortr ZMainZKindZaspectsr( r� Z get_test_kindr% �AssertionErrorZ get_attr_name� enumerateZ get_alt_kinds)�aspZasptgtr] r= Z otherkindsZatkakZabrt �opZret_kindZtgt_nameZexamplesr Z arrow_nameZothZatkZasp_namerD 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( )rt r r r �get_arrow_name� s z'TestOf.make_cat.<locals>.get_arrow_namerF c s8 | sdS | �kr0d� d �| < � d d7 < �| S )Nr+ zt%drF r r )rt )� 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 )rt ru )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 )&NrF r� r z%s = %s) r� r� r� r� r� r� r� r� r� rV 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_preconditionsZget_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< Zpostr� )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)rI rq rr 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$ rF r� r� ztry:z<INDENT>rV r z<DEDENT>zexcept:�raise) r� r r: r r r� r' �popr ) r� Zsubsr* r� r Zarr� 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 rE )r Z relationsZfoZ arg_counterZ eithertestsZex_setupZ pc_checksr� r� �catZtesterr� Z object_testerZicoder� ZallaZinitrt rD 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)rI rq rr r r� r� r� r r r r rl ) s ' rl 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� Zrwr 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 rQ )r r r Zd2hr r r �doc2text� s z_GLUECLAMP_.doc2textc C s: | � ||�}|j�|d| �}| �d|| �d|�g�}|S )Nz%s.pyZ write_file�text)r� �pathr( r6 ) r r r r/ �dirZoptsZIOr� r� r r r � doc2filer� s z_GLUECLAMP_.doc2filerN)rI rq rr Z _imports_r� r� r� r� r r r r r� � s r� N)r rs rz rl r� r r r r �<module> s