![]() |
Home | Libraries | People | FAQ | More |
BOOST_CONTRACT_CHECK — Preferred way to assert implementation check conditions.
// In header: <boost/contract/core/check_macro.hpp>
BOOST_CONTRACT_CHECK(cond)
It is preferred to use this macro instead of programming implementation checks in a nullary functor passed to boost::contract::check
constructor because this macro will completely remove implementation checks from the code when BOOST_CONTRACT_NO_CHECKS
is defined:
void f() { ... BOOST_CONTRACT_CHECK(cond); ... }
BOOST_CONTRACT_CHECK
, BOOST_CONTRACT_CHECK_AUDIT
, and BOOST_CONTRACT_CHECK_AXIOM
are the three assertion levels predefined by this library for implementation checks.
See Also:
Parameters: |
|