Subject: Re: [boost] [contract] Contract Programming Library
From: OvermindDL1 (overminddl1_at_[hidden])
Date: 2010-01-05 19:54:23
On Tue, Jan 5, 2010 at 11:28 AM, vicente.botet <vicente.botet_at_[hidden]> wrote:
> ----- Original Message -----
> From: "Lorenzo Caminiti" <lorcaminiti_at_[hidden]>
> To: <boost_at_[hidden]>
> 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:
> 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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk