Searched refs:BOOST_CONTRACT_CHECK (Results 1 – 8 of 8) sorted by relevance
47 #define BOOST_CONTRACT_CHECK(cond) macro52 #define BOOST_CONTRACT_CHECK(cond) \ macro55 #define BOOST_CONTRACT_CHECK(cond) /* nothing */ macro96 BOOST_CONTRACT_CHECK(cond)
33 BOOST_CONTRACT_CHECK(gcd(12, 28) == 4); in main()34 BOOST_CONTRACT_CHECK(gcd(4, 14) == 2); in main()
104 BOOST_CONTRACT_CHECK(*begin <= *middle || value < *middle || in random_binary_search()
18 BOOST_CONTRACT_CHECK(( in f()
21 BOOST_CONTRACT_CHECK([&] () -> bool { in f()
24 BOOST_CONTRACT_CHECK([&] () -> bool { // Macro already so #ifdef needed. in f()
26 BOOST_CONTRACT_CHECK.html
310 Alternatively, this library provides the [macroref BOOST_CONTRACT_CHECK] macro that allows to compl…312 BOOST_CONTRACT_CHECK(``[^['boolean-condition]]``)314 …BOOST_CONTRACT_CHECK((``[^['boolean-condition]]``)) // ...use extra parenthesis (not a variadic ma…321 The [macroref BOOST_CONTRACT_CHECK] macro is similar to the C-style assert macro as it accepts a bo…323 Of course, nothing prevents programmers from calling functors within [macroref BOOST_CONTRACT_CHECK…326 BOOST_CONTRACT_CHECK([&] -> bool {332 Using [macroref BOOST_CONTRACT_CHECK] is essentially equivalent to using the C-style `assert` macro…457 …on checks `boost::contract::check c = `[^['nullary-functor]] and `BOOST_CONTRACT_CHECK(...)` call …