Your IP : 216.73.216.213
�
e fN � @ 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 � n 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/python34/lib64/python3.4/Tools/demo/eiffel.pyr s
zEiffelBaseMetaClass.__new__c C s� g } xZ | j � D]L \ } } | j d � s_ | j d � r@ q t | t � r | j | � q q Wx` | D]X } | j d | � } | j d | � } | s� | rj | j | | | | � | | <qj qj 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
�methods�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 s4 � � � f d d � } � j r0 � j | _ n | S)Nc sK � r � | | | � n � | | | � } � rG � | | | | � n | 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/ r1 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 sZ | j r | j | | | � n | j | | | � } | j rV | j | | | | � n | S)N)r r3 r )r# r. r$ r% �xr r r
r0 T s zEiffelDescriptor.callmethodN)r r r r/ r5 r0 r r r r
r2 G s r2 c @ s e Z d Z e Z d S)�EiffelMetaClass2N)r r r r2 r r r r r
r7 ] s r7 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)r9 r7 )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@ rA rC r r r r
�Testo s rD 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 rC )r# ZResultr? )�Subr r r
rC � s z Tests._test.<locals>.Sub.m2_post)r r r r@ rC r )rF )r r
rF ~ s rF r> rE r �
� � )Z assertEqualr r@ Z assertRaises�AssertionError)r# r= r< rD �t�sr )rF r
r9 k s z Tests._testN)r r r r: r; r9 r r r r
r8 c s r8 �__main__)r) Zunittest�typesr r �typer r" r+ r2 r7 ZTestCaser8 r �mainr r r r
�<module> s
.