%PDF- %PDF-
Mini Shell

Mini Shell

Direktori : /proc/227033/root/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/
Upload File :
Create Path :
Current File : //proc/227033/root/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyc

�
;�Pc@sfdfd��YZdfd��YZdfd��YZdefd��YZdfd	��YZd
S(t
Doc2TestercBs:eZd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Z	d�Z
d	�Zd
�Zd�Z
d�Zd
�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Z d�Z!d �Z"d!�Z#RS("cCs}||_||_||_g|_|jg�i|_i|_i|_g|_d|_
d|_i|_d|_
dS(Ni(tmodtdoctnodetexdefstset_outt
test_namestcondition_exprstcondition_methodstdocument_metastNonet
document_langtdocument_titlet
example_exprstex_id(tselfRRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt__init__s				
							cCsI|jj}x6|jD]+}y|j|�Wq|k
r@qXqWdS(N(Rt
ReportedErrortchildrentaccept(RRtEtch((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt_visit_childrens
cGs|j|�dS(N(textend(Rtargs((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytapscOs'd|}|jjj|||�dS(NsDoc2Tester: (Rtenvterror(RtmsgRtkwds((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyRs
c
Cs�|j�}|jj|�}|dkr�dt|j�}||j|<|j}d}|j�}x||kr�d|}qhWdj|g|�}|d||fdd�|d|d�|jd	�}|s�|j	d
||j
jdd�nx�|D]�}	xS|	jd�D]B}
|
j
jjj
�}x$|jd
�D]}||d�qCWqW|	|dkr�|d|	j
jjj
�d�q|d|	j
jjj
�dd�|ddd�qW|d�n|S(Nscond_%dt_selft_s, sdef %s(%s):s<NL>s<INDENT>s# Condition: %stpython_codes3No python code specified for testing condition: %r.t	exceptiont
in_contexts
i����sreturn (%s)sif not (%s):sreturn Falses<DEDENT>(tget_id_nameRtgetR
tlenRt
get_arg_namestjointfind_aspectsRtsrcRtargtstriptsplit(
RtcondtidntnameRtmyselft	arg_namest	argstringtpcstpctictctxtline((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytget_condition_method"s8
	

##
cCs2x+|jd�D]}|jd|d�qWdS(Ns
s# s<NL>(R,R(RtsR7((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytgen_commentBscCsB|jj�s|jS|jjd|jj��ft|j�S(NR/(R*R+RRtnode_of_tacittuple(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytget_childrenFscCs�|j�}|dkrdS|j|�}g}|j�}	x�|jD]�}
d}|
|	krh|}ne|
dkr}|}nP|j|
�}|dkr�|jd|
|jjdd�qGn|j	|�}|j
|�qGWdd|j|dj|�fS(	Ns<returned value>sInvalid condition argument: %r.R!s
%sself.%s(%s)tsnot s, (R>snot (
tget_definitionR
R8t
get_self_nameR1t
get_arg_valueRR)Rtmapnametappendtis_notR'(RtpoRtattrR)ttgtR-R/tcallargst	self_nametantv((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytget_condition_exprKs0		

cCs�|jj|�}|dk	r"|S|j�}|j�}|r�d|j}|jd7_|jd|dd�x'|jd�D]}|j|d�q�W|jd|dd�d	|}n||j|<|S(
Ns	get_ex_%dis
def %s(self):s<NL>s<INDENT>s
s	return %ss<DEDENT>s	self.%s()(R
R$R
tget_ex_texttget_ctx_textRRR,(RtegtexR6tex_nameR7((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytget_example_exprjs


cCs\|j}||jkrK|j|}|j|cd7<d||f}n
d|j|<|S(Nis%s_%d(tsrclastnameR(Rtkindttnti((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
get_test_name|s	

cCsQ|j}|dtd�|d|jjj�j�d�|d|jjj|jjj	��d�|ddd�|dd�|j
|j�g}d}g}x�|jD]�}|dkr�|d	7}q�|d
kr�|d	8}q�|dkr|j
dj|��g}q�|s/|j
|d�n|j
|�q�Wd
j|�d
S(Ns# Tests generated by: %ss<NL>s# Main source file: %ss
# Date: %ss
class Tester:s<INDENT>s
tests = {}iis<DEDENT>R>t s
(Rt__name__RRtget_packagetget_filenameRttimetasctimet	localtimeRRtoutRCR'(RRtlinestindentR7ttok((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
get_tester�s,	#,


	cCs||_|j|_dS(N(R_R(RR_((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR�s	cCsg|jd�d}x@|j|�D]/}|r?|jd�nd}|j|�q#W|jd�dS(Nt(is, it)(RR=R(RRtcommaR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
visit_arglist�s
cCsf|j|�}xP|ra|dj|�|jd�|dj|�|jd�|d}qWdS(Nis = is<NL>i(R=RR(RRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_assign�s	

cCs+|jd�|j|�|jd�dS(Ns<INDENT>s<DEDENT>(RR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_block�s

cCs�|j|�}|dj|�|jd�d}x;|dD]/}|rZ|jd�nd}|j|�q>W|jd�dS(NiRdis, Re(R=RR(RRRRfR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
visit_call�s
cCsdS(N((RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
visit_comment�scCst|jd�|j|�}|dj|�|dj|�|jdd�x|dD]}|j|�qYWdS(Nsdef iit:s<NL>i(RR=R(RRRR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt	visit_def�s
cCs|jd|j|�dS(Ns-I don't know what to generate for the tag %r.(Rttag(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
visit_default�scCs|j|�dS(N(R(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_document�scCs/|jdk	r"|jd|�n||_dS(Ns"Duplicate document lang directive.(RR
R(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_document_lang�scCs/|jdk	r"|jd|�n||_dS(Ns#Duplicate document title directive.(RR
R(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_document_title�scCs|jj|�dS(N(RRC(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_exdefs�scCs|j|�dS(N(Rj(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_fcall�scCs�|j|�}|dj|�|jd�d}x;|dD]/}|rZ|jd�nd}|j|�q>W|jd�dS(Nit[is, t](R=RR(RRRRfR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_index�s
cCs|jj|�dS(N(R	RC(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
visit_meta�scCs|j|jj��dS(N(RR*R+(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
visit_namescCs|j|�|jd�dS(Ns<NL>(RjR(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_pcalls
cCs|jd|jj��dS(Ns%r(RR*R+(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_stringscCs|jd�dS(NtSUBJECT(R(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
visit_subject
scCst||�dS(N(tTestOf(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
visit_test_of
scCs+|jd|jj��|j|�dS(NsTest for: %s(R:R*R+R(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_test_program_segmentscCsdS(N((RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_to_document_onlyscCs|j|�dS(N(R(RR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytvisit_to_tester_onlys($RYt
__module__RRRRR8R:R=RLRRRWRcRRgRhRiRjRkRmRoRpRqRrRsRtRwRxRyRzR{R}RR�R�R�(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyRsD					 					
							
																		tDiffKindcBs#eZd�Zd�Zd�ZRS(cCs||_||_d|_dS(Ntdiffkind(tatbtd_tag(RR�R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyRs		cCs|gS(N((R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytget_atom_kinds!scCs"|jj�d|jj�dS(Nt+t'(R�R#R�(R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR#$s(RYR�RR�R#(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR�s		t
EitherTestcBseZd�ZRS(cCsdS(N((R((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR(s(RYR�R(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR�'sR~cBs/eZd�Zd�Zdd�Zd�ZRS(cCsP|jj|j�||_||_|j|j}}|j}|_|j|_|j	|_	||_
||_d|_
x�|D]�}|j}|dkr|j
dk	r�|jd|dd�q#yt|jj��}Wn|jj�}nX||_
q�|jd|jj|dd�q�W|j
dkrBd|_
n|j�dS(Ntcoverages!Duplicate coverage specificationsR!sInvalid element in %r.i(t__dict__tupdatetparentRR*RRtKanExtensiontKantCatRRTR
R�RnRtintR+tmake_cat(RR�RRTRRttR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR,s0					
	$cCs2|jj|�r d||fSd||fSdS(Ns%s.%ssgetattr(%s, %r)(Rt
is_identifier(RtobjRF((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytgetattr_codeRscCs |j||dddd�dS(NR!tharmlessi(RR
(RtmessageR((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytwarnXscsOg�i�g}i�i}d}dg�g}g�i�g�i�
i}���fd���
��fd��
�����
���fd�}��j�xa�r�j���j��x<�j�D].}y||�Wq��jjk
rq�Xq�Wq�W�jj��|�}�jj	�jj
|�|�d�j�}	d�}
|
|	_|	j
�jj��}|j�}i�	dg���	fd���fd	�}
�fd
��g�ddd��Y�i����fd
�����	����fd��|j�}�d�}x@|D]8}x/tdt|�d�D]}�|| �q^Wq>W�|��s��jd�jj�dg�n�jj}�jj�j�}d|}|d|dd�x5��D])}||�|dkr�|d�q�q�W|d�|d�jj|fd�dS(NicsC|j�}|�kr?�j|��j|�|�|<n|S(N(R#RC(RTR/(t
kindofnametkindstobjects(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytadd_kindls


csC|�kr�|S�jj|�}|j|�}|�|<|S(N(R�RRtget_use_text(R�txtusage(tex_maptex_setupR(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyRRts
c	s�|j}|j}|dkr;|}g}|j�}x�|D]�}|j}|jdkr�||}|j�}	�|	�}
|j���}x_|D]G}d�d}
�dcd7<�|
f�|
<d||f�|
<q�Wq=|j|�q=W|s|r�t|�t|�kr�g|D]}|j�|f^q!}|j�g|D]\}}|^qP}�j	j
j�}d|_||_dd	j
g|D]}|j^q��|_n|j�}d
|j��df}
�dcd7<�|�}
|
�kst��|
f�|
<d|j�f�|
<q�nd|dkr�|j�}	�|	�}
|j��}x.|D]G}d�d}
�dcd7<�|
f�|
<|||f�|
<quWn�|dkr��|�}|�k	r1d�|�df}
�dcd7<�|f�|
<d|f�|
<nxkt|j��D]H\}}�|�}
d||
f}
||
f�|
<d|f�|
<qDWnds�t�dS(Nt	attributetmappings
CALLATTR%diitcallattrRTs(%s)t&s%s:%dtgetattrtoperatortfunction_operatortinplace_operatortreverse_operatortsetitemtdelitemtgetitems
OPERATOR%dteithers
(%s:%s:%d)tsubkinds(%s'%s)t	superkind(R�R�R�R�R�R�R�R�(RGR�tget_atom_beamstget_return_test_kindtget_args_examplesRCR%R#tsortRtMaintKindtaspectsR'ttgtfullnamet
get_test_kindtAssertionErrort
get_attr_namet	enumeratet
get_alt_kinds(tasptasptgtRnRFt
otherkindstatkaktabR�toptret_kindttgt_nametexamplesRt
arrow_nameR�tothtytatktasp_nameRVtak(tacR�tarrowstfaRRRTRtsrc_name(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt
gen_atom_beam�st		
	


%
		/	
R�cSs
dj|�S(Nt,(R'(R�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytget_arrow_name�sicsC|s
dS|�kr;d�d�|<�dcd7<n�|S(NR*st%dii((R�(t	e_name_note_names(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt	e_name_of�scsd|�|�fS(Ns
fo[%r](%s)((R�R�(R�(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytcall_fo�sc
s�|d}|dkrC|d}|d|�j||�f�n�|d%kr�|d}|j�}|d}|j�}	|	dk	r�xQ|	D])}
|d||
j�|
j�f�q�Wn�jd|j�dd�g}x7|j�D])}|j	d�}
|j	d�}t
|
�dkrb|
r=|
djj}n|jj}�jd|dd�nt
|�dkr��jd|jjdd�n|
r�|
d}�j
j||||d�}|dkr�td|�ndt
|�}|j||f�|d||f�q�q�W|dkrM|d|�j||�|f�n�|dkrv|d||||f�nc|dkr�|d||f�|d|||f�n)|d	kr�|d||||f�n|dkr!t|�}|rd|}n|d||||f�n�|d
krG|d|||f�n�|d
krm|d|||f�nl|dkr�|d||f�nI|dkr�|d|dj|jd  �|jd f�nds�t�|j�}xY|D]Q}�j
j|||||�}|dkr"q�n|d!|d"|jf�q�Wx�|D]x\}}xi|D]a}�j
j|||||�}|dkr�td|�nd#|}|d$|||f�q[WqHWnds�t�dS(&NiR�is%s = %sR�R�R�R�R�R�R�R�R�is	%s.%s(%s)s<Could not find postcondition to satisfy precondition for %r.R!tpreconditiont
postconditions7Exactly one precondition currently allowed in equation.s:At least one postcondition currently required in equation.sUndefined condition: %rspre_%ds%s = %s(%s)s
%s = %s %s %ss%s %s %ss, s
%s = %s(%s%s)s%s = %s[%s]s
del %s[%s]s%s[%s] = %si����s
assert %s, %rsFailed postcondition: %rs!Failed postcondition equality: %rsassert %s == %s, %r(	R�R�R�R�R�R�R�R�R�(R�tget_op_nametget_setups_for_preconditionsR
tget_nametget_argsRtget_op_id_nametfind_equationsR(R%R)RR�RLtSyntaxErrorRCtstrR'tnegsR�tget_postconditionst	cond_expr(RCRGtfuncR)RnR/R�topnameRtsustsuteqsteqtprestpostsRtpretcetprenametargstrREtpostR�(R(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt	assign_fa�s�

#	


*	
	
	

&
1


t	ArrowTreecBs eZd�Zd�ZeZRS(cSs||_g|_dS(N(R�R(RR�((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyRbs	cSs0|jrd|j}nd}d|j|fS(Ns, chdrn = %sR>sAT(pre = %s%s)(RR�(Rtchdrn((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt__str__fs	(RYR�RR�t__repr__(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR�as		cs[�j|�}|dkrW�|�}|�|<|rW�|d �jj|�qWn|S(Ni����(R$R
RRC(R�tat(R�t	at_of_pretats(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR�rs
 cs�g}|j}�|�}x�|jD]�}y�|jd}�|}|j}|d}|dkr~|�|j<�|�nH|dkr�|j||f�n&��j�|�||��|�Wq%�jjk
r�q%Xq%W|r�|j�d}	x�|D]�\}}|�|j<t��}
�jd��jd��|�|
dt��krx�j��j�q|	d7}	�jd	��jd
��jd�qW|	r��jd�n�jd	g|	�ndS(Ni����iR�R�stry:s<INDENT>iis<DEDENT>sexcept:traise(	R�RRCRRR�R%tpopR(R�tsubsR)R�RtarR�RGRntindentstpos(R�R�R�R�tpylinesRttrav(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR{sJ	

	












sNo tests generated for %r.tpassstest_%ssdef %s(self, arg):s<NL>s<INDENT>s<DEDENT>stests[%r] = %s(((s<INDENT>s<DEDENT>(RTR�R#R�RRR�toarcatR�tcategory_testertFunctorR�R�tget_object_testertget_intermediate_test_codetget_all_arrowstrangeR%R�R�R�RRW(Rt	relationstfotarg_counterteithertestst	pc_checksR�R�tcatttesterR�t
object_testerticodeR�tallatinitR�RVRR/t	test_nameR7((R�R�R�R�R�R�R�R�R�R�R�R�R�RRRTR�R�R�RRR�RsC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR�[sx	$F
	-				i	!+
 



N(RYR�RR�R
R�R�(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR~+s	&	t_GLUECLAMP_cBs/eZd-Zd.Zd*�Zd+�Zd,�ZRS(/s_parent:SpecNodess_parent.SpecNodes:node_of_tacis_parent:Mains_parent.Main:ReportedErrors
_root:doctests_root.StringIO:StringIOs_root.sys:stdouts	_root:syss _root.traceback:format_exceptions_root.guppy.etc:KanExtensions_root.guppy.etc:Cats_root:res
_root:timetandtasserttbreaktclasstcontinuetdeftdelteliftelsetexcepttexectfinallytfortfromtglobaltiftimporttintistlambdatnottorRtprintR�treturnttrytwhiletyieldcsM|jjd�j�tg|jD]}|df^q"����fd�S(Ns[_a-zA-Z][_a-zA-Z0-9]*ics�|�o|�kS(N((R�(tmtrwd(sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt<lambda>�s(tretcompiletmatchtdicttreserved_words(Rtrw((R6R7sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt_get_is_identifier�s(cCst|||�}|j�S(N(RRc(RRRtd2h((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pytdoc2textsc	CsS|j||�}|jj|d|�}|jd||jd|�g�}|S(Ns%s.pyt
write_filettext(RAtpathR'R;(	RRRR/tdirtoptstIORCRD((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt	doc2filers$(
s_parent:SpecNodess_parent.SpecNodes:node_of_tacis_parent:Mains_parent.Main:ReportedErrors
_root:doctests_root.StringIO:StringIOs_root.sys:stdouts	_root:syss _root.traceback:format_exceptions_root.guppy.etc:KanExtensions_root.guppy.etc:Cats_root:res
_root:time(RRRRRR R!R"R#R$R%R&R'R(R)R*R+R,R-R.R/R0RR1R�R2R3R4R5(RYR�t	_imports_R=R?RARH(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyR�sZ		N(RR�R�R~R(((sC/opt/alt/python27/lib64/python2.7/site-packages/guppy/gsl/Tester.pyt<module>s���

Zerion Mini Shell 1.0