lib_b.hpp 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. #ifndef BOOST_CONTRACT_TEST_LIB_B_HPP_
  2. #define BOOST_CONTRACT_TEST_LIB_B_HPP_
  3. // Copyright (C) 2008-2018 Lorenzo Caminiti
  4. // Distributed under the Boost Software License, Version 1.0 (see accompanying
  5. // file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
  6. // See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
  7. #include <boost/config.hpp>
  8. #ifdef BOOST_CONTRACT_TEST_LIB_B_DYN_LINK
  9. #ifdef BOOST_CONTRACT_TEST_LIB_B_SOURCE
  10. #define BOOST_CONTRACT_TEST_LIB_B_DECLSPEC BOOST_SYMBOL_EXPORT
  11. #else
  12. #define BOOST_CONTRACT_TEST_LIB_B_DECLSPEC BOOST_SYMBOL_IMPORT
  13. #endif
  14. #else
  15. #define BOOST_CONTRACT_TEST_LIB_B_DECLSPEC /* nothing */
  16. #endif
  17. bool BOOST_CONTRACT_TEST_LIB_B_DECLSPEC call_f();
  18. struct BOOST_CONTRACT_TEST_LIB_B_DECLSPEC b {
  19. static void static_invariant();
  20. void invariant() const;
  21. void g();
  22. static bool test_disable_pre_failure();
  23. static bool test_disable_post_failure();
  24. static bool test_disable_entry_inv_failure();
  25. static bool test_disable_exit_inv_failure();
  26. static bool test_disable_inv_failure();
  27. static bool test_disable_failure();
  28. };
  29. #endif // #include guard