Contract++ Icon

Contract++

prealpha

Contract Programming Library for C++

5.0 Stars (3)
4 Downloads (This Week)
Last Update:
Download contractpp_0_4_1.zip
Browse All Files

Screenshots

Description

THIS LIBRARY WAS ACCEPTED INTO THE "Boost C++ Libraries":
https://groups.google.com/forum/?fromgroups=#!topic/boost-list/jQ7OjAmos_Y

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

Contract++ Web Site

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.

Update Notifications





User Ratings

★★★★★
★★★★
★★★
★★
3
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
Write a Review

User Reviews

  • tfileme
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Great software, thank you.

    Posted 05/25/2013
  • thomasmcdonald
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Great app contractpp

    Posted 10/31/2012
  • dillanwalker
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    contractpp is fast and easy to use

    Posted 09/19/2012
Read more reviews

Additional Project Details

Intended Audience

Developers, Quality Engineers

Programming Language

C++, Eiffel

Registered

2009-02-17
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.