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 } xo | j � D]a \ } } | j d � s= | j d � rU t | t � st t � q t | t � r | j | � q q Wx` | D]X } | j d | � } | j d | � } | s� | r | j | | | | � | | <q q 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�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 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! r0 r2 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
r0 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 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 Z d Z e Z d S)�EiffelMetaClass2N)r r r! r3 r r r r r
r8 ] s r8 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)r: r8 )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 k s t � d S)Nr )r )r$ r@ r r r
�m2_prex s z Tests._test.<locals>.Test.m2_prec S s | | k s t � d S)N)r )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 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
rA s zTests._test.<locals>.Sub.m2c s/ t � | � j | | � | d k s+ t � d S)N�d )r rD r )r$ ZResultr@ )�Subr r r
rD � s z Tests._test.<locals>.Sub.m2_post)r r r! rA rD r )rH )r r
rH ~ s rH r? rF r �
� � )Z assertEqualr rA Z assertRaisesr )r$ r> r= rE �t�sr )rH 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
.