boost/contract
2
0
Fork 0
mirror of https://github.com/boostorg/contract.git synced 2026-02-28 05:12:20 +00:00
Code Issues Projects Releases Wiki Activity

started to compile this lib as dll

Browse Source
This commit is contained in:
Lorenzo Caminiti
2016-01-30 13:09:33 -08:00
parent 1ab47c587c
commit fe3c78ad90
26 changed files with 1062 additions and 671 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
test/public_function/bases.cpp
View File

@@ -67,35 +67,35 @@ int main() {
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 4, 0));
BOOST_TEST_EQ(s.evals(),
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 4, 0));
BOOST_TEST_EQ(s.ctors(), s.dtors());
BOOST_TEST_EQ(s.ctors(), s.dtors() + 1); // 1 for local var.
BOOST_TEST_EQ(aa.x.value, "aA");
BOOST_TEST_EQ(aa.x.copies(),
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 1, 0));
BOOST_TEST_EQ(aa.x.evals(),
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 1, 0));
BOOST_TEST_EQ(aa.x.ctors(), aa.x.dtors());
BOOST_TEST_EQ(aa.x.ctors(), aa.x.dtors() + 1); // 1 for member var.
BOOST_TEST_EQ(aa.y.value, "cA");
BOOST_TEST_EQ(aa.y.copies(),
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 1, 0));
BOOST_TEST_EQ(aa.y.evals(),
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 1, 0));
BOOST_TEST_EQ(aa.y.ctors(), aa.y.dtors());
BOOST_TEST_EQ(aa.y.ctors(), aa.y.dtors() + 1); // 1 for member var.
BOOST_TEST_EQ(aa.t<'d'>::z.value, "dA");
BOOST_TEST_EQ(aa.t<'d'>::z.copies(),
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 1, 0));
BOOST_TEST_EQ(aa.t<'d'>::z.evals(),
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 1, 0));
BOOST_TEST_EQ(aa.t<'d'>::z.ctors(), aa.t<'d'>::z.dtors());
BOOST_TEST_EQ(aa.t<'d'>::z.ctors(), aa.t<'d'>::z.dtors() + 1); // 1 member.
BOOST_TEST_EQ(aa.t<'e'>::z.value, "eA");
BOOST_TEST_EQ(aa.t<'e'>::z.copies(),
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 1, 0));
BOOST_TEST_EQ(aa.t<'e'>::z.evals(),
BOOST_PP_IIF(BOOST_CONTRACT_POSTCONDITIONS, 1, 0));
BOOST_TEST_EQ(aa.t<'e'>::z.ctors(), aa.t<'e'>::z.dtors());
BOOST_TEST_EQ(aa.t<'e'>::z.ctors(), aa.t<'e'>::z.dtors() + 1); // 1 member.
return boost::report_errors();
}