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.
Categories
Software DevelopmentLicense
BSD LicenseFollow Ensure++
You Might Also Like
With the world of work changed forever, it’s essential to manage your workplace and assets together to effectively create a high-performing environment. The Eptura experience combines the power of workplace management software with asset management, enabling you to effectively operate your building and facilitate hybrid work.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Ensure++!