Your IP : 216.73.216.85
��Yf3 � @ s| d Z d d l Z d d l m Z d d l m Z m Z m Z m Z m Z m
Z
d d l m Z d d � Z
d d � Z d
d � Z d d
� Z Gd d � d e � Z Gd d � d e j � Z Gd d � d � Z d d � Z Gd d � d e � Z Gd d � d e d e �Z Gd d � d e � Z Gd d � d e � Z e j e � Gd d � d e j � Z e d! k rxe j � d S)"z9Tests for binary operators on subtypes of built-in types.� N)�support)�eq�ne�lt�gt�le�ge)�ABCMetac C s" x | r | | | } } q W| S)z1Greatest common divisor using Euclid's algorithm.� )�a�br
r
�4/opt/alt/python35/lib64/python3.5/test/test_binop.py�gcd s r c C s
t | t � S)z-Test whether an object is an instance of int.)�
isinstance�int)�xr
r
r
�isint s r c C s1 x* t t t f D] } t | | � r d Sq Wd S)zATest whether an object is an instance of a built-in numeric type.� r )r �float�complexr )r �Tr
r
r
�isnum s r c C s
t | t � S)z6Test wheter an object is an instance of the Rat class.)r �Rat)r r
r
r
�isRat s r c @ sB e Z d Z d Z d d g Z d d d d � Z d d � Z e e d
� Z d d � Z e e d
� Z
d
d � Z d d � Z d d � Z
d d � Z d d � Z e Z d d � Z d d � Z d d � Z e Z d d � Z d d � Z d! d" � Z d# d$ � Z d% d& � Z d' d( � Z d) d* � Z d+ d, � Z d- d. � Z d
S)/r z9Rational number implemented as a normalized pair of ints.� _Rat__num� _Rat__denr r c C s� t | � s t d | � � t | � s8 t d | � � | d k rP t d � � t | | � } t | | � | _ t | | � | _ d S)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 � TypeError�ZeroDivisionErrorr r r r )�self�num�den�gr
r
r
�__init__# s z Rat.__init__c C s | j S)z7Accessor function for read-only 'num' attribute of Rat.)r )r r
r
r
�_get_num2 s z Rat._get_numNc C s | j S)z7Accessor function for read-only 'den' attribute of Rat.)r )r r
r
r
�_get_den7 s z Rat._get_denc C s d | j | j f S)z<Convert a Rat to a string resembling a Rat constructor call.z Rat(%d, %d))r r )r r
r
r
�__repr__< s z Rat.__repr__c C s t t | � � S)z=Convert a Rat to a string resembling a decimal numeric value.)�strr )r r
r
r
�__str__@ s z Rat.__str__c C s | j d | j S)zConvert a Rat to a float.g �?)r r )r r
r
r
� __float__D s z
Rat.__float__c C se | j d k rK y t | j � SWn( t k
rJ t d t | � � � Yn Xt d t | � � � d S)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 intN)r r r �
OverflowError�repr�
ValueError)r r
r
r
�__int__H s
z Rat.__int__c C sq t | � r t | � } t | � rS t | j | j | j | j | j | j � St | � rm t | � | St S)z$Add two Rats, or a Rat and a number.)r r r r r r r �NotImplemented)r �otherr
r
r
�__add__R s z Rat.__add__c C sq t | � r t | � } t | � rS t | j | j | j | j | j | j � St | � rm t | � | St S)z)Subtract two Rats, or a Rat and a number.)r r r r r r r r- )r r. r
r
r
�__sub___ s z Rat.__sub__c C sq t | � r t | � } t | � rS t | j | j | j | j | j | j � St | � rm | t | � St S)z9Subtract two Rats, or a Rat and a number (reversed args).)r r r r r r r r- )r r. r
r
r
�__rsub__j s z Rat.__rsub__c C sn t | � r- t | j | j | j | j � St | � rP t | j | | j � St | � rj t | � | St S)z)Multiply two Rats, or a Rat and a number.)r r r r r r r r- )r r. r
r
r
�__mul__u s ! z Rat.__mul__c C sn t | � r- t | j | j | j | j � St | � rP t | j | j | � St | � rj t | � | St S)z'Divide two Rats, or a Rat and a number.)r r r r r r r r- )r r. r
r
r
� __truediv__� s ! zRat.__truediv__c C sn t | � r- t | j | j | j | j � St | � rP t | | j | j � St | � rj | t | � St S)z7Divide two Rats, or a Rat and a number (reversed args).)r r r r r r r r- )r r. r
r
r
� __rtruediv__� s ! zRat.__rtruediv__c C sC t | � r t | � } n t | � s+ t S| | } | j | j S)z.Divide two Rats, returning the floored result.)r r r r- r r )r r. r r
r
r
� __floordiv__� s
zRat.__floordiv__c C s | | } | j | j S)z>Divide two Rats, returning the floored result (reversed args).)r r )r r. r r
r
r
�
__rfloordiv__� s
zRat.__rfloordiv__c C sG t | � r t | � } n t | � s+ t S| | } | | | | f S)z2Divide two Rats, returning quotient and remainder.)r r r r- )r r. r r
r
r
�
__divmod__� s
zRat.__divmod__c C s8 t | � r t | � } n t | � s+ t St | | � S)zBDivide two Rats, returning quotient and remainder (reversed args).)r r r r- �divmod)r r. r
r
r
� __rdivmod__� s
zRat.__rdivmod__c C s t | | � d S)z Take one Rat modulo another.r )r8 )r r. r
r
r
�__mod__� s z Rat.__mod__c C s t | | � d S)z,Take one Rat modulo another (reversed args).r )r8 )r r. r
r
r
�__rmod__� s z Rat.__rmod__c C sv t | � r( | j d k o' | j | k St | � rV | j | j k oU | j | j k St | � rr t | � | k St S)z Compare two Rats for equality.r )r r r r r r r- )r r. r
r
r
�__eq__� s " z
Rat.__eq__) �__name__�
__module__� __qualname__�__doc__� __slots__r" r# �propertyr r$ r r% r' r( r, r/ �__radd__r0 r1 r2 �__rmul__r3 r4 r5 r6 r7 r9 r: r; r< r
r
r
r
r s4
r c @ s� e Z d Z d Z d d � Z d d � Z d d � Z d d � Z d
d � Z d d
� Z d d � Z
d d � Z d d � Z d S)� RatTestCasez3Unit tests for Rat class and its support utilities.c C s[ | j t d d � d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d d
� d � | j t d d � d � x� t d d � D]� } x� t d d � D]z } | j t | | � d
k � | j t | | � d
k � | j t | | � d
k � | j t | | � d
k � q� Wq� Wd S)N�
� � � � � r �d � r i�������rN i����rN rN )� assertEqualr �range�
assertTrue)r �i�jr
r
r
�test_gcd� s zRatTestCase.test_gcdc C s� t d d � } | j | j d � | j | j d � t d d � } | j | j d � | j | j d � t d d � } | j | j d � | j | j d � t d d � } | j | j d � | j | j d � t d � } | j | j d � | j | j d � y t d d � } Wn t k
r-Yn X| j d � x� d d
d f g i d t t f D]u } y t | � } Wn t k
r�Yn X| j d | � y t d | � } Wn t k
r�Yq]X| j d
| � q]Wd S)NrF rI rH � � r r z(Rat(1, 0) didn't raise ZeroDivisionError�0g y z Rat(%r) didn't raise TypeErrorz!Rat(1, %r) didn't raise TypeErrori�rN i����rN i����i�)r rO r r r Zfail�unittestr )r r Zbadr
r
r
�test_constructor� s>
(
z RatTestCase.test_constructorc C s� | j t d d � t d d � d � | j t d d � d t d d � � | j d t d d � t d d � � | j d t d d � d � | j t d d � d d � d S)NrH rU r rJ g �?g �?)rO r )r r
r
r
�test_add� s
&&& zRatTestCase.test_addc C s� | j t d d � t d d � t d d � � | j t d d � d t d d � � | j d t d d � t d d � � | j t d d � d d � | j d t d d � d � d S)
NrV rH rJ � rF r rU g �?g �?)rO r )r r
r
r
�test_sub s
/&& zRatTestCase.test_subc C s� | j t d d � t d d � t d d � � | j t d d � d d � | j d t d d � d � | j t d d � d d � | j d t d d � d � d S) NrH rU rJ rV rF r[ g �?g �?)rO r )r r
r
r
�test_mul
s
/ zRatTestCase.test_mulc C s� | j t d d � t d d � t d d � � | j t d d � d t d d � � | j d t d � t d d � � | j d t d d � d
� | j t d d � d d
� d S) NrF rU rJ rV � � rH g @r g �?)rO r )r r
r
r
�test_div s
/&# zRatTestCase.test_divc C s~ | j t d � t d � d � | j t d d � t d d � d � | j t d � d d � | j d t d � d � d S)NrF � rH rU )rO r )r r
r
r
�
test_floordiv s &zRatTestCase.test_floordivc C s{ | j t d � t d d � � | j t d � d � | j d t d � � | j t d � d � | j d t d � � d S)NrF rM rH g $@)rO r )r r
r
r
�test_eq s
zRatTestCase.test_eqc C s� | j t d d � t d d � t d d � � | j t d d � d t d d � � | j d t d � t d d � � | j d t d d � d
� | j t d d � d d
� | j t d � d � d S)
NrF rU rJ rV r^ r_ rH g @r g �?z1/2g �?)rO r �eval)r r
r
r
�
test_true_div% s /&# zRatTestCase.test_true_divN)
r= r> r? r@ rT rY rZ r\ r] r` rb rc re r
r
r
r
rE � s $ rE c @ s. e Z d Z d Z d d � Z d d � Z d S)�OperationLoggerz.Base class for classes with operation logging.c C s
| | _ d S)N)�logger)r rg r
r
r
r" 2 s zOperationLogger.__init__c G s | j | � d S)N)rg )r �argsr
r
r
�
log_operation4 s z OperationLogger.log_operationN)r= r> r? r@ r" ri r
r
r
r
rf 0 s rf c G sZ g } g } x$ | D] } | j | | j � � q Wy | | � Wn t k
rU Yn X| S)zvReturn the sequence of operations that results from applying
the operation `op` to instances of the given classes.)�appendr )�op�classes�logZ instances�cr
r
r
� op_sequence7 s
ro c @ s4 e Z d Z d d � Z d d � Z d d � Z d S)�Ac C s | j d � t S)NzA.__eq__)ri r- )r r. r
r
r
r< F s
zA.__eq__c C s | j d � t S)NzA.__le__)ri r- )r r. r
r
r
�__le__I s
zA.__le__c C s | j d � t S)NzA.__ge__)ri r- )r r. r
r
r
�__ge__L s
zA.__ge__N)r= r> r? r< rq rr r
r
r
r
rp E s rp c @ s4 e Z d Z d d � Z d d � Z d d � Z d S)�Bc C s | j d � t S)NzB.__eq__)ri r- )r r. r
r
r
r< Q s
zB.__eq__c C s | j d � t S)NzB.__le__)ri r- )r r. r
r
r
rq T s
zB.__le__c C s | j d � t S)NzB.__ge__)ri r- )r r. r
r
r
rr W s
zB.__ge__N)r= r> r? r< rq rr r
r
r
r
rs P s rs � metaclassc @ s4 e Z d Z d d � Z d d � Z d d � Z d S)�Cc C s | j d � t S)NzC.__eq__)ri r- )r r. r
r
r
r< \ s
zC.__eq__c C s | j d � t S)NzC.__le__)ri r- )r r. r
r
r
rq _ s
zC.__le__c C s | j d � t S)NzC.__ge__)ri r- )r r. r
r
r
rr b s
zC.__ge__N)r= r> r? r< rq rr r
r
r
r
ru [ s ru c @ s: e Z d Z d Z d d � Z d d � Z d d � Z d S) �VzVirtual subclass of Bc C s | j d � t S)NzV.__eq__)ri r- )r r. r
r
r
r< h s
zV.__eq__c C s | j d � t S)NzV.__le__)ri r- )r r. r
r
r
rq k s
zV.__le__c C s | j d � t S)NzV.__ge__)ri r- )r r. r
r
r
rr n s
zV.__ge__N)r= r> r? r@ r< rq rr r
r
r
r
rv f s rv c @ s e Z d Z d d � Z d S)�OperationOrderTestsc C s� | j t t t t � d d g � | j t t t t � d d g � | j t t t t � d d g � | j t t t t � d d g � | j t t t t � d d g � | j t t t t � d d g � | j t t t t � d d g � | j t t t t � d d g � | j t t t t � d d g � | j t t t t � d d g � | j t t t � � | j t t t t � d d
g � | j t t t t � d d g � d S) NzA.__eq__zB.__eq__zC.__eq__zA.__le__zA.__ge__zB.__ge__zB.__le__zC.__ge__zC.__le__zV.__eq__zV.__ge__)
rO ro r rp rs ru r rQ �
issubclassrv )r r
r
r
�test_comparison_ordersu s """""""""""z*OperationOrderTests.test_comparison_ordersN)r= r> r? ry r
r
r
r
rw t s rw �__main__) r@ rX Ztestr �operatorr r r r r r �abcr r r r r �objectr ZTestCaserE rf ro rp rs ru rv �registerrw r= �mainr
r
r
r
�<module> s( . �j