Class-Contract

 view release on metacpan or  search on metacpan

Changes  view on Meta::CPAN

1.10    Sun Feb 09 12:15:31 2001

  - Added missing <C>old</C>. It was documented but not implemented

  - &self is now only way to access object/class reference. Use
    self(self->next) instead of $_[0] = $_[0]->next.

  - refactored all condition checking to use <C>generic_check</C> function

  - revisted _inheritence and generic_check. Think I've finally got
    weakening pre-conditional checks working correctly. There is a good
    test covering this in t/method.t


1.04    Wed Jan 31 15:45:42 2001

  - Begun the process of writing extensive tests. Finding and
    fixing many bugs.

  - Calling a class accessor or method with an object reference
    will now auto-magically change &self into a class name reference.

Changes  view on Meta::CPAN


  - Updated documentation to reflect probationary new maintainer
    C. Garrett Goebel, GGOEBEL, <ggoebel@cpan.org>


1.00  Sun Aug  6 07:11:35 2000

  - Changed semantics of preconditions.
    Now only inherited if not defined in same class
    (this conforms with the notion of derived classes
    being allowed to weaken, but not strengthen preconditions).

  - Added postconditions on SCALAR, ARRAY, and HASH attributes

  - Added &value for attr conditions

  - Removed &result -- now uses &value instead

  - Added warning when explicit preconditions in derived
    class override inherited preconditions from base class.



( run in 0.787 second using v1.01-cache-2.11-cpan-65fba6d93b7 )