...one of the most highly
regarded and expertly designed C++ library projects in the
world.
— Herb Sutter and Andrei
Alexandrescu, C++
Coding Standards
BOOST_CONTRACT_NO_PUBLIC_FUNCTIONS — Automatically defined by this library when contracts are not checked for public functions.
// In header: <boost/contract/core/config.hpp>
BOOST_CONTRACT_NO_PUBLIC_FUNCTIONS
This library will define this macro when users define all BOOST_CONTRACT_NO_INVARIANTS
, BOOST_CONTRACT_NO_PRECONDITIONS
, BOOST_CONTRACT_NO_POSTCONDITIONS
, and BOOST_CONTRACT_NO_EXCEPTS
(this macro is not a configuration macro and this library will generate a compile-time error if users try to define it directly). Users can manually program #ifndef
statements in their code using this macro to completely disable compilation of contracts for public functions 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).
See Also:
Public Functions, Disable Contract Compilation