Your IP : 216.73.216.213
3
� f�8 � @ sv d Z ddlZddlmZ ddlmZmZmZ ddlm Z dd� Z
dd � Z d
d � Z d d
� Z
G dd� de�ZG dd� dej�ZG dd� d�Zdd� ZG dd� de�ZG dd� dee d�ZG dd � d e�ZG d d � d e�Zeje� G d d � d ej�ZG d!d"� d"e�ZG d#d$� d$e�ZG d%d&� d&e�Z G d'd(� d(e�Z G d)d*� d*e�Z G d+d,� d,�Z G d-d.� d.ej�Z e!d/k�rrej"� dS )0z9Tests for binary operators on subtypes of built-in types.� N)�support)�eq�le�ne)�ABCMetac C s x| r|| | } }qW |S )z1Greatest common divisor using Euclid's algorithm.� )�a�br r �4/opt/alt/python36/lib64/python3.6/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 )z6Test wheter 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_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 | 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__D 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__H 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__R 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__j 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__u 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 )r5 )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 )r5 )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__r0 r1 r2 r3 r4 r6 r7 r8 r9 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 | j tdd�d� | j tdd�d� | j tdd�d� | j tdd�d� | j td d�d � | j tdd
�d� | j tdd�d� x~tdd �D ]p}xjtdd �D ]\}| jt||�d
k� | jt| |�d
k � | jt|| �d
k� | jt| | �d
k � q�W q�W d S )N�
� � � � � r �d � r i�������rK i����rK rK )� assertEqualr �range�
assertTrue)r �i�jr r r
�test_gcd� s zRatTestCase.test_gcdc C sv t dd�}| j|jd� | j|jd� t dd�}| j|jd� | j|jd� t dd�}| j|jd� | j|jd� t dd�}| j|jd� | j|jd� t d�}| j|jd� | j|jd� yt dd�}W n tk
r� Y n X | jd� x�d d
d f g i d t tf D ]l}y t |�}W n tk
�r( Y nX | jd | � yt d|�}W n tk
�r\ Y nX | jd
| � �qW d S )NrC rF rE � � 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�rK i����rK i����i�)r rL r r r Zfail�unittestr )r r Zbadr r r
�test_constructor� s>
z RatTestCase.test_constructorc C s� | j tdd�tdd� d� | j tdd�d tdd�� | j dtdd� tdd�� | j dtdd� d� | j tdd�d d� d S )NrE rR r rG g �?g �?)rL r )r r r r
�test_add� s
zRatTestCase.test_addc C s� | j tdd�tdd� tdd�� | j tdd�d tdd�� | j dtdd� tdd�� | j tdd�d d � | j dtdd� d � d S )
NrS rE rG � rC r rR g �?g �?)rL r )r r r r
�test_sub s
" zRatTestCase.test_subc C s~ | j tdd�tdd� tdd�� | j tdd�d d� | j dtdd� d� | j tdd�d d� | j dtdd� d� d S ) NrE rR rG rS rC rX g �?g �?)rL r )r r r r
�test_mul
s
"zRatTestCase.test_mulc C s� | j tdd�tdd� tdd�� | j tdd�d tdd�� | j dtd� tdd�� | j dtd d� d
� | j td d�d d
� d S ) NrC rR rG rS � � rE g @r g �?)rL r )r r r r
�test_div s
" zRatTestCase.test_divc C s` | j td�td� d� | j tdd�tdd� d� | j td�d d� | j dtd� d� d S )NrC � rE rR )rL r )r r r r
�
test_floordiv s zRatTestCase.test_floordivc C sZ | j td�tdd�� | j td�d� | j dtd�� | j td�d� | j dtd�� d S )NrC rJ rE g $@)rL r )r r r r
�test_eq s
zRatTestCase.test_eqc C s� | j tdd�tdd� tdd�� | j tdd�d tdd�� | j dtd� tdd�� | j dtd d� d
� | j td d�d d
� | j td �d � d S )
NrC rR rG rS r[ r\ rE g @r g �?z1/2g �?)rL r �eval)r r r r
�
test_true_div% s " zRatTestCase.test_true_divN)
r: r; r< r= rQ rV rW rY rZ r] r_ r` rb r r r r
rB � s $rB c @ s e Zd ZdZdd� Zdd� ZdS )�OperationLoggerz.Base class for classes with operation logging.c C s
|| _ d S )N)�logger)r rd r r r
r 2 s zOperationLogger.__init__c G s | j |� d S )N)rd )r �argsr r r
�
log_operation4 s z OperationLogger.log_operationN)r: r; r< r= r rf r r r r
rc 0 s rc c G sL g }g }x |D ]}|j ||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_sequence7 s
rl c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�Ac C s | j d� tS )NzA.__eq__)rf r* )r r+ r r r
r9 F s
zA.__eq__c C s | j d� tS )NzA.__le__)rf r* )r r+ r r r
�__le__I s
zA.__le__c C s | j d� tS )NzA.__ge__)rf r* )r r+ r r r
�__ge__L s
zA.__ge__N)r: r; r< r9 rn ro r r r r
rm E s rm c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�Bc C s | j d� tS )NzB.__eq__)rf r* )r r+ r r r
r9 Q s
zB.__eq__c C s | j d� tS )NzB.__le__)rf r* )r r+ r r r
rn T s
zB.__le__c C s | j d� tS )NzB.__ge__)rf r* )r r+ r r r
ro W s
zB.__ge__N)r: r; r< r9 rn ro r r r r
rp P s rp )� metaclassc @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�Cc C s | j d� tS )NzC.__eq__)rf r* )r r+ r r r
r9 \ s
zC.__eq__c C s | j d� tS )NzC.__le__)rf r* )r r+ r r r
rn _ s
zC.__le__c C s | j d� tS )NzC.__ge__)rf r* )r r+ r r r
ro b s
zC.__ge__N)r: r; r< r9 rn ro r r r r
rr [ s rr c @ s( e Zd ZdZdd� Zdd� Zdd� ZdS ) �VzVirtual subclass of Bc C s | j d� tS )NzV.__eq__)rf r* )r r+ r r r
r9 h s
zV.__eq__c C s | j d� tS )NzV.__le__)rf r* )r r+ r r r
rn k s
zV.__le__c C s | j d� tS )NzV.__ge__)rf r* )r r+ r r r
ro n s
zV.__ge__N)r: r; r< r= r9 rn ro r r r r
rs f s rs c @ s e Zd Zdd� ZdS )�OperationOrderTestsc C s4 | j tttt�ddg� | j tttt�ddg� | j tttt�ddg� | j tttt�ddg� | j tttt�ddg� | j tttt�ddg� | j tttt�ddg� | j tttt�ddg� | j tttt�ddg� | j tttt�d dg� | jtt t�� | j tttt �dd
g� | j 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__)
rL rl r rm rp rr r rN �
issubclassrs )r r r r
�test_comparison_ordersu s z*OperationOrderTests.test_comparison_ordersN)r: r; r< rv r r r r
rt t s rt c @ s e Zd ZdZdd� ZdS )�SupEqz Class that can test equalityc C s dS )NTr )r r+ r r r
r9 � s z SupEq.__eq__N)r: r; r< r= r9 r r r r
rw � s rw c @ s e Zd ZdZdZdS )�Sz"Subclass of SupEq that should failN)r: r; r< r= r9 r r r r
rx � s rx c @ s e Zd ZdZdS )�Fz'Independent class that should fall backN)r: r; r< r= r r r r
ry � s ry c @ s e Zd ZdZdZdS )�Xz"Independent class that should failN)r: r; r< r= r9 r r r r
rz � s rz c @ s e Zd ZdZdZdS )�SNz>Subclass of SupEq that can test equality, but not non-equalityN)r: r; r< r= �__ne__r r r r
r{ � s r{ 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
r9 � s z XN.__eq__N)r: r; r< r= r9 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\}}}}| j||� | j||� | j||� | j||� | jtt||� | jtt||� | jtt||� d S )N)rw ry rx rz rL � assertRaisesr r )r �e�f�sr r r r
� test_fallback_rmethod_blocking� s z4FallbackBlockingTests.test_fallback_rmethod_blockingc C sf t � t� t� }}}| j||k� | jtt||� | jtt||� | j||k� | jtt||� d S )N)rw r{ r} Z assertFalser r r )r r� ZsnZxnr r r
�test_fallback_ne_blocking� s z/FallbackBlockingTests.test_fallback_ne_blockingN)r: r; r< r= r� r� r r r r
r~ � s r~ �__main__)#r= rU Ztestr �operatorr r r �abcr r r r r �objectr ZTestCaserB rc rl rm rp rr rs �registerrt rw rx ry rz r{ r} r~ r: �mainr r r r
�<module> s8 *j