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)
--