John M. Dlugosz wrote:
PRE/POST on methods:
When applied to a method, the semantics provide support for the Design by
Contract style of OO programming: a precondition of a particular method is
met if all the PRE blocks associated with that method return true. Otherwise,
the
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
John M. Dlugosz wrote:
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.