Re: [Pharo-dev] Run time checking with design by contract assertions

Alexandre Bergel <alexandre.bergel@me.com> 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