python (3.11.7)
Browse
Usage
Versions
e8 j d Z ddlZddlmZmZmZ ddlmZ d Zd Z d Z
d Z G d d
e Z
G d d ej Z G d
d Zd Z G d de Z G d dee Z G d de Z G d de Ze e G d dej Z G d d e Z G d d e Z G d d e Z G d! d"e Z G d# d$e Z G d% d& Z G d' d(ej Z e d)k r ej dS dS )*z9Tests for binary operators on subtypes of built-in types. N)eqlene)ABCMetac | r || z | }} | |S )z1Greatest common divisor using Euclid's algorithm. )abs C/BuggyBox/python/3.11.7/bootstrap/lib/python3.11/test/test_binop.pygcdr s&
sA1 H c , t | t S )z-Test whether an object is an instance of int.)
isinstanceintxs r isintr
a r
c Z t t t fD ]}t | | r dS dS )zATest whether an object is an instance of a built-in numeric type. r )r floatcomplexr )r Ts r isnumr s;
%
a 11 1r
c , t | t S )z7Test whether an object is an instance of the Rat class.)r Ratr s r isRatr r r
c e Zd ZdZddgZddZd Z eed Zd Z ee d Z
d
Z d Z d Z
d
Zd ZeZd Zd Zd ZeZd Zd Zd Zd Zd Zd Zd Zd Z d Z dS ) r z9Rational number implemented as a normalized pair of ints. _Rat__num _Rat__denr r c 0 t | st d|z t | st d|z |dk rt d t || }t ||z | _ t ||z | _ dS )z[Constructor: Rat([num[, den]]).
The arguments must be ints, and default to (0, 1).z Rat numerator must be int (%r)z Rat denominator must be int (%r)r zzero denominatorN)r TypeErrorZeroDivisionErrorr r r r )selfnumdengs r __init__z Rat.__init__" s Szz D <s BCC CSzz F > DEE E !88#$677 7 SMMa[[
a[[
r
c | j S )z7Accessor function for read-only 'num' attribute of Rat.)r r$ s r _get_numz Rat._get_num1
zr
Nc | j S )z7Accessor function for read-only 'den' attribute of Rat.)r r* s r _get_denz Rat._get_den6 r, r
c $ d| j | j fz S )z<Convert a Rat to a string resembling a Rat constructor call.z Rat(%d, %d)r r r* s r __repr__z Rat.__repr__; s
DJ 777r
c : t t | S )z=Convert a Rat to a string resembling a decimal numeric value.)strr r* s r __str__z Rat.__str__? s 5;; r
c & | j dz | j z S )zConvert a Rat to a float. ?r0 r* s r __float__z
Rat.__float__C s z#~dj((r
c | j dk rB t | j S # t $ r t dt | z w xY wt dt | z )z,Convert a Rat to an int; self.den must be 1.r z %s too large to convert to intzcan't convert %s to int)r r r
OverflowErrorrepr
ValueErrorr* s r __int__z Rat.__int__G sz :??
24:&
2
2
2#$D&*4jj%1 2 2 2
2 2T$ZZ?@@@s ! *A c t | rt | }t | r:t | j |j z |j | j z z | j |j z S t | rt
| |z S t S )z$Add two Rats, or a Rat and a number.r r r r r r r NotImplementedr$ others r __add__z Rat.__add__Q << JJE << /tz%+- DJ0FFz%+-/ /
/ << ';;& & r
c t | rt | }t | r:t | j |j z |j | j z z
| j |j z S t | rt
| |z
S t S )z)Subtract two Rats, or a Rat and a number.r> r@ s r __sub__z Rat.__sub__^ rC r
c t | rt | }t | r:t |j | j z | j |j z z
| j |j z S t | r|t
| z
S t S )z9Subtract two Rats, or a Rat and a number (reversed args).r> r@ s r __rsub__z Rat.__rsub__i s << JJE << /u{4:-
5;0FFz%+-/ /
/ << '5;;& & r
c t | r*t | j |j z | j |j z S t | r t | j |z | j S t | rt
| |z S t S )z)Multiply two Rats, or a Rat and a number.r r r r r r r r? r@ s r __mul__z Rat.__mul__t s << Gtz%+-tz%+/EFF F << 5tz%'44 4 << %;;u$ $ r
c t | r*t | j |j z | j |j z S t | r t | j | j |z S t | rt
| |z S t S )z'Divide two Rats, or a Rat and a number.rI r@ s r __truediv__zRat.__truediv__ s << Gtz%+-tz%+/EFF F << 5tz4:e#344 4 << ';;& & r
c t | r*t |j | j z |j | j z S t | r t || j z | j S t | r|t
| z S t S )z7Divide two Rats, or a Rat and a number (reversed args).rI r@ s r __rtruediv__zRat.__rtruediv__ s << Gu{4:-u{4:/EFF F << 5uTZ'44 4 << '5;;& & r
c t | rt | }nt | st S | |z }|j |j z S )z.Divide two Rats, returning the floored result.)r r r r? r r r$ rA r s r __floordiv__zRat.__floordiv__ sI << "JJEEu "! ! Jw!'!!r
c * || z }|j |j z S )z>Divide two Rats, returning the floored result (reversed args).r0 rP s r
__rfloordiv__zRat.__rfloordiv__ s $Jw!'!!r
c t | rt | }nt | st S | |z }|| ||z z
fS )z2Divide two Rats, returning quotient and remainder.)r r r r? rP s r
__divmod__zRat.__divmod__ sN << "JJEEu "! ! %K4%!)#$$r
c t | rt | }nt | st S t || S )zBDivide two Rats, returning quotient and remainder (reversed args).)r r r r? divmodr@ s r __rdivmod__zRat.__rdivmod__ sA << "JJEEu "! !eT"""r
c . t | | d S )z Take one Rat modulo another.r rW r@ s r __mod__z Rat.__mod__ s dE""1%%r
c . t || d S )z,Take one Rat modulo another (reversed args).r rZ r@ s r __rmod__z Rat.__rmod__ s eT""1%%r
c t | r| j dk o
| j |k S t | r | j |j k o| j |j k S t | rt | |k S t S )z Compare two Rats for equality.r )r r r r r r r? r@ s r __eq__z
Rat.__eq__ sy << ;:?:tzU': : << K:,Ju{1J J << (;;%' ' r
)r r ) __name__
__module__ __qualname____doc__ __slots__r( r+ propertyr% r. r& r1 r4 r7 r< rB __radd__rE rG rJ __rmul__rL rN rQ rS rU rX r[ r] r_ r r
r r r s CC k*I
!
!
!
! (8T
"
"C (8T
"
"C8 8 8 ) ) )A A A H H " " "" " "
% % %# # #& & && & & r
r c H e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
d Z d
Z d S ) RatTestCasez3Unit tests for Rat class and its support utilities.c | t dd d | t dd d | t dd d | t dd d | t d d d
| t dd
d | t d d
d
t dd D ]}t dd D ]}| t || d k | t | | d k | t || d k | t | | d k d S )
N
r d r ) assertEqualr range
assertTrue)r$ ijs r test_gcdzRatTestCase.test_gcd s Ra((( Ra((( Ra((( S" q))) S!b))) Ra((( S" r***q" 1 1A1b\\
1
1Aq A
...QB
Q///Ar
Q///QB a0000
1 1 1r
c B t dd }| |j d | |j d t dd }| |j d | |j d t dd }| |j d | |j d t dd }| |j d | |j d t d }| |j d | |j d t d d
}| d n# t
$ r Y nw xY wd d
ddg i d t t f D ]t} t | }| d|z n# t $ r Y nw xY w t d | }| d|z e# t $ r Y qw xY wd S )Nrk rn rm irs rr r r z(Rat(1, 0) didn't raise ZeroDivisionError0g y r z Rat(%r) didn't raise TypeErrorz!Rat(1, %r) didn't raise TypeError)r ru r% r& failr# unittestr" )r$ r bads r test_constructorz RatTestCase.test_constructor sR BKK """ """ CLL ### """ RLL ### """ SMM """ """ FF """ """ BAq A
II@ A A A A ! D RRT3@ E EC
BHH :S@AAAA
E3KK =CDDDD
E Es6 F
FF-G
G"!G"&H
H H c | t dd t dd z d | t dd dz t dd | dt dd z t dd | dt dd z d | t dd dz d d S )Nrm r| r ro r6 ?ru r r* s r test_addzRatTestCase.test_add s QSAYY.222 QQ Aq 222 SAYY Aq 222 s1ayy #... QS #.....r
c | t dd t dd z
t dd | t dd dz
t dd | dt dd z
t dd | t dd dz
d | dt dd z
d d S )
Nr} rm ro rk r r| r6 ?r r* s r test_subzRatTestCase.test_sub s QSAYY.B <<< QQ Aq 222 SAYY Aq 222 QS #... s1ayy #.....r
c | t dd t dd z t dd | t dd dz d | dt dd z d | t dd dz d | dt dd z d d S ) Nrm r| ro r} rk r r r6 r r* s r test_mulzRatTestCase.test_mul s QSAYY.B <<< Ra ,,, SQZZ ,,, Rc)3/// s2qzz)3/////r
c | t dd t dd z t dd | t dd dz t dd | dt d z t dd | dt d d z d
| t d d dz d
d S ) Nrk r| ro r} rm @r r r r* s r test_divzRatTestCase.test_div s Rc!Qii/R<<< Ra R444 SVVSAYY/// s1ayy #... QS #.....r
c n | t d t d z d | t dd t dd z d | t d dz d | dt d z d d S )Nrk rm r| r r* s r
test_floordivzRatTestCase.test_floordiv s RCFF*A... Rs1ayy0!444 RA q))) s1vv q)))))r
c | t d t dd | t d d | dt d | t d d | dt d d S )Nrk rt rm g $@r r* s r test_eqzRatTestCase.test_eq s R#b!**--- R"%%% SWW%%% R$''' s2ww'''''r
c @ | t dd t dd z t dd | t dd dz t dd | dt d z t dd | dt d d z d
| t d d dz d
| t d d d S )
Nrk r| ro r} r r rm r r r z1/2r )ru r evalr* s r
test_true_divzRatTestCase.test_true_div$ s Rc!Qii/R<<< Ra R444 SVVSAYY/// s1ayy #... QS #... ec*****r
N)
r` ra rb rc rz r r r r r r r r r r
r ri ri s ==
1
1
1 "E "E "EH/ / // / /0 0 0/ / /* * * ( ( (+ + + + +r
ri c e Zd ZdZd Zd ZdS )OperationLoggerz.Base class for classes with operation logging.c || _ d S Nlogger)r$ r s r r( zOperationLogger.__init__1 s
r
c | j | d S r r )r$ argss r
log_operationz OperationLogger.log_operation3 s Tr
N)r` ra rb rc r( r r r
r r r / s8 88 r
r c g }g }|D ]%}| ||j & | | n# t $ r Y nw xY w|S )zvReturn the sequence of operations that results from applying
the operation `op` to instances of the given classes.)appendr" )opclasseslog instancescs r op_sequencer 6 su
CI
( (3: ''''
I
Js 4
A Ac e Zd Zd Zd Zd ZdS )Ac : | d t S )NA.__eq__r r? r@ s r r_ zA.__eq__E :&&& r
c : | d t S )NA.__le__r r@ s r __le__zA.__le__H r r
c : | d t S )NA.__ge__r r@ s r __ge__zA.__ge__K r r
Nr` ra rb r_ r r r r
r r r D A r
r c e Zd Zd Zd Zd ZdS )Bc : | d t S )NB.__eq__r r@ s r r_ zB.__eq__P r r
c : | d t S )NB.__le__r r@ s r r zB.__le__S r r
c : | d t S )NB.__ge__r r@ s r r zB.__ge__V r r
Nr r r
r r r O r r
r ) metaclassc e Zd Zd Zd Zd ZdS )Cc : | d t S )NC.__eq__r r@ s r r_ zC.__eq__[ r r
c : | d t S )NC.__le__r r@ s r r zC.__le__^ r r
c : | d t S )NC.__ge__r r@ s r r zC.__ge__a r r
Nr r r
r r r Z r r
r c $ e Zd ZdZd Zd Zd ZdS )VzVirtual subclass of Bc : | d t S )NV.__eq__r r@ s r r_ zV.__eq__g r r
c : | d t S )NzV.__le__r r@ s r r zV.__le__j r r
c : | d t S )NV.__ge__r r@ s r r zV.__ge__m r r
N)r` ra rb rc r_ r r r r
r r r e sG r
r c e Zd Zd ZdS )OperationOrderTestsc p | t t t t ddg | t t t t ddg | t t t t ddg | t t t t
ddg | t t t
t ddg | t t t t ddg | t t t t ddg | t t t t ddg | t t t t
ddg | t t t
t d dg | t t t | t t t t dd
g | t t t t dd g d S ) Nr r r r r r r r r r r )
ru r r r r r r rw
issubclassr r* s r test_comparison_ordersz*OperationOrderTests.test_comparison_orderst s RA..Z0HIII RA..Z0HIII RA..Z0HIII RA..Z0HIII RA..Z0HIII RA..Z0HIII RA..Z0HIII RA..Z0HIII RA..Z0HIII RA..Z0HIII
1a(())) RA..Z0HIII RA..Z0HIIIIIr
N)r` ra rb r r r
r r r s s( J J J J Jr
r c e Zd ZdZd ZdS )SupEqz Class that can test equalityc dS NTr r@ s r r_ z SupEq.__eq__ tr
Nr` ra rb rc r_ r r
r r r s) && r
r c e Zd ZdZdZdS )Sz"Subclass of SupEq that should failNr r r
r r r ,,
FFFr
r c e Zd ZdZdS )Fz'Independent class that should fall backN)r` ra rb rc r r
r r r s 1111r
r c e Zd ZdZdZdS )Xz"Independent class that should failNr r r
r r r r r
r c e Zd ZdZdZdS )SNz>Subclass of SupEq that can test equality, but not non-equalityN)r` ra rb rc __ne__r r
r r r s HH
FFFr
r c e Zd ZdZd ZdZdS )XNz>Independent class that can test equality, but not non-equalityc dS r r r@ s r r_ z XN.__eq__ r r
N)r` ra rb rc r_ r r r
r r r s( HH
FFFr
r c e Zd ZdZd Zd ZdS )FallbackBlockingTestsz#Unit tests for None method blockingc t t t t f\ }}}}| || | || | || | || | t t || | t t || | t t || d S r )r r r r ru assertRaisesr" r )r$ efsr s r test_fallback_rmethod_blockingz4FallbackBlockingTests.test_fallback_rmethod_blocking s WWacc133+
1a A A A A )RA... )RA... )RA.....r
c t t t }}}| ||k | t
t || | t
t || | ||k | t
t || d S r )r r r assertFalser r" r )r$ r snxns r test_fallback_ne_blockingz/FallbackBlockingTests.test_fallback_ne_blocking s GGRTT244r2 a )RB/// )RQ/// b!!! )RQ/////r
N)r` ra rb rc r r r r
r r r s8 --
/
/
/0 0 0 0 0r
r __main__)!rc r operatorr r r abcr r r r r objectr TestCaseri r r r r r r registerr r r r r r r r r` mainr r
r <module>r sb ? ?
g g g g g & g g g Re+ e+ e+ e+ e+(# e+ e+ e+T 7
1
J J J J J(+ J J J& F
2 2 2 2 2 2 2 2 0 0 0 0 0H - 0 0 0. zHMOOOOO r