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 }x>|� � D ]2\}}|�d�s@|�d�r,qt|t�r|�|� qW xF|D ]>}|�d| �}|�d| �}|sr|rJ| �|| ||�||< qJW 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�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 r0 r2 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
r0 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 r4 r )r$ r/ r% r& �xr r r
r1 T s zEiffelDescriptor.callmethodN)r r r r0 r6 r1 r r r r
r3 G s r3 c @ s e Zd ZeZdS )�EiffelMetaClass2N)r r r r3 r r r r r
r8 ] s r8 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: r8 )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$ r@ r r r
�m2t s z Tests._test.<locals>.Test.m2c S s d S )Nr )r$ r@ r r r
�m2_prex s z Tests._test.<locals>.Test.m2_prec S s d S )Nr )r$ �resultr@ r r r
�m2_post{ s z!Tests._test.<locals>.Test.m2_postN)r r r r rA rB rD r r r r
�Testo s rE c s& e Zd Zdd� Z�� fdd�Z� ZS )zTests._test.<locals>.Subc S s |d S )N� r )r$ r@ r r r
rA s zTests._test.<locals>.Sub.m2c s t � | ��||� d S )N)r rD )r$ ZResultr@ )�Subr r r
rD � s z Tests._test.<locals>.Sub.m2_post)r r r rA rD r" r )rG )r r
rG ~ s rG r? rF r �
� � )Z assertEqualr rA Z assertRaises�AssertionError)r$ r> r= rE �t�sr )rG r
r: k s z Tests._testN)r r r r; r< r: r r r r
r9 c s r9 �__main__)r* Zunittest�typesr r �typer r# r, r3 r8 ZTestCaser9 r �mainr r r r
�<module> s
.