From: andy@... (Andrew Hunt)
Date: 2001-05-05T06:11:26+09:00
Subject: [ruby-talk:14670] Re: Design by contract - problem with DbC

On Fri, 04 May 2001 01:36:45 GMT, J J <jj5412@earthlink.net> wrote:
> One small problem, DbC doesn't check the invariant after the constructor,

It should.  But you know, I seem to remember something about that -- like
it turned out to be a very bad idea.

I've give a look at it this weekend and either fix it or convince everyone
that it's a feature :-)

/\ndy


--
Andrew Hunt, The Pragmatic Programmers, LLC.
Innovative Object-Oriented Software Development
web:   http://www.pragmaticprogrammer.com   email: andy@pragmaticprogrammer.com
--
Books by Andrew Hunt and David Thomas:
    "The Pragmatic Programmer" (Addison-Wesley 2000)
    "Programming Ruby" (Addison-Wesley 2001)
--