**** 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
Your top-rated shield against malware and online scams | Avast Free Antivirus Icon
Your top-rated shield against malware and online scams | Avast Free Antivirus

Browse and email in peace, supported by clever AI

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
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