Hi Dmitry, On Wed, Feb 11, 2015 at 4:26 PM, Dmitry Stogov <dmi...@zend.com> wrote:
> I think we should just repeat the related D semantic. > It must be defined in contracts inheritance rules. > > What if we have contracts for prototype method in parent class and > interface? > Should we still validate contracts of parent and interface if we add our > owns? > etc. Both D and Eiffel evaluates all contracts defined in parents/interfaces. Both D and Eiffel has method like invariant definition. They don't inherit explicitly, but inherit implicitly always. That's why I sent strange mail. I read code and misunderstood by mistake. I don't code with D much, but I really like the feature ;) Regards, -- Yasuo Ohgaki yohg...@ohgaki.net
