I would like to notify the community about the availability of new
python-dbc module, allowing one to perform basic design-by-contract
checks using the docstring definitions in epydoc format. No public
releases has been done yet, but the home page with overall instructions
is created at http://python-dbc.googlecode.com/ and the code is
available at https://python-dbc.googlecode.com/hg/ (this is a Mercurial
repository, use hg clone).

At the moment, the primary functionality available is the validation of
@precondition/@postcondition/@type/@rtype docstring fields in every
function wrapped using @contract_epydoc decorator. The code is early,
lacks a proper amount of unit tests and documentation, and definitely
may have bugs for now, but it is stress-tested at the moment in internal
projects, so far so good. The future plans include allowing to use the
@contract_epydoc decorator to wrap the classes, thus making possible to
add the support of @invariant fields in the class docstrings.

With best regards,
Alexander Myodov
email: amyodov at gmail.com <mailto:amyodov at gmail.com>
My LinkedIn page <http://ru.linkedin.com/in/amyodov>,^en MoiKrug page
<http://honeyman.moikrug.ru/>,^ru LiveJournal blog

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/doc-sig/attachments/20101109/9bb64e99/attachment.html>

Search Discussions

Related Discussions

Discussion Navigation
viewthread | post
Discussion Overview
groupdoc-sig @
postedNov 9, '10 at 1:09p
activeNov 9, '10 at 1:09p

1 user in discussion

Alex Myodov: 1 post



site design / logo © 2019 Grokbase