![]() |
Home | Libraries | People | FAQ | More |
BOOST_CONTRACT_NO_POSTCONDITIONS — If defined, this library does not check postconditions (undefined by default).
// In header: <boost/contract/core/config.hpp>
BOOST_CONTRACT_NO_POSTCONDITIONS
If this macro is defined, this library internal code is also optimized to reduce compile-time (not just run-time) overhead associated with checking postconditions. In addition, users can manually program #ifndef
statements in their code using this macro to completely disable compilation of postconditions or use the macros defined in boost/contract_macro.hpp
(recommended only for applications where it is truly necessary to completely remove contract code compilation from production code).
It is necessary to disable both postconditions and exception guarantees defining BOOST_CONTRACT_NO_POSTCONDITIONS
and BOOST_CONTRACT_NO_EXCEPTS
in order to disable old value copies (see BOOST_CONTRACT_NO_OLDS
).
See Also:
Postconditions, Disable Contract Checking, Disable Contract Compilation