Your IP : 216.73.216.213
��YfN � @ s� d Z d d l Z d d l m Z Gd d � d e � Z Gd d � d e � Z Gd d � d � Z Gd
d � d � Z Gd d
� d
e � Z
Gd d � d e j � Z e
d k r� e j � d S)zj
Support Eiffel-style preconditions and postconditions for functions.
An example for Python metaclasses.
� N)� FunctionTypec s4 e Z d Z � f d d � Z e d d � � Z � S)�EiffelBaseMetaClassc s, | j | � t t | � j | | | | � S)N)�convert_methods�superr �__new__)�meta�name�bases�dict)� __class__� �6/opt/alt/python35/lib64/python3.5/Tools/demo/eiffel.pyr s
zEiffelBaseMetaClass.__new__c C s� g } xW | j � D]I \ } } | j d � s\ | j d � r@ q t | t � r | j | � q Wx] | D]U } | j d | � } | j d | � } | s� | rg | j | | | | � | | <qg Wd S)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
Zmethods�k�v�m�pre�postr r r
r s
z#EiffelBaseMetaClass.convert_methods)�__name__�
__module__� __qualname__r � classmethodr r r )r r
r s r c @ s" e Z d Z e d d � � Z d S)�EiffelMetaClass1c s1 � � � f d d � } � j r- � j | _ | S)Nc sE � r � | | | � � | | | � } � rA � | | | | � | 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 Z d Z d d � Z d d � Z d S)�EiffelMethodWrapperc C s | | _ | | _ d S)N)�_inst�_descr)r" �instZdescrr r r
�__init__? s z EiffelMethodWrapper.__init__c O s | j j | j | | � S)N)r, �
callmethodr+ )r" r# r$ r r r
�__call__C s z EiffelMethodWrapper.__call__N)r r r r. r0 r r r r
r* = s r* c @ s4 e Z d Z d d � Z d d � Z d d � Z d S)�EiffelDescriptorc C s7 | | _ | | _ | | _ | j | _ | j | _ d S)N)�_funcr r r r( )r" r& r r r r r
r. I s
zEiffelDescriptor.__init__c C s
t | | � S)N)r* )r" �objr r r r
�__get__Q s zEiffelDescriptor.__get__c C sT | j r | j | | | � | j | | | � } | j rP | j | | | | � | S)N)r r2 r )r" r- r# r$ �xr r r
r/ T s zEiffelDescriptor.callmethodN)r r r r. r4 r/ r r r r
r1 G s r1 c @ s e Z d Z e Z d S)�EiffelMetaClass2N)r r r r1 r r r r r
r6 ] s r6 c @ s4 e Z d Z d d � Z d d � Z d d � Z d S)�Testsc C s | j t � d S)N)�_testr! )r" r r r
�testEiffelMetaClass1e s zTests.testEiffelMetaClass1c C s | j t � d S)N)r8 r6 )r" r r r
�testEiffelMetaClass2h s zTests.testEiffelMetaClass2c s� Gd d � d d | �} Gd d � d | � } G� f d d � d | � � | � } | j | j d � d � | j | j d � d � | j t | j d
� � � } | j t | j d � | j t | j d � | j | j d � d
� d S)Nc @ s e Z d Z d S)zTests._test.<locals>.EiffelN)r r r r r r r
�Eiffell s r; � metaclassc @ s@ e Z d Z d d � Z d d � Z d d � Z d d � Z d 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 r? r@ rB r r r r
�Testo s rC c s1 e Z d Z d d � Z � � f d d � Z � S)zTests._test.<locals>.Subc S s | d S)N� r )r" r> r r r
r? s zTests._test.<locals>.Sub.m2c s t � | � j | | � d S)N)r rB )r" ZResultr> )�Subr r r
rB � s z Tests._test.<locals>.Sub.m2_post)r r r r? rB r )rE )r r
rE ~ s rE r= rD r �
� � )Z assertEqualr r? Z assertRaises�AssertionError)r" r< r; rC �t�sr )rE r
r8 k s z Tests._testN)r r r r9 r: r8 r r r r
r7 c s r7 �__main__)r( Zunittest�typesr r �typer r! r* r1 r6 ZTestCaser7 r �mainr r r r
�<module> s
.