Your IP : 216.73.216.196
B
� fN � @ s� d Z ddlZddlmZ G dd� de�ZG dd� de�ZG dd � d �ZG d
d � d �Z G d d
� d
e�Z
G dd� dej �Z e
dkr�e�� dS )zj
Support Eiffel-style preconditions and postconditions for functions.
An example for Python metaclasses.
� N)� FunctionTypec s( e Zd Z� fdd�Zedd� �Z� ZS )�EiffelBaseMetaClassc s | � |� tt| ��| |||�S )N)�convert_methods�superr �__new__)�meta�name�bases�dict)� __class__� �6/opt/alt/python37/lib64/python3.7/Tools/demo/eiffel.pyr s
zEiffelBaseMetaClass.__new__c C s� g }xL|� � D ]@\}}|�d�s*|�d�r:t|t�sNt�qt|t�r|�|� qW xF|D ]>}|�d| �}|�d| �}|s�|rX| �|| ||�||< qXW dS )z�Replace functions in dict with EiffelMethod wrappers.
The dict is modified in place.
If a method ends in _pre or _post, it is removed from the dict
regardless of whether there is a corresponding method.
�_pre�_postz%s_prez%s_postN)�items�endswith�
isinstance�function�AssertionError�append�get�make_eiffel_method)�clsr
�methods�k�v�m�pre�postr r r
r s
z#EiffelBaseMetaClass.convert_methods)�__name__�
__module__� __qualname__r � classmethodr �
__classcell__r r )r r
r s r c @ s e Zd Zedd� �ZdS )�EiffelMetaClass1c s" � ��fdd�}� j r � j |_ |S )Nc s> �r�| f|�|� � | f|�|�}�r:�| |f|�|� |S )Nr )�self�args�kwargs�rv)�funcr r r r
�method/ s z3EiffelMetaClass1.make_eiffel_method.<locals>.method)�__doc__)r) r r r* r )r) r r r
r - s z#EiffelMetaClass1.make_eiffel_methodN)r r r! � staticmethodr r r r r
r$ * s r$ c @ s e Zd Zdd� Zdd� ZdS )�EiffelMethodWrapperc C s || _ || _d S )N)�_inst�_descr)r% �instZdescrr r r
�__init__? s z EiffelMethodWrapper.__init__c O s | j �| j||�S )N)r/ �
callmethodr. )r% r& r' r r r
�__call__C s z EiffelMethodWrapper.__call__N)r r r! r1 r3 r r r r
r- = s r- c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�EiffelDescriptorc C s& || _ || _|| _|j| _|j| _d S )N)�_funcr r r r+ )r% r) r r r r r
r1 I s
zEiffelDescriptor.__init__c C s
t || �S )N)r- )r% �objr r r r
�__get__Q s zEiffelDescriptor.__get__c C sH | j r| j |f|�|� | j|f|�|�}| jrD| j||f|�|� |S )N)r r5 r )r% r0 r& r' �xr r r
r2 T s zEiffelDescriptor.callmethodN)r r r! r1 r7 r2 r r r r
r4 G s r4 c @ s e Zd ZeZdS )�EiffelMetaClass2N)r r r! r4 r r r r r
r9 ] s r9 c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )�Testsc C s | � t� d S )N)�_testr$ )r% r r r
�testEiffelMetaClass1e s zTests.testEiffelMetaClass1c C s | � t� d S )N)r; r9 )r% r r r
�testEiffelMetaClass2h s zTests.testEiffelMetaClass2c s� G dd� d|d�}G dd� d|�}G � fdd�d|�� |� }| � |�d�d � | � |�d�d � | �t|jd
� � � }| �t|jd� | �t|jd � | � |�d �d
� d S )Nc @ s e Zd ZdS )zTests._test.<locals>.EiffelN)r r r! r r r r
�Eiffell s r> )� metaclassc @ s, e Zd Zdd� Zdd� Zdd� Zdd� Zd S )
zTests._test.<locals>.Testc S s |d S )zMake it a little larger� r )r% �argr r r
r p s zTests._test.<locals>.Test.mc S s |d S )zMake it a little largerr@ r )r% rA r r r
�m2t s z Tests._test.<locals>.Test.m2c S s |dks t �d S )Nr )r )r% rA r r r
�m2_prex s z Tests._test.<locals>.Test.m2_prec S s ||ks t �d S )N)r )r% �resultrA r r r
�m2_post{ s z!Tests._test.<locals>.Test.m2_postN)r r r! r rB rC rE r r r r
�Testo s rF c s& e Zd Zdd� Z�� fdd�Z� ZS )zTests._test.<locals>.Subc S s |d S )N� r )r% rA r r r
rB s zTests._test.<locals>.Sub.m2c s" t � | ��||� |dk s t�d S )N�d )r rE r )r% ZResultrA )�Subr r r
rE � s z Tests._test.<locals>.Sub.m2_post)r r r! rB rE r# r )rI )r r
rI ~ s rI r@ rG r �
� � )Z assertEqualr rB Z assertRaisesr )r% r? r> rF �t�sr )rI r
r; k s z Tests._testN)r r r! r< r= r; r r r r
r: c s r: �__main__)r+ Zunittest�typesr r �typer r$ r- r4 r9 ZTestCaser: r �mainr r r r
�<module> s
.