[Date Prev][Date Next][Thread Prev][Thread Next] [Search] [Date Index] [Thread Index]

Re: [FWP] Using invariants in OO modules.

To: fwp@technofile.org
Subject: Re: [FWP] Using invariants in OO modules.
From: John Porter <jdporter@min.net>
Date: Wed, 2 Aug 2000 12:32:57 -0400
In-Reply-To: <20000801234121.31465.qmail@foad.org>; from abigail@foad.org on Tue, Aug 01, 2000 at 07:41:21PM -0400
References: <20000801234121.31465.qmail@foad.org>

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?

-- 
John Porter

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

Follow-Ups:
- Re: [FWP] Using invariants in OO modules.
  - From: abigail@foad.org

References:
- [FWP] Using invariants in OO modules.
  - From: abigail@foad.org

Prev by Date: Re: [FWP] innermost first parsing
Next by Date: Re: [FWP] innermost first parsing
Prev by thread: [FWP] Using invariants in OO modules.
Next by thread: Re: [FWP] Using invariants in OO modules.
Navigation: Date Index | Thread Index | Search | Other lists at bumppo.net