1234567891011121314151617181920212223242526272829303132333435363738394041 |
- #ifndef BOOST_CONTRACT_TEST_LIB_B_HPP_
- #define BOOST_CONTRACT_TEST_LIB_B_HPP_
- // Copyright (C) 2008-2018 Lorenzo Caminiti
- // Distributed under the Boost Software License, Version 1.0 (see accompanying
- // file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
- // See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
- #include <boost/config.hpp>
- #ifdef BOOST_CONTRACT_TEST_LIB_B_DYN_LINK
- #ifdef BOOST_CONTRACT_TEST_LIB_B_SOURCE
- #define BOOST_CONTRACT_TEST_LIB_B_DECLSPEC BOOST_SYMBOL_EXPORT
- #else
- #define BOOST_CONTRACT_TEST_LIB_B_DECLSPEC BOOST_SYMBOL_IMPORT
- #endif
- #else
- #define BOOST_CONTRACT_TEST_LIB_B_DECLSPEC /* nothing */
- #endif
- bool BOOST_CONTRACT_TEST_LIB_B_DECLSPEC call_f();
- struct BOOST_CONTRACT_TEST_LIB_B_DECLSPEC b {
- static void static_invariant();
- void invariant() const;
- void g();
- static bool test_disable_pre_failure();
- static bool test_disable_post_failure();
- static bool test_disable_entry_inv_failure();
- static bool test_disable_exit_inv_failure();
- static bool test_disable_inv_failure();
- static bool test_disable_failure();
-
- };
- #endif // #include guard
|