/ 
Class-Contract-1.00
River stage zero No dependents

Changes for version 1.00 - 2000-08-06

  • 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.
  • Added default ctor ('new') if none specified.
  • Modified flyweight implementation (more robust, secure, and efficient)
  • Modified ctors to refuse to instantiate classes with 1+ abstract methods.
  • Added class constructors and destructors
  • Changed production code mechanism (now a separate, accelerated class: Class::Contract::Production)

Modules

Class::Contract
Design-by-Contract OO in Perl.
Class::Contract::Production
Design-by-Contract OO in Perl.

Provides

Class::Contract::PostARRAY
in lib/Class/Contract.pm
Class::Contract::PostHASH
in lib/Class/Contract.pm
Class::Contract::PostSCALAR
in lib/Class/Contract.pm

Other files