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

Boost Software License (BSL1.0), Other License

Follow Contract++

Contract++ Web Site

nel_h2
Simply solve complex auth. Easy for devs to set up. Easy for non-devs to use. Icon
Simply solve complex auth. Easy for devs to set up. Easy for non-devs to use.

Transform user access with Frontegg CIAM: login box, SSO, MFA, multi-tenancy, and 99.99% uptime.

Custom auth drains 25% of dev time and risks 62% more breaches, stalling enterprise deals. Frontegg platform delivers a simple login box, seamless authentication (SSO, MFA, passwordless), robust multi-tenancy, and a customizable Admin Portal. Integrate fast with the React SDK, meet compliance needs, and focus on innovation.
Start for Free
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

C++, Eiffel

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