5 Jan
2010
5 Jan
'10
3:06 p.m.
On Tue, Jan 5, 2010 at 12:54 AM, Lorenzo Caminiti <lorcaminiti@gmail.com> wrote:
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?
1. I am _very_ interested in a good DbC solution for C++. I would immediately adopt it for our in-house projects. 2. I'm not fond of the syntax - there seems to be a lot of redundancy in it. I know we're working within the limitations of C++, which may be considerable in this case, but are you open to discussion about possible different approaches? I have a few (completely undeveloped and perhaps implausible) ideas.