Home
last modified time | relevance | path

Searched refs:BOOST_CONTRACT_POSTCONDITION (Results 1 – 8 of 8) sorted by relevance

/third_party/boost/libs/contract/example/features/
Difdef_macro.cpp22 BOOST_CONTRACT_POSTCONDITION([&] { in inc()
58 BOOST_CONTRACT_POSTCONDITION([&] { in push_back()
91 BOOST_CONTRACT_POSTCONDITION([&] { in __anon6a670fc70602()
116 BOOST_CONTRACT_POSTCONDITION([&] { in push_back()
/third_party/boost/boost/
Dcontract_macro.hpp118 #define BOOST_CONTRACT_POSTCONDITION(...) macro
120 #define BOOST_CONTRACT_POSTCONDITION(...) .postcondition(__VA_ARGS__) macro
122 #define BOOST_CONTRACT_POSTCONDITION(...) /* nothing */ macro
/third_party/boost/libs/contract/test/old/
Dif_copyable_macro.cpp36 BOOST_CONTRACT_POSTCONDITION([&] { in next()
81 BOOST_CONTRACT_POSTCONDITION([&] { in next()
106 BOOST_CONTRACT_POSTCONDITION([&] { in next()
/third_party/boost/libs/contract/test/destructor/
Difdef_macro.cpp47 BOOST_CONTRACT_POSTCONDITION([] { in ~b()
89 BOOST_CONTRACT_POSTCONDITION([] { in ~a()
/third_party/boost/libs/contract/test/constructor/
Difdef_macro.cpp55 BOOST_CONTRACT_POSTCONDITION([] { in __anon14d343020302()
104 BOOST_CONTRACT_POSTCONDITION([] { in __anon14d343020602()
/third_party/boost/libs/contract/test/public_function/
Difdef_macro.cpp62 BOOST_CONTRACT_POSTCONDITION([] { in f()
124 BOOST_CONTRACT_POSTCONDITION([] { in f()
Dstatic_ifdef_macro.cpp52 BOOST_CONTRACT_POSTCONDITION([] { in f()
/third_party/boost/libs/contract/test/function/
Difdef_macro.cpp39 BOOST_CONTRACT_POSTCONDITION([] { in f()