townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
18 Commits 1 Branch 0 Tags 12 MiB
C++ 99.7%
Eiffel 0.1%
82984cfb15
Go to file
Lorenzo Caminiti 82984cfb15 parsing template parameters
2014-12-16 11:42:51 -08:00
doc Moved .qbk files under qbk/ dir. 2014-09-27 18:41:22 -07:00
include/boost/contract/ext_/preprocessor parsing template parameters 2014-12-16 11:42:51 -08:00
test compiled tests up to pp-func-traits template on msvc, gcc, clang, and wave 2014-10-21 23:21:56 -07:00
.gitignore compiled tests up to pp-func-traits template on msvc, gcc, clang, and wave 2014-10-21 23:21:56 -07:00
COPYRIGHT.txt Imported prelimiary work to post Contract++ to Boost.Contract. 2014-09-27 17:56:02 -07:00
Jamroot tested access on msvc, gcc, clang, and wave 2014-10-19 23:44:29 -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 Imported prelimiary work to post Contract++ to Boost.Contract. 2014-09-27 17:56:15 -07:00
TODO.txt Imported prelimiary work to post Contract++ to Boost.Contract. 2014-09-27 17:56:02 -07:00
wave.cfg tested access on msvc, gcc, clang, and wave 2014-10-19 23:44:29 -07:00

README.txt 

Contract++

Contract Programming Library for C++

DESCRIPTION

C++ Contract Programming (a.k.a. Design by Contract or DbC).
All Eiffel features supported: subcontracting, postcondition old and result
values, optional contract compilation, customizable action on assertion
failure, block invariants, loop variants, etc.
Plus virtual specifiers, concept checking, named parameters.
See: http://contractpp.sourceforge.net

FEATURES

* Support for preconditions, postconditions, class invariants, block
  invariants, and loop variants.
* Subcontract derived classes (with support for pure virtual functions and
  multiple inheritance).
* Access expression old values and function return value in postconditions.
* Optional compilation and checking of preconditions, postconditions, class
  invariants, block invariants, and loop variants.
* Customizable actions on contract assertion failure (terminate by default but
  it can throw, exit, etc).
* Virtual specifiers.
* Concept checking.
* Named parameters.