Re: Design by Contract

> Joe's idea was to use Interface for invariant condition grouping. It wasn't, it was to use "require" at the class declaration, using it in the class body is better still ... Cheers Joe On Tue, Feb 10, 2015 at 6:27 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote: > Hi Joe, > > On Tue, Feb 10, 2015 at 3:16 PM, Joe Watkins <pthreads@pthreads.org> > wrote: > >> You need to explain how invariants are going to be inherited and executed >> in detail. >> > > OK. Thank you. This wouldn't change even if syntax changes. > > >> >> Keep statements such as >> >> > With proper use of DbC concept, it is known *programs to be more >> robust, secure and faster* >> >> Out of the RFC, since that cannot possibly be true and is just going to >> cause people to argue about that point when it's extremely unimportant. >> > > Good point. > > Regards, > > -- > Yasuo Ohgaki > yohgaki@ohgaki.net >