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