Re: Design by Contract

Am 10.02.2015 08:08 schrieb "Yasuo Ohgaki" <yohgaki@ohgaki.net>: > > One reason I would like to use __invariant() is to allow overriding parents. > I think we should have way for it, but I don't have good idea now. > I'm still thinking. Hmm, Idea... Imagine the require keyword, in the context of classes, as an alternative to the function keyword. One could write any of these: class foo { require (expr); // like anonymous function. nonoverridable static require (expr); // same for nonmethod calls // _named_ form require something (expr); // overrides static require otherthing (expr); // overrides } This way selective overriding would be possible for individual conditions. The namespace for these invariant expression names could / should be wholly separate from the method namespace itself. best regards Patrick