文件名称：Ensure++-开源
文件大小：31KB
文件格式：ZIP
更新时间：2024-07-28 18:40:35
开源软件
C++ 中延迟断言和契约设计的框架。 该框架基于将断言的执行延迟到指定的时间点（即退出函数），实现断言定义与验证的分离。 实现断言定义与验证的完全分离，允许在每个函数的开头使用合同条款块，其中包括退出函数时的“确保”检查。 目前支持大部分设计合同所需的检查（REQUIRE、ENSURE、INVARIANTs），额外的EXCEPTIONAL检查（发生异常时必须保持的条件）。 需要使用 boost::lambda、boost::phoenix 或新的 c++11 lambda 函数功能。
【文件预览】：
ensure1.2
----ensure()
--------defnotifier.h(1KB)
--------dassert.h(2KB)
--------retval.h(4KB)
--------prepost.h(3KB)
--------conditions.h(3KB)
--------define_extra_operators.h(1KB)
--------condtypes.h(1KB)
--------ensure.h(1KB)
--------contracts.h(5KB)
--------details()
----copyright_notice.txt(1KB)
----license.txt(26KB)
----projects()
--------win32()