Re: [FWP] Using invariants in OO modules.

[abigail@foad.org]

On Wed, Aug 02, 2000 at 12:32:57PM -0400, John Porter wrote:
> abigail@foad.org wrote:
> > 
> > This module provides a convenient way to install I<invariants>. An
> > invariant is an expression that is true at sequence points - in this case,
> > when exiting OO methods.
> 
> I.e. a postcondition? 
> So preconditions could be done the same way, right?


Yes and no. Pre- and postconditions are usually associated with a 
subroutine, and differ from subroutine to subroutine. 

But if all your subroutines have the same pre- and postcondition, you
could use the same technique.



Abigail

==== Want to unsubscribe from Fun With Perl?  Well, if you insist...
==== Send email to <fwp-request@technofile.org> with message _body_
====   unsubscribe