Download
**** THIS LIBRARY WAS MOVED INTO Boost ****
New location: https://github.com/boostorg/contract
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.
Project Samples
License
Boost Software License (BSL1.0), Other LicenseFollow Contract++
nel_h2
MongoDB Atlas runs apps anywhere
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Rate This Project
Login To Rate This Project
User Reviews
-
Great software, thank you.