Hi Francois, On Sat, Feb 14, 2015 at 12:03 PM, François Laupretre <franc...@php.net> wrote:
> > For method calls, overridden method should not evaluate parents contract > on entry. > > It should be evaluated when parent method is called. > > I already told you : the logic you are using for pre-conditions is NOT > compatible with Eiffel and D logic, although this is what you're supposed > to mimic. It is actually the opposite. Is it a wanted behavior ? because > you should be aware that it does not respect the LS principle. Did you mean "Least Concern Principle" here? Regards, -- Yasuo Ohgaki yohg...@ohgaki.net
