mirror of
https://github.com/boostorg/contract.git
synced 2026-01-27 06:42:20 +00:00
30 lines
1006 B
Plaintext
30 lines
1006 B
Plaintext
|
|
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.
|
|
|