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

Alain Rastoul <alf.mmm.cat@gmail.com> writes:

Q: where would you define the invariants ?

a method that is never call and is tagged ?

myFooInvariant1 <invariant>

indeed. -- Damien Cassou http://damiencassou.seasidehosting.st "Success is the ability to go from one failure to another without losing enthusiasm." --Winston Churchill