townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
148 Commits 1 Branch 0 Tags 12 MiB
C++ 99.7%
Eiffel 0.1%
9754d1cf05
Go to file
Lorenzo Caminiti 9754d1cf05 renamed aux to detail
2016-03-01 10:00:31 -08:00
build started to compile this lib as dll 2016-01-30 13:09:33 -08:00
doc fixed mixed boost::optional and non result types 2015-11-02 06:54:50 -08:00
example added const volatile invariants 2015-11-11 07:47:36 -08:00
include/boost renamed aux to detail 2016-03-01 10:00:31 -08:00
src renamed aux to detail 2016-03-01 10:00:31 -08:00
test renamed aux to detail 2016-03-01 10:00:31 -08:00
.gitignore added all copyrights and rebuilt all tests with msvc, gcc, and clang with all contracts on/off 2016-02-20 10:06:57 -08:00
boost.css started advanced topics section in the docs 2015-06-27 08:03:34 -07:00
boost.png started advanced topics section in the docs 2015-06-27 08:03:34 -07:00
COPYRIGHT.txt added copyright and fixed all includes 2016-02-08 22:14:59 -08:00
Jamroot removed CONFIG infix for all config macros (to better conform to Boost's naming conventions) 2016-02-29 07:15:05 -08: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

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.