← Back
Editing: Eiffel.pyo
� ��^c @ s� d Z d d l m Z m Z m Z d e f d � � YZ d e f d � � YZ d e f d � � YZ e d d i � Z d � Z e d k r� e � n d S( s� Support Eiffel-style preconditions and postconditions. For example, class C: def m1(self, arg): require arg > 0 return whatever ensure Result > arg can be written (clumsily, I agree) as: class C(Eiffel): def m1(self, arg): return whatever def m1_pre(self, arg): assert arg > 0 def m1_post(self, Result, arg): assert Result > arg Pre- and post-conditions for a method, being implemented as methods themselves, are inherited independently from the method. This gives much of the same effect of Eiffel, where pre- and post-conditions are inherited when a method is overridden by a derived class. However, when a derived class in Python needs to extend a pre- or post-condition, it must manually merge the base class' pre- or post-condition with that defined in the derived class', for example: class D(C): def m1(self, arg): return arg**2 def m1_post(self, Result, arg): C.m1_post(self, Result, arg) assert Result < 100 This gives derived classes more freedom but also more responsibility than in Eiffel, where the compiler automatically takes care of this. In Eiffel, pre-conditions combine using contravariance, meaning a derived class can only make a pre-condition weaker; in Python, this is up to the derived class. For example, a derived class that takes away the requirement that arg > 0 could write: def m1_pre(self, arg): pass but one could equally write a derived class that makes a stronger requirement: def m1_pre(self, arg): require arg > 50 It would be easy to modify the classes shown here so that pre- and post-conditions can be disabled (separately, on a per-class basis). A different design would have the pre- or post-condition testing functions return true for success and false for failure. This would make it possible to implement automatic combination of inherited and new pre-/post-conditions. All this is left as an exercise to the reader. i����( t MetaClasst MetaHelpert MetaMethodWrappert EiffelMethodWrapperc B s e Z d � Z d � Z RS( c C s� t j | | | � y t | | j d � | _ Wn t k rL d | _ n Xy t | | j d � | _ Wn t k r� d | _ n Xd S( Nt _pret _post( R t __init__t getattrt __name__t pret AttributeErrort Nonet post( t selft funct inst( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR D s c O sh | j r t | j | | � n t | j | j f | | � } | j rd t | j | f | | � n | S( N( R t applyR R R ( R t argst kwt Result( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt __call__S s ( R t __module__R R ( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR B s t EiffelHelperc B s e Z e Z RS( ( R R R t __methodwrapper__( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR [ s t EiffelMetaClassc B s e Z e Z RS( ( R R R t __helper__( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR ^ s t Eiffelc C s0 d t f d � � Y} | � } | j d � d S( Nt Cc B s# e Z d � Z d � Z d � Z RS( c S s | d S( Ni ( ( R t arg( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt m1f s c S s d S( N( ( R R ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt m1_preh s c S s d S( N( ( R R R ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt m1_postj s ( R R R R R ( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR e s i ( R R ( R t x( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt _testd s t __main__N( ( t __doc__t MetaR R R R R R R R! R ( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt <module>> s
Save File
Cancel