Alexandre Bergel <[email protected]> writes: > I still do not understand. I would imagine something like: > > foo > <precondition: #invariant> > <postcondition: #invariant> > self bar
I have the same feeling. It looks strange to me that the precondition itself decides where it applies. I have the impression that each method should list its preconditions. -- Damien Cassou http://damiencassou.seasidehosting.st "Success is the ability to go from one failure to another without losing enthusiasm." --Winston Churchill
