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 n
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 p
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 pr
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
precondition is met if all of the paren