except.cpp 955 B

12345678910111213141516171819202122232425262728293031323334353637
  1. // Copyright (C) 2008-2018 Lorenzo Caminiti
  2. // Distributed under the Boost Software License, Version 1.0 (see accompanying
  3. // file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
  4. // See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
  5. // Test specifying except, no pre, old, or post (same if not free func).
  6. #include "../detail/oteststream.hpp"
  7. #include <boost/contract/function.hpp>
  8. #include <boost/contract/check.hpp>
  9. #include <boost/detail/lightweight_test.hpp>
  10. #include <sstream>
  11. boost::contract::test::detail::oteststream out;
  12. void f() {
  13. boost::contract::check c = boost::contract::function()
  14. .except([] { out << "f::except" << std::endl; })
  15. ;
  16. out << "f::body" << std::endl;
  17. }
  18. int main() {
  19. std::ostringstream ok;
  20. out.str("");
  21. f();
  22. ok.str("");
  23. ok
  24. << "f::body" << std::endl
  25. ;
  26. BOOST_TEST(out.eq(ok.str()));
  27. return boost::report_errors();
  28. }