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.

Project Activity

See All Activity >

License

BSD License

Follow Ensure++

Ensure++ Web Site

Other Useful Business Software

Take Advantage of O365 + Online Backup Bundles Take Advantage of O365 + Online Backup Bundles Icon
Take Advantage of O365 + Online Backup Bundles Icon

The Perfect Small Business Offer That Packages Productivity, Disaster Recovery & Security Under One Price Tag. Join SherWeb to Start Reselling.

Add more value to your Office 365 offers with Online Backup. The program will back up servers, desktops, virtual machines and smart devices, plus popular applications and Office 365 data. Online Backup comes with the Active Protection feature embedded, making it possible to stop any ransomware attack and restore encrypted files in a blink. It also provides a web-based intuitive console that eases backup and disaster recovery management.

Rate This Project

Login To Rate This Project

User Reviews

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

Additional Project Details

Intended Audience

Developers

Programming Language

C++

Registered

2004-12-27