python (3.12.0)
͑e8 $ 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 Zej- 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@ yy)*z9Tests for binary operators on subtypes of built-in types. N)eqlene)ABCMetac | r
|| z | }} | r
|S )z1Greatest common divisor using Euclid's algorithm. )abs C/BuggyBox/python/3.12.0/bootstrap/lib/python3.12/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 L t t t fD ] }t | | s y y)zATest whether an object is an instance of a built-in numeric type. r )r floatcomplexr )r Ts r isnumr s*
%
a
r
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 y)r z9Rational number implemented as a normalized pair of ints. _Rat__num _Rat__denc t | st d|z t | st d|z |dk( r t d t || }t ||z | _ t ||z | _ y)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__" sp Sz <s BC CSz > DE E !8#$67 7 SMa[
a[
r
c | j S )z7Accessor function for read-only 'num' attribute of Rat.)r r$ s r _get_numz Rat._get_num1 zzr
Nc | j S )z7Accessor function for read-only 'den' attribute of Rat.)r r* s r _get_denz Rat._get_den6 r, r
c 8 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
DJJ 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 zz#~djj((r
c | j dk( r t | j S t dt | z # t $ r t dt | z w xY w)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 sd ::?
24::& 2T$Z?@@ !
2#$D&*4j%1 2 2
2s = !A c * t | r t | }t | rTt | 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 s <JE <tzz%++- DJJ0FFzz%++-/
/ <;& & r
c * t | r t | }t | rTt | 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 | r t | }t | rTt |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 ss <JE <u{{4::-
5;;0FFzz%++-/
/ <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 sm <tzz%++-tzz%++/EF F <tzz%'4 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__ sm <tzz%++-tzz%++/EF F <tzz4::e#34 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__ sm <u{{4::-u{{4::/EF F <uTZZ'4 4 <5;& & r
c t | r t | }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__ s; <JEu ! ! Jww!''!!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 $Jww!''!!r
c p t | r t | }nt | st S | |z }|| ||z z
fS )z2Divide two Rats, returning quotient and remainder.)r r r r? rP s r
__divmod__zRat.__divmod__ s< <JEu ! ! %K4%!)#$$r
c j t | r t | }nt | st S t || S )zBDivide two Rats, returning quotient and remainder (reversed args).)r r r r? divmodr@ s r __rdivmod__zRat.__rdivmod__ s, <JEu ! !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( xr | j |k( S t | r4| j |j k( xr | 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__ sm <::?:tzzU': : <::,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 C k*I
! 8T
"C 8T
"C8 )A H H ""
%#&& r
r c F e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
d Z d
Z y ) RatTestCasez3Unit tests for Rat class and its support utilities.c | j t dd d | j t dd d | j t dd d | j t dd d | j t d d d
| j t dd
d | j t d d
d
t dd D ] }t dd D ]~ }| j t || d kD | j t | | d k | j t || d kD | j t | | d k y )
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" 1A1b\
1Aq A
.QB
Q/Ar
Q/QB a0
1 1r
c t dd }| j |j d | j |j d t dd }| j |j d | j |j d t dd }| j |j d | j |j d t dd }| j |j d | j |j d t d }| j |j d | j |j d t d d
}| j d d d
ddg i d t t f D ]C } t | }| j d|z t d | }| j d|z E y # t
$ r Y ew xY w# t $ r Y >w xY w# t $ r Y pw xY w)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 s BK " " CL # " RL # " SM " " F " " BAq A
II@ ARRT3@ EC
BH :S@A
E3K =CD E !
s6 G G) G* GG G'&G'* G65G6c v | j t dd t dd z d | j t dd dz t dd | j dt dd z t dd | j dt dd z d | j t dd dz d y )Nrm r| r ro r6 ?ru r r* s r test_addzRatTestCase.test_add s QSAY.2 QQ Aq 2 SAY Aq 2 s1ay #. QS #.r
c | j t dd t dd z
t dd | j t dd dz
t dd | j dt dd z
t dd | j t dd dz
d | j dt dd z
d y )
Nr} rm ro rk r r| r6 ?r r* s r test_subzRatTestCase.test_sub s QSAY.B < QQ Aq 2 SAY Aq 2 QS #. s1ay #.r
c b | j t dd t dd z t dd | j t dd dz d | j dt dd z d | j t dd dz d | j dt dd z d y ) Nrm r| ro r} rk r r r6 r r* s r test_mulzRatTestCase.test_mul s QSAY.B < Ra , SQZ , Rc)3/ s2qz)3/r
c | j t dd t dd z t dd | j t dd dz t dd | j dt d z t dd | j dt d d z d
| j t d d dz d
y ) Nrk r| ro r} rm @r r r r* s r test_divzRatTestCase.test_div s Rc!Qi/R< Ra R4 SVSAY/ s1ay #. QS #.r
c | j t d t d z d | j t dd t dd z d | j t d dz d | j dt d z d y )Nrk rm r| r r* s r
test_floordivzRatTestCase.test_floordiv sp RCF*A. Rs1ay0!4 RA q) s1v q)r
c & | j t d t dd | j t d d | j dt d | j t d d | j dt d y )Nrk rt rm g $@r r* s r test_eqzRatTestCase.test_eq sl R#b!*- R"% SW% R$' s2w'r
c | j t dd t dd z t dd | j t dd dz t dd | j dt d z t dd | j dt d d z d
| j t d d dz d
| j t d d y )
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!Qi/R< Ra R4 SVSAY/ s1ay #. QS #. ec*r
N)
r` ra rb rc rz r r r r r r r r r r
r ri ri s4 =
1 "EH//0/* (+r
ri c e Zd ZdZd Zd Zy)OperationLoggerz.Base class for classes with operation logging.c || _ y Nlogger)r$ r s r r( zOperationLogger.__init__1 s r
c " | j | y r r )r$ argss r
log_operationz OperationLogger.log_operation3 s Tr
N)r` ra rb rc r( r r r
r r r / s 8 r
r c g }g }|D ]# }|j ||j % | | |S # t $ r Y |S w xY w)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 s_
CI
(3:: '(
I J
J
s 5 AAc e Zd Zd Zd Zd Zy)Ac 0 | j d t S )NA.__eq__r r? r@ s r r_ zA.__eq__E :& r
c 0 | j d t S )NA.__le__r r@ s r __le__zA.__le__H r r
c 0 | j 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 r
r c e Zd Zd Zd Zd Zy)Bc 0 | j d t S )NB.__eq__r r@ s r r_ zB.__eq__P r r
c 0 | j d t S )NB.__le__r r@ s r r zB.__le__S r r
c 0 | j 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 Zy)Cc 0 | j d t S )NC.__eq__r r@ s r r_ zC.__eq__[ r r
c 0 | j d t S )NC.__le__r r@ s r r zC.__le__^ r r
c 0 | j 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 Zy)VzVirtual subclass of Bc 0 | j d t S )NV.__eq__r r@ s r r_ zV.__eq__g r r
c 0 | j d t S )NzV.__le__r r@ s r r zV.__le__j r r
c 0 | j 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 s r
r c e Zd Zd Zy)OperationOrderTestsc R | j t t t t ddg | j t t t t ddg | j t t t t ddg | j t t t t
ddg | j t t t
t ddg | j t t t t ddg | j t t t t ddg | j t t t t ddg | j t t t t
ddg | j t t t
t d dg | j t t t | j t t t t dd
g | j t t t t dd g y ) 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.Z0HI RA.Z0HI RA.Z0HI RA.Z0HI RA.Z0HI RA.Z0HI RA.Z0HI RA.Z0HI RA.Z0HI RA.Z0HI
1a() RA.Z0HI RA.Z0HIr
N)r` ra rb r r r
r r r s s Jr
r c e Zd ZdZd Zy)SupEqz Class that can test equalityc yNTr r@ s r r_ z SupEq.__eq__ r
Nr` ra rb rc r_ r r
r r r s
&r
r c e Zd ZdZdZy)Sz"Subclass of SupEq that should failNr r r
r r r
,
Fr
r c e Zd ZdZy)Fz'Independent class that should fall backN)r` ra rb rc r r
r r r s 1r
r c e Zd ZdZdZy)Xz"Independent class that should failNr r r
r r r r r
r c e Zd ZdZdZy)SNz>Subclass of SupEq that can test equality, but not non-equalityN)r` ra rb rc __ne__r r
r r r s
H
Fr
r c e Zd ZdZd ZdZy)XNz>Independent class that can test equality, but not non-equalityc yr r r@ s r r_ z XN.__eq__ r r
N)r` ra rb rc r_ r r r
r r r s H
Fr
r c e Zd ZdZd Zd Zy)FallbackBlockingTestsz#Unit tests for None method blockingc t t t t f\ }}}}| j || | j || | j || | j || | j t t || | j t t || | j t t || y r )r r r r ru assertRaisesr" r )r$ efsr s r test_fallback_rmethod_blockingz4FallbackBlockingTests.test_fallback_rmethod_blocking s Wac13+
1a A A A A )RA. )RA. )RA.r
c 8 t t t }}}| j ||k7 | j t
t || | j t
t || | j ||k7 | j t
t || y r )r r r assertFalser r" r )r$ r snxns r test_fallback_ne_blockingz/FallbackBlockingTests.test_fallback_ne_blocking su GRT24r2 a )RB/ )RQ/ b! )RQ/r
N)r` ra rb rc r r r r
r r r s -
/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 s ?
g & g Re+(## e+T 7
1
J(++ J&F
2 2 0H - - 0. zHMMO r
Browse
Usage
Versions