File: //usr/local/ssl/local/ssl/lib/python2.4/Demo/metaclasses/Eiffel.pyc
mò
‚=5Dc @ s˜ d Z d k l Z l Z l Z d e f d „ ƒ YZ d e f d „ ƒ YZ d e f d „ ƒ YZ e d f h ƒ Z d „ Z e
d
j o 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.
( s MetaClasss
MetaHelpers MetaMethodWrappert EiffelMethodWrapperc B s t Z d „ Z d „ Z RS( Nc C s t i | | | ƒ y t | | i d ƒ | _ Wn t j
o d | _ n Xy t | | i d ƒ | _
Wn t j
o d | _
n Xd S( Nt _pret _post( t MetaMethodWrappert __init__t selft funct instt getattrt __name__t pret AttributeErrort Nonet post( R R R ( ( t- /usr/lib/python2.4/Demo/metaclasses/Eiffel.pyR D s c O sl | i o t | i | | ƒ n t | i | i f | | ƒ } | i o t | i | f | | ƒ n | S( N( R R
t applyt argst kwR R t ResultR
( R R R R ( ( R t __call__S s
( R t
__module__R R ( ( ( R R B s t EiffelHelperc B s t Z e Z RS( N( R R R t __methodwrapper__( ( ( R R [ s t EiffelMetaClassc B s t Z e Z RS( N( R R R t
__helper__( ( ( R R ^ s t Eiffelc C s0 d t f d „ ƒ Y} | ƒ } | i d ƒ d S( Nt Cc B s# t Z d „ Z d „ Z d „ Z RS( Nc C s | d S( Ni ( t arg( R R ( ( R t m1f s c C s | d j p
t d ‚ d S( Ni s precondition for m1 failed( R t AssertionError( R R ( ( R t m1_preh s c C s | | j p t ‚ d S( N( R R R ( R R R ( ( R t m1_postj s ( R R R R R ( ( ( R R e s i ( R R t xR ( R R ( ( R t _testd s t __main__N( t __doc__t Metat MetaClasst
MetaHelperR R R R R R! R ( R R! R R R& R R% R ( ( R t ?> s