**** 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

Project Activity

See All Activity >

License

Other License, Boost Software License (BSL1.0)

Follow Contract++

Contract++ Web Site

Other Useful Business Software
Simplify IT and security with a single endpoint management platform Icon
Simplify IT and security with a single endpoint management platform

Automate the hardest parts of IT

NinjaOne automates the hardest parts of IT, delivering visibility, security, and control over all endpoints for more than 20,000 customers. The NinjaOne automated endpoint management platform is proven to increase productivity, reduce security risk, and lower costs for IT teams and managed service providers. The company seamlessly integrates with a wide range of IT and security technologies. NinjaOne is obsessed with customer success and provides free and unlimited onboarding, training, and support.
Learn More
Rate This Project
Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

  • Great software, thank you.
    1 user found this review helpful.
Read more reviews >

Additional Project Details

Intended Audience

Developers, Quality Engineers

Programming Language

Eiffel, C++

Related Categories

Eiffel Software Testing Tool, Eiffel Documentation Software, Eiffel Design Software, C++ Software Testing Tool, C++ Documentation Software, C++ Design Software

Registered

2009-02-17