boost/contract
2
0
Fork 0
mirror of https://github.com/boostorg/contract.git synced 2026-02-27 04:52:22 +00:00
Code Issues Projects Releases Wiki Activity

resolved almost all todos and recompiled examples and tests

Browse Source
This commit is contained in:
Lorenzo Caminiti
2016-06-11 11:24:16 -07:00
parent 21f228d80b
commit b70b886140
42 changed files with 145 additions and 383 deletions
Download Patch File Download Diff File Expand all files Collapse all files

48
test/constructor/contracts.cpp
View File

@@ -349,77 +349,77 @@ int main() {
#endif
BOOST_TEST_EQ(a::x_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(a::x_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(a::x_type::ctors(), a::x_type::dtors()); // No leak.
BOOST_TEST_EQ(c::y_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(c::y_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(c::y_type::ctors(), c::y_type::dtors()); // No leak.
BOOST_TEST_EQ(t<'d'>::z_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'d'>::z_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'d'>::z_type::ctors(), t<'d'>::z_type::dtors()); // No leak.
BOOST_TEST_EQ(t<'p'>::z_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'p'>::z_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'p'>::z_type::ctors(), t<'p'>::z_type::dtors()); // No leak.
BOOST_TEST_EQ(t<'q'>::z_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'q'>::z_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'q'>::z_type::ctors(), t<'q'>::z_type::dtors()); // No leak.
BOOST_TEST_EQ(t<'e'>::z_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'e'>::z_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'e'>::z_type::ctors(), t<'e'>::z_type::dtors()); // No leak.
// Following destroy only copies (actual objects are static data members).
BOOST_TEST_EQ(a::n_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(a::n_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(a::n_type::copies(), a::n_type::dtors()); // No leak.
BOOST_TEST_EQ(c::m_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(c::m_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(c::m_type::copies(), c::m_type::dtors()); // No leak.
BOOST_TEST_EQ(t<'d'>::l_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'d'>::l_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'e'>::l_type::copies(), t<'e'>::l_type::dtors()); // No leak
BOOST_TEST_EQ(t<'p'>::l_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'p'>::l_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'e'>::l_type::copies(), t<'e'>::l_type::dtors()); // No leak
BOOST_TEST_EQ(t<'q'>::l_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'q'>::l_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'e'>::l_type::copies(), t<'e'>::l_type::dtors()); // No leak
BOOST_TEST_EQ(t<'e'>::l_type::copies(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'e'>::l_type::evals(),
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1, 0));
BOOST_PP_IIF(BOOST_CONTRACT_TEST_post, 1u, 0u));
BOOST_TEST_EQ(t<'e'>::l_type::copies(), t<'e'>::l_type::dtors()); // No leak
#undef BOOST_CONTRACT_TEST_post