townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
117 Commits 1 Branch 0 Tags 12 MiB
C++ 99.7%
Eiffel 0.1%
edad097a5d
Go to file
Lorenzo Caminiti edad097a5d tested old-of under a few corner cases and renamed oldof.hpp to old.hpp
2015-10-23 19:38:09 -07:00
doc reviewed all TODOs 2015-07-01 17:00:52 -07:00
example added .old(...) 2015-10-23 15:46:47 -07:00
include/boost tested old-of under a few corner cases and renamed oldof.hpp to old.hpp 2015-10-23 19:38:09 -07:00
test tested old-of under a few corner cases and renamed oldof.hpp to old.hpp 2015-10-23 19:38:09 -07:00
.gitignore committing all decl_function stuff, before going back to virtual_ 2015-05-19 08:32:16 -07:00
api.xlsx about to remove macro code 2015-04-12 20:01:32 -07: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 Imported prelimiary work to post Contract++ to Boost.Contract. 2014-09-27 17:56:02 -07:00
Doxyfile generated doxygen include diagram. started testing feature-by-feature 2015-05-14 08:16:40 -07:00
Jamroot implemented call_if 2015-06-13 21:19:20 -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 added .old(...) 2015-10-23 15:46:47 -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.