Ensure++

prealpha
Add a Review
1 Download (This Week)
Last Update:
Download ensure_1_2.zip
Browse All Files

Description

A framework for Delayed Asserts and Design By Contract in C++. The framework is based on delaying the execution of asserts until specified points in time (i.e. exiting a function), achieving seperation of assert definition from validation.
Implements full seperation of assert definition from validation, allowing for a contract clauses block at the beginning of each function that includes "ensure" checks on exiting the function. Currently supports most of the design by contract required checks (REQUIRE, ENSURE, INVARIANTs), an additional EXCEPTIONAL check (conditions that must hold when an exception occurs).
Requires usage of either boost::lambda, boost::phoenix or the new c++11 lambda functions feature.

Ensure++ Web Site

Categories

Software Development

License

BSD License

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Ensure++!

Additional Project Details

Intended Audience

Developers

Programming Language

C++

Registered

2004-12-27
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.