That's what DbC languages are for. You write the contracts first, then the code to fullfill them. And get exceptions when the implementation doesn't do what the contract claims it does.
<mike
Can you give me a name of one of them? This is a very interesting thing - I should learn one of those sometime. However, I'm pretty sure that programming in them is hell, or at least, takes a very long time.
Noam -- http://mail.python.org/mailman/listinfo/python-list
