include/boost/contract.hpp

0001
0002 #ifndef BOOST_CONTRACT_HPP_
0003 #define BOOST_CONTRACT_HPP_
0004
0005 // Copyright (C) 2008-2018 Lorenzo Caminiti
0006 // Distributed under the Boost Software License, Version 1.0 (see accompanying
0007 // file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
0008 // See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
0009
0010 /** @file
0011 Include all header files required by this library at once (for convenience).
0012
0013 All header files <c>boost/contract/\*.hpp</c> are independent from one another
0014 and can be included one-by-one to reduce the amount of code to compile from this
0015 library in user code (but this was measured to not make an appreciable
0016 difference in compile-time so <c>boost/contract.hpp</c> can be included directly
0017 in most cases).
0018 Instead the headers <c>boost/contract/core/\*.hpp</c> are not independent from
0019 other library headers and they are automatically included by the
0020 <c>boost/contract/\*.hpp</c> headers (so the <c>boost/contract/core/\*.hpp</c>
0021 headers are usually not directly included by programmers).
0022
0023 All files under the <c>boost/contract/detail/</c> directory, names within the
0024 @c boost::contract::detail namespace, names prefixed by
0025 @c boost_contract_detail... and @c BOOST_CONTRACT_DETAIL... (in any namesapce,
0026 including user's code) are reserved for internal use of this library and should
0027 never be used directly by programmers.
0028
0029 @see @RefSect{getting_started, Getting Started}
0030 */
0031
0032 #include <boost/contract/assert.hpp>
0033 #include <boost/contract/base_types.hpp>
0034 #include <boost/contract/call_if.hpp>
0035 #include <boost/contract/constructor.hpp>
0036 #include <boost/contract/destructor.hpp>
0037 #include <boost/contract/function.hpp>
0038 #include <boost/contract/check.hpp>
0039 #include <boost/contract/old.hpp>
0040 #include <boost/contract/override.hpp>
0041 #include <boost/contract/public_function.hpp>
0042
0043 #endif // #include guard
0044