On Tue, Jan 5, 2010 at 11:28 AM, vicente.botet <vicente.botet@wanadoo.fr> wrote:
----- Original Message ----- From: "Lorenzo Caminiti" <lorcaminiti@gmail.com> To: <boost@lists.boost.org> Sent: Tuesday, January 05, 2010 6:54 AM Subject: [boost] [contract] Contract Programming Library
Hi all,
I am thinking to submit a library for Contract Programming (a.k.a. Design By Contract (TM) ) for C++.
I have drafted some of the library documentation in Boost-like format: http://dbcpp.sourceforge.net/boost/libs/contract/doc/html/
Comments?
Hi,
I find your library very interesting and except some unavoidable preprocessor ugly (), the syntax follows quite closely the C++ proposal.
Have you considered to add block invariants? Maybe you can complete the table Contract Programming Feature Comparison.
If I have understood your library require the type is CopyConstructible to manage with postconditions. Have you considered to relax this constraint?
I have taken the freedonm to add it to the Boost Libraries Under Construction https://svn.boost.org/trac/boost/wiki/LibrariesUnderConstruction . Let me know if all the informations are right.
For note, the Wt (C++ web toolkit) is making a Dbo sublibrary. No fancy meta-programming techniques, but it runs well and is quite lightweight. It has just been started, but it is already usable.