HEX
Server: LiteSpeed
System: Linux standart9.isimtescil.net 3.10.0-962.3.2.lve1.5.26.7.el7.x86_64 #1 SMP Wed Oct 2 07:53:12 EDT 2019 x86_64
User: karalev (5310)
PHP: 8.2.29
Disabled: NONE
$ pwd: /opt/alt/python37/lib64/python3.7/site-packages/guppy/gsl/__pycache__/
Upload Files
File: //opt/alt/python37/lib64/python3.7/site-packages/guppy/gsl/__pycache__/Tester.cpython-37.opt-1.pyc
B

�]�_�@sLGdd�d�ZGdd�d�ZGdd�d�ZGdd�de�ZGdd	�d	�Zd
S)c@seZdZdd�Zdd�Zdd�Zdd�Zd	d
�Zdd�Zd
d�Z	dd�Z
dd�Zdd�Zdd�Z
dd�Zdd�Zdd�Zdd�Zdd �Zd!d"�Zd#d$�Zd%d&�Zd'd(�Zd)d*�Zd+d,�Zd-d.�Zd/d0�Zd1d2�Zd3d4�Zd5d6�Zd7d8�Zd9d:�Zd;d<�Z d=d>�Z!d?d@�Z"dAdB�Z#dCdD�Z$dES)F�
Doc2TestercCsV||_||_||_g|_|�g�i|_i|_i|_g|_d|_	d|_
i|_d|_dS)N�)
�mod�doc�node�exdefs�set_out�
test_namesZcondition_exprs�condition_methods�document_metas�
document_lang�document_title�
example_exprs�ex_id)�selfrrr�r�C/opt/alt/python37/lib64/python3.7/site-packages/guppy/gsl/Tester.py�__init__s
zDoc2Tester.__init__c	Cs@|jj}x2|jD](}y|�|�Wq|k
r6YqXqWdS)N)r�
ReportedError�children�accept)rr�E�chrrr�_visit_childrenszDoc2Tester._visit_childrencGs|�|�dS)N)�extend)r�argsrrr�apsz
Doc2Tester.apcOs"d|}|jjj|f|�|�dS)NzDoc2Tester: )r�env�error)r�msgr�kwdsrrrrszDoc2Tester.errorc
Cs^|��}|j�|�}|dk�rZdt|j�}||j|<|j}d}|��}x||kr\d|}qJWd�|g|�}|d||fdd�|d|d�|�d	�}|s�|jd
||j	j
dd�x�|D]�}	x>|	�d�D]0}
|
j	j
j��}x|�
d
�D]}||d�q�Wq�W|	|dk�r(|d|	j	j
j��d�q�|d|	j	j
j��dd�|ddd�q�W|d�|S)Nzcond_%d�_self�_z, zdef %s(%s):z<NL>z<INDENT>z# Condition: %sZpython_codez3No python code specified for testing condition: %r.)�	exceptionZ
in_context�
���zreturn (%s)zif not (%s):zreturn Falsez<DEDENT>)�get_id_namer	�get�lenrZ
get_arg_names�join�find_aspectsr�srcr�arg�strip�split)
r�condZidn�namerZmyself�	arg_namesZ	argstringZpcsZpcZic�ctx�linerrr�get_condition_method s:





zDoc2Tester.get_condition_methodcCs(x"|�d�D]}|�d|d�qWdS)Nr#z# z<NL>)r-r)r�sr2rrr�gen_comment@szDoc2Tester.gen_commentcCs0|j��s|jS|j�d|j���ft|j�S)Nr/)r+r,rr�node_of_taci�tuple)rrrrr�get_childrenDs
zDoc2Tester.get_childrencCs�|��}|dkrdS|�|�}g}|��}	xn|jD]d}
d}|
|	krH|}nD|
dkrV|}n6|�|
�}|dkr�|jd|
|jjdd�q2|�|�}|�	|�q2Wdd|j
|d�|�fS)Nz<returned value>zInvalid condition argument: %r.)r"z
%sself.%s(%s))�znot z, )Zget_definitionr3Z
get_self_namer0Z
get_arg_valuerr*rZmapname�append�is_notr()r�por�attrr*�tgtr.r/ZcallargsZ	self_nameZan�vrrr�get_condition_exprIs0



zDoc2Tester.get_condition_exprcCs�|j�|�}|dk	r|S|��}|��}|r�d|j}|jd7_|�d|dd�x|�d�D]}|�|d�qbW|�d|dd�d	|}||j|<|S)
Nz	get_ex_%drz
def %s(self):z<NL>z<INDENT>r#z	return %sz<DEDENT>z	self.%s())r
r&Zget_ex_textZget_ctx_textrrr-)rZegZexr1Zex_namer2rrr�get_example_exprgs

zDoc2Tester.get_example_exprcCsH|j}||jkr:|j|}|j|d7<d||f}n
d|j|<|S)Nrz%s_%d)Zsrclastnamer)r�kindZtn�irrr�
get_test_nameys


zDoc2Tester.get_test_namecCs�|j}|dtd�|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�|�	|�qjWd�
|�dS)
Nz# Tests generated by: %sz<NL>z
# Date: %sz
class Tester:z<INDENT>z
tests = {}��z<DEDENT>r9� r#)r�__name__rZtimeZasctimeZ	localtimerr�outr:r()rr�lines�indentr2�tokrrr�
get_tester�s,


zDoc2Tester.get_testercCs||_|j|_dS)N)rIr)rrIrrrr�szDoc2Tester.set_outcCsN|�d�d}x0|�|�D]"}|r.|�d�nd}|�|�qW|�d�dS)N�(rEz, r�))rr8r)rr�commarrrr�
visit_arglist�s
zDoc2Tester.visit_arglistcCsT|�|�}xD|rN|d�|�|�d�|d�|�|�d�|dd�}qWdS)NrEz = rz<NL>�)r8rr)rrrrrr�visit_assign�s


zDoc2Tester.visit_assigncCs"|�d�|�|�|�d�dS)Nz<INDENT>z<DEDENT>)rr)rrrrr�visit_block�s

zDoc2Tester.visit_blockcCsh|�|�}|d�|�|�d�d}x2|dd�D]"}|rH|�d�nd}|�|�q4W|�d�dS)NrErNrz, rO)r8rr)rrrrPrrrr�
visit_call�s

zDoc2Tester.visit_callcCsdS)Nr)rrrrr�
visit_comment�szDoc2Tester.visit_commentcCs`|�d�|�|�}|d�|�|d�|�|�dd�x|dd�D]}|�|�qJWdS)Nzdef rEr�:z<NL>rR)rr8r)rrrrrrr�	visit_def�s

zDoc2Tester.visit_defcCs|�d|j|�dS)Nz-I don't know what to generate for the tag %r.)r�tag)rrrrr�
visit_default�szDoc2Tester.visit_defaultcCs|�|�dS)N)r)rrrrr�visit_document�szDoc2Tester.visit_documentcCs |jdk	r|�d|�||_dS)Nz"Duplicate document lang directive.)rr)rrrrr�visit_document_lang�s
zDoc2Tester.visit_document_langcCs |jdk	r|�d|�||_dS)Nz#Duplicate document title directive.)rr)rrrrr�visit_document_title�s
zDoc2Tester.visit_document_titlecCs|j�|�dS)N)rr:)rrrrr�visit_exdefs�szDoc2Tester.visit_exdefscCs|�|�dS)N)rU)rrrrr�visit_fcall�szDoc2Tester.visit_fcallcCsh|�|�}|d�|�|�d�d}x2|dd�D]"}|rH|�d�nd}|�|�q4W|�d�dS)NrE�[rz, �])r8rr)rrrrPrrrr�visit_index�s

zDoc2Tester.visit_indexcCs|j�|�dS)N)r
r:)rrrrr�
visit_meta�szDoc2Tester.visit_metacCs|�|j���dS)N)rr+r,)rrrrr�
visit_name�szDoc2Tester.visit_namecCs|�|�|�d�dS)Nz<NL>)rUr)rrrrr�visit_pcall�s
zDoc2Tester.visit_pcallcCs|�d|j���dS)Nz%r)rr+r,)rrrrr�visit_stringszDoc2Tester.visit_stringcCs|�d�dS)NZSUBJECT)r)rrrrr�
visit_subjectszDoc2Tester.visit_subjectcCst||�dS)N)�TestOf)rrrrr�
visit_test_of	szDoc2Tester.visit_test_ofcCs"|�d|j���|�|�dS)NzTest for: %s)r5r+r,r)rrrrr�visit_test_program_segmentsz%Doc2Tester.visit_test_program_segmentcCsdS)Nr)rrrrr�visit_to_document_onlysz!Doc2Tester.visit_to_document_onlycCs|�|�dS)N)r)rrrrr�visit_to_tester_onlyszDoc2Tester.visit_to_tester_onlyN)%rH�
__module__�__qualname__rrrrr3r5r8r@rArDrMrrQrSrTrUrVrXrZr[r\r]r^r_rbrcrdrerfrgrirjrkrlrrrrrsD 
	
	
rc@s$eZdZdd�Zdd�Zdd�ZdS)�DiffKindcCs||_||_d|_dS)NZdiffkind)�a�b�d_tag)rrprqrrrrszDiffKind.__init__cCs|gS)Nr)rrrr�get_atom_kindsszDiffKind.get_atom_kindscCs|j��d|j��dS)N�+�')rpr%rq)rrrrr% szDiffKind.get_id_nameN)rHrmrnrrsr%rrrrrosroc@seZdZdd�ZdS)�
EitherTestcCsdS)Nr)rrrrr%szEitherTest.__init__N)rHrmrnrrrrrrv$srvc@s.eZdZdd�Zdd�Zd
dd�Zdd	�ZdS)rhc	Cs�|j�|j�||_||_|j|j}}|j}|_|j|_|j	|_	||_
||_d|_x�|D]�}|j
}|dkr�|jdk	r�|jd|dd�q�yt|j���}Wntk
r�|j��}YnX||_q\|jd|jj
|dd�q\W|jdkr�d|_|��dS)N�coveragez!Duplicate coverage specifications)r"zInvalid element in %r.r)�__dict__�update�parentrr+rrZKanExtension�Kan�CatrrBrwrYr�intr,�
ValueError�make_cat)rrzrrBrr�trwrrrr*s4


zTestOf.__init__cCs(|j�|�rd||fSd||fSdS)Nz%s.%szgetattr(%s, %r))rZ
is_identifier)r�objr=rrr�getattr_codeQszTestOf.getattr_codeNcCs|j||ddd�dS)Nr)r"Zharmless)r)r�messagerrrr�warnWszTestOf.warnc	s~g�i�g}i�i}d}dg�g}g�i�g}i�
i}���fdd���
�fdd��������
��fdd�}��j�xP�rȈ���
�
���x6�
��D]*}y||�Wq��jjk
r�Yq�Xq�WqzW�j���|�}	�jj	�j�
|�|	��jd�}
d	d
�}||
_|
�
�j���}|��}
i�	dg���	fdd
���fdd�}�fdd��g�Gdd�d��i����fdd�����	����fdd��|��}�d�}x<|D]4}x,tdt|�d�D]}�|d|���q�W�q�W�|���s��d�jj�dg��jj}�j��j�}d|}|d|dd�x,|�D] }||�|dk�r8|d��q8W|d �|d!�jj|fd�dS)"Nrcs0|��}|�kr,��|���|�|�|<|S)N)r%r:)rBr/)�
kindofname�kinds�objectsrr�add_kindjs

z!TestOf.make_cat.<locals>.add_kindcs2|�kr�|S�j�|�}|�|�}|�|<|S)N)rzrAZget_use_text)rp�xZusage)�ex_maprrrrArs
z)TestOf.make_cat.<locals>.get_example_exprcs�|j}|j}|dk�r�|}g}|��}x�|D]�}|j}|jdkr�||}|��}	�|	�}
|����}xN|D]:}d�d}
�dd7<�|
f�|
<d||f�|
<qjWq,|�|�q,W|s�|�s�t|�t|�k�r,dd�|D�}|��d	d�|D�}�jj	�
�}d
|_||_dd�d
d�|D��|_
n|��}d|���df}
�dd7<�|�}
�|
f�|
<d|��f�|
<�n|dk�r�|��}	�|	�}
|���}x�|D]<}d�d}
�dd7<�|
f�|
<|||f�|
<�q�Wn�|dk�r��|�}|�k	�rBd�|�df}
�dd7<�|f�|
<d|f�|
<xHt|���D]6\}}�|�}
d||
f}
||
f�|
<d|f�|
<�qPWndS)NZ	attribute�mappingz
CALLATTR%drEr�callattrcSsg|]}|��|f�qSr)r%)�.0r�rrr�
<listcomp>�sz:TestOf.make_cat.<locals>.gen_atom_beam.<locals>.<listcomp>cSsg|]\}}|�qSrr)r�r��yrrrr��srBz(%s)�&cSsg|]
}|j�qSr)�tgtfullname)r�r�rrrr��sz%s:%d�getattr)�operator�function_operator�inplace_operator�reverse_operatorr��setitem�delitem�getitemz
OPERATOR%dZeitherz
(%s:%s:%d)�subkindz(%s'%s)�	superkind)r>rr�get_atom_beamsZget_return_test_kindZget_args_examplesr:r'�sortrZMainZKindZaspectsr(r�Z
get_test_kindr%Z
get_attr_name�	enumerateZ
get_alt_kinds)�aspZasptgtrYr=Z
otherkindsZatkakZabrp�opZret_kindZtgt_nameZexamplesrZ
arrow_nameZothZatkZasp_namerCZak)�acr��arrows�farArBr�src_namerr�
gen_atom_beamzsr









z&TestOf.make_cat.<locals>.gen_atom_beam)rwcSs
d�|�S)N�,)r()rprrr�get_arrow_name�sz'TestOf.make_cat.<locals>.get_arrow_namerEcs8|sdS|�kr0d�d�|<�dd7<�|S)Nr+zt%drErr)rp)�	e_name_no�e_namesrr�	e_name_of�sz"TestOf.make_cat.<locals>.e_name_ofcsd|�|�fS)Nz
fo[%r](%s)r)rprq)r�rr�call_fo�sz TestOf.make_cat.<locals>.call_foc	s�|d}|dkr4|d}|d|��||�f��nj|dk�r�|d}|��}|d}|��}	|	dk	r�x>|	D]}
|d||
��|
��f�qlWn�jd|��dd	�g}x�|��D]�}|�d
�}
|�d�}t	|
�dk�r|
r�|
dj
j}n|j
j}�jd|dd	�t	|�dk�r&�jd
|j
jdd	�|
r�|
d}�j�
||||d�}|dk�r\td|��dt	|�}|�||f�|d||f�q�W|dk�r�|d|��||�|f��n2|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�nn|dk�r�|d|||f�nP|dk�r�|d||f�n4|dk�r�|d |d�|jdd!��|jd!f�n|��}xF|D]>}�j�
|||||�}|dk�r�q�|d"|d#|jf��q�Wxh|D]^\}}xR|D]J}�j�
|||||�}|dk�rvtd|��d$|}|d%|||f��qHW�q:WndS)&NrEr�rz%s = %s)	r�r�r�r�r�r�r�r�r�rRz	%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�Zget_op_nameZget_setups_for_preconditionsZget_nameZget_argsrZget_op_id_nameZfind_equationsr)r'r*rrzr@�SyntaxErrorr:�strr(ZnegsZget_postconditionsZ	cond_expr)r:r>�funcr*rYr/r��opnamerZsusZsuZeqs�eqZpresZpostsr�preZceZprenameZargstrr<Zpostr�)rrr�	assign_fa�s�













&



z"TestOf.make_cat.<locals>.assign_fac@s eZdZdd�Zdd�ZeZdS)z"TestOf.make_cat.<locals>.ArrowTreecSs||_g|_dS)N)r�r)rr�rrrrTsz+TestOf.make_cat.<locals>.ArrowTree.__init__cSs$|jrd|j}nd}d|j|fS)Nz, chdrn = %sr9zAT(pre = %s%s))rr�)rZchdrnrrr�__str__Xsz*TestOf.make_cat.<locals>.ArrowTree.__str__N)rHrmrnrr��__repr__rrrr�	ArrowTreeSsr�csB��|�}|dkr>�|�}|�|<|r>�|dd��j�|�|S)Nr$)r&rr:)r�Zat)r��	at_of_pre�atsrrr�ds
z"TestOf.make_cat.<locals>.at_of_prec	spg}|j}�|�}x�|jD]�}yt|jd}�|}|j}|d}|dkr\|�|j<�|�n4|dkrt|�||f�n��j�|�||��|�Wq�jjk
r�YqXqW|�rl|��d}	x�|D]�\}}|�|j<t��}
��d���d��|�|
dt��k�r"������q�|	d7}	��d	���d
���d�q�W|	�r\��d���d	g|	�dS)Nr$rEr�r�ztry:z<INDENT>rRrz<DEDENT>zexcept:�raise)	r�rr:rrr�r'�popr)r�Zsubsr*r�rZarr�r>rY�indents�pos)r�r�r�r��pylinesr�travrrr�msL










zTestOf.make_cat.<locals>.travrzNo tests generated for %r.�passztest_%szdef %s(self, arg):z<NL>z<INDENT>)z<INDENT>z<DEDENT>z<DEDENT>ztests[%r] = %s)rBr�r%r�rrr|Zoarcatr{Zcategory_testerZFunctorrwr�Zget_object_testerZget_intermediate_test_codeZget_all_arrows�ranger'r�r�rzrrD)rZ	relationsZfoZarg_counterZeithertestsZex_setupZ	pc_checksr�r��catZtesterr�Z
object_testerZicoder�ZallaZinitrprCrr/Z	test_namer2r)r�r�r�r�r�r�r�r�r�r�r�r�rArBr�r�r�r�rr�r�rrZszG
	i	+

zTestOf.make_cat)N)rHrmrnrr�r�rrrrrrh)s'
rhc@s,eZdZdZdZdd�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�yieldcs0|j�d�j�tdd�|jD�����fdd�S)Nz[_a-zA-Z][_a-zA-Z0-9]*cSsg|]}|df�qS)rr)r�Zrwrrrr��sz2_GLUECLAMP_._get_is_identifier.<locals>.<listcomp>cs�|�o|�kS)Nr)r�)�m�rwdrr�<lambda>��z0_GLUECLAMP_._get_is_identifier.<locals>.<lambda>)�re�compile�match�dict�reserved_words)rr)r�r�r�_get_is_identifier�sz_GLUECLAMP_._get_is_identifiercCst|||�}|��S)N)rrM)rrrZd2hrrr�doc2text�sz_GLUECLAMP_.doc2textc	Cs:|�||�}|j�|d|�}|�d||�d|�g�}|S)Nz%s.pyZ
write_file�text)r��pathr(r6)	rrrr/�dirZoptsZIOr�r�rrr�	doc2filer�s
z_GLUECLAMP_.doc2filerN)rHrmrnZ	_imports_r�r�r�r�rrrrr��s
r�N)rrorvrhr�rrrr�<module>s

@ Telegram