Re: Clarify "Design by Contract"

[John M. Dlugosz]

Moritz Lenz moritz-at-casella.verplant.org |Perl 6| wrote:

This is described in depth in "Object oriented software construction" by
Bertrand Meyer.

  
OK, reading about it in Wiki, I see what it's supposed to do. 

PRE - derived classes may weaken but not strengthen.

So if it fails, but the preconditions of the same method on the base 
class pass, that means you wrote the precondition wrong.  Rather than 
ignoring that, shouldn't it be an error?

--John