townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
169 Commits 1 Branch 0 Tags 12 MiB
C++ 99.7%
Eiffel 0.1%
97c31312c0
Go to file
Lorenzo Caminiti 97c31312c0 moved all config macros out of inlined/detail/checking.hpp
2016-10-11 01:39:29 -07:00
build added copyright info to all source files 2016-06-11 12:41:57 -07:00
doc added .except(...), renamed old_ptr_noncopyable to old_ptr_if_copyable, and renamed OLDOF to OLD 2016-08-21 09:54:10 -07:00
example added NO_EXCEPTS to boost_contract_no feature and built all tests and examples for all compilers 2016-09-06 20:31:05 -07:00
include/boost moved all config macros out of inlined/detail/checking.hpp 2016-10-11 01:39:29 -07:00
src added .except(...), renamed old_ptr_noncopyable to old_ptr_if_copyable, and renamed OLDOF to OLD 2016-08-21 09:54:10 -07:00
test resolved a few TODOs, also fixing old for except of public functions virtual calls 2016-09-27 20:54:23 -07:00
.gitignore changed mod 2016-04-28 08:12:28 -07:00
boost_contract_no.jam added NO_EXCEPTS to boost_contract_no feature and built all tests and examples for all compilers 2016-09-06 20:31:05 -07:00
boost_contract_no.jam-gen.py added NO_EXCEPTS to boost_contract_no feature and built all tests and examples for all compilers 2016-09-06 20:31:05 -07:00
boost.png started advanced topics section in the docs 2015-06-27 08:03:34 -07:00
COPYRIGHT.txt website url 2016-06-12 11:39:33 -07:00
Jamroot added NO_EXCEPTS to boost_contract_no feature and built all tests and examples for all compilers 2016-09-06 20:31:05 -07:00
LICENSE_1_0.txt Imported prelimiary work to post Contract++ to Boost.Contract. 2014-09-27 17:56:15 -07:00
README.txt added check (block invariants) and a few other tests 2016-08-03 06:22:29 -07:00

README.txt 

Boost.Contract

This library implements Contract Programming (a.k.a., Design by Contract or DbC)
for the C++ programming language.

All Contract Programming features are supported by this library: subcontracting,
class invariants (also static and volatile), postconditions (with old and return
values), preconditions, customizable actions on assertion failure (terminate,
throw, etc.), optional compilation of assertion checking, disable assertion
checking while already checking other assertions (to avoid infinite recursion),
etc.

NOTE:   In one of its previous revisions, this library passed Boost formal
        reviews and it was accepted into the Boost libraries. However, the
        authors have not had time yet to push this library into an official
        Boost release.
See: https://groups.google.com/forum/?fromgroups=#!topic/boost-list/jQ7OjAmos_Y

Copyright (C) 2008-2016 Lorenzo Caminiti
Distributed under the Boost Software License, Version 1.0 (see accompanying
file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
See: https://lcaminiti.github.io/boost-contract