ANN: Design By Contract for Python 1.0 beta 1 
Author Message
 ANN: Design By Contract for Python 1.0 beta 1

Announcing Design By Contract for python 1.0 beta 1

Design by Contract is familiar to anyone who has spent time with the
Eiffel programming language.  This implementation is a cross between
full Eiffel-style contracts and the doctest module.

Contracts are high-level assertions that are part of the program's
documentation.  Modules and classes have invariants, expressions that
must be true at the start and end of every public function or method
call.  Methods and functions have pre-conditions, expressions that must
be true on entry; and post-conditions, expressions that must be true
on exit.

      http://www.*-*-*.com/

This version supports the full contract feature set:
* pre: expressions in function and method docstrings;
* post: expressions in function and method docstrings;
* inv: expressions in class and module docstrings;
* post: expressions can access __old__ values and the __return__
   value;
* pre: expressions are weakened by derived methods; and
* post: and inv: expressions are tightened by derived classes.

<P><A HREF=" http://www.*-*-*.com/ ;>Contract 1.0
beta1</A> -
Design By Contract for Python.  (21-May-03)



Mon, 07 Nov 2005 12:45:34 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. ANN: Design By Contract for Python 1.0 beta 2

2. ANN: Design By Contract for Python 1.0 beta 2

3. ANN: Design By Contract for Python 1.0 beta 1

4. ANN.: Beta 1.0 of Weak Reference Extension Module is now available

5. ANN: WorldBuilder beta rollout at 3D Design Show

6. JPython 1.0 beta 1 release (Python for Java)

7. ANN: discord 1.0 -- Python conversion of dates to Discordian

8. ANN: PyQStat 1.0 -- A Python wrapper around QStat

9. ANN: Python Benchmark Suite -- pybench 1.0

10. ANN: fauxident 1.0 -- faux identd in Python

11. ANN: empy 1.0 -- Embed Python in template text as markup

12. ANN: cage 1.0 -- Cellular automata engine in Python

 

 
Powered by phpBB® Forum Software