
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>


<meta http-equiv="content-type" content="text/html; charset=UTF-8">

</head>

<body bgcolor="#ffffff" text="#000000">

<font size="-1"><font face="Tahoma">Hello,<br>

<br>

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 <a class="moz-txt-link-freetext" href="http://python-dbc.googlecode.com/">http://python-dbc.googlecode.com/</a> and the code is

available at <a class="moz-txt-link-freetext" href="https://python-dbc.googlecode.com/hg/">https://python-dbc.googlecode.com/hg/</a> (this is a Mercurial

repository, use hg clone). <br>

<br>

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 </font></font><font size="-1"><font face="Tahoma">

@contract_epydoc decorator to wrap the classes, thus making possible to

add</font></font><font size="-1"><font face="Tahoma"> the support of

@invariant fields in the class docstrings.</font></font><br>

<font size="-1"><font face="Tahoma"><br>

</font></font>

<div class="moz-signature">-- <br>

<table border="0">

  <tbody>

    <tr>

      <td colspan="2"><font face="Tahoma, Verdana, Arial" size="-1">With

best regards,</font></td>

    </tr>

    <tr>

      <td rowspan="5" width="10"><font face="Tahoma, Verdana, Arial"

 size="-2"> </font></td>

      <td><font face="Tahoma, Verdana, Arial" size="-1">Alexander Myodov</font></td>

    </tr>

    <tr>

      <td colspan="2"><font face="Tahoma, Verdana, Arial" size="-2">

email: <a href="mailto:amyodov@gmail.com">amyodov@gmail.com</a>

      </font></td>

    </tr>

    <tr>

      <td colspan="2"><font face="Tahoma, Verdana, Arial" size="-2"> My

      <a href="http://ru.linkedin.com/in/amyodov">LinkedIn page</a>,<sup>en</sup>

      <a href="http://honeyman.moikrug.ru/">MoiKrug page</a>,<sup>ru</sup>

      <a href="http://honeyman.livejournal.com/">LiveJournal blog</a><sup>ru</sup>

      </font></td>

    </tr>

  </tbody>

</table>

</div>

</body>

</html>