contract

Go to file

Lorenzo Caminiti 303e76f447 pasring postconditions		2015-01-28 12:42:04 -08:00
doc	cleaning up before parsing assertions	2015-01-21 19:34:15 -08:00
include/boost/contract	pasring postconditions	2015-01-28 12:40:34 -08:00
test	pasring postconditions	2015-01-28 12:42:04 -08:00
.gitignore	draft of pp parser for fun classifiers inline, static, etc.	2014-12-17 18:14:24 -08:00
COPYRIGHT.txt	Imported prelimiary work to post Contract++ to Boost.Contract.	2014-09-27 17:56:02 -07:00
Jamroot	cleaning up before parsing assertions	2015-01-21 19:34:15 -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
TODO.txt	Imported prelimiary work to post Contract++ to Boost.Contract.	2014-09-27 17:56:02 -07:00
wave.cfg	parsing template parameters	2014-12-16 11:52:24 -08: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.