Skip Montanaro <skip at pobox.com> writes:
> To
> use lists there you have to extend list constructor syntax somehow, as I
> used in my original message:
>> def foo(...) [pre=foo_pre, post=foo_post]:
> <normal code here>
Not really. You could just do it like this:
def foo(...) [pre(foo_pre), post(foo_post)]:
<normal code here>
pre and post would be functions that take a function implementing the
pre or postcondition and return a function that when called with a
function object add the pre/post condition to the function. E.g.
def pre(precondition):
def install_pre_condition(function):
def call_with_precondition(*args, **kw):
precondition(*args, **kw) # or however the precondition is called
return function(*args, **kw)
return call_with_precondition
return install_pre_condition
Bernhard
--
Intevation GmbH http://intevation.de/
Sketch http://sketch.sourceforge.net/
MapIt! http://www.mapit.de/