shell bypass 403
o
` b�8 � @ sl 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.kr�e� � dS dS )/z9Tests for binary operators on subtypes of built-in types.� N)�eq�le�ne)�ABCMetac C s | r || | } }| s|S )z1Greatest common divisor using Euclid's algorithm.� )�a�br r �8/usr/local/python-3.10/lib/python3.10/test/test_binop.py�gcd s �r
c C �
t | t�S )z-Test whether an object is an instance of int.)�
isinstance�int��xr r r �isint
�
r c C s$ t ttfD ]
}t| |�r dS qdS )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 r )z7Test whether an object is an instance of the Rat class.)r �Ratr r r r �isRat r 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 |�s
td| ��t |�std| ��|dkr td��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 � | j S )z7Accessor function for read-only 'num' attribute of Rat.)r �r r r r �_get_num1 � z Rat._get_numNc C r" )z7Accessor function for read-only 'den' attribute of Rat.)r r# r r r �_get_den6 r% 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__; � 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.� �?r' r# r r r � __float__C r) z
Rat.__float__c C sF | j dkrzt| j�W S ty tdt| � ��w tdt| � ��)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 �
OverflowError�repr�
ValueErrorr# 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|�r)t| �| 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 �
� z Rat.__add__c C sV t |�rt|�}t|�r t| j|j |j| j | j|j �S t|�r)t| �| S tS )z)Subtract two Rats, or a Rat and a number.r2 r4 r r r �__sub__^ r7 z Rat.__sub__c C sV t |�rt|�}t|�r t|j| j | j|j | j|j �S t|�r)|t| � S tS )z9Subtract two Rats, or a Rat and a number (reversed args).r2 r4 r r r �__rsub__i r7 z Rat.__rsub__c C sT t |�rt| j|j | j|j �S t|�r t| j| | j�S t|�r(t| �| S tS )z)Multiply two Rats, or a Rat and a number.�r r r r r r r r3 r4 r r r �__mul__t � z Rat.__mul__c C sT t |�rt| j|j | j|j �S t|�r t| j| j| �S t|�r(t| �| S tS )z'Divide two Rats, or a Rat and a number.r: r4 r r r � __truediv__� r< zRat.__truediv__c C sT t |�rt|j| j |j| j �S t|�r t|| j | j�S t|�r(|t| � S tS )z7Divide two Rats, or a Rat and a number (reversed args).r: r4 r r r � __rtruediv__� r< zRat.__rtruediv__c C s2 t |�r t|�}nt|�stS | | }|j|j S )z.Divide two Rats, returning the floored result.)r r r r3 r r �r r5 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 �
__rfloordiv__� s zRat.__rfloordiv__c C s6 t |�r t|�}nt|�stS | | }|| || fS )z2Divide two Rats, returning quotient and remainder.)r r r r3 r? r r r �
__divmod__� s
zRat.__divmod__c C s( t |�r t|�}nt|�stS t|| �S )zBDivide two Rats, returning quotient and remainder (reversed args).)r r r r3 �divmodr4 r r r � __rdivmod__� s
zRat.__rdivmod__c C s t | |�d S )z Take one Rat modulo another.r �rC r4 r r r �__mod__� � z Rat.__mod__c C s t || �d S )z,Take one Rat modulo another (reversed args).r rE r4 r r r �__rmod__� rG z Rat.__rmod__c C sT t |�r| jdko
| j|kS t|�r | j|jko | j|jkS t|�r(t| �|kS tS )z Compare two Rats for equality.r )r r r r r r r3 r4 r r r �__eq__� s z
Rat.__eq__)r r ) �__name__�
__module__� __qualname__�__doc__� __slots__r! r$ �propertyr r& r r( r+ r- r1 r6 �__radd__r8 r9 r; �__rmul__r= r> r@ rA rB rD rF rH rI r r r r r s6
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
� tdd �D ]6}tdd �D ].}| �t||�d k� | �t| |�d k � | �t|| �d k� | �t| | �d k � qKqDd S )
N�
� � � � � r �d ������� r )� assertEqualr
�range�
assertTrue)r �i�jr r r �test_gcd� s ��zRatTestCase.test_gcdc C sf t dd�}| �|jd� | �|jd� t dd�}| �|jd� | �|jd� t dd�}| �|jd� | �|jd� t dd�}| �|jd� | �|jd� t d�}| �|jd� | �|jd � zt d d
�}W n tyn Y nw | �d � d d
ddg i d t tf D ]1}zt |�}W n ty� Y nw | �d| � zt d |�}W n ty� Y qw | �d| � qd S )NrS rV rU � i�r[ rZ � 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 r] r r r Zfail�unittestr )r r Zbadr r r �test_constructor� sF
�
� ��z RatTestCase.test_constructorc C s� | � tdd�tdd� d� | � tdd�d tdd�� | � dtdd� tdd�� | � dtdd� d� | � tdd�d d� d S )NrU rc r rW r, � �?�r] 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 )
Nrd rU rW � rS r rc r, � �?ri 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 ) NrU rc rW rd rS rk rl r, ri 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 ) NrS rc rW rd � � rU � @r rh ri 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 )NrS � rU rc ri r# r r r �
test_floordiv s zRatTestCase.test_floordivc C sZ | � td�tdd�� | � td�d� | � dtd�� | � td�d� | � dtd�� d S )NrS r\ rU g $@ri 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 )
NrS rc rW rd ro rp rU rq r rh z1/2rl )r] r �evalr# r r r �
test_true_div$ s " zRatTestCase.test_true_divN)
rJ rK rL rM rb rg rj rm rn rr rt ru rw r r r r rR � s $ rR c @ � e Zd ZdZdd� Zdd� ZdS )�OperationLoggerz.Base class for classes with operation logging.c C s
|| _ d S �N��logger)r r| r r r r! 1 s
zOperationLogger.__init__c G s | j |� d S rz r{ )r �argsr r r �
log_operation3 s z OperationLogger.log_operationN)rJ rK rL rM r! r~ r r r r ry / s ry c G sF g }g }|D ]
}|� ||j �� qz| |� W |S ty" Y |S w )zvReturn the sequence of operations that results from applying
the operation `op` to instances of the given classes.)�appendr )�opZclasses�logZ instances�cr r r � op_sequence6 s
��r� c @ �$ e Zd Zdd� Zdd� Zdd� ZdS )�Ac C � | � d� tS )N�A.__eq__�r~ r3 r4 r r r rI E �
r� c C r� )N�A.__le__r� r4 r r r �__le__H r� r� c C r� )N�A.__ge__r� r4 r r r �__ge__K r� r� N�rJ rK rL rI r� r� r r r r r� D � r� c @ r� )�Bc C r� )N�B.__eq__r� r4 r r r rI P r� r� c C r� )N�B.__le__r� r4 r r r r� S r� r� c C r� )N�B.__ge__r� r4 r r r r� V r� r� Nr� r r r r r� O r� r� )� metaclassc @ r� )�Cc C r� )N�C.__eq__r� r4 r r r rI [ r� r� c C r� )N�C.__le__r� r4 r r r r� ^ r� r� c C r� )N�C.__ge__r� r4 r r r r� a r� r� Nr� r r r r r� Z r� r� c @ s( e Zd ZdZdd� Zdd� Zdd� ZdS ) �VzVirtual subclass of Bc C r� )N�V.__eq__r� r4 r r r rI g r� r� c C r� )N�V.__le__r� r4 r r r r� j r� r� c C r� )N�V.__ge__r� r4 r r r r� m r� r� N)rJ rK rL rM rI r� r� r r r r r� e s
r� 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 ) Nr� r� r� r� r� r� r� r� r� r� r� )
r] r� r r� r� r� r r_ �
issubclassr� r# r r r �test_comparison_orderst s z*OperationOrderTests.test_comparison_ordersN)rJ rK rL r� r r r r r� s s r� c @ s e Zd ZdZdd� ZdS )�SupEqz Class that can test equalityc C � dS �NTr r4 r r r rI � � z SupEq.__eq__N�rJ rK rL rM rI r r r r r� � s r� c @ � e Zd ZdZdZdS )�Sz"Subclass of SupEq that should failNr� r r r r r� � � r� c @ s e Zd ZdZdS )�Fz'Independent class that should fall backN)rJ rK rL rM r r r r r� � s r� c @ r� )�Xz"Independent class that should failNr� r r r r r� � r� r� c @ r� )�SNz>Subclass of SupEq that can test equality, but not non-equalityN)rJ rK rL rM �__ne__r r r r r� � r� r� c @ s e Zd ZdZdd� ZdZdS )�XNz>Independent class that can test equality, but not non-equalityc C r� r� r r4 r r r rI � r� z XN.__eq__N)rJ rK rL rM rI r� r r r r r� � s r� c @ rx )�FallbackBlockingTestsz#Unit tests for None method blockingc C s� t � t� t� t� f\}}}}| �||� | �||� | �||� | �||� | �tt||� | �tt||� | �tt||� d S rz )r� r� r� r� r] � 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 rz )r� r� r� Z assertFalser� r r )r r� ZsnZxnr r r �test_fallback_ne_blocking� s z/FallbackBlockingTests.test_fallback_ne_blockingN)rJ rK rL rM r� r� r r r r r� � s r� �__main__)!rM rf �operatorr r r �abcr r
r r r �objectr ZTestCaserR ry r� r� r� r� r� �registerr� r� r� r� r� r� r� r� rJ �mainr r r r �<module> s: *j
�