Home
last modified time | relevance | path

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

/third_party/boost/boost/
Dcontract_macro.hpp602 #define BOOST_CONTRACT_STATIC_INVARIANT(...) macro
612 #define BOOST_CONTRACT_STATIC_INVARIANT(...) \ macro
619 #define BOOST_CONTRACT_STATIC_INVARIANT(...) /* nothing */ macro
/third_party/boost/libs/contract/test/destructor/
Difdef_macro.cpp19 BOOST_CONTRACT_STATIC_INVARIANT({
61 BOOST_CONTRACT_STATIC_INVARIANT({
/third_party/boost/libs/contract/test/constructor/
Difdef_macro.cpp22 BOOST_CONTRACT_STATIC_INVARIANT({
69 BOOST_CONTRACT_STATIC_INVARIANT({
/third_party/boost/libs/contract/test/public_function/
Difdef_macro.cpp20 BOOST_CONTRACT_STATIC_INVARIANT({
79 BOOST_CONTRACT_STATIC_INVARIANT({
Dstatic_ifdef_macro.cpp19 BOOST_CONTRACT_STATIC_INVARIANT({
/third_party/boost/libs/contract/test/invariant/
Difdef_macro.cpp19 BOOST_CONTRACT_STATIC_INVARIANT({
/third_party/boost/libs/contract/doc/
Dextras.qbk435 … volatile class invariants can be programmed using [macroref BOOST_CONTRACT_STATIC_INVARIANT] and …
Dcontract_programming_overview.qbk390 …changed using [macroref BOOST_CONTRACT_INVARIANT], [macroref BOOST_CONTRACT_STATIC_INVARIANT], and…