File: //usr/local/lib/python3.7/test/__pycache__/test_binop.cpython-37.pyc
B
��g�8 � @ sj d Z ddlZddlmZmZmZ ddlmZ dd� Zdd� Z d d
� Z
d d � Z G d
d� de �Z
G dd� dej�ZG dd� d�Zdd� ZG dd� de�ZG dd� deed�ZG dd� de�ZG d d � d e�Ze�e� G d d � d ej�ZG d d!� d!e �ZG d"d#� d#e�ZG d$d%� d%e �ZG d&d'� d'e �ZG d(d)� d)e�Z G d*d+� d+�Z G d,d-� d-ej�Z e d.k�rfe� � dS )/z9Tests for binary operators on subtypes of built-in types.� N)�eq�le�ne)�ABCMetac C s x| r|| | } }qW |S )z1Greatest common divisor using Euclid's algorithm.� )�a�br r �+/usr/local/lib/python3.7/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 s& x t ttfD ]}t| |�r dS q W dS )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 )z7Test whether an object is an instance of the Rat class.)r �Rat)r
r r r �isRat s r c @ s� e Zd ZdZddgZd/dd�Zdd � Zeed
�Zd d � Z ee d
�Z
d
d� Z dd� Z dd� Z
dd� Zdd� ZeZdd� Zdd� Zdd � ZeZd d � Zd d � Zd!d"� Zd#d$� Zd%d&� Zd'd(� Zd)d*� Zd+d,� Z d-d.� Z d
S )0r z9Rational number implemented as a normalized pair of ints.� _Rat__num� _Rat__denr r c C sb t |�std| ��t |�s(td| ��|dkr8td��t||�}t|| �| _t|| �| _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 � 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_num1 s z Rat._get_numNc C s | j S )z7Accessor function for read-only 'den' attribute of Rat.)r )r r r r �_get_den6 s z Rat._get_denc C s d| j | jf 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__C s z
Rat.__float__c C sN | j dkr:y
t| j�S tk
r8 tdt| � ��Y nX tdt| � ��dS )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__G s
z Rat.__int__c C sV t |�rt|�}t|�r>t| j|j |j| j | j|j �S t|�rRt| �| S tS )z$Add two Rats, or a Rat and a number.)r r r r r r r �NotImplemented)r �otherr r r �__add__Q s z Rat.__add__c C sV t |�rt|�}t|�r>t| j|j |j| j | j|j �S t|�rRt| �| S tS )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 sV t |�rt|�}t|�r>t|j| j | j|j | j|j �S t|�rR|t| � S tS )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__i s z Rat.__rsub__c C sT t |�r"t| j|j | j|j �S t|�r<t| j| | j�S t|�rPt| �| S tS )z)Multiply two Rats, or a Rat and a number.)r r r r r r r r) )r r* r r r �__mul__t s z Rat.__mul__c C sT t |�r"t| j|j | j|j �S t|�r<t| j| j| �S t|�rPt| �| S tS )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 sT t |�r"t|j| j |j| j �S t|�r<t|| j | j�S t|�rP|t| � S tS )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 s2 t |�rt|�}n t|�s tS | | }|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 s6 t |�rt|�}n t|�s tS | | }|| || fS )z2Divide two Rats, returning quotient and remainder.)r r r r) )r r* r
r r r �
__divmod__� s
zRat.__divmod__c C s( t |�rt|�}n t|�s tS t|| �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 )r4 )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 )r4 )r r* r r r �__rmod__� s z Rat.__rmod__c C sT t |�r | jdko| j|kS t|�r<| j|jko:| j|jkS t|�rPt| �|kS tS )z Compare two Rats for equality.r )r r r r r r r) )r r* r r r �__eq__� s z
Rat.__eq__)r r ) �__name__�
__module__� __qualname__�__doc__� __slots__r r �propertyr r r r! r# r$ r( r+ �__radd__r, r- r. �__rmul__r/ r0 r1 r2 r3 r5 r6 r7 r8 r r r r r s4
r c @ sX e Zd ZdZdd� Zdd� Zdd� Zdd � Zd
d � Zd d
� Z dd� Z
dd� Z dd� Z dS )� RatTestCasez3Unit tests for Rat class and its support utilities.c C s | � tdd�d� | � tdd�d� | � tdd�d� | � tdd�d� | � td d�d
� | � tdd
�d� | � td d
�d
� x~tdd �D ]p}xjtdd �D ]\}| �t||�d k� | �t| |�d k � | �t|| �d k� | �t| | �d k � q�W q�W d S )
N�
� � � � � r �d i�������� r )� assertEqualr
�range�
assertTrue)r �i�jr r r �test_gcd� s zRatTestCase.test_gcdc C sv t dd�}| �|jd� | �|jd� t dd�}| �|jd� | �|jd� t dd�}| �|jd� | �|jd� t dd�}| �|jd� | �|jd� t d�}| �|jd� | �|jd � yt d d
�}W n tk
r� Y n X | �d � x�d d
ddg i d t tf D ]l}y t |�}W n tk
�r( Y nX | �d| � yt d |�}W n tk
�r\ Y nX | �d| � �qW d S )NrB rE rD � i�rI i����� r r z(Rat(1, 0) didn't raise ZeroDivisionError�0g y r z Rat(%r) didn't raise TypeErrorz!Rat(1, %r) didn't raise TypeError)r rK r r r Zfail�unittestr )r r Zbadr r r �test_constructor� s>
z RatTestCase.test_constructorc C s� | � tdd�tdd� d� | � tdd�d tdd�� | � dtdd� tdd�� | � dtdd� d� | � tdd�d d� d S )NrD rQ r rF g �?g �?)rK r )r r r r �test_add� s
zRatTestCase.test_addc C s� | � tdd�tdd� tdd�� | � tdd�d tdd�� | � dtdd� tdd�� | � tdd�d d � | � dtdd� d � d S )
NrR rD rF � rB r rQ g �?g �?)rK r )r r r r �test_sub s
" zRatTestCase.test_subc C s~ | � tdd�tdd� tdd�� | � tdd�d d� | � dtdd� d� | � tdd�d d� | � dtdd� d� d S ) NrD rQ rF rR rB rW g �?g �?)rK r )r r r r �test_mul s
"zRatTestCase.test_mulc C s� | � tdd�tdd� tdd�� | � tdd�d tdd�� | � dtd� tdd�� | � dtd d� d
� | � td d�d d
� d S ) NrB rQ rF rR � � rD g @r g �?)rK r )r r r r �test_div s
" zRatTestCase.test_divc C s` | � td�td� d� | � tdd�tdd� d� | � td�d d� | � dtd� d� d S )NrB � rD rQ )rK r )r r r r �
test_floordiv s zRatTestCase.test_floordivc C sZ | � td�tdd�� | � td�d� | � dtd�� | � td�d� | � dtd�� d S )NrB rJ rD g $@)rK r )r r r r �test_eq s
zRatTestCase.test_eqc C s� | � tdd�tdd� tdd�� | � tdd�d tdd�� | � dtd� tdd�� | � dtd d� d
� | � td d�d d
� | � td �d � d S )
NrB rQ rF rR rZ r[ rD g @r g �?z1/2g �?)rK r �eval)r r r r �
test_true_div$ s " zRatTestCase.test_true_divN)
r9 r: r; r< rP rU rV rX rY r\ r^ r_ ra r r r r rA � s $rA c @ s e Zd ZdZdd� Zdd� ZdS )�OperationLoggerz.Base class for classes with operation logging.c C s
|| _ d S )N)�logger)r rc r r r r 1 s zOperationLogger.__init__c G s | j |� d S )N)rc )r �argsr r r �
log_operation3 s z OperationLogger.log_operationN)r9 r: r; r< r re r r r r rb / s rb c G sL g }g }x |D ]}|� ||j �� qW y | |� W n tk
rF Y nX |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_sequence6 s
rk c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�Ac C s | � d� tS )NzA.__eq__)re r) )r r* r r r r8 E s
zA.__eq__c C s | � d� tS )NzA.__le__)re r) )r r* r r r �__le__H s
zA.__le__c C s | � d� tS )NzA.__ge__)re r) )r r* r r r �__ge__K s
zA.__ge__N)r9 r: r; r8 rm rn r r r r rl D s rl c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�Bc C s | � d� tS )NzB.__eq__)re r) )r r* r r r r8 P s
zB.__eq__c C s | � d� tS )NzB.__le__)re r) )r r* r r r rm S s
zB.__le__c C s | � d� tS )NzB.__ge__)re r) )r r* r r r rn V s
zB.__ge__N)r9 r: r; r8 rm rn r r r r ro O s ro )� metaclassc @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�Cc C s | � d� tS )NzC.__eq__)re r) )r r* r r r r8 [ s
zC.__eq__c C s | � d� tS )NzC.__le__)re r) )r r* r r r rm ^ s
zC.__le__c C s | � d� tS )NzC.__ge__)re r) )r r* r r r rn a s
zC.__ge__N)r9 r: r; r8 rm rn r r r r rq Z s rq c @ s( e Zd ZdZdd� Zdd� Zdd� ZdS ) �VzVirtual subclass of Bc C s | � d� tS )NzV.__eq__)re r) )r r* r r r r8 g s
zV.__eq__c C s | � d� tS )NzV.__le__)re r) )r r* r r r rm j s
zV.__le__c C s | � d� tS )NzV.__ge__)re r) )r r* r r r rn m s
zV.__ge__N)r9 r: r; r< r8 rm rn r r r r rr e s rr c @ s e Zd Zdd� ZdS )�OperationOrderTestsc C s4 | � tttt�ddg� | � tttt�ddg� | � tttt�ddg� | � tttt�ddg� | � tttt�ddg� | � tttt�ddg� | � tttt�ddg� | � tttt�ddg� | � tttt�ddg� | � tttt�d dg� | �tt t�� | � tttt �dd
g� | � tttt �dd 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__)
rK rk r rl ro rq r rM �
issubclassrr )r r r r �test_comparison_orderst s z*OperationOrderTests.test_comparison_ordersN)r9 r: r; ru r r r r rs s s rs c @ s e Zd ZdZdd� ZdS )�SupEqz Class that can test equalityc C s dS )NTr )r r* r r r r8 � s z SupEq.__eq__N)r9 r: r; r< r8 r r r r rv � s rv c @ s e Zd ZdZdZdS )�Sz"Subclass of SupEq that should failN)r9 r: r; r< r8 r r r r rw � s rw c @ s e Zd ZdZdS )�Fz'Independent class that should fall backN)r9 r: r; r< r r r r rx � s rx c @ s e Zd ZdZdZdS )�Xz"Independent class that should failN)r9 r: r; r< r8 r r r r ry � s ry c @ s e Zd ZdZdZdS )�SNz>Subclass of SupEq that can test equality, but not non-equalityN)r9 r: r; r< �__ne__r r r r rz � s rz c @ s e Zd ZdZdd� ZdZdS )�XNz>Independent class that can test equality, but not non-equalityc C s dS )NTr )r r* r r r r8 � s z XN.__eq__N)r9 r: r; r< r8 r{ r r r r r| � s r| c @ s e Zd ZdZdd� Zdd� ZdS )�FallbackBlockingTestsz#Unit tests for None method blockingc C s� t � t� t� t� f\}}}}| �||� | �||� | �||� | �||� | �tt||� | �tt||� | �tt||� d S )N)rv rx rw ry rK � assertRaisesr r )r �e�f�sr
r r r � test_fallback_rmethod_blocking� s z4FallbackBlockingTests.test_fallback_rmethod_blockingc C sf t � t� t� }}}| �||k� | �tt||� | �tt||� | �||k� | �tt||� d S )N)rv rz r| Z assertFalser~ r r )r r ZsnZxnr r r �test_fallback_ne_blocking� s z/FallbackBlockingTests.test_fallback_ne_blockingN)r9 r: r; r< r� r� r r r r r} � s r} �__main__)!r< rT �operatorr r r �abcr r
r r r �objectr ZTestCaserA rb rk rl ro rq rr �registerrs rv rw rx ry rz r| r} r9 �mainr r r r �<module> s6 *j